支持术语公理约束的扩展模糊描述逻辑推理

下载全文  

  相似文献

康达周  徐宝文  陆建江  李言辉 《软件学报》2007,18(7):1563-1572

基于最大权值路径算法的DNA多序列比对方法

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

针对生物序列分析中的多序列比对问题,当输入数据量比较大时,人们提出了很多启发式的算法来改善计算速度和比对结果.提出了用于进行全局DNA多序列比对的一种方法:MWPAlign(maximum weighted path alignment).该算法把序列信息用de Bruijn图的… …   相似文献

霍红卫  肖智伟 《软件学报》2007,18(2):185-195

基于形态学商图像的光照归一化算法

下载全文  

复杂光照条件下的人脸识别是一个困难但需迫切解决的问题,为此提出了一种有效的光照归一化算法.该方法根据面部光照特点,基于数学形态学和商图像技术对各种光照条件下的人脸图像进行归一化处理,并且将它发展到动态地估计光照强度,进一步增强消除光照和保留特征的效果.与传统的技术相比,该方法无须… …   相似文献

何晓光  田捷  毋立芳  张瑶瑶  杨鑫 《软件学报》2007,18(9):2318-2325

基于模型的软件测试方法研究

下载全文  

随着面向对象软件开发技术的广泛应用和软件测试自动化的要求,基于模型的软件测试逐渐得到了软件开发人员和软件测试人员的认可和接受。基于模型的软件测试是软件编码阶段的主要测试方法之一,具有测试效率高、排除逻辑复杂故障测试效果好等特点。但是误报、漏报和故障机理有待进一步研究。对主要的测试… …   相似文献

吴艳  张惠 《计算机系统应用》2008,17(8):87-89

社会化推荐系统研究

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

近年来,社会化推荐系统已成为推荐系统研究领域较为活跃的研究方向之一.如何利用用户社会属性信息缓解推荐系统中数据稀疏性和冷启动问题、提高推荐系统的性能,成为社会化推荐系统的主要任务.对最近几年社会化推荐系统的研究进展进行综述,对信任推理算法、推荐关键技术及其应用进展进行前沿概括、比… …   相似文献

孟祥武  刘树栋  张玉洁  胡勋 《软件学报》2015,26(6):1356-1372

改进的正则化模型在图像恢复中的应用

下载全文  

目的 由拟合项与正则项组成的海森矩阵,如果不具有特殊结构,其逆矩阵计算比较困难,为克服此缺点,提出一种海森矩阵可分块对角化的牛顿投影迭代算法。方法 首先,用L₂范数描述拟合项,用自变量是有界变差函数的复合函数刻画正则项,建立能量泛函正则化模型。其次,引入势函数,将正则化模型转化为增广能量泛函。再次,构造预条件矩阵,使得海森矩阵可分块对角化。最后,为防止牛顿投影迭代算法收敛到局部最优解,采用回溯线性搜索算法和改进的Barzilai-Borwein步长更新准则使得算法全局收敛。结果 针对图像去模糊正则化模型容易使边缘平滑和产生阶梯效应“两难”问题,提出一种新的正则化模型和牛顿投影迭代算法。仿真结果表明,“两难”问题通过本文算法得到了很好的解决。结论 与其他正则化图像去模糊模型相比,本文算法明显改善图像的质量,如有效地保护图像的边缘,抑制阶梯效应,相对偏差和误差较小,较高的峰值信噪比和结构相似测度。… …   相似文献

李旭超  宋博 《中国图象图形学报》2014,19(12):1730-1742

一种鲁棒的三通道SAR慢动目标检测、定位算法研究

  

该文研究三通道合成孔径雷达(SAR)在通道不平衡条件下的慢动目标检测、定位问题。实际系统中,由于雷达系统存在通道幅相不一致等误差,干涉SAR/GMTI技术的杂波抑制性能急剧下降,无法检测慢动目标并进行定位。本文提出了一种分块SAR图像通道误差校正算法,进而采用空域自适应处理对慢动… …   相似文献

沈明威  朱岱寅  朱兆达 《中国图象图形学报》2009,14(1):30-34

基于特征的时空数据模型：研究进展与问题探讨

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

首先分析了时空数据模型的不同层次,指出了当前时空数据模型存在的主要问题,认为目前的时空数据模型缺少对地理现象的显式定义和基础关系描述,不能在语义层次上实现数据共享,传统的基于专题地理分层的空间数据表达思想,和单一图层内以矢量或栅格数据结构基本单元作为地理实体或现象基本建模单元的表… …   相似文献

陆锋  李小娟  周成虎  尹连旺 《中国图象图形学报》2001,6(9):830-835

一种有效的汉语概率句法分析算法

下载全文  

一种有效的汉语概率句法分析算法通过制定语法功能词表和包含语法功能词的概率上下文无关规则集进行句法分析。它以语法功能词为切入点,首先识别出所有包含语法功能词的短语,然后分析短语之间的组合关系,最终得到句法树。实验表明该算法能获得较高的准确率。  相似文献

陈晓辉  周源远  袁春风  武港山 《计算机应用研究》2006,23(1):141-143

一种基于拓扑势的网络社区发现方法

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

从数据场思想出发,提出了一种基于拓扑势的社区发现算法.该方法引入拓扑势描述网络节点间的相互作用,将每个社区视为拓扑势场的局部高势区,通过寻找被低势区域所分割的连通高势区域实现网络的社区划分.理论分析与实验结果表明,该方法无须用户指定社区个数等算法参数,能够揭示网络内在的社区结构及社区间具有不确定性的重叠节点现象.算法的时间复杂度为O(m+n^3/γ)～O(n²),n为网络节点数,m为边数,2<γ<3为一个常数.… …   相似文献

淦文燕  赫南  李德毅  王建民 《软件学报》2009,20(8):2241-2254

等谱流形学习算法

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

基于谱方法的流形学习算法的目标是发现嵌入在高维数据空间中的低维表示.近年来,该算法已得到广泛的应用.等谱流形学习是谱方法中的主要内容之一.等谱流形学习源于这样的结论:只要两个流形的谱相同,其内部结构就是相同的.而谱计算难以解决的问题是近邻参数的选择以及如何构造合理邻接权.为此,提… …   相似文献

黄运娟  李凡长 《软件学报》2013,24(11):2656-2666

自适应组件副本选择模型及算法

下载全文  

提出了一个基于域的自适应副本选择模型DARSM(domain based adaptive replica selection model).该模型将组件副本划分为强一致性域和弱一致性域,域间通过一致性窗口机制进行状态同步.基于DARSM模型,给出了一种基于分区加权的自适应副本选… …   相似文献

左林  刘绍华  魏峻  冯玉琳  范国闯 《软件学报》2008,19(5):1212-1223

基于二分决策图的特征模型验证方法

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

特征模型是领域分析活动产生的具有复用价值的软件需求模型.对特征模型的复用通常采用定制的方式.特征模型定制中的一个重要问题是验证问题.该问题的存在是因为特征之间往往具有一定的约束关系,而一个合法的定制结果必须保证特征之间所有约束关系的被满足性.由于特征模型验证问题NP-hard所具… …   相似文献

闫华  张伟  赵海燕  梅宏 《软件学报》2010,21(1):84-97

迭代空间交错条块并行Gauss-Seidel算法

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

针对并行GS(Gauss-Seidel)迭代算法中数据局部性差、同步和通信开销大的问题,首先改进传统GS迭代,提出了多层对称GS迭代算法.然后给出了以迭代空间条块序作为执行序的串行执行模型.该模型通过对迭代空间进行\"时滞\"划分,对迭代空间条块内部多次迭代计算,提高算法的数据局… …   相似文献

胡长军  张纪林  王珏  李建江 《软件学报》2008,19(6):1274-1282

混沌粒子群优化算法

  总被引：41，自引：0，他引：41

粒子群优化算法是一种新的随机全局优化进化算法。本文把混沌寻优思想引入到粒子群优化算法中,这种方法利用混沌运动的随机性、遍历性和规律性等特性首先对当前杠子群体中的最优粒子进行混沌寻优,然后把混沌手优的结果随机替换粒子群体中的一个粒子。通过这种处理使得粒子群体的进化速度加快,从而改善… …   相似文献

高鹰  谢胜利 《计算机科学》2004,31(8):13-15

按需分枝组播

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

在分析总结目前IP组播路由研究的主要成果基础上,提出了一个新的组播路由方案,按需分枝组播.它采用了一种全新的组播树维护方式,即组播树由树上的部分节点(关键节点)维护,不同于现有的组播树由所有树上节点维护的方式,从而节省了网络资源.  相似文献

金志权  项晓晶  陈佩佩 《软件学报》2003,14(3):553-561

图数据表示与压缩技术综述

下载全文  

对包含亿万个节点和边的图数据进行高效、紧凑的表示和压缩,是大规模图数据分析处理的基础.图数据压缩技术可以有效地降低图数据的存储空间,同时支持在压缩形式的图数据上进行快速访问.通过深入分析该技术的发展现状,将该技术分为基于传统存储结构的压缩技术、网页图压缩技术、社交网络图压缩技术、… …   相似文献

张宇  刘燕兵  熊刚  贾焰  刘萍  郭莉 《软件学报》2014,25(9):1937-1952

基于MDA的TRISO-Model模型管理方法及应用

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

TRISO-Model(tridimensional integrated software development model)是为处理软件开发的复杂性和动态性而提出的三维集成软件开发方法学,其中,多维模型之间的语义一致性维护以及对模型应用中公共操作部分的重用,提出了基于一致语… …   相似文献

袁峰  李明树 《软件学报》2007,18(7):1612-1625

强度和梯度稀疏约束下的图像平滑

下载全文  

目的 为了在图像平滑过程中达到更好地保留边缘去除细节效果,提出一种以像素强度和梯度的稀疏特性为双重约束的图像平滑算法。方法 该算法首先构造一个像素强度和梯度的0-范数函数,作为平滑模型的约束项;然后采用半二次变量分裂法引入辅助变量,构造最终的较易求解的平滑模型;最后利用交替最小化算法求解该模型,并在傅里叶频域内求解平滑图像的解析解,以加快算法的运行速度。结果 在自然图像上进行的平滑实验并与其他算法对比表明,本文的算法时间仅需3.42 s,比双边滤波算法快7.85 s,能够较好地满足图像平滑保留边缘去除细节的要求以及计算效率的要求。结论 本文以强度和梯度的稀疏特性为约束的图像平滑算法能够较好地去除图像中不重要的细节,保留图像的边缘特征,较好地实现了图像的平滑效果,适用于含有复杂背景噪声的图像平滑去噪及边界增强。… …   相似文献

胡大盟  黄伟国  张永萍  杨剑宇  朱忠奎 《中国图象图形学报》2015,20(9):1161-1169

基于多尺度边缘保持正则化的超分辨率复原

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

超分辨率复原是一种由一序列低分辨率变形图像来估计一幅(或一序列)较高分辨率的非变形图像的技术,同时,它能够消除加性噪声以及由有限检测器尺寸和光学元件产生的模糊.提出了一种基于多尺度正则化先验的最大后验概率超分辨率复原算法.算法特点如下:(1) 对运动估计结果实施可信度验证;(2)… …   相似文献

张新明  沈兰荪 《软件学报》2003,14(6):1075-1081