基于改进March SS算法的存储器测试技术研究

摘要：针对存储器的特点,介绍了存储器简化的功能故障模型．基于一种既可以测试静态简化故障又可以测试动态简化故障的MarchSS算法,提出了一种改进的存储器测试算法MarchSSI算法．该算法不仅能测出MarchSS算法测试的所有功能故障,而且能够覆盖MarchSS算法遗漏的故障,使算法故障覆盖率有了一定的提高．通过仿真,验证了算法的可行性．     

基于扩展关联矩阵的故障样本等价方法

为方便测试性试验过程的实施,针对测试性验证试验中故障样本不可注入或注入成本太高的问题,提出了一种故障样本等价的计算方法。在对故障样本进行功能等价划分和测试等价划分的基础上,考虑到两个等价划分的不足,对所涉及的三种关联矩阵进行了定义,并根据测试点上不同测试对应的功能属性设计了一种满足实际需求的故障样本等价算法,并用实例说明了该方法的计算过程和可行性。     

CDP—1802微处理器的编程技术

CDP-1802是一种能广泛用于人造卫星、战术电台和智能仪表等方面的微处理器。本文通过对某些外军装备软件的剖析,扼要介绍这种微处理器的结构、特点,然后结合实例介绍1802的三种主要编程技术,重点阐述三种子程序技术。最后还介绍了一些指令的特殊应用。     

基于SIMBox的电视指令制导导弹模拟训练研究

模拟训练对于复杂武器装备的训练有着重要作用。对电视指令制导导弹使用过程进行了分析,提出了一种基于SIMBox仿真平台,建立模拟训练系统的方法,并给出了电视指令制导导弹的运动学和动力学模型、指令控制模型。仿真结果表明仿真弹道与实际数据相符合,系统能够实现操作员对导弹的控制过程,该系统可用于解决该类武器的训练问题。     

考虑FDR的复杂机电装备测试性建模技术

针对当前测试性研究中存在装备合同中测试性指标量化不足、测试性建模研究中对完备故障模式集研究不充分的现象,提出了一种利用装备合同指标给出完备故障模式子集并对测试性设计中的故障模式、影响和危害分析(failure modes,effect and criticality Analysis,FMECA)方案进行评价的新方法。在给出测试性多信号模型和提出完备故障模式(子)集概念的基础上,研究了成败型一次计数抽样模型构造测试性完备故障模式子集的方案,给出了FMECA方案的评定标准,确定了测试性模型中完备故障模式子集的样本量,最后以某船用动力装置监控系统开展了案例应用研究。结果表明:该方案与传统自行确定故障模式集的方法相比,可快速确定总体质量和样本量,提高测试性建模效率,降低工程风险。     

面向RISC-V内核的标记指令复算与纠错机制的设计

由宇宙辐射等环境因素引起的硬件瞬时故障会极大降低计算机系统的可靠性。为了减小硬件瞬时故障对系统可靠性的影响,保证程序的正确运行,基于RISC-V开源内核“蜂鸟e203”提出一种标记指令复算与纠错机制。该机制为指令码额外增加了复算标记,以较小的硬件开销实现对指定指令的复算操作。此外,该机制可以在第一次复算结果与初始运算结果不等时自动进行二次复算,并由三次运算结果的多数表决结果来纠正大部分硬件瞬时故障所引起的数据流异常。实验表明,通过与中断处理程序相结合,在随机注入瞬时故障的情况下,程序的正确执行概率平均增加了86.67%。     

基于FBS-因果有向图模型的诊断设计建模方法研究

提出了一种基于有向图的FBS-因果模型，对FBS-因果模型的形式化描述、建模步骤进行了详细研究，对模型的有关假设、定义及其应用范围等进行了分析，总结性地给出了2种基本的故障诊断策略：序贯测试确定性故障修复法和最大后验概率候选故障源更换法。最后对抽象实例进行验证，结果表明基于有向图的FBS-因果模型的故障诊断测试是实用的，也是有效的。     

微处理器硬件木马及其检测挑战

微处理器是控制系统运行的核心芯片,受到了硬件木马的严重威胁。针对典型微处理器硬件木马进行了分析,根据微处理器的组成结构及其硬件木马的激活方式进行了分类,对现有旁路检测技术进行了系统总结,分析了微处理器硬件木马对旁路检测所提出的挑战,从指令模板分析、电磁与功耗联合分析、差分旁路信号采集等方面进行了应对展望。     

ADTA-1：一种嵌入式异构双核微处理器

针对多核日益严重的功耗问题,利用异步技术在低功耗方面的优势,结合数据触发结构设计并实现了一种嵌入式异构双核微处理器(ADTA-1).该设计将异步设计应用于嵌入式多核微处理器中,并在芯片中对异步微处理器进行了测试,验证了异步电路在多核微处理器中的有效性和低功耗特性,为进一步设计和实现低功耗异步多核微处理器进行了有益的探索.     

基于相关性模型的舰船装备测试性分析与建模

为了提高舰船装备的综合诊断能力,在舰船设计、研制阶段就必须进行装备测试性设计工作。为此,根据舰船装备测试性要求,对装备进行了故障模式影响分析,确定了装备在设计和制造过程中所有可能的故障模式,以及每一故障模式的原因和影响,据此对装备功能和结构进行了划分。然后,利用相关性模型对舰船装备进行测试性分析与建模,建立了舰船装备组成单元的相关性图示模型、数学模型,并运用考虑可靠性和费用的优选方法,建立了舰船装备诊断树,得到舰船装备的测试方案。算例分析表明:该研究可有效提高舰船装备测试的效率,提升测试的经济性。     

雷达智能BIT故障预测方法研究

在总结了几种比较常见的故障预测方法的基础上，介绍了基于统计学习理论的支持向量回归算法。提出将智能遗传算法用来对支持向量回归模型的参数进行优化选取，并详细介绍了模型参数的选取过程，避免了参数的盲目设置。将建立起来的模型应用于雷达智能BIT故障预测领域，并以一组智能BIT状态监测的数据对预测模型进行训练和验证，实验结果表明支持向量回归模型能有效地对雷达故障进行预测。     

一种基于元胞自动机的故障样本选取方法

故障样本选取是测试性验证中的关键环节,直接影响测试性验证试验的效率和结果的正确性。在板级电路的故障样本选取过程中,运用传染病思想中的元胞自动机模型分析了电路故障的传播行为,提出了一种基于元胞自动机的故障样本选取方法,实现了故障样本的等效选取。以某型装备关键部件为例,建立了故障传播模型,计算并改进了元胞自动机状态计算方法,通过注入易操作的故障样本,简化了故障注入的流程,提高了故障注入效率。     

边界扫描测试信息压缩算法

为了解决 IEEE 1 1 49.1边界扫描测试优化生成问题 ,提出了一种新型的测试矩阵压缩算法。该算法首先应用被测试电路板的结构信息构造有限制的短路故障模型 ,然后以有限制的短路故障模型为基础对测试矩阵进行压缩处理 ,尽可能剔除测试矩阵中的无效测试信息 ,从而达到测试优化生成的目的。理论分析及实验验证表明 ,该算法能够获得紧凑性指标相当优化的测试矩阵 ,实现较高的测试信息压缩率     

装备层次测试性建模分析方法

大型电子装备具有集成化、模块化、层次化的特点,测试诊断困难,因此,提出一种层次测试性建模分析方法。装备的测试性要素进行层次性划分,分析并确立层内关系和层间关系,建立装备的层次测试性模型。依据该模型可对装备的不同层次进行测试性建模和诊断分析,通过层内关系可将故障隔离至本层模块,使用层间关系对故障模块继续深入诊断,将故障隔离至底层部件,实现层次化的诊断设计;在维修级别中诊断的故障层次发生变化时,故障的层次性能够灵活地对这一情况进行建模。以某装备为例进行分析,验证了该方法的适用性及有效性。     

软件测试的故障模型

故障模型是测试的基础,也是一个测试方法成熟的重要标志.软件的错误表现为2个方面:①计算结果错误;②系统"死机".导致第1类错误的故障相对来说是比较容易检测的.导致系统死机的故障其后果是严重的,这类故障由于一般其检测概率较小,也往往难以检测.死循环故障是最常见的能引起系统死机的故障,但这种故障由于其复杂性难以对其模型化,同时在许多情况下,死循环故障也比较容易暴露.对C 中几种能导致系统死机的典型故障进行了分析,这种故障的检测其意义重大,将这些典型的故障组合在一起,就构成了面向软件系统死机故障的故障模型.     

基于排队系统的GERT模型的故障装备数量预测

针对排队维修系统的故障武器装备数量预测的难点,提出了利用GERT随机网络模型对故障武器装备数量进行预测,GERT随机网络模型是一种针对随机变化的系统的一种网络描述,恰好能解决故障武器装备数量的预测问题,准确的故障装备数量预测是武器装备科学管理的一个重要环节。通过实例验证表明,GERT随机网络模型是解决故障武器装备数量预测的一种有效手段和方法。     

边界扫描测试的数学描述模型

IEEE1149.1边界扫描机制是一种新型的VLSI电路测试及可测试性设计的有效方法,为了高效地应用边界扫描机制对电路系统进行测试,必须对其所涉及的理论方法进行深入探讨。本文应用布尔矩阵理论建立起边界扫描测试的数学描述模型,并基于所建立的模型导出了边界扫描测试中的故障检测条件和故障隔离条件。为边界扫描测试生成算法的深入研究奠定了理论基础。     

捷联惯测系统总体性能测试和故障分离法

该文提出了一种实用的捷联惯测系统总体性能测试和故障分离方法。这种方法不仅能够快速确定捷联惯测系统总体性能的好坏,而且一旦判定系统存在故障还能迅速进行故障分离,进一步确定故障部位。     

基于预训练语言模型的管制信息抽取方法

在空中交通管理中,管制员使用管制指令调节航空器状态,飞行员通过复诵指令进行确认。管制指令的正确理解对飞行安全具有重大意义。提出一种新的管制信息抽取方法,即基于语言模型的预训练和微调,通过迁移学习实现小样本管制信息抽取。该方法在训练数据量降低时,仍能实现准确率的提升。仿真结果表明,新模型对管制信息抽取的准确率不低于98%,可以有效提取管制指令中的关键信息。该方法可提升空管系统的智慧化程度,辅助管制员理解管制指令内容,支撑飞行冲突检测,保障航空运输安全。     

模拟电路中非零交叉情况下故障最小范围的确定方法

为确定模拟电路非零交叉情况下故障元件存在范围,提出了一种K故障下诊断的新方法。它是一种确定故障元件存在的最小范围的方法,即在十分现实的K故障下,确定能代表电路所有元件并给出在K故障假设下的最优可测试元件组,使故障定位工作只局限于该组元件。通过可测试值计算和规范式不确定性组与最优可测试成分组的确定,可以诊断故障元件的范围。