布尔差分故障检测算法在FPGA上的实现

为了更加快捷、准确地进行故障诊断,研究了布尔差分法在数字逻辑电路中的故障检测。在建立合适的数字逻辑电路的基础上,利用二阶布尔差分法生成双故障测试矢量,并将其作为故障电路的激励测试电路的各个节点。同时,通过FPGA构造一系列测试模块,计算出在每一种故障下各个节点的故障列表。实际应用表明,当将某一故障对应的所有测试矢量作为输入时,各个节点的逻辑函数值都能与故障列表吻合,从而确定电路存在故障,精确率高达100%。

基于SAT的多目标故障测试向量动态压缩方法

针对传统的自动测试图形向量生成采用逐个求解单一故障模型导致生成测试向量数据量巨大的缺点,提出一种基于布尔满足性(boolean satisfiability,SAT)的多目标故障测试向量动态压缩方法,同时论证多目标故障测试生成问题为布尔满足性问题。该方法将具有鲁棒性的SAT算法嵌入经典的动态压缩流程中,首先利用经典动态压缩算法求解最小测试向量检测大部分失效故障,然后采用SAT求解器对未测出的多故障电路进行同一求解和附加约束求解方式,最终得到故障覆盖率高的测试向量和同一测试最大故障列表。实验数据表明,在相同电路模型情况下,此方法求得的测试向量相比经典动态压缩减少高达70%。

一种无人机光电吊舱故障信息动态排序方法

为了提高无人机光电吊舱故障信息上报效率,辅助飞行和任务决策,提出一种故障动态排序的方法,论证了技术原理与算法。采用基于权重因子的双路动态排序方法,将新发生的故障根据故障严重级别、发生时间和故障状态,动态排列故障列表并上报,分析故障的构成,实现动态排序算法,经综合显控软件验证,随着故障规模的增长,故障上报效率呈阶梯式提高,累积数量超30个,故障上报效率提高1.6倍。