基于状态图的周期BIT故障检测与虚警抑制仿真

针对BIT(Built-In Test)技术在装备测试性设计与PHM(Prognostic and Health Management)的应用需求,提出了基于状态图(Stateflow)的周期BIT(PBIT, Periodic BIT)故障检测与虚警抑制仿真方法.分析了周期BIT的特性与虚警问题,给出了周期BIT的仿真原理.在加电BIT的基础上分析了周期BIT的仿真要素及其Stateflow对象的仿真模式,并实现了故障注入、干扰注入和虚警抑制措施的建模,最后给出了周期BIT建模仿真以及仿真输入数据设计流程.以某典型航电模块周期BIT为例,建立了电源板、干扰、周期BIT以及虚警抑制措施的Stateflow仿真模型,仿真结果显示该方法能有效地实现周期BIT故障检测与虚警抑制的动态逻辑过程仿真.     

BIT技术在星载电子设备的应用

在调研国内外最新BIT技术发展的基础上,对该技术在星载电子设备应用的必要性及可行性进行分析,并利用分级思想构建适合星载电子设备的BIT测试体系,为星载电子设备的可测试性发展提供了一种思路.     

基于FFS故障行为模型的等效故障注入方法

针对测试性验证试验中部分故障模式不可注入,或注入后易导致装备出现不可修复的损坏等问题,提出了基于“故障模式-功能-状态”（FFS）故障行为模型的等效故障注入方法。首先,对FFS总体建模思路进行了描述,提出将“功能”作为基本建模要素,在分析装备自身多元建模信息的基础上,建立了故障行为模型。其次,对各相关矩阵和行为状态向量进行了定义,研究了故障模式、功能、状态间的不确定信息表征方法,提出了故障模式-状态相关矩阵的求解方法。最后,给出了等效故障模式的定义和基于FFS故障行为模型的等效故障注入流程。将所提方法应用于某装备发射控制系统,结果表明,所提方法能够实现等效故障注入,故障注入率提高约16.7%。      

考虑FDR的测试性测定试验及其相关方法

针对装备研制过程中,缺乏试验手段测定产品测试性水平,确定其与规定要求间的差距的情况,界定了测试性试验和测试性测定试验的概念,在仅考虑测定故障检测率(FDR,Fault Detection Rate)的情况下,研究给出了基于功能相关特征矩阵和重要度特征的故障特征建模方法,构建了二元组故障特征模型,用于测定FDR试验的试验样本选取.在该种试验样本选取方法中,为了减少进行故障注入试验时,注入不同故障样本的工作量和复杂度,充分考虑了试验样本间的等效关系,定义了等价集合和等效样本的概念,并在此基础上给出了考虑等效样本存在的试验结果评估方法.该研究在某型导弹飞控系统中取得了很好的应用.      

测试有效性对软件可靠性验证测试量的影响

针对传统软件可靠性验证测试方法均不考虑软件测试性可能会对验证测试用例数量产生影响的现状,提出一种引入测试有效性对软件可靠性验证测试最小量进行改进的方法.分析了软件测试性的定义及其对软件可靠性测试集合的影响,提出软件测试有效性的概念.比较了考虑测试有效性前后软件可靠性验证测试集合在数量上的差异,证明经典统计方法和无先验知识的Bayesian统计推断方法确定的均为假定测试有效性为零情况下的保守估计.提出结合测试有效性的验证测试量的量化表示模型和验证测试方案的改进方法,基于统计故障注入的原理,提出测试有效性的定量评估方法,最后通过示例给出定量评估过程和方法.      

自主测试优先级软硬协同调度策略

自主测试是构建航天器自治体系的关键技术之一.针对实时操作系统自主测试优先级调度问题,提出一种软硬协同混合调度策略.通过分析复杂工程背景下影响自主测试任务重要性的多种因素,提出重要性综合评价指标实现优先级静态分配,利用自组织特征映射网实现测试任务集聚类.在此基础上,建立仲裁代理机制进行优先级再分配,以可信性为调度判据实现基于现场可编程门阵列(FPGA,Field Programmable Gate Array)的优先级动态调度.实验表明该策略对自治系统合理分配优先级资源、高效调度测试任务具有参考意义.      

航天器测试需求描述及其自动生成

航天器作为一个典型的安全苛刻系统,其可信性研究需求迫切,支持可信性评估的数据来自于航天器测试用例的执行,而航天器测试需求是测试用例生成的重要依据.在实际应用中,对航天器这类复杂系统,面临测试需求庞杂、测试需求编制周期长、人工经验编制方式难以保证测试需求的充分性、完备性及可复用性等问题.针对这些问题,通过分析航天器组织结构特点,建立航天器形式化模型,基于航天器测试任务流程,给出了航天器静态测试需求和动态测试需求形式化描述规范,并给出航天器测试需求自动生成方法,保证了测试需求的充分性和完备性,提高了测试需求复用性,与人工编制方式相比,缩短了测试需求编制周期.最后设计并实现航天器测试需求生成应用系统,验证所提出方法的有效性.      

无线通信非线性失真仿真器的设计与实现

航空航天领域应用的通信系统由于发射功率和频谱利用率较高,需要考虑功率放大器非线性失真的干扰.已进行的大量研究,主要围绕功放非线性失真的模型描述和线性化方法.从测试角度出发,设计一种用于测试无线通信中抗失真干扰的能力的功放非线性失真仿真器,测试自适应预失真系统的工作性能,以及在指定功放条件下开发通信系统.此仿真器基于现有功放非线性失真模型,在数字信号处理器件中采用CORDIC(Coordinate Rotation Digital Computer)流水线和LUT(Look-Up-Table)方式实现了失真模型的AM-AM和AM-PM变换.软件仿真及硬件输出结果显示,此仿真器实现了非线性模型描述的失真效果,验证了设计的可行性.      

一种无人机飞行控制管理软件回归测试方法

针对大型嵌入式软件测试的难题,提出了基于系统快照的自动化回归测试方法,并以无人机飞行控制管理软件为研究案例进行了关键技术解析、测试系统设计及分析.利用系统快照技术实现了彼此之间关系繁杂的测试用例的解耦,将复杂的系统测试转化为灵活的单元测试.结合CPPUnit的测试框架,建立了自动化回归测试的系统结构,并深入分析了各部分的功能和执行过程.进而设计出基于系统快照的自动化回归测试执行流程和测试用例的编制流程.给出了某型无人机飞行控制管理软件在不同方法下的测试结果,通过数据对比验证了测试系统的高有效性.      

基于图染色理论的并行测试任务调度算法

目前的自动测试系统大多数采用串行测试的工作方式,测试效率很低.针对这个问题,建立了基于图论的测试任务关系模型,用"图"来描述测试任务占用仪器资源的情况,将测试任务调度的工程问题转化为图论中的数学问题.在测试任务关系模型的基础上,提出了两个任务调度算法:CTG算法和CTG-T算法.对于多个测试任务,利用这两个算法可以得到并行度最大或者测试时间最短的任务分组方案,能有效地实现并行测试.这两个算法是基于图的染色理论得到的,对其正确性进行了理论分析和实例仿真.两个算法已经在实际系统中得到了实验验证,结果表明能够大大提高自动测试系统的测试效率.      

北斗卫星空间信号故障与监测性能指标定义

卫星导航系统指标分配与论证是指导和约束各大系统方案设计及工程实现的重要依据.完好性和连续性是系统服务性能的关键指标，能否满足用户需求主要取决于其中的空间信号故障和监测性能指标.以用户完好性和连续性要求为设计依据，定义了空间信号故障次数、平均故障率、故障漏检率、虚警率等系统指标与完好性、连续性等风险概率之间的转换关系.针对北斗系统及星座构成特点，按照国际民航组织规定的用户完好性和连续性风险概率需求，分析了不同空间信号故障条件对系统完好性监测性能的指标要求.研究结果可为北斗全球系统可靠性指标论证和设计提供依据和参考.      

机载UMS分布式容错计算机系统设计

综合控制管理是机载机电设备发展的趋势.针对航空机电设备综合控制管理预研项目,利用分布式容错技术、高可靠航空电子总线技术和嵌入式实时多任务操作系统应用技术,设计并实现了一个分布式容错计算机系统.讨论了系统的工作特点、系统结构、通信网络、冗余管理和实时容错分布执行软件.      

基于动态故障树的卫星可靠性分析

针对卫星系统的可靠性问题，提出了一种基于动态故障树的卫星可靠性分析方法。采用马尔可夫链和二元决策图相结合的分析方法，建立卫星的电源、姿轨控和推进3个分系统的动态故障树模型，在此基础上得到卫星的随机故障模型，并综合考虑损耗故障建立卫星可靠性模型。利用蒙特卡洛仿真对随机故障模型进行评估分析，并将其与Weibull分布模型进行性能比较，仿真结果表明该方法能够有效分析卫星的随机故障，具有计算精度高、效率高的优点，并能更有效地模拟卫星部件随机故障的动态行为。     

柔性可靠性与故障诊断处理综合设计技术

针对现代卫星高可靠、长寿命的要求,从卫星系统整体角度出发,根据卫星数字化系统/设备的特点,应用网格技术和多学科综合技术实现卫星内部、甚至卫星个体之间的柔性重组,提高卫星及星座的系统可靠性.提出柔性可靠性技术、测试技术和故障诊断与处理的融合技术,将可靠性、测试性和故障诊断与处理的设计分析与产品功能/性能设计紧密结合,建立综合应用的设计分析模型,实现一体化设计,并尝试对此进行综合应用仿真,以达到卫星数字化系统/设备简单、经济和高可靠的目的.      

卫星姿态控制系统的故障可诊断性评价研究

在不依赖任何诊断算法的前提下,对卫星姿态控制系统中传感器和执行器的故障可诊断性进行评价,旨在将提高系统故障诊断能力的工作重点前移到设计阶段.由于反馈控制的存在,导致故障会在整个系统中进行传播,使得单故障源表现出多异常征兆,这给闭环系统的故障诊断带来极大挑战.将故障视作扩展状态,并考虑模型不确定性,得到卫星姿态闭环控制系统的状态空间模型;根据可观测性判据,给出并证明考虑建模不确定性的加性故障和乘性故障可诊断性条件.所得相关结论可为卫星姿态控制系统设计提供理论参考依据.     

基于深度残差网络的模拟电路软故障诊断方

航天电子电路的故障诊断一直是航天领域可靠性与安全性的一个热点研究课题，航天电子电路的故障将直接影响航天任务是否成功。提出了一种基于深度残差网络的模拟电路故障诊断方法。该方法使用短时傅里叶变换将电路的时域输出信号转换为二维电路图像，并将其作为神经网络的输入，再利用ResNet提取模拟航天电子电路的性能特征，确定元件的故障类型，完成电路的故障诊断。通过仿真验证了该方法的故障诊断性能。仿真结果表明，该方法能够实现高达99.1%的诊断准确率。     

基于键合图模型的传感器布局方法

为研究传感器布局对于故障诊断性能的影响,使用键合图方法对系统建模。通过在键合图模型中设置虚拟传感器模拟测点,利用键合图的结构信息和因果关系约束推导出一组解析冗余关系式,即系统残差,通过分析残差、故障及传感器配置的关系,提出了一种基于满足故障检测性和隔离性要求的传感器布局方法,在最大限度满足系统诊断性能前提下选择数量最少的传感器配置方案。最后,以同步发电机为例建立键合图传感器布局模型,通过残差推导其结构故障特征矩阵以及传感器特征矩阵,并对所提出的传感器优化布局方法进行验证,得出在参数性故障检测和隔离性能最高前提下的传感器配置方案。      

综合导航系统中的多级故障检测与隔离技术研究

文章讨论了综合导航系统中的故障检测与隔离问题, 提出了子系统机内自检测(BIT)、直接合理性检测、子系统输出相关性检测、卡尔曼滤波量测检测和间接合理性检测的五级综合故障检测算法。此算法简捷有效, 计算量小, 已成功地应用到了综合导航系统中, 有效提高了综合导航系统的可靠性。