利用状态机检测JAVA空指针引用故障

介绍了一种在控制流的基础上利用故障状态机对JAVA空指针故障进行检测的方法。该方法利用变量区间来表示状态的前提条件,对程序中不可达路径进行处理,从而达到减少误报的目的。     

基于SC-BP的设备故障预警研究

为实现对火炮系统健康状态监测和故障预警,满足从“故障修”向“状态修”转变的发展需求,采用拟合模型算法,建立设备标准化电流优化BP神经网络预测模型（SC-BP）,分析运行数据的内在逻辑和相关性,设计设备正常运行状态下的数据参数库,并与实时采集的设备状态数据进行比较,根据拟合优度进行辨识,通过比较设备实时数据与历史正常数据之间的相似关系来判断设备状态,并显示故障关联信息,为工作人员分析故障原因提供了参考,并对算例进行了分析验证。研究结果表明,该故障预警方法能够辨识设备性能异常状况,使维护人员能够在设备故障形成早期发现征兆,提前采取措施以避免设备故障的发生。     

分布式电驱动履带车辆容错分配控制策略

分布式电驱动履带车辆的驱动电机数目多、分配维数高,主电机故障时,会严重破坏行驶的平顺性和稳定性,影响驾驶安全.针对主电机故障时动力重分配的问题,采用一种规则与故障因子约束分配律相结合的分配方法,提出了一种容错分配控制策略,提高电机故障时的动力性和安全性.然后构建了Matlab与RecurDyn联合仿真模型,进行了主电机...     

面向故障预测与健康管理的传感器优化配置

传感器优化配置是保证装备故障预测与健康管理(Prognostics and Health Management,PHM)系统有效实现的基础.针对目前陆军装备保障中缺乏有效的传感器配置方法的现状,以某型防空导弹调平起竖系统为研究对象,建立了考虑传感器失效的PHM系统传感器优化配置模型.对导弹发射车调平起竖系统控制回路进行了分析,在此基础上形成系统的故障-传感器相关性矩阵;根据系统的指标要求建立传感器优化配置模型,采用蚁群算法求解;将结果与粒子群算法进行比较,表明利用蚁群算法取得了更优的配置方案,能够为PHM系统中装备的传感器优化配置提供有效指导.     

基于关联图的网络故障智能诊断的研究与实现

随着信息技术的飞速发展,网络规模的扩大与网络异构程度的增加都对网络的安全性提出了越来越高的要求。网络故障诊断是网络故障管理的核心。本文提出了考虑时间因素的基于关联图的故障定位算法。此算法在关联图出现环时,根据关联图中各顶点所代表的故障事件的发生时间定位故障,发生时间早的故障极有可能就是故障源。此算法原理虽简单,但在现实中具有较高的实用性。     

独步江湖的“中西结合疗法”

老班长不是医生,但他发明的"中西结合疗法"却名扬我们的部队。可不,医生为病人疗伤,老班长吴宝明却用他的这个独门绝技,为指控装备做"主板搭桥手术"。要说老班长的这门绝技还得从十几年前,他还是新兵的那会儿说起。入伍之初,他被安排到传真室工作,一次在送报时他无意发现通信科的一台电脑系统崩溃了,很多人围在电脑前束手无策,最后还是请了上级单位的一名工程师才把问题解决了。当然,那是上个世纪的事,当时电脑还没有普及,因此,会操作的人     

新型舰炮武器系统的自动检测系统

阐述了某新型舰炮武器系统应用仿真技术、控制技术、网络技术和信息处理技术实现自动检测,以及自动检测系统的组成和工作原理。用内模拟仿真驱动技术,实现了舰炮武器系统全自动工作方式下的点迹提取、航迹建立、目标识别、威胁判断、目标指示、捕获跟踪、求解射击诸元,全系统动态联动精度在线评估,以及在线实时故障检测。为海军新装备的操作、使用和维护提供了有效的技术手段。将提高系统可维性和生命力。     

短路故障的测试产生方法

在PCB上,两个不相邻的芯片管脚或引线发生短路是实际应用当中最常见的故障。通过分析固定型故障和桥接故障之间的关系,给出桥接故障测试序列产生的系统计算方法。该方法已应用在一个PCB故障测试系统中。     

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

快速的平行码临界路径跟踪故障模拟

针对平行码临界路径跟踪故障模拟中最费时间的扇出源故障模拟,提出了若干加速技术。通过对电路结构进行的独立扇出分支、扇出源分类及扇出源的最终汇聚门等静态分析,结合对停止线及停止扇出源、测试码标记向量以及扇出源临界性确定前的预处理等动态计算,使得扇出源故障模拟区域及需要故障模拟的扇出源数目大大减少,极大地缩短了整个故障模拟时间。实验结果表明,平行码临界路径跟踪故障模拟算法,对少量和大批的随机码都非常有效,并且随着电路规模增加,其有效性更加明显。