文章搜索——中国计算机期刊网

网站动态：	中国计算机期刊网介绍欢迎关注中国计算机期刊网微信订阅号！中国计算机期刊网正式发布,欢迎访问! 如何申请成为收录期刊和加盟期刊

按检索检索词： 高级检索

排序：相关度 OA 时间被引次数点击次数下载次数共有10000条符合的查询结果，以下是第9601-9610项搜索用时 97 毫秒

[首页] « 上一页 [956] [957] [958] [959] [960] 961 [962] [963] [964] [965] [966] 下一页 » 末页»

9601.

首先给出了量子最弱自由前置条件(weakest liberal precondition,简称wlp)wlp (A,B,C)-可交换的定义,研究了wlp (A,B,C)-可交换的充分必要条件;其次,得到了wlp 不是良好的谓词转换,验证了wlp 是比量子最弱前置条件(weakest precondition,简称wp)更弱的谓词转换,揭示了wlp 和wp 的本质区别;最后证明了wlp 的序列合成、并行合成和块结构等性质.… … 相似文献

雷红轩席政军李永明《软件学报》2013,24(5):933-941

9602.

基于故障的布尔表达式测试技术综述

布尔表达式是软件规格说明与程序实现中的关键成份,严重影响软件的正确性。如何有效地测试布尔表达式是软件测试领域的一个重要研究方向。介绍了基于故障的软件测试的基本概念与原理,归纳了布尔表达式的各种故障类型,讨论了不同故障类型之间的检测包含关系;评述了几类代表性的面向布尔表达式的测试策… … 相似文献

孙昌爱程庆顺《计算机科学》2013,40(3):16-23

9603.

软件心理学研究综述

软件是人思维的产物,人是决定其质量的关键性因素。随着“工程系统”向“社会技术系统”的扩展,软件心理学对软件工程的启发价值日益彰显。首先,总结了软件心理学的发展过程和研究体系。然后,论述了软件心理学6个主要领域的研究进展,分析了其对软件工程的启发价值,探讨了存在的不足及未来研究方向… … 相似文献

黄抚群刘斌王轶辰《计算机科学》2013,40(3):1-7

9604.

基于KD 树子样的聚类初始化算法

下载全文

在处理大数据集聚类初始化问题时,随机子样法是一种重要的数据约简操作.对随机取样的过程、特征及缺陷进行了分析,提出一种基于KD树子样的聚类初始化方法.该方法利用KD树将样本空间以递归方式细分成多个子空间,并分别在各子空间中随机取样形成KD树子样,有效避免了随机子样分布有偏的不足,使… … 相似文献

潘章明《计算机系统应用》2011,20(1):80-83

9605.

动态字母表算术编码

下载全文 总被引：3，自引：0，他引：3

研究了动态字母表统计模型的有关性质以及建立动态字母表模型应予以注意的问题.理论与实验表明,动态字母表模型在没有牺牲时间性能的情况下,能够提高预测的准确性,从而获得更好的编码效率.动态字母表对于建立大字符集文种(如汉语)文本压缩的统计模型具有重要意义相似文献

王忠效范植华《软件学报》2001,12(2):283-292

9606.

基于用户分配和负载的频谱分配算法

下载全文

提出了一种基于用户分配和负载的频谱分配算法.该算法包括两部分:用户分配子算法和频谱分配子算法.用户分配子算法首先基于聚类划分理论,使分配到相同访问点下的用户具有相近的信噪比,缓解了无线接入网络中普遍存在的远近效应问题.在该用户分配基础上,频谱分配子算法根据各访问点的负载及其关联用… … 相似文献

陈剑吴建平李贺武《软件学报》2013,24(7):1638-1649

9607.

一种光线与三角形求交算法的硬件架构设计

下载全文

为了实现实时性的光线追踪平台,提出了一种光线与三角形求交算法的硬件架构设计.首先介绍了一种光线与三角形求交的简洁算法.该算法与其它算法相比使用存储空间最少,却具有相似的性能,便于硬件实现.根据此算法,提出了相应的硬件架构,在架构设计过程中,通过折叠、资源共享、以及多线程等硬件架构… … 相似文献

赵男男《计算机系统应用》2011,20(2):66-69,129

9608.

动态土地信息系统时空过程及时空数据存储

下载全文 总被引：9，自引：1，他引：9

时态GIS（TGIS）以及时空数据模型是当前地理信息科学领域的研究热点,土地地籍管理信息系统是TGIS的典型应用,对土地地籍管理信息系统的时空过程进行了分析;提出了在基态修正时空数据模型中,采用区段快速索引和变粒度存储因子方法;通过区段快速索引和变粒度存储因子的引入,系统查询效率… … 相似文献

刘仁义刘南《中国图象图形学报》2002,7(4):388-393

9609.

电大尺寸涂层散射体RCS的快速并行分析

下载全文

该文提出了一种快速单元级矢量有限元/自适应多层快速多极子并行算法,该算法可在单元级上完成有限元部分的所有计算过程而无须生成总体系数矩阵;通过将基函数和权函数分别用不同空间位置上的点源函数展开,使多层快速多极子部分的积分计算得到大大简化,转移过程可由快速傅里叶变换计算完成,与波形渐… … 相似文献

袁军刘其中郭景丽谢拥军《电子与信息学报》2008,30(10):2360-2363

9610.

一种大规模支持向量机的高效求解算法

现有大规模支持向量机求解算法需要大量的内存资源和训练时间,通常在大集群并行环境下才能实现。提出了一种大规模支持向量机(SVM)的高效求解算法,以在个人PC机求解大规模SVM。它包括3个步骤:首先对大规模样本进行子采样来降低数据规模;然后应用随机傅里叶映射显式地构造随机特征空间,使… … 相似文献

冯昌李子达廖士中《计算机科学》2015,42(9):195-198

[首页] « 上一页 [956] [957] [958] [959] [960] 961 [962] [963] [964] [965] [966] 下一页 » 末页»