操作系统内核并发错误检测研究进展

并发错误是程序设计语言和软件工程领域的研究热点之一.近年来,针对应用程序并发错误检测的研究已取得了很大进展.但是由于操作系统内核的并发和同步机制复杂、代码规模庞大,与应用程序级并发错误检测相比,操作系统内核的并发错误检测研究仍面临巨大的挑战.对此,国内外学者提出了各种用于操作系统内核并发错误检测的方法.首先介绍了并发错...     

利用分支路径差异分析的故障定位研究

为了更加有效地定位软件故障可疑位置,考虑程序分支判断语句的行为状态及其之间的相互干扰,提出一种利用分支路径差异分析的故障定位方法。结合GCC编译器产生的中间文件做分析、转换得到程序抽象语法树,获取分支节点的执行信息,构造分支特征矩阵;提出聚类优化算法FCM-BP筛选合适路径,得到高度抗干扰的执行成功的路径代表和执行失败的路径代表;最后基于代表路径做差异分析生成故障可疑度排名报告。在Xerces等大型项目上进行实验分析并与Tarantula等经典实验对比后发现,利用分支路径差异的方法可以有效定位软件故障。     

Dual‐band filter with high selectivity and wide stopband rejection

This article presents a highly selective dual‐passband filter based on stepped‐impedance‐resonator (SIR) and mixed electromagnetic coupling. First, the surface area of the filter is effectively reduced by the triangular topology. Second, four controllable transmission zeros are introduced by source‐load coupling feed and mixed electromagnetic, which increases the selectivity of the filter. Third, a perturbation structure is added to independently control the resonance points of each passband. Finally, the improved defect ground structure (DGS) is integrated to obtain wide stopband rejection. The measured S‐parameters are well agreement with the simulated results, which show that the center frequencies of the two passbands are 2.4 GHz and 5.2 GHz; and the passband insertion losses are 0.85 dB and 1.6 dB; and the relative bandwidths are 14.6% and 5.7%, respectively. Besides, the structure is with six transmission zeros, and 20 dB suppression for the third harmonic and the fourth harmonic are achieved. Compared with the traditional SIR double‐passband filter, this filter has many advantages, such as simple design, small size, small insertion loss, controllable frequency, high selectivity, and high spurious suppression.     

高压输电线路多维数据的中台技术

基于目前高压输电线路、杆塔的台账信息、巡检信息等呈现孤岛状态,本文阐述了一种高压输电线路多维数据的中台技术应用案例,针对直升机、无人机、人工巡检对缺陷描述所产生的数字信息、文档信息、图片信息及视频信息,提出了基于中台技术的解决思路,围绕保障输电线路运行安全这一目标,对基础信息、动态信息、管理信息进行合理层级划分,提升信息化水平,为后续决策奠定扎实的基础.     

低对比度下水印图像缺陷检测

在主成分分析(PCA)及核主成分分析(KPCA)进行特征提取基本原理的基础上,提出了一种改进的提取非线性的图像特征来重建图像方法,应用于嵌入式防伪水印图案缺陷的检测。该方法使得图像协方差矩阵维数大幅下降,且有效地保留了嵌入式防伪水印图案的信息,通过比较检测出图像的缺陷。实验结果表明,该方法对输入数据实现了有效的降维,缩短了计算时间,提高了检测效果和精确度。KPCA算法相比原有的PCA算法具有更高的性能指标,适用范围更广。     

基于信息流缺陷定位方法在软件测试中的应用

随着软件产业的飞速发展,人们对软件质量的要求也越来越高.现在,软件已经直接影响到了我们项目的成功和设备的安全.而软件中的复杂缺陷难以排除,因为它们涉及到许多程序要素之间的相互作用.论文扩展了基于信息流覆盖的缺陷定位技术.扩展后的技术融合了语句覆盖和分支覆盖技术,它还能定位复杂缺陷.试验结果表明,文中方法比基于语句覆盖、分支覆盖和定义使用对覆盖的方法要更可靠、更精确.     

基于FPGA的TFT LCD快检信号源的设计

目前TFT模块的生产过程中常伴有模块的线缺陷和点缺陷,依据TFF模块的驱动和测试原理,设计了一种由FPGA和模拟开关组成的集成测试信号源,该信号源可提供源极信号、栅极信号、栅极控制信号和公共地信号四路测试信号,此四路信号无论是在频率、占空比、延时,还是幅值上都满足对一般中小尺寸TFT液晶模块的线缺陷和点缺陷的测试要求,可以灵活方便地移植到其他模块测试中,具有通用性.     

矿山竖井提升机钢丝绳表面缺陷监测系统

针对矿山竖井提升机钢丝绳在运行过程中的直径变化、断丝等表面缺陷,目前尚无现场实时监测这一问题,提出了基于DSP的图像采集、以太网传输、井口实时监测的钢丝绳表面缺陷监测系统,并结合其软件构成,介绍了系统的功能实现流程及图像压缩算法。     

基于机器视觉的药片表面缺陷识别与分拣系统设计

针对制药企业采用人眼识别药片表面缺陷受光线强度及视觉疲劳影响,存在漏检和低效等问题,利用机器视觉技术,进行了药片图像预处理,设计了药片缺陷检测及分类、异色处理算法并处理;在此基础上,利用反问题的最小二乘解算法确定缺陷药片的物理位置,控制3自由度 Delta机器人实现缺陷药片的分拣.经过测试,系统分拣成功率高,且易于实施,达到了设计要求.     

基于主成分分析法的人工免疫识别软件缺陷预测模型研究

针对软件系统日益复杂以及软件缺陷难以预测的问题,提出了一种使用人工免疫识别系统的软件缺陷预测模型。模型的构建首先通过主成分分析法对软件缺陷预测数据集进行特征的识别和提取,进一步提高学习算法的性能;针对计算亲和度时欧氏距离不能满足非线性应用需求的情况,为了提高算法对非线性应用的适用性,使用基于高斯径向基核函数的亲和度计算来计算抗体和抗原之间的亲和度阈值。再基于亲和度计算,进行抗体训练、资源竞争以及记忆细胞的选择。最后,利用记忆细胞集进行分类。模拟实验表明,针对实验中的数据集,所提模型的预测准确度达到84%~90%,精准度达到85%~91%。