首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到19条相似文献,搜索用时 168 毫秒
1.
花指令模糊变换是代码模糊变换策略中的一种有效方法.在分析现有花指令加密方法的基础上,提出一种子程序花指令模糊变换方案,并利用形式化方法对其进行描述.通过研究子程序花指令模糊变换各种形式化的定义,推导出若干引理,从"XOR及CMP扩展"、"伪分支构造"、"JNE后加花指令"等3个方面加以形式化的证明,使得经上述子程序花指令模糊变换的程序具有与原程序相同的逻辑性.最后,以代码模糊变换评测标准对该算法的效果进行了详细分析.  相似文献   

2.
一种优化的并行流域分割算法   总被引:1,自引:0,他引:1  
流域变换(又称分水岭变换)是数字形态学中用于图像分割的一种有效的方法.但是经典的流域算法具有很强的递归性质,直接并行化效率很低.首先,分析比较了已有并行算法的优缺点,然后从基于距离的流域变换定义入手,提出了一种优化的并行流域分割算法.该算法给出了新的区域关系图的定义,并利用了基于下降距离的方法的局部性;通过引入伪种子点使得各子域之间区域生长和合并的过程相对独立,基本消除了重复泛洪带来的开销;同时可直接生成分水岭.实验表明,提出的算法在执行时间和可扩展性两方面都得到了优化,并拓展了算法的适应性.  相似文献   

3.
互联网推荐系统比较研究   总被引:100,自引:6,他引:94       下载免费PDF全文
全面地总结推荐系统的研究现状,旨在介绍网络推荐的算法思想、帮助读者了解这个研究领域.首先阐述了推荐系统研究的工业需求、主要研究机构和成果发表的期刊会议;在讨论了推荐问题的形式化和非形式化定义之后,对主流算法进行了分类和对比;最后总结了常用数据集和评测指标,领域的重难点问题和未来可能的研究热点.  相似文献   

4.
基于神经网络的软件水印实现方案   总被引:1,自引:0,他引:1  
本文总结了现有的软件水印算法并给出了水印系统的形式化定义,继而提出一种新的基于神经网络的软件水印实现方案,并对其进行了简单的性能分析。  相似文献   

5.
基于神经网络的软件水印实现方案   总被引:4,自引:0,他引:4  
本文总结了现有的软件水印算法并给出了水印系统的形式化定义,继而提出一种新的基于神经网络的软件水印实现方案,并对其进行了简单的性能分析。  相似文献   

6.
计算几何算法经常用于机器人避碰运动规划等安全攸关领域,对这些算法进行正确性证明非常重要.用形式化方法对算法进行验证是一种十分有效的手段,尤其是定理证明的方法用严格的数学公理和定理推理证明逻辑模型的性质,对所验证的性质而言是完备的.基于GJK算法设计了计算空间两条线段间距离的算法,用定理证明器HOL4对其相关的定义和定理进行形式化定义和证明,进而基于霍尔逻辑完成形式化表示和证明,对该算法的正确性实现了形式化验证.最后,给出了这一经过验证的算法在双臂机器人无碰撞运动规划中的应用.  相似文献   

7.
算法设计是一项创造性工作,传统的设计与描述方法难以保证算法的正确性.在PAR方法中通过定义具有数学引用透明性的算法描述语言Radl,可实现对问题规约进行形式化推导得到用递推关系描述的算法.Radl算法的核心就是递推关系组,从而易于进行形式化推导和证明.通过深入剖析Radl算法特性,揭示Radl算法与抽象顺序程序Apla(abstract programming language)间本质关系,定义基于Radl语法产生式的Apla程序生成规则,实现了Apla程序自动生成系统,并对其可靠性进行系统研究,着重形式化验证了实现系统的核心算法.使用PAR方法开发的算法是正确的,采用形式化证明的生成系统具有可靠性保证,从而保证了算法从设计到实现的高可靠性,并通过实现自动化开发工具提高了程序的开发效率.  相似文献   

8.
PAR方法基于分划与递推、量词变换规则、循环不变式开发新策略和软件转换工具,实现了复杂算法问题的形式化开发.采用PAR方法形式化推导几个典型的算法问题.通过量词变换规则对程序规约进行形式化推导,可以得到具有数学引用透明性、易于形式化证明的求解算法问题的递推关系;并在此基础上,自然地导出循环不变式.在得到简短、易于理解、高可靠性的Apla算法程序之后,通过转换工具自动生成Java,C 等可执行程序.  相似文献   

9.
石海鹤  薛锦云 《软件学报》2012,23(9):2248-2260
排序是计算机学科中的一类特殊问题,其算法设计策略的灵活性使得求解算法更具多样性.基于形式化方法PAR(partition-and-recur),研究了排序算法的自动生成问题.刻画了排序问题的代数性质,形式化构建了排序算法领域的泛型类型构件和算法构件,建立了排序领域特定语言和算法生成形式化模型,以参数替换的方式自动生成了一组排序算法,包括快速排序、堆排序、Shell排序等典型的已知算法以及增量选择排序等若干未见于现有文献的算法,并在程序生成系统中予以了实现.通过上层框架研究和底层构件支持,显著提高了特定领域算法的开发效率和可靠性.  相似文献   

10.
Mobile Ambient演算是一种描述进程和设备移动的形式化方法,但其移动进程的实时性目前尚未有合适的形式化表达.通过对Mobile Ambient演算进行实时扩充,提出了一种离散时间域的时间Mobile Ambient演算(DTMA),并为DTMA演算定义了模态逻辑.基于DTMA演算及其模态逻辑的子集给出了模型验证算法,提出了一种对BPEL4WS程序的形式化建模方法,实现了业务流程的活动可达性的模型验证.  相似文献   

11.
乔小燕 《计算机科学》2012,39(103):555-558
针对分水岭变换存在的过分割问题,提出了一种新的图像分割方法。该方法利用灰度包容球获取图像特征灰度集合,通过降低图像中灰度级数目减少无意义的局部极小值区域,对灰度重构后的梯度图像极小值区域采用自动阈值法进行标记并对标记加以质心、形状和面积约束,对修改后的梯度图像采用分水岭变换实现甲藻显微图像中横沟区域的分割。实验证明,该方法可比传统方法更合理地分割出横沟区域,有效抑制了过分割现象。  相似文献   

12.
基于小波变换的流域分割算法*   总被引:1,自引:0,他引:1  
流域算法是一种形态学的图像分割算法,但由于其对噪声十分敏感,分割结果往往存在过度分割的现象。该算法充分利用小波的多分辨率特性,有效地解决了流域算法的过度分割问题,并大大提高了分割的计算速度和噪声抑制能力。  相似文献   

13.
流域变换算法中过度分割的平滑解决方法   总被引:4,自引:0,他引:4  
流域变换是数学形态学中用于图像分割的经典方法,应用十分广泛,但其过度分割问题一直未得到很好的解决。本文首先介绍了流域变换算法的思想,以及引起过渡分割的原因;然后,提出一种解决过度分割问题的快速方法--平滑算子,并通过理论手段证明了该方法的有效性。实验结果表明,该方法是解决流域分割中过渡分割问题的有效方法法。  相似文献   

14.
在Watershed的分割图像基础上,使用贝叶斯理论的图像分割方法。首先对原始图像进行Watershed变换,然后在变换后的标注图像上进行能量的计算,通过选择最小能量的目标依次找出最理想的目标区域。设计一个先验密度来惩罚图像当中Watershed变换后相似的区域,图像分割进而变成对目标子集的最大后验估计。这样就可以逐步找出最理想目标区域和背景区域。实验结果证明,该方法有较好的分割结果。  相似文献   

15.
基于分水岭和重叠率衡量的多级彩色图像分割   总被引:1,自引:0,他引:1       下载免费PDF全文
由于分水岭方法进行图像分割时经常是在梯度图像上进行,并经常产生过分割的结果,因此为克服图像过分割问题和提高分割的准确性,提出了一种基于分水岭和重叠率衡量分层融合策略的彩色图像分割新算法——HWO。该算法首先将RGB颜色空间转化到Lab颜色空间,并根据a、b维来提取统计2维直方图,同时在直方图上运用分水岭分割方法,通过对峰进行填充来得到图像的初步分割结果;然后将与填充对应的分割区域样本与高斯分布结合起来,对图像进行高斯混合模型假设下的参数估计;最后对模型与模型间进行重叠率衡量及分层区域融合,以得到最终的图像分割结果。实验中,首先采用训练图像集对算法涉及的两个参数进行确定,然后对测试图像集的分割效果和分割时间性能进行评估,评估是以标准的人工分割图像库为基准的。实验结果表明,该算法可解决过分割问题,其评估所得分准率及分全率综合衡量系数为0.609,而人工分割综合衡量系数为0.79,同时新方法的分割时间仅为传统方法的1/3,分割速度有了较大提高。  相似文献   

16.
基于直观分水岭定义的图像分割算法   总被引:1,自引:0,他引:1  
由Vincent与Soille提出的基于沉浸模拟的分水岭算法(以下简写为V-S算法)已经成为图像分割领域中最主要的数学形态学方法。虽然V-S算法被认为是目前最快的分水岭算法,但它仍然不能满足一些实时应用对分割速度的要求。为此,在V-S算法的基础上提出了一种新的图像分割算法。新算法采用了一种新的泛洪方法,它利用了二维图像中各像素点间的规则空间关系信息计算满足基本直观定义的分水岭。实验结果表明:新算法的执行速度大大快于V-S算法,而分割效果与V-S算法相当。对新算法、V-S算法和两个分水岭定义之间的关系也作了讨论。  相似文献   

17.
王娜 《数字社区&智能家居》2009,5(3):1671-1672,1682
在分割颗粒图像中,经常会有颗粒重叠粘连,这给图像的后续分析处理带来了很大的麻烦。针对这一问题,提出了一种有效的基于流域分割算法的颗粒图像分析方法。该算法提出一种新的种子点选取方法,使得种子区域最大化,然后以种子区域为核心通过流域膨胀变换重建原图,当图像中所有像素点都重建完时,粘连颗粒图像的分割就完成了。文中主要叙述了算法的设计思想及实现,并给出了实验结果。实验表明该算法能有效改善因多种子点而引起的过分割现象,对形状不规则的颗粒也同样适用,能取得比较满意的分割效果。  相似文献   

18.
分水岭算法由于其分割速度快、精确而受到很大的关注.但它存在过分割的问题。经过研究给出了改进算法,从两个方面来改进:(1)在算法执行前对输入图像进行滤波降噪处理;(2)在算法执行中结合动态合并准则直接对算法本身的形成的过分割区域进行抑制。实验结果表明,该方法能有效地处理过分割现象,是一种行之有效的方法。  相似文献   

19.
吕洁 《现代计算机》2011,(16):28-31
分水岭算法由于其分割速度快、精确而受到很大的关注,但它存在过分割的问题。经过研究给出了改进算法,从两个方面来改进:(1)在算法执行前对输入图像进行滤波降噪处理;(2)在算法执行中结合动态合并准则直接对算法本身的形成的过分割区域进行抑制。实验结果表明,该方法能有效地处理过分割现象,是一种行之有效的方法。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号