一种基于层次切片谱的软件错误定位技术

下载全文  

传统的软件错误定位技术通常利用测试覆盖信息计算程序语句发生错误的可疑度进行软件错误定位,但是这种定位技术没有充分考虑程序本身固有的依赖信息,缺乏语句筛选,从而使错误定位的精度受限.提出了一种基于层次切片谱的错误定位技术,以提高面向对象程序中的错误定位效率.这种技术首先分析程序不同… …   相似文献

文万志  李必信  孙小兵  刘翠翠 《软件学报》2013,24(5):977-992

基于支持度理论的广义Modus Ponens问题的最优解

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

为了将模糊推理纳入逻辑的框架并从语构和语义两个方面为模糊推理奠定严格的逻辑基础,通过将模糊推理形式化的方法移植到经典命题逻辑系统中,把FMP(fuzzy modus ponens)问题转化为GMP(generalized modus ponens)问题,并基于公式的真度概念提出了… …   相似文献

李骏  王国俊 《软件学报》2007,18(11):2712-2718

一种有效的关系数据库压缩方法

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

海量关系中经常存在小值域属性,关系不仅在这些属性上的互不相同的值的数量很小,而且在这些属性的组合上的值域也很小.因此,海量关系在这些属性上有很多重复的组合值.一种提高数据库的存储和查询效率的重要方法就是消除这些重复取值.为此,提出了拆分压缩技术,它将海量关系拆分成两种较小的关系,… …   相似文献

骆吉洲  李建中 《软件学报》2005,16(2):205-214

语音信号中的情感识别研究

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

提出了从语音信号中识别情感特征的方法.从5名说话者中搜集了带有欢快、愤怒、惊奇和悲伤的情感语句共300句.从这些语音资料中提取了10个情感特征.提出了3种基于主元素分析的语音信号中的情感识别方法.使用这些方法获得了基本上接近于人的正常表现的识别效果.  相似文献

赵力  钱向民  邹采荣  吴镇扬 《软件学报》2001,12(7):1050-1055

公平交换协议形式逻辑

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

在深入分析公平交换协议现有研究和各项安全属性的基础上,由于信任逻辑方法难以分析乐观公平交换协议的公平性和时限性,提出一种公平交换协议形式化模型和推理逻辑.新模型将信道错误转化为攻击行为,将参与者分为诚实与不诚实两类,并将这些威胁归结为两类入侵者.基于模型检查思想,新逻辑将协议定义… …   相似文献

陈明  吴开贵  吴长泽  徐洁  吴中福 《软件学报》2011,22(3):509-521

基于近似KLT域的语音信号压缩感知

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

压缩感知是近年来兴起的研究热点,该文基于语音信号在KLT域的稀疏特性,提出了基于模板匹配的近似KLT,并在基于模板匹配近似KLT域上研究了语音信号的压缩感知性能。首先验证语音信号在基于模板匹配近似KLT域上的稀疏性,然后由语音信号与观测矩阵构造相应的观测,采取固定分配每帧观测个数… …   相似文献

郭海燕  杨震 《电子与信息学报》2009,31(12):2948-2952

点模型的多分辨率形状编辑

下载全文  

提出了一种基于几何细节映射的点模型的形状编辑方法.几何细节是曲面的一个重要属性,定义几何细节为原始曲面及其基曲面之间的向量差,该基曲面由多层次B样条所构成.通过基曲面上的局部仿射坐标,则可以得到与之对应的多分辨率几何细节表示,曲面的低频信息和高频信息易被用户所指定的频段分离.通过… …   相似文献

肖春霞  冯结青  周廷方  郑文庭  彭群生 《软件学报》2007,18(9):2336-2345

基于张量子空间学习的人行为识别方法

下载全文  

提出了一种基于张量子空间学习降维人体高维侧影数据的人行为识别方法。给定一个动作的人侧影图像序列,首先用张量子空间学习方法将目标高维侧影图像投影到低维子空间来描述人运动的时空特性,并同时尽可能地保持目标侧影图像中像素之间的空间几何信息,然后用Hausdorff距离度量动作之间的相似… …   相似文献

凌志刚  梁彦  潘泉  程咏梅  赵春晖 《中国图象图形学报》2009,14(3):394-400

完全析取范式群判定SHOIN(D)-可满足性

下载全文  

针对非循环概念提出了一种对SHOIN(D)-概念可满足性进行判断的方法——CDNF(complete disjunctive normal form)算法.该算法通过把非循环定义的概念描述本身构建成分层次的析取范式群,并通过子句重用技术阻止无谓的子概念扩展,这样的析取范式群具有可满足性自明性,从而可以实现对SHOIN(D)-概念可满足性的直接判断.该算法基本上消除了判断过程中描述重复的现象,从而在空间、时间性能上都比Tableau算法有更好的表现.… …   相似文献

古华茂  王勋  凌云  高济 《软件学报》2010,21(8):1863-1877

自适应字典学习的多聚焦图像融合

下载全文  

基于人类视觉系统及信号的过完备稀疏表示理论,提出一种新的多聚焦图像融合算法。首先从待融合图像中随机取块构成训练样本集,经迭代运算获取过完备字典;然后由正交匹配追踪算法完成图像块的稀疏分解;再按分解系数的显著性选择融合系数并完成图像块的重构;重构块经重新排列并取平均后获得最后的融合… …   相似文献

严春满  郭宝龙  易盟 《中国图象图形学报》2012,17(9):1144-1149

基于手持相机的文档图像拼接算法

下载全文  

为了把手持相机拍摄的多幅文档图像拼接成一幅大的图像,提出了一种基于全局对准模型的文档图像拼接算法。该算法首先通过估计文档图像的消隐点坐标来校正透视失真,使相邻图像的几何关系可以用仿射变换表示;然后采用随机采样方法调整特征点之间的距离,使其尽可能均匀地分布在整个重叠区域内;接着利用… …   相似文献

苗立刚 《中国图象图形学报》2009,14(8):1656-1662

从DEM中自动提取自然水系

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

为了从数字高程数据中自动提取区域水资源信息,以提高基于GIS的区域水资源勘查评价工作的效率,提出了一种从DEM中自动提取自然水系的实用方法,该方法通过DEM数据预处理,首先将其中的洼地和小平原改造成斜坡;然后依据水总是沿斜坡最陡方向流动的原理,确定DEM中每一个栅格点的水流方向,… …   相似文献

陈永良  刘大有  于强元 《中国图象图形学报》2002,7(1):91-96

基于加博函数的指纹增强算法及其应用

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

指纹增强对于提高细节特征提取的准确率乃至整个自动指纹识别系统的性能实现都具有重要的意义.研究了基于加博(Gabor)函数的指纹增强算法,对纹线方向提取算法进行了改进,提出了一种纹线频率提取方法,给出了加博函数用于指纹增强的具体应用形式,以指纹图像的纹线方向和纹线频率为参数,使用加… …   相似文献

尹义龙  詹小四  谭台哲  宁新宝 《软件学报》2003,14(3):484-489

Hits和Holds:识别大象流的两种算法

下载全文  

随着网络规模的扩大和链路速度的提高,实时采集每条流的流量变得非常困难.Estan等人提出采集大象流的设想,并提出了识别大象流的算法:Sample and Hold算法和Multistage算法.但这两种算法在实现时存在: Sample and Hold算法随机丢弃报文,带来采集数… …   相似文献

王宏  龚正虎 《软件学报》2010,21(6):1391-1403

一种多周期漏洞发布预测模型

下载全文  

提出了一种多周期漏洞发布预测模型,描述了漏洞发现数量与时间的关系,预测漏洞发布过程.该模型引入周期概念,扩展了原单一增长过程的漏洞发布预测模型,增大了现有模型的适用范围.提出了相关参数的计算方法与初值选取方法,对8个版本的Windows操作系统进行实验分析.结果表明,该模型增加了… …   相似文献

陈恺  冯登国  苏璞睿  聂楚江  张晓菲 《软件学报》2010,21(9):2367-2375

自适应样本块大小的图像修复方法

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

传统基于样本块的图像修复算法中样本块大小是固定不变的,在修复过程中无法根据图像的具体情况进行调节,这在很大程度上影响了图像的整体修复效果。为了解决这一问题,提出一种自适应确定样本块大小的方法。该算法通过分析图像的梯度域变化,获得各像素点处的结构信息,进而自适应确定待修复样本块的大… …   相似文献

孟春芝  何凯  焦青兰 《中国图象图形学报》2012,17(3):337-341

基于CORDIC算法的高精度浮点对称矩阵特征值分解的FPGA实现

  

为了提高实对称矩阵特征值分解算法的速度,在FPGA上设计并实现了符合IEEE-754标准的单精度浮点(32-bit)CORDIC算法,以在保证运算精度的前提下,最大限度地优化资源和速度。整个设计是在Xilinx公司的Spartan-3xc3sd1800a-5FPGA上实现的。测试… …   相似文献

陈刚  陈旭  徐元  边昳  鲁华祥 《计算机科学》2013,40(5):35-37

面向Web 新闻的事件多要素检索方法

下载全文  

针对用户获取事件类信息的需求,在分析Web 新闻特征、事件多要素检索特点的基础上,研究了面向Web 新闻的事件多要素检索方法.首先,提出了面向Web 新闻的事件多要素检索模型;然后,使用BNF(Backus-Naur form)形式化定义了事件多要素查询项;最后,结合事件的动作要素、Web 新闻标题的重要性及事件项与约束项之间的距离,提出了事件查询项与文档相关性的计算方法.设置了16 个事件多要素查询项,基于Baidu 搜索引擎对P@n 指标进行了实验分析,所提方法得到的平均P@10 结果为0.87,平均P@20 结果为0.83.对16 个事件查询主题,通过人工标注语料的方法对F-measure 指标进行了实验分析,所提方法得到的平均F-measure 为0.74.结果表明,所提方法对事件多要素的检索较为有效.… …   相似文献

仲兆满  李存华  刘宗田  戴红伟 《软件学报》2013,24(10):2366-2378

基于Cluster的无线Mesh网络位置管理方法

下载全文  

提出一种基于Cluster的位置管理方法,充分考虑到Mesh结构的特点,利用Cluster内部各小区路径的相似性,采用似组播方式分发信令,提高了Mesh网络中位置管理的效率.数值分析显示,此方法显著地降低了位置管理的信令开销.  相似文献

胡渭琦  邹仕洪  程时端  胡博  王文东 《软件学报》2010,21(6):1404-1415

面向大规模数据的分层近邻传播聚类算法

  

近邻传播(Affinity Propagation,AP)聚类具有不需要设定聚类个数、快速准确的优点,但无法适应于大规模数据的应用需求。针对此问题,提出了分层近邻传播聚类算法。首先,将待聚类数据集划分为若干适合AP算法高效执行的子集,分别推举出各个子集的聚类中心;然后对所有子集聚… …   相似文献

刘晓楠  尹美娟  李明涛  姚东  陈武平 《计算机科学》2014,41(3):185-188,192