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

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

按检索检索词： 高级检索

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

[首页] « 上一页 [899] [900] [901] [902] [903] 904 [905] [906] [907] [908] [909] 下一页 » 末页»

9031.

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

科学计算可视化体绘制算法能反映出体数据的内部信息,在医学,它已经从辅诊断发展成为辅助治疗的重要手段,体可视化技术是医学可视化的重要研究内容,其处理过程包括体数据的获取,模型的建立,数据的映射,绘制等操作,该文介绍了医学可视化中常使用的几种光照模型,针对基于图象空间和对象空间两种体… … 相似文献

彭延军石教英《中国图象图形学报》2002,7(12):1239-1246

9032.

一个基于无约束通孔优化的双层布线算法—FOREST

下载全文

FOREST是一个立足于无约束通孔优化的新的布线算法,它从总体上将布线过程分为拓扑布线和物理布线两部分,并把两者视为相互联系的整体。作为一种启发式算法,它试图综合考虑布通率、布线空间、通孔数和连线总长等因素,算法打破横竖严格分层的限制,并允许不同层线段重叠,FOREST算法适用于… … 相似文献

何江安洪先龙《软件学报》1992,3(1):8-16

9033.

一个新的带非常简单系数的双正交小波

下载全文

近来,通过带待定系数提升格式构造小波已经被提出,构造出的提升格式一般有4步提升。不同地是,本文使用5步提升格式来构造小波。最终获得一个带非常简单系数(特别是在其提升格式中)的小波。它的消失矩阶数与D9/7小波一样大,但相应滤波器的系数都是简单分数。在它的提升格式中,所有系数的分母… … 相似文献

周化雨杨坦关履泰《中国图象图形学报》2007,12(7):1189-1193

9034.

静态分析面向异构系统的应用级Checkpoint 设置问题

下载全文

应用级checkpointing是一种在大规模科学计算领域中备受关注的容错技术,该技术由用户程序员选择在适当的地方保存关键数据,从而降低了容错开销。选择合适的checkpointing位置、减小全局checkpoint保存数据量是优化应用级 checkpointing 技术的关键… … 相似文献

贾佳杨学军马亚青《软件学报》2013,24(6):1361-1375

9035.

To solve the challenging problem that the edge regions of image have some remained hazes and blackspots,a novel image dehazing algorithm was… … 相似文献

Hong-zhong TANG Xiao-gang ZHANG Ling ZHU Hua CHEN Xiang WANG Xiao LI 《通信学报》2017,38(1):26-34

9036.

一种基于切比雪夫不等式的自适应阈值背景建模算法

背景建模是实现运动目标检测与跟踪的关键技术之一。在实时视频监控系统中,对背景建模算法的运行时间及所提取出的背景图像的实时性有很高的要求,针对这一问题,提出了一种基于切比雪夫不等式的自适应阈值背景建模算法。算法利用切比雪夫不等式计算像素点色度变化的概率估计值,提出了一种自适应阈值分… … 相似文献

张琨王翠荣万聪《计算机科学》2013,40(4):287-291

9037.

基于重写技术的程序开发与验证

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

完整地介绍了一个基于重写技术的程序开发和验证系统,重点展示验证子系统的理论、方法和技术.验证子系统使得系统能自动证明程序和规范中的优化规则及测试等式,从而进一步保证程序开发过程的正确性.验证子系统所采用的主要技术是以成批证明方法和证据测试集为特色的重写归纳方法. 相似文献

孙永强陆朝俊邵志清《软件学报》2000,11(8):1066-1070

9038.

不等长记录的公式索引分组字典排序

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

本文提出了一种公式索引分组字典排序法,其期望时间复杂性为O(n)。该算法基本上不象传统的排序方法那样进行元素间的比较,主要是用数学公式计算,直接得到排序结果。相似文献

徐绪松周建钦《软件学报》1991,2(3):59-64

9039.

一种Hadoop中基于作业类别和截止时间的调度算法

Hadoop是一种开源可靠的分布式计算框架,而MapReduce是处理超大规模数据集的编程模型.鉴于Ha-doop内置的调度器不能很好地处理类别不同且有截止时间的作业的调度,提出了一种基于作业类别和截止时间的作业调度算法.作业分为CPU密集型和I/O密集型,并根据截止时间设置优先… … 相似文献

李曌滕飞李天瑞杨浩《计算机科学》2015,42(6):28-31, 45

9040.

一个新的证明网定义及合理性

下载全文

本文给出一个新的线性逻辑的证明网的定义并证明了所定义的证明网是线性逻辑的自然推理．和Ｇｉｒａｒｄ的原定义相比,使用本文给出的定义来判定一个证明结构是否为证明网的时间复杂度为Ｏ（ｎ＊ｎ）,并且在证明所定义的证明网是可矢列化时更加自然和简单．相似文献

黄林鹏孙永强《软件学报》1994,5(10):33-37

[首页] « 上一页 [899] [900] [901] [902] [903] 904 [905] [906] [907] [908] [909] 下一页 » 末页»