软件密集型装备软件故障诊断技术研究

针对当前软件密集型装备软件故障诊断方法的缺陷,提出了一种基于粗诊断与细诊断技术相结合的软件故障定位方法。对故障进行初步定位,找出软件故障可疑模块集,利用切片技术对故障模块集进行检测,将故障定位到程序语句集中,采用代码分析辅助诊断工具对可疑代码集进行排查、定位。软件密集型装备故障诊断原型系统的应用表明,该方法能有效地进行软件故障的定位。     

基于代码检测的软件故障定位方法

针对现有软件故障定位方法的缺陷,提出了一种基于代码检测的软件故障定位方法,用嵌入式模块获取软件发生故障时的模块运行序列,分析出软件故障可疑模块集及其故障系数,在此基础上对故障模块进行代码的分类检测,根据上述过程中得到的结果进行综合分析运算,得出软件故障的可疑代码集和故障系数,采用代码分析辅助工具进行排查,定位故障。该方法已成功应用于软件密集型系统的故障诊断,能快速有效地实现软件故障定位。     

数据流相关软件故障的静态检测

建立了数据流相关的软件故障模型,对应用程序中由于变量的定值与引用操作及动态内存访问过程中导致故障发生的情况进行了分析．该类故障的检测需要数据流分析的支持．基于程序控制结构的精确数据流分析方法,充分考虑了不同程序路径上变量的定值情况,在静态分析过程中模拟了动态执行过程中到达各引用点的定值信息．根据引用-定值链建立的故障诊断规则,为有效地进行故障检测提供了依据．     

内存泄漏故障静态分析研究

目前研究人员主要采用静态测试技术实施对内存泄漏故障的检测,其基本思想就是依据待测程序的控制流图来设计特定的算法以检测内存泄漏问题,但这些方法的不足之处主要是控制流图的表示方式上未含有进一步可用信息,因此所设计的算法不能很好地执行该故障的检测任务.为此,定义了一种用于内存泄漏故障检测的控制流图,提出控制流图可达路径生成算法,然后根据生成的路径进行内存泄漏故障的检测与分析.实验证实,该方法取得了理想的效果.     

基于程序静态分析和故障树的软件故障检测

为提高软件安全性和可靠性,探讨一种在软件故障检测过程中将故障定位和原因分析相结合的方法,该方法基于对程序的静态分析,找出故障的位置,利用故障树定位故障原因。非法计算是一种常见的软件故障,该类故障极易导致系统崩溃,该文以一个非法计算故障为例,说明该方法的分析过程,实验表明其可以有效地定位故障并分析其原因。     

软件故障检测技术及其发展探讨

软件在国民经济和社会生活中发挥着重要作用.软件出现故障给人们的工作、生活带来不便,甚至造成严重危害.文中简要介绍了软件基本测试理论与原则,讨论了软件故障检测和定位中所采用的方法及相应的过程,对软件故障检测技术的发展趋势进行了探讨.     

一种辐射环境下瞬时故障的软件检测方法

空间辐射环境中,大量的宇宙射线经常导致星载计算机出现瞬时故障,这些瞬时故障致使程序执行出现数据错误或者控制流错误。针对瞬时故障导致的程序错误,本文提出了一种软件实现的故障检测算法SITFT,它结合软件复算和标签分析的方法,既可以检测程序运行中的数据错误,又可以有效检测控制流错误。故障注入实验的结果表明,SIT-FT算法在性能开销比源程序增加58%～111%,存储开销增加153%～225%的前提下,使程序执行出现错误结果的情形比源程序减少了49.0%～73.2%。     

软件故障跟踪检测方法

本文对软件故障采用了一种故障点跟踪的软件检测方法,对软件故障进行了分析,讨论了故障点检测原理,实现方法以及测试数据的选择原则,测后处理措施。     

航空装备故障检测决策建模仿真研究

航空装备在飞机中数量较多,不同设备下的故障检测过程中,进行航空装备故障决策时,决策过程需要依赖较多的动态多源故障信息数据,但在发生故障时,不同装备的故障特征数据起伏不同,差异较大.传统贝叶斯网络的设备故障检测模型,多是在已知某一个或多个部件稳定状态下完成,一旦信息起伏较大,则故障决策过程会陷入反复验证的弊端,无法达到最佳的故障检测效果.提出一种基于UML建模的航空装备故障检测决策模型,对航空装备故障特征分析的基础上,采用UML对航空装备故障检测决策过程进行建模,给出了模型的需求分析,构建模型的用例图、类图以及活动图,塑造了模型的静态模型和动态模型,UML模型通过基于免疫识别神经网络模型实现航空装备故障的检测,检测模型依据免疫识别原理塑造神经网络检测器,通过训练将航空装备的故障模式信息保存在分布的检测器中,通过检测器采集被检测装备异常模式特征,当检测器同特征样本匹配时激活检测器,按照检测器的激活状态发现设备故障,完成航空装备故障的检测.实验结果说明,所提方法对航空设备故障信号检测具有较高的灵敏度和分辨率.     

软件密集型装备中软硬件故障诊断模型的建立

基于软件密集型装备,论文分析了软硬件故障表征及症状,给出了其数学描述,并在此基础上提出了一种软硬件故障诊断模型,给出了其故障诊断过程.     

配电保护系统中故障检测定位的传感器配置

本文提出了一种配电系统中以故障检测和定位为目的的传感器配置布局的方法,主要研究了传感器配置的三个功能:短路故障定位,高阻故障(HIF)检测及其定位.它们表现为一种状态估计问题,首先用加权最小平方(WLS)估计法来检测故障,再用加权最小绝对值(WLAV)估计法来定位故障.仿真结果说明了这种方法的可行性和有效性.     

软件密集型系统的协同设计问题

首先讨论了目前设计软件密集型系统设计中存在的错误认识，并指出了协同设计对于软件密集型系统设计的必要性。在此基础上，文章讨论了基功能分解的协同设计方法，并用实例讨论了不同硬软件组合对于系统设计的影响。     

Expert System Hardware for Fault Detection

This paper focuses upon the development of three new electronic architectures of inference engines as a part of a hardware expert system applied to very high-speed faults detection in industrial processes. The architecture of this expert system consists of an inference engine (a dedicated processor that is necessary due to the high-speed requirements and the repetitiveness of the operation), which uses a pattern-directed inference system; a fact base, which stores the status of the signals at each moment, and a static knowledge base, which contains the inference rules compiled from expert knowledge. A circuit for analyzing time is also presented. This allows time to be taken as another variable of the process and carries out a redundancy analysis simultaneously with the fault detection module.     

PLC控制系统故障检测

为了提高PLC控制系统的可靠性，本文分析了PLC控制系统在运行过程中常见的故障，并提出多种PLC控制系统故障检测的技术措施。     

具有参数跟踪自适应观测器的故障检测与诊断系统

本文简单概括了故障检测与诊断的方法,介绍了具有参数自适应跟踪观测器的故障检测与诊断系统,分析了收敛性和渐近稳定性的条件,分别对参数匹配和不匹配两种情况的故障检测与诊断问题进行了讨论.     

X射线检测钢丝绳成像系统设计

由于现在应用最广泛的钢丝绳电磁检测仪器的灵敏度随着钢丝绳缺陷相对于钢丝绳表面深度的增加而降低,因此文章研究和探索了X射线检测方法。文章首先介绍了X射线检测原理,接着对检测系统进行了设计。     

基于H∞控制的时滞系统故障诊断

应用H∞控制技术,探讨具有不确定性输入以及输入时滞系统的故障诊断(FD)问题.该文提出的算法能够诊断时滞系统的执行器故障和传感器故障.首先介绍了时滞系统的H∞控制技术,给出了时滞系统H∞控制器存在的充要条件.然后考虑含有故障的时滞系统,设计了故障诊断滤波器,将故障诊断滤波器与原系统组成增广系统,增广系统中包含时滞系统的执行器故障和传感器故障.最后,应用H∞控制技术,对增广系统设计故障诊断系统,能够诊断出时滞系统的执行器故障和传感器故障.     

发电厂直流系统接地故障检测技术

针对传统的变频信号注入法存在的不足,提出了向直流系统母线注入方波信号的波形分析法。根据该方法开发的直流接地故障检测装置在发电厂已取得良好的应用效果。