【摘 要】
:
结合故障定位技术,提出了一种基于变异的程序故障自动化修复方法,并采用该方法阐释了C程序表达式故障的变异修复机制,研制了C程序故障自动化修复辅助工具。通过对实际故障系统案例的分析,证明了方法的有效性。
【机 构】
:
西北工业大学软件与微电子学院,中国人民大学信息学院
【基金项目】
:
国家自然科学基金资助项目(61103003), 西北工业大学基础研究基金资助项目(JC201126)
论文部分内容阅读
结合故障定位技术,提出了一种基于变异的程序故障自动化修复方法,并采用该方法阐释了C程序表达式故障的变异修复机制,研制了C程序故障自动化修复辅助工具。通过对实际故障系统案例的分析,证明了方法的有效性。
其他文献
针对大多数排序算法只考虑了记录本身的大小和记录相对位置,而忽略了记录内部特征,提出一种计算排序算法。通过分析记录本身的特征,快速计算出记录在目标数组中的索引值,从而达到排序的目的。该算法既减少了数据范围对数组排序的影响,又适应了有限小数的排序。实验结果表明,对于密度高、范围宽、特征位数多的大数组排序问题,该算法的性能优于基数排序、计数排序、静态排序等算法。
针对当前宽带频谱感知机制在感知精度和感知效率方面的不足,提出了一种基于滤波器组的宽频带并行感知方法,通过将多个相邻子带灵活组合实现非等带宽信道的频谱感知,对多个子带进行并行检测实现对宽带频谱的高效感知。同时,利用GNU Radio和USRP软件无线电构建了宽频带感知平台,验证了该感知方法的性能和有效性。实验结果表明,该感知平台能够在较低SNR和较少感知时间的情况下获得更高的感知性能,适用于非等带宽
在机器视觉检测中,图像光照不均匀现象会增加后续处理的难度,因此需要对其进行有效的阈值分割。算法通过窗口分割提取原图的背景灰度图后,结合局部对比度调整系数,对图像进行背景均匀化处理,然后进行全局阈值分割。实验对具有典型光照问题的高分辨率线纹尺图像处理效果良好,平均时间在0.5 s以内。通过与其他几种算法的对比,证明了本算法处理效果最佳,所耗时间满足实时性,为目标的进一步测量工作奠定了良好的基础。
引入多尺度熵方法对路由协议和网络流量复杂度之间的关系进行研究和分析。以经典路由协议AODV及其改进协议AODV-FABL和AODV-CM路由协议引起的网络流量为研究对象,定量分析了其在不同时间尺度下的复杂度。分析结果验证了这些路由协议在小时间尺度下网络流量复杂度高且波动较大,在大时间尺度下网络流量复杂度低且具有长程相关性。指出并分析了这些路由协议的网络流量复杂度与网络拓扑变化速度之间的关系。
肾脏医学图像是辅助医生诊断肾脏疾病的重要资料,其中肾皮质的厚度与体积是判断肾脏健康状况的重要指标。将肾皮质从背景中分割出来有助于计算肾皮质体积,进而极大地方便医生观察。由于肾皮质形状复杂,与输尿管、血管、肾盂等区域区分度低,因而容易发生误判,对其准确分割的难度较大。而且目前大多数研究是针对肾脏整体进行分割的,单独对肾皮质分割的还较少。为实现三维的肾皮质分割,提出了一种基于区域的交互式马尔可夫随机场
针对复杂环境下,基于肤色信息的Cam Shift(continuously adaptive Mean-Shift)算法跟踪运动人脸的实时性欠佳,且同一时刻只能跟踪一个人脸的问题,提出了一种适于复杂环境下多人脸目标的自动检测与实时跟踪的方法。该方法利用Ada Boost(adaptive boosting)算法进行背景消除,提取可能包含活动人脸的区域进行人脸验证,采用多线程的Cam Shift算法