语义网的一阶逻辑推理技术支持

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

研究了一阶逻辑推理工具对语义网的推理支持.语义网的关键推理问题可以化为公式的可满足性判定问题.一阶逻辑的自动定理证明器可以证明不可满足性,而有限模型查找器为可满足的公式在有限域内构造模型.提出在语义网的推理中,同时使用定理证明器和有限模型查找器.实验结果表明,这样可以解决描述逻辑… …   相似文献

徐贵红  张健 《软件学报》2008,19(12):3091-3099

一种基于Messy GA的结构测试数据自动生成方法

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

结构性测试是标识测试用例的基本方法之一.由于程序语言的复杂性以及被测程序的多样性,自动生成结构测试数据的一种有效方法是根据程序运行结果指导生成过程,通过不断迭代,生成符合要求的测试数据集.提出一种基于Messy GA的结构测试数据自动生成方法,将测试覆盖率表示为测试输入集X的函数F(X),并利用Messy GA不需要染色体模式排列的先验知识即可进行优化求解的性质对F(X)进行迭代寻优,进一步提高了搜索的并行性,并最终提高测试覆盖率.对一组标准测试程序和若干实际应用程序的实验结果表明,较之现有基于遗传算法的生成方法,该方法能够以更高的效率生成更高质量的测试数据,并适用于较大规模的程序.… …   相似文献

薛云志  陈伟  王永吉  赵琛  王青 《软件学报》2006,17(8):1688-1697

词袋特征压缩算法比较研究

  

针对目前词袋(BoF)特征压缩算法忽略编码矢量之间空间关系的问题,本文给出了压缩算法与金字塔模型相配合的图像分类步骤。同时以多个公开图像数据集为实验对象,对典型词袋特征压缩算法的性能进行比较性研究报道。实验结果表明,压缩算法对于视觉单词数目以及编码方法具有良好的鲁棒性;其中基于子… …   相似文献

杨赛  赵春霞 《中国图象图形学报》2013,18(11):1468-1477

基于遗传算法的SAR图像自动道路提取

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

为了有效地进行SAR图像道路目标自动提取,提出了一种基于遗传算法的SAR图像道路目标自动提取方法。该方法首先通过Frost滤波器去相干斑;然后利用乘性Duda线特征检测算子进行线特征检测,接着利用Radon变换进行线基元提取,再利用遗传算法进行线基元连接;最后利用蛇模型调整道路位… …   相似文献

贾承丽  赵凌君  吴其昌  匡纲要 《中国图象图形学报》2008,13(6):1134-1142

可证安全的无证书代理签名方案

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

研究在新提出的无证书公钥密码系统下的代理签名问题,给出了无证书代理签名方案非常强的安全模型.该安全模型下的攻击者是能力最强的超级类型I 和类型II 攻击者.同时,利用双线性映射设计了一个高效的无证书代理签名方案.其安全性基于计算Diffie-Hellman 问题的困难性,并在此安… …   相似文献

陈虎  张福泰  宋如顺 《软件学报》2009,20(3):692-701

一种求解最大团问题的并行交叉熵算法

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

为了提高交叉熵算法求解最大团问题(maximum clique problem,MCP)的性能,提出一种领导者-跟随者协作求解的并行策略来实现交叉熵算法,从而达到减少计算时间和保障解的质量这两方面的平衡.算法中领导者活跃在并行处理器之间采集数据,并根据当前获得信息对跟随者作出决策… …   相似文献

吕强  柏战华  夏晓燕 《软件学报》2008,19(11):2899-2907

基于小波域局部高斯模型的图像复原

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

图像复原的目的是将原始图像从观测到的降析图像中恢复出来.提出了一种基于小波域局部高斯模型的线性图像复原算法.小波域局部高斯模型采用高斯函数刻画子带系数的局部概率分布,由于这一模型具有很好的局部自适应性,并能正确地反映图像的局部结构信息,因此算法以此作为自然图像的先验模型,把图像复… …   相似文献

汪雪林  韩华  彭思龙 《软件学报》2004,15(3):443-450

基于概率模型的高动态范围图像色调映射

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

提出了一种概率模型对HDR(high dynamic range)图像进行色调再生.分别对局部像素的色调能量分布与HDR/LDR(low dynamic range)间梯度变化约束建立概率统计模型,通过求解最大后验概率(maximum a posteriori,简称MAP)将整个… …   相似文献

宋明黎  王慧琼  陈纯  叶秀清  顾伟康 《软件学报》2009,20(3):734-743

可扩展的花卉种类识别

  

目的 基于模式识别的花卉种类识别方法在使用不同特征或分类器时识别准确率有较大差别。本文的研究目的在于实现花卉种类识别方法的快速构建及性能评估,减轻研究人员的编程工作量,提高效率。方法 根据使用模式识别技术进行花卉种类识别的一般步骤,应用插件技术将算法中的预处理、特征提取、分类器训练、分类器识别等步骤表示成不同种类的处理器,建立可扩展的系统平台,研究人员可以通过修改各步骤所使用的处理器来修改图像处理和识别算法,并在此基础上采用流式链接方法构建算法。结果 基于本文所提出的构建方法进行算法优化,并将其用于68种花卉的识别,准确率Top1为 91.26%,Top5为98.41%。结论 流式链接方法能够对识别方法进行快速装配,有利于快速评估不同特征和分类器在花卉种类识别中的性能,适于算法的研究和优化。本文所提出的基于工作流式链接方法以及插件技术的构建方法具有灵活易用的特点,所构建的算法具有良好的可扩展性。该方法还可以推广应用于其他基于数字图像的模式识别算法研究。… …   相似文献

苗金泉  曹卫群 《中国图象图形学报》2014,19(11):1630-1638

一种源程序到流程图的转换方法及实现

下载全文  

把源程序转换为流程图是软件工程的研究课题之一。本文提出了一种把源程序转换为结构化的流程图(PAD图)的方法和实现技术,该方法和技术已被用于转换工具IPADT系统。此外,本文也讨论了这种转换中所面临的几个问题。  相似文献

毋国庆  陶培基  周国强 《软件学报》1991,2(3):36-43

用于圆锥体位姿测量的曲面标记

  

设计了一种用于圆锥体位姿测量的曲面标记。确定了用于圆锥体位姿测测量的曲面标记设计原则;提出了将圆锥体展开成扇形并将扇形等分成6个子扇区的设计方案;以子扇区为标记设计单元,利用梯形实现点面特征的联合设计及标记的赋形设计,且保证每个子扇区具有58个角点;结合圆锥体几何及运动特征为每个… …   相似文献

李蒙  谌德荣  周广铭  蒋玉萍  高翔霄 《中国图象图形学报》2012,17(12):1534-1539

全局未知环境下多机器人运动蚂蚁导航算法

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

研究了全局未知静态复杂环境下多机器人运动的导航问题,提出了一种新颖的蚂蚁导航算法.该方法将全局目标点映射到机器人视野域边界附近作为局部导航子目标,再由两组蚂蚁相互协作完成机器人视野域内局部最优路径的搜索,在此基础上进行与其他机器人的碰撞预测与避碰规划.机器人每前进一步都重复上述过… …   相似文献

朱庆保 《软件学报》2006,17(9):1890-1898

基于支持向量聚类的多聚焦图像融合算法

下载全文  

从无监督机器学习角度提出了一种基于SVC(support vector clustering)的图像融合规则,解决了基于SVM(support vector machine)的融合规则在处理多聚焦图像融合问题时所引起的区域混叠与非平滑过渡问题,进一步提高了融合图像的质量.使用非降采样离散小波变换对源图像进行多分辨率分解,基于网格提取源图像的特征.图像特征集合作为SVC的输入数据集,聚类结果最终由区域鉴别算法分配到两个区域:互补信息区域和冗余信息区域,并分别采用选择法和加权平均法生成融合图像的多分辨率表示,通过对这一多分辨率表示进行小波逆变换重构融合图像.详细研究了SVC的参数q与融合效果的评价参数RMSE之间的关系.理论分析及实验结果均表明,SVC用于图像融合问题是合适的,而且比较实验显示,基于SVC的融合规则优于基于SVM的融合规则.… …   相似文献

张诚成  胡金春 《软件学报》2007,18(10):2445-2457

基于矩阵加权关联规则挖掘的伪相关反馈查询扩展

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

提出一种面向查询扩展的矩阵加权关联规则挖掘算法,给出与其相关的定理及其证明过程.该算法采用4种剪枝策略,挖掘效率得到极大提高.实验结果表明,其挖掘时间比原来的平均时间减少87.84%.针对现有查询扩展的缺陷,将矩阵加权关联规则挖掘技术应用于查询扩展,提出新的查询扩展模型和更合理的… …   相似文献

黄名选  严小卫  张师超 《软件学报》2009,20(7):1854-1865

蓝牙自组个人网监听模式下分散网调度算法

下载全文  

蓝牙自组个人区域网络是由具有蓝牙功能的设备组成一个不需额外网络设备,在某个区域内一起自主协调工作,相互间自由通信的独立无线移动网络.网络中的某些节点采用时分复用方式参与多个微微网中并转发网络数据.由于节点在某时刻只能加入其中一个微微网中,这就需要微微网间或者分散网调度算法.监听模… …   相似文献

林鸿  丁文芳  高强 《软件学报》2003,14(8):1495-1502

话题跟踪中静态和动态话题模型的核捕捉衰减

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

话题跟踪是一项针对新闻话题进行相关信息识别、挖掘和自组织的研究课题,其关键问题之一是如何建立符合话题形态的统计模型.话题形态的研究涉及两个问题,其一是话题的结构特性,其二是话题变形.对比分析了现有词包式、层次树式和链式这3类主流话题模型的形态特征,尤其深入探讨了静态和动态话题模型… …   相似文献

洪宇  仓玉  姚建民  周国栋  朱巧明 《软件学报》2012,23(5):1100-1119

电子化供应链研究的国际动态与述评

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

电子化是供应链管理发展的一个主旋律, 由于信息技术的发展与支持作用, 使供应链管理的各种思想与理论得到实现。首先从电子化供应链的数据管理与通信基础技术( 电子数据交换EDI/ Internet、产品数据管理PDM、扩展标记语言XML) 和电子化供应链的应用技术( 企业资源计划ER… …   相似文献

陈志祥 《计算机应用研究》2005,22(3):1-5

基于视觉的互动游戏手势界面工具箱

下载全文  

分析了视觉手势的交互特征,提出了非接触型设备交互模型,基于数据流图方法建立了支持连续信息输入的数据流模型来描述视觉手势信息的处理流程,基于\"paint-view-correct\"隐喻构建了手势界面开发工具IEToolkit.系统的主要特点包括:使用插件设计思想提供了可扩展的接… …   相似文献

武汇岳  张凤军  刘玉进  胡银焕  戴国忠 《软件学报》2011,22(5):1067-1081

协议抗拒绝服务攻击性自动化证明

  

首先从攻击者上下文与进程表达式2个方面对标准应用PI演算进行扩展,然后从协议状态的角度,应用扩展后的应用PI演算对协议抗拒绝服务攻击性进行建模,提出一个基于定理证明支持一阶定理证明器ProVerif的抗拒绝服务攻击性自动化证明方法,最后应用ProVerif分析与验证了JFK协议与… …   相似文献

孟博  黄伟  王德军  邵飞 《通信学报》2012,(3):112-121

一种基于功能需求层次凝聚的程序聚类方法

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

对大型复杂系统进行聚类分析能够改善软件维护的效率和效果,同时也是获取可复用构件的基础.提出一种基于需求层次凝聚的程序聚类方法来解决这个问题.该方法利用存在于需求描述中的语义信息获取问题域的高层逻辑,结合对源代码的动态分析,最终获取对源代码的分解划分.使用该方法获取的划分结果具有到… …   相似文献

张路  梅宏  孙家骕 《软件学报》2006,17(8):1661-1668