不含旋转角度微分的螺旋锥束CT重建

下载全文  

近年来,Katsevich提出一种基于滤波反投影的螺旋锥束CT重建算法,并给出相应的重建公式改进形式,可以有效地解决长物体成像问题。基于Katsevich算法框架,提出了新的螺旋锥束CT精确重建算法。该算法利用数学上严格的推导,将Katseivch重建公式中关于旋转角度的微分运算… …   相似文献

马建华  陈武凡 《中国图象图形学报》2008,13(4):647-653

Eiffel语言的语义

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

本文采用类ＶＤＭ的指称语义技术为Ｅｉｆｆｅｌ（１９８８）语言建立了形式语义模型．该模型首先为Ｅｉｆｆｅｌ语言定义了对象模型和两个语义环境（动态和静态环境）,然后讨论Ｅｉｆｆｅｌ例程的语义．为了描述Ｅｉｆｆｅｌ的意外处理,我们采用了ＶＤＭ的“出口”机制．  相似文献

李师贤  阮文江 《软件学报》1995,6(1):17-25

多核平台上的线程级猜测执行综述

  

多核体系结构的发展,使人们可以以猜测的方式挖掘应用中的粗粒度并行,线程级猜测执行(TLS)就是其中的典型代表。它的最大优点是编程模型非常简洁——程序员只需标识出那些可以猜测执行的代码段即可,运行时系统或硬件负责确保猜测线程之间的数据相关不被破坏。全面分析了现有的TLS技术,总结了… …   相似文献

郭辉  王琼  沈立  王志英 《计算机科学》2014,41(1):16-21

CAVLC解码的一种有效方法

下载全文  

已有的CAVLC解码方法包括二叉树解码方法、全码表解码方法和Hashem ian解码方法等,但是这些解码方法都只关注解码性能的一个方面:解码速度或存储空间,因而无法有效地提高整体性能。针对这一问题提出了一种快速的解码方法。该方法通过自动码表分配技术和码表地址转移技术来提高限定存储… …   相似文献

曹宁  梅侠 《中国图象图形学报》2008,13(2):230-233

基于Strip-Tree的无级比例尺GIS多边形化简技术

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

无级比例尺GIS(geographicinformationsystem)多边形化简的基础是多边形弧段的线综合,而直接对多边形的弧段施加线综合操作可能造成输出数据的拓扑错误,主要表现为化简后弧段出现相交.以往的研究并未对这个问题给予足够的重视和给出自动化的解决方法.在对此问题进行… …   相似文献

田鹏  郑扣根  潘云鹤 《软件学报》2001,12(10):1495-1502

一种基于CIL静态分析的C#程序缺陷检测方法

  

通过静态检测发现源程序中的潜在缺陷,可以帮助程序员在软件发布之前发现并修补程序缺陷,提高软件的安全性。提出一种通过静态分析CIL代码来检测C#程序代码缺陷的方法。采用改进的深度优先搜索算法遍历目标程序的控制流程图,结合历史状态缓存机制,能够大幅度提高检测效率;另外,为便于实施别名… …   相似文献

边攀  梁彬  石文昌 《计算机科学》2014,41(1):220-224

存储有效的多模式匹配算法和体系结构

下载全文  

多模式匹配是基于内容检测的网络安全系统的重要功能,同时,它在很多领域具有广泛的应用.实际应用中,高速且性能稳定的大规模模式匹配方法需求迫切,尤其是能够在线实时处理网络包的匹配体系结构.介绍了一种存储有效的高速大规模模式匹配算法及相关体系结构.研究从算法所基于的理论入手,提出了缓存… …   相似文献

嵩天  李冬妮  汪东升  薛一波 《软件学报》2013,24(7):1650-1665

消除VLIW结构上的循环体间冗余流相关

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

数据相关是并行处理的基本依据.该文指出,VLIW(very long instruction word)特有的锁步性质使其数据相关性分析具有与众不同的特点.同一体差上的流相关形成一个线序集合,多体差上的特征流相关之间也存在包含关系.据此,提出一种用于VLIW的消除循环体间冗余流相… …   相似文献

容红波  汤志忠 《软件学报》2000,11(1):126-132

一种加权广义预测自适应递推优化控制算法

  总被引：3，自引：1，他引：3

文章给出了一种时变遗忘因子递推最小二乘-递推增广最小二乘(RLS—RELS)的性能指标加权的广义预测自适应的优化控制算法,解决了模型反馈校正中控制参数与噪声干扰紧耦合情况下参数估值变慢的问题,通过在线递推估计参数,提高了系统计算速度,并且在优化控制量过程中给出一种简便收敛递推算法… …   相似文献

郑德忠  何群 《电子学报》2005,33(8):1442-1445

面向层次编制移动对象的混合特征索引方法

下载全文  

随着无线通信和定位技术的发展,移动对象的追踪已经变得越来越可行和必需.传统空间索引结构因无法适应大量的更新操作而不能应用于移动对象的存储与检索.针对具有层次化编制特征的移动对象集,首先给出了一种实现坐标-编制混合特征索引的C²OR-Tree方法.在C²OR-Tree的基础上,提出了称为\"主动插入-延迟删除(AIDD)\"技术的移动对象位置更新批处理算法.AIDD算法充分利用了C²OR-Tree在更新批处理时的局部重构特性,通过在新坐标下对象插入过程中结合更新区域标记过程的思想给出了C²OR-Tree更新批处理的高效实现.实验结果显示,采用AIDD技术的C2OR-Tree不仅具有高效的位置更新批处理性能,而且在多次更新后男,副教授,主要研究领域为人工智能,数据库技术.仍能保持令人满意的查询性能.… …   相似文献

张巨  肖予钦  景宁  陈宏盛 《软件学报》2004,15(3):371-378

序列图像中彩色目标跟踪的加权颜色分布方法

  总被引：1，自引：2，他引：1

提出一种基于加权颜色概率分布模型的彩色目标跟踪方法。对目标的颜色直方图进行改造形成目标的颜色概率分布图,同时考虑到了颜色模型的大小及其中像素点的位置对颜色分布的影响, 再对颜色分布图进行加权处理成为加权颜色分布图, 以此作为目标的颜色模型。与加权直方图相比,加权颜色分布图对区域特… …   相似文献

姚红革  郝重阳  雷松则  齐华  齐敏 《中国图象图形学报》2009,14(1):99-105

实时内存数据库的装入

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

实时数据库(real-time database,简称RTDB)要求以内存数据库(main memory database,简称MMDB)作为其底层支持.内存数据库的脆弱性使得数据库的装入(包括初装和重装)极为频繁,对系统性能影响极大,而传统的装入算法对实时内存数据库不适用.为此… …   相似文献

刘云生  李国徽 《软件学报》2000,11(6):829-835

基于Web-Log Mining的N元预测模型

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

随着Web上用户访问信息的不断增加,特别是Web服务器可提供大量的日志文件,使得有可能对这些大数据集进行知识挖掘,例如,对用户未来的访问进行预测.提出了一种利用服务器日志文件,运用N元(N-gram)预测模型对用户未来可能进行的Web访问请求进行预测.这种模型会选择性地对用户可预… …   相似文献

苏中  马少平  杨强  张宏江 《软件学报》2002,13(1):136-141

连续方向图法在残留指纹分割中的应用

下载全文  

针对残留指纹不易被分割的特点,提出一种连续方向图实现残留指纹分割的应用算法。该算法首先计算点方向图,然后利用直方图滤波技术对指纹点方向图进行滤波处理,得到连续分布方向图;其次对前景区域进一步分析,根据残留指纹和正常指纹方向一般不一致的特点,运用残留指纹与指纹区交界处方向信息变化较… …   相似文献

王峰  陈蕴 《中国图象图形学报》2010,15(11):1608-1614

软件流水的开销模型和决策框架

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

软件流水是一种重要的指令调度技术,它通过重叠地执行不同的循环体来提高指令级并行性(instruction level parallelism,简称ILP).模调度是一类被广泛采用的软件流水调度算法.软件流水并非一种无损的优化方法,它具有一定的开销,比如延长了编译时间、增加了寄存器… …   相似文献

李文龙  林海波  汤志忠 《软件学报》2004,15(7):1005-1011

基于特征散度的自适应FCM图像分割算法

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

图像分割是模式识别、图像理解、计算机视觉等领域的重要研究内容。基于模糊C均值聚类(FCM)的图像分割是应用较为广泛的方法之一,但其存在距离测度鲁棒性差、需预先给出初始聚类数目、未考虑图像局部相关特性等问题。为克服上述缺点,通过引入特征散度进行距离测度,并结合聚类有效性指数自适应确… …   相似文献

王向阳  王春花 《中国图象图形学报》2008,13(5):906-910

机器翻译中异化现象的分析及映射运算

  

本文从词汇－语义角度分析了机器翻译中与汉英语言相关的一些异化现象,探讨了语义－句法映射运算集的有效性和合理性．同时,本文讨论了通过变异映射集、变异类型指示器和参数合一机制解决机器翻译中异化现象的方法．这些方法提高了译准率,使生成的句子既能正确表达原中间语言的语义,又符合目标语言的… …   相似文献

郭宏蕾  姚天顺 《软件学报》1998,9(1):18-24

中心引力算法收敛分析及在神经网络中的应用

下载全文  

中心引力优化算法(central force optimization,简称CFO)是一种新型的基于天体动力学的多维搜索优化算法.该算法是一种确定性的优化算法,利用一组质子在万有引力作用下的运动,搜索目标函数在决策空间上的最优值.利用天体力学理论对该算法中质子运动方程进行了深入的… …   相似文献

孟超  刘三民  孙知信 《软件学报》2013,24(10):2354-2365

认证协议两种形式化分析方法的比较

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

串空间模型和CSP方法是当前最著名的分析认证协议的形式化方法.通过一个具体的认证协议例子,比较两种方法的不同特点.  相似文献

卿斯汉 《软件学报》2003,14(12):2028-2036

2维CAD工程图小波域可逆水印

  

针对2维CAD工程图对高精度的要求,提出一种采用改进量化索引调制（IQIM）的2维CAD工程图小波域可逆水印算法。该算法首先提取2维CAD工程图中所有实体的顶点信息,并对顶点信息依次进行顶点变换和离散小波变换以获取仿射变换不变性,然后使用改进的量化索引调制算法将加密后的水印信息嵌… …   相似文献

彭飞  雷瑜洲  孙星明 《中国图象图形学报》2011,16(7):1134-1139