用户名： 密码： 找回密码 中文版 English 本站信箱 收藏本站 本网介绍

首页加盟期刊收录期刊评价中心文献导读期刊动态博客美文问题解答在线订阅新浪微博RSS
网站动态： 中国计算机期刊网介绍          欢迎关注中国计算机期刊网微信订阅号！          中国计算机期刊网正式发布,欢迎访问!          如何申请成为收录期刊和加盟期刊         
  •   按检索    检索词：    高级检索
     排序：相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果，以下是第9151-9160项 搜索用时 90 毫秒
[首页] « 上一页 [911] [912] [913] [914] [915] 916 [917] [918] [919] [920] [921] 下一页 » 末  页»
9151.
计算程序中循环的程序复杂度符号化上界可以验证程序的停机性.基于差分方程和最优化问题求解技术,给出了一种计算P*-solvable循环程序复杂度符号化上界的有效方法.分别针对含有赋值语句的循环和带条件分支的循环,提出了其程序复杂度符号化上界计算方法.与其他工作相比,该方法能够计算得… …   相似文献
邢建英  李梦君  李舟军 《软件学报》2011,22(9):1973-1984
9152.
分析了扩频技术应用在软件水印领域的一般框架,提出了一种在程序运行过程中提取矢量的扩频动态软件水印方案.该方案通过修改Java程序对操作数栈操作的次数来嵌入水印,用相关性检测原理来检测水印,具有很高的鲁棒性和安全性.  相似文献
9153.
在标准遗传算法（SGA）中加入移民策略可以丰富种群多样性,使SGA能够更好的适应环境的变化。为了改善基于移民策略的遗传算法在搜索空间内的探索能力,受原对偶映射思想的启发,设计了基于原对偶映射的移民策略（Primal-Dual based Immigrants,PDI）,并将这种策… …   相似文献
9154.
动态图表表现价值极高,基于OWC实现的动态图表适应性强,本文通过具体设计示例描述如何使用OWC组件设计实现网上动态图表,并给出了相应的程序.  相似文献
9155.
本文给出了ＨＯＳ方法学中基本控制结构ＪＯＩＮ、ＩＮＣＬＵＤＥ、ＯＲ和复合控制结构ＣＯＪＯＩＮ、ＣＯＩＮＣＬＵＤＥ及ＣＯＯＲ的语义构造规则．以此为基础,提出了一种层次武功能理解方法,并讨论了其在ＨＯＳ规格说明的语义验证和复用方面的应用．  相似文献
吕建  费宗铭 《软件学报》1995,6(12):734-741
9156.
随着系统规模的扩大,并行计算的性能不断提高,但可靠性却也在不断下降,因此需要采用某种容错机制来容忍或恢复硬件故障和数据错误.目前常用的容错机制Checkpoint/Restart和多模冗余均引入了额外的开销,这些开销均在某种程度上制约了并行计算的可扩展性.因此,在高性能计算需求不… …   相似文献
王之元  杨学军  周云 《软件学报》2012,23(4):1022-1035
9157.
下载全文  总被引：1，自引：0，他引：1
本文介绍一种用于FORTRAN并行化的实用算法,本文探讨串行源程序中的循环横向切分并行化的理论和算法,我们建立了一套新的理论概念,并且在这套概念的基础之上,导出了一系列横向切分理论。最后,文章还根据这些并行化理论得出的结果,介绍了一种实用的循环检测并行化方法。  相似文献
陈镐缨 《软件学报》1993,4(3):61-64
9158.
在传统的静态资源预留机制(static resource reservation mechanism,简称SRRM)下,用户的预留请求一旦通过接纳测试就立即被调度到某个资源上.因此,SRRM无法考虑在预留提前时间(book-ahead time)内作业队列的变化对调度目标产生的影… …   相似文献
高瞻  罗四维 《软件学报》2011,22(10):2497-2508
9159.
下载全文  总被引：1，自引：0，他引：1
SIFT(scale invariant feature transform)算法提取的图像特征对图像自身的镜像变换匹配精度不够。针对此问题,对SIFT算法进行了改进,提出FI-SIFT(flip invariant SIFT)算法:利用纵坐标方向的梯度初步判断图像是否为镜像变换… …   相似文献
9160.
首先提出最短路径距离在宗地地价点状因素评价中的应用模式,然后设计节点-连线-街区网络数据模型和与之相应的网络外抽象节点接入网络的规则,构造基于最短路径查询的动态网络,最后采用改进型Dijkstra算法计算出宗地地价点状因素评价结果。  相似文献
[首页] « 上一页 [911] [912] [913] [914] [915] 916 [917] [918] [919] [920] [921] 下一页 » 末  页»
关于我们 | 广告服务 | 商务洽谈 | 联系我们 | 免责条款 | 隐私声明 | 网站导航
网站版权所有：中国科学院软件研究所  京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持