基于组合故障频繁树的最小失效诱因模式定位方法

针对定位实际软件中最小失效诱因模式可能受到屏蔽效应影响的问题,提出了一种基于组合故障频繁树的最小失效诱因模式定位方法及其迭代框架.该方法首先依据组合测试用例集及测试结果构建组合故障频繁树,然后从组合故障频繁树中抽取频繁参数值组合作为可疑失效诱因模式,并根据其可疑得分进行排序.基于给出的失效诱因模式迭代定位框架,反复迭代直到满足某一个停止准则为止.利用仿真实验对存在和不存在掩蔽效应影响的2种情形进行有效性验证.实验结果表明,在这2种情形下所提方法均能定位最小失效诱因模式,有效减少附加测试用例的数目.     

改进指纹和LSC加权的恶意程序代码相似度估计算法

恶意程序代码的相似度估计是恶意程序代码分析和检测的重要研究内容。现有的方法主要是对恶意程序代码进行属性计算或结构度量,但由于恶意程序代码结构的灵活性和恶意程序代码的伪装、恶意程序代码的相似度较难度量。提出了改进指纹和LSC加权的恶意程序代码相似度估计算法。该算法首先对恶意程序代码进行函数作用域划分和标准化预处理,然后对其进行字串序列化,利用改进的指纹相似度来对恶意程序代码的相似度进行度量;同时结合最大公共字串匹配算法进行结构度量,并对其相似度计算结果进行加权,对恶意程序代码结构的相似度进行综合估计。实验以C语言结构的程序代码为例,利用折半查找算法生成恶意程序代码测试数据集进行算法有效性验证。仿真证明该算法具有较好的恶意程序代码相似度估算精度。     

一种支持多故障定位的低开销监测站点部署方法

在节点覆盖约束条件下,以最小化监测站点数目为目标,提出了一种支持多故障定位的监测站点部署方法.该方法以传统k-path算法为基础,使用基于弱连接节点求取独立路径的改进算法来选取监测站点.仿真实验表明:进行故障定位时,该算法所需的监测站点数少于k-path算法,而故障定位能力则强于k-path算法,具有更好的性能.使用该...     

基于操作剖面搜索可疑参数的故障定位方法

针对软件故障定位问题,提出一种新型故障定位技术SPRank(可疑参数排名).该方法利用测试数据构建操作剖面模型,并提出输入参数谱度量程序各个参数的可疑度;在此基础上,利用优化的思想搜索程序的可疑参数和与之相关的可疑语句,进一步缩小程序故障的检索范围,从而提升故障定位准确率.实验表明SPRank方法能有效地提升三种经典高效的故障定位方法的故障定位准确率.     

基于改进编辑距离和LCS的同源性检测技术

传统基于Token的同源性检测算法存在代码变体结构化信息定位困难、模块提取、识别能力差、同源性度量精度低的问题.为此,提出了一种基于改进编辑距离和LCS（longest common sequence）的结构化识别同源性检测技术.在编辑距离（edit distance）计算中,引入交换算子,提高模块内部同源性度量精度.在LCS算法中,引入相似模块度量的最小尺寸监测机制和代码行间最大动态相关性度量,提供代码结构边界划分、模块行关联、代码有效结构化信息抽取的能力.实验证明,该方法是一种有效的基于结构化信息的同源性检测技术,其随机抽样检测结果的准确率、召回率及F值均有较优表现,且稳定性较好.      

通信不确定MPI并行程序的测试数据自动生成方法

通过对用不确定方式传递信息的MPI并行程序进行分析, 给出测试数据自动生成的数学模型, 提出相似路径概念, 并将交叉思想与协同进化机制融入到人工蜂群算法中, 提出一种测试数据生成算法〖CD2〗交叉协同进化人工蜂群算法. 应用该算法求解并行程序的测试数据, 并与人工蜂群算法、 随机法进行对比分析. 实验结果 表明, 该方法可以求解测试数据, 并降低了时间消耗.     

移动机器人复杂环境路径规划

针对移动机器人在复杂环境下路径规划问题,提出一种改进蚁群算法.该算法设计启发式状态转移函数,引入起点和终点对状态转移的引导作用;设计路径优化方法,从八个方向优化每次迭代生成的最优路径,避免规划路径陷入凹形区域,减小其长度;建立路径评估模型,考虑到环境的复杂性,通过加入惩罚因子,使路径评价标准从路径长度转为路径代价,将影...     

面向移动机器人的拓扑地图自动生成

提出了一种在区域内自动提取拓扑地图的混合算法.该算法通过定义拓扑点和线.在对已知环境定位的基础上,利用腐蚀法计算出所知环境的骨骼路径,应用区别算法区分出各个组成路径的拓扑点的属性值.考虑到在单独使用腐蚀法的情况下,无法准确地得到机器人路径规划所需的关键驻点位置及方向等信息,提出了一种改进的图像骨骼化混合算法,并提出了实现完整拓扑地图的约束方法,对传统的路径规划方法做出了改进.仿真实验表明,该方法生成的拓扑地图克服了传统算法中的缺点,得到了较好的结果.     

基于虚拟空间本体的路径规划

为了在复杂的游戏场景中自动生成导航图,提出虚拟空间本体标记虚拟空间中物体的属性和关系,由计算机根据场景的几何属性与虚拟空间本体自动生成导航图;讨论了适合作战术式路径规划的A*算法.计算机仿真实验结果验证了该方法的正确性和有效性.     

室内移动机器人路径规划研究

路径规划是自主移动机器人的研究重点。针对传统的A*算法搜索出的路径存在途径危险区域,未考虑机器人外形尺寸、路径不平滑等问题,提出了一种改进A*算法的路径规划方法。在新的栅格化环境地图中,通过改进的搜索策略进行路径搜索;并对路径点删减和优化,通过分段多项式曲线平滑路径。实验仿真结果表明,新方法生成的路径满足移动机器人的动力学和运动学特性,且更符合室内移动机器人的轨迹跟踪和运动控制,该方法简单有效。     

PMI中的证书路径处理机制的优化

在EPMI中,证书路径的处理包含属性证书路径处理及各属性证书相对应的公钥证书路径的处理。其中证书路径构造尤为复杂和耗时,路径验证算法也没有考虑顺序,缺乏相应性能分析,阻碍了PMI的应用推广。提出一种优化的路径处理方案．给出了实现的流程图和算法,并进行了性能分析。     

实现双轨迹和平行直线轨迹的齿轮五杆机构综合

本文讨论了齿轮五杆机构实现双轨迹和平行直线轨迹的综合方法。利用计算机绘图分析了各个结构参数对两连杆曲线的影响规律,对实现平行直线轨迹的齿轮五杆机构,给出了结构尺寸关系数据表和误差分析方法。为综合具有平行直线轨迹的齿轮五杆机构提供了有效的方法。     

X=3的六角系统的构造

首先证明了在一个ｘ＝３的六角系统中，起始路和终止路最多共有三条，然后，对起始路和终止路进行分类，利用张福基等关于ｘ＝１，２时六角系统的构造，得到了下述结论：Ｇ是ｘ＝３的六角系统的充要条件为Ｇ是Ⅲ，Ⅳ，Ⅴ，Ⅵ，Ⅶ型图中的一个。     

移动机器人路径规划算法综述

为提高机器人路径规划的搜索速度,缩短搜索时间,总结归纳移动机器人在路径规划问题上的算法及其特点。首先回顾移动机器人发展历史,并对路径规划技术进行概述; 其次对移动机器人路径规划进行分类总结,并从移动机器人对环境掌握情况的角度出发,将移动机器人路径规划分成全局规划和局部规划两类,然后对全局规划和局部规划的相关算法进行综述,同时对相关算法发展现状及优缺点进行总结。最后指出机器人路径规划技术在改进算法、混合算法、多机器人协作、复杂环境以及多维环境下进一步深入研究的未来发展趋势。     

模糊因果聚类模型在高炉焦比预测中的应用

通过通径分析,对高炉现场采集的数据进行处理,在给定的描述高炉系统的诸多变量中,利用最小剩余通径系数确定影响目标函数的主要变量因素·将诸因素关系处理为直接通径和间接通径,并对其进行了排序,找出了影响指定目标函数:焦比的主要直接通径和间接通径·综合直接通径和间接通径效果,确定了高炉炉顶温度、料批、矿批重、焦炭负荷和[Si]既是影响焦比的直接原因,也是其他因素对焦比作用的间接原因·     

无向图中严格第三短路问题的多项式时间算法

给定一个无向图G=(V,E;w;s,t),其中s,t是2个固定顶点,w:E→R+是边的长度函数.最短路是指所有路中长度最小者,次短路是指长度比最短路严格大的所有路中的最小者,严格第三短路是指长度比次短路严格大的所有路中的最小者.对正权重无向图中严格第三短路问题给出一个O(n4)多项式时间算法.     

超链接文本中的连贯

连贯理论一直以来针对的是线性文本,本文试图运用语用学的连贯理论,从交际者共享知识的角度描写超链接文本中的连贯。超链接文本最基本的要素是文本路径,它可分为预先定义路径和自选路径。本文分别阐述了由这两种路径构成的超链接文本的连贯。论文尝试指出,从语用上来说,超链接文本中的连贯与普通线性文本一样,是建立在作者与读者共同遵守的语篇组织模式和运用世界知识的推理之上。人们具有的世界知识和推理能力,对理解超链接文本的连贯起重要作用。     

数字仿真器中的时间校验探讨

针对事件驱动仿真检测时间延迟的困难，提出用时间校验网络来检测时间延迟。论述时间校验的几种方法及在时间校验中的几个问题。     

关于支配圈和支配路的存在性

圈C称为图G的支配圈,若对G中任一点v,至少有圈C上的一个顶点与之邻接.类似定义图G的支配路.本文讨论了图中支配圈和支配路的存在性,得到下列结果:(1)设G是有n个顶点,ε条边的k-连通图(k≥1),若ε>((n-k)/2)~2-(3n-k)/2+4,则G中存在支配圈.(2)设G是有n个顶点的k-连通图(k≥2),若对图G中任何有k个顶点的独立点集{v_0,v_1,…v_(k-1)},满足N(v_i)∩N(v~i)=φ(0≤i≠i≤k-1),有~(k-1)∑_(i=0)d(v_i)>n-2(k+2)成立,则G中存在支配路.     

关于SPS-图的一个充分条件

如果图中的一条路不是其他任何路的子路,则称这条路为该图的一条极大路。图G的路谱指的是G中所有极大路的长度构成的集合,记为ps（G）。对于一个阶为n的图G,如果存在一个正整数s（G）使得ps（G）={s（G）,s（G）＋1,…,n-1},则称G为一个SPS-图。本研究证明了对于任意的2-连通图G,如果G中任何导出子图都不与K1,3或P5同构,则G是一个SPS-图或者是一类路谱特殊的图。