基于状态变换的数字电路冗余确认研究

以状态跳变图为基础,深入分析了冗余变换与非法变换的特征,提出结构冗余和功能冗余的概念,并讨论了可测故障、不可测故障和冗余之间的联系.最后结合验证和测试生成,提出状态冗余的隐含遍历确认策略.     

复杂系统使用保障测试性设计方法初探--故障设备影响分析及其应用

分析了复杂系统使用保障测试性设计方法的技术背景,系统战备状态的含义、重要性和描述方法;重点探讨了系统设备级(初始约定层次)故障设备对系统分系统战备状态影响进行分析的有效方法。并以某防空导弹武器系统为例,介绍如何利用功能分析法具体解决复杂系统使用保障测试的可测性、可控制性和可观察性等工程化设计问题。推荐一组实用的系统/分系统战备状态(正常/降级/故障)判定逻辑运算数学模型和基层级综合保障(使用保障+维修保障)计划流程图。     

装备健康状态评估方法研究

针对装备健康状态评估问题,在阐述装备健康状态基本概念的基础上,将装备的健康状态分为优、良、中、差和故障5个等级.对于测试不合格的装备,可以直接判定其处于故障状态;对于测试合格的装备,在评估装备参数健康状态的基础上,建立了基于改进证据理论的装备健康状态评估模型,对所有参数的健康状态合成并决策,确定了测试合格的装备的健康状态退化等级,并进行实例分析,验证了评估模型的合理性.     

数字通信及状态相关方法在线缆测试中的应用

给出了基于串行数字通信及状态相关的线缆测试方法。对舰艇作战系统中各分系统、设备之间互连的电缆线路进行快速测试,通过对芯线状态测试矩阵的逻辑处理和变换,能准确地得到芯线状态的检查结果。实验表明:这种方法能大大提高对舰艇作战系统中各分系统、设备之间互连的电缆线路的检查维修效率。     

一种面向对象类级状态测试的形式化方法研究

面向对象的软件开发给测试带来了新的挑战,传统的测试技术不能直接用于面向对象的软件测试中,必须对其进行扩充和完善.类级测试是面向对象测试过程中的一个重要阶段,而类状态的测试是类级测试的核心.作者将扩充后的黑盒测试技术应用到类状态的测试过程中,可直接使用方法级的测试数据有效测试类中方法间的交互及其类状态的变化.最后,通过一个实例说明对类级状态的测试及其测试用例的生成.     

CAN总线在装甲车辆故障诊断与状态检测系统中的应用

针对目前装甲车辆内部设备种类繁多、故障机理复杂且缺乏较为全面的实时在线故障诊断与状态检测手段这一问题，提出了一种基于CAN总线的网络化在线故障诊断与状态检测系统设计方案，进行了CAN总线通信网的短帧应用层协议开发以及系统实现。该系统具有实时数据采集、在线故障诊断和状态检测等功能，且扩展性强。该系统通过了实车试验，测试结果验证了该方案的可行性和系统工作的可靠性。     

基于状态约减的信息攻防图生成算法

针对攻防图构建中存在的状态爆炸问题,提出一种基于状态约减的攻防图生成算法。该算法在分析攻击者和目标网络特点的基础上,对独立状态节点的权限进行对比;其在保留最高权限节点的前提下,实现对低权限节点的约减,并去除冗余攻击路径。仿真实验表明算法具有计算复杂度低、能有效降低状态爆炸以及控制攻防图规模等优点。     

特大规模组合电路高速测试生成系统ATGTA-1

针对特大规模组合电路和全扫描设计电路提出了一种高速测试生成方法，并建成了相应的测试生成系统ＡＴＧＴＡ－１。该系统采用有限回溯测试模式产生方法生成测试码，采用ｎ（机器字长）个测试码并行的单故障传播方法模拟验证测试覆盖。测试生成与故障模拟为ｎ对１紧耦合集成方式。该系统运行１０个Ｂｅｎｃｈｍａｒｋ电路，取得了低测试长度、高故障覆盖、高效率的良好效果。     

基于状态监测与信息融合的雷达装备故障趋势预测

针对现代雷达故障诊断和预测中与装备故障相关的信息很多及故障趋势难以预测的问题,在分析常用故障趋势预测方法的基础上,提出了基于状态监测与信息融合的雷达装备故障趋势预测模型,研究了不同信息运用FMECA、FTA、故障案例等方法进行归一化处理的方法.该方法充分利用信息之间的冗余性和互补性,以期提高故障预测的可靠性和精确度,使...     

发动机油泵状态监测与故障诊断系统研究

构建了一种状态监测与故障诊断系统，它的主要对象是发动机油泵，研制该系统的目的是为了实时掌握泵机组的运行状态，并能对泵机组实现一定的自动工况调节。它能及时准确的对泵机组的各种异常状态或故障状态作出判断，并实时的生成各种数据报表，为故障的趋势分析提供依据。     

基于扩展状态机的资源泄漏检测方法

基于扩展状态机对资源泄漏故障进行描述，给出了资源泄漏缺陷状态机，定义了缺陷的状态、状态迁移图和状态转换表。设计和实现了资源泄漏检测算法。该算法在对控制流进行遍历的过程中，按照资源泄漏缺陷状态机给出的转换条件进行状态计算，如果计算结果为故障，则报告1个资源泄漏故障。应用该算法对大型开源软件进行测试，发现多个资源泄漏故障。测试结果表明：该算法具有测试效率高和误报率低等特点。     

某两栖装甲装备液压系统非介入式原位检测方法

为解决传统的介入式测量方法拆装困难、影响系统的动态特性、无法适应武器装备现场快速抢修需要的问题，根据液压系统的特点，针对表征系统状态的主要参量——流量、泄漏量和污染度，提出了非介入式原位检测方法，实现了对装甲装备实时检测的目的，有助于故障的快速定位和排除。并以某两柄装甲装备为例，说明了非介入式原位检测技术的可行性和实用性。     

基于馈电信息的故障诊断技术研究

综合运用馈电信息基本理论,提出了一个基于馈电信息的故障诊断技术.该技术通过对馈电信息的比较、分析,从而实现对工作状态的监测和故障的检测;通过检测、分析馈电相关的频谱或相关的模式,实现状态分析和故障定位,完成对电子装备的故障诊断.     

一种面向故障的软件测试新方法

面向故障的软件测试方法是今后软件测试技术研究的主要内容.和传统的面向整个软件的测试方法相比,面向故障的测试方法对故障的检测针对性更强,特别是对传统测试方法难以检测的故障如存储器泄露故障、数组越界故障、空指针引用故障等的检测是非常有效的.从方法学上讲,面向故障的测试方法标志着一个测试理论的成熟,在测试方法学中具有里程碑的意义.面向故障测试方法有2个问题需要解决:①软件的故障模型,②面向该模型的自动测试方法,此文重点论述软件的故障模型问题.     

软件排错费用研究

软件可靠性费用包括避错费用、排错费用和容错费用．在研究了软件排错费用的概念及构成,并重点对软件测试费用进行了分析后,提出了软件测试时间及费用模型,并对软件测试费用投入进行了优化．     

"黑箱”子网络单子网络故障的在线诊断

故障在线诊分析了测试点电压增量与故障子网络空间的关系,提出了将测试点电压增量投影到子网络空间定位故障子网络的方法.该方法仅需一次测试结果,且不依赖于子网络内的结构和参数,故可用于"黑箱”子网络的故障诊断.     

基于云-神经网络的液体火箭发动机故障检测方法

根据故障检测原理,研究和实现了基于云-神经网络的液体火箭发动机故障检测方法。根据训练结果、测试结果和故障检测结果可以看出,云-神经网络用于液体火箭发动机的故障检测是可行的,经过历次试车数据验证,该方法没有误报警和漏报警。     

某型步兵战车导弹综合集成智能故障诊断系统

针对某型步兵战车导弹武器系统的测试与诊断问题,在研究了诊断对象测试参数、故障特点和故障机理的基础上,运用单片机技术、电子测量技术和智能故障诊断技术,研制了集参数测试、技术维护、故障诊断与维修于一体的某型步兵战车导弹武器系统综合集成智能故障诊断设备,设备具有对步兵战车导弹武器系统的自动、快速、实时和在线检测与故障诊断的功能。详细地给出了系统的设计与具体的实现过程。     

基于One-port模式的测试点选取问题

在故障诊断过程中 ,每个测试点检测故障所需的时间可能不同。对于每个测试点一次检测所有可检测故障点的问题已经获得解决。对于每个测试点一次只能检测一个故障点 ,分两种情况加以讨论。若要求检测时间之和最小 ,给出了最优算法 ;若要求最大检测时间最小 ,证明了其是NP完全问题 ,并给出近似算法。最后给出一个实例对算法加以说明