论文部分内容阅读
基于全路径的研究现正处于起步阶段,提出了一种全新的NRPS算法(不重复路径搜索算法)和AR规则来对程序的源文件进行静态分析,生成有向无负权图,进而得到不重复路径集;并结合粒子群优化算法最终生成最优测试用例。实验表明,该方法具有可行性。
基于AR规则的全路径测试数据自动生成方法
【摘 要】
：
基于全路径的研究现正处于起步阶段,提出了一种全新的NRPS算法(不重复路径搜索算法)和AR规则来对程序的源文件进行静态分析,生成有向无负权图,进而得到不重复路径集;并结合粒子群优化算法最终生成最优测试用例。实验表明,该方法具有可行性。
【机 构】
：
华中师范大学计算机科学系
【出 处】
：
计算机应用研究
【发表日期】
：
2010年11期
其他文献
提出了一种基于串空间的安全协议自动化分析模型,该模型运用一系列算法实现协议的自动化分析,克服了冗长的理论推导,使协议的分析更加简洁和直观。模型的主要功能已在MyEclipse环境下用Java编程实现,并首次运用实现后的自动化分析模型对改进前后的Helsinki协议进行分析验证,证明了该自动化分析方法的简洁性和有效性。
由于节点的匿名性和贡献资源的自主性,MoSoSo系统中存在大量的搭便车问题,使绝大多数节点都无法得到正常的服务。为使节点得到更好的服务,在分析P2P网络中激励机制的基础上提出了一种应用于MoSoSo网络中的公平合作激励机制,它实施在分布式中间件层,以节点的访问级别和参与级别来决定节点请求资源和访问资源的优先权。实验结果表明,合作节点能更好地获得系统中提供的资源。
经对目前数字水印变换域算法的研究,发现常用的变换大多都是正交变换(如DCT和DWT等)。通过对Walsh正交函数系的研究,获得了与之对应的性能优良的正交变换,提出一种新颖的、鲁棒的Walsh域盲水印算法。实验表明,该算法计算简单,且具有良好的不可见性,并且在抵抗噪声和JPEG压缩攻击等方面具有较强的鲁棒性。
为了提高个性化用户兴趣建模的准确率,对用户建模过程进行了优化。在计算文档相似度时,综合考虑特征词的语义关系以及在文档中的分布情况,引入加权语义网,提高了文档相似度计
对MS-Alignment算法进行分析得出该算法很难满足大规模数据对鉴定速度的要求,而且具有的一个特点是相同的任务在不同的数据上重复计算,为数据划分提供了基础。基于CUDA编程模型使用图形处理器(GPU)对步骤数据库检索及候选肽段生成进行加速优化,设计了该步骤在单GPU上的实现方法。测试结果表明,此方法平均加速比为30倍以上,效果良好,可以满足蛋白质翻译后修饰鉴定中大规模数据快速计算的需求。
在陆良县芳华镇小芳华村开展直干桉漂浮育苗试验，采用漂浮育苗试验区与容器育苗对照区进行对比分析，并对2种育苗方法的平均出苗率、平均出圃率、单位产苗量及苗高整齐度进行方
为了求解差异工件平行机批调度问题,提出了一种模拟退火遗传算法(simulated annealing genetic algo-rithm,SAGA)。将模拟退火算法(simulated annealing,SA)的状态转移操作引入基于最优保留的遗传算法(geneticalgorithm,GA)中,作为局部搜索算子,以避免算法陷入局部最优,也有效地发挥了SA和GA在局部搜索与全局搜索能力方面的优势
利用图论相关知识,提出了一种构建本质图的改进算法。数值实验表明,对于V-结构较多的非循环有向图,改进算法能相对较快地确定出其本质图,从而能更好地学习贝叶斯网络的等价类。
目前的工作流建模大多是基于过程的,并没有强调工作流中的角色及其交互过程。基于此,从角色及其交互角度,结合以活动和角色描述工作流的优点,将角色的概念引入到对供需网工作流的研究中来,提出了基于角色的供需网工作流模型,通过实例分析系统地总结了模型建模的方法与步骤。这种建模思想有利于模型结构的完善,有利于提高工作流模型的安全性和正确性。
给出了一种新的语音信号的可视化方法,利用基于小波变换的时频分析方法来模拟基底膜带通滤波器的特性,克服了SFT(短时傅里叶变换)分析对高、低频段具有相同的时间分辨率和频率分辨率的缺点。对经过小波变换滤波后的语音信号进行特征编码形成语音的组合特征,将该组合特征作为一个新的特征量来表示语音信息,并将这种特征用简单的图形表示出来。利用聋哑人自身的大脑来识别语音,达到训练其口语的目的。