基于动态仿真激励模型的飞控计算机测试系统设计

飞行控制计算机作为飞行控制系统的核心组成单元,其性能的好坏很大程度上决定了整个飞行控制系统的性能指标,并最终影响飞机飞行安全。针对全时全权数字电传系统结构和功能复杂的特点,以自动飞行控制计算机测试验证为目的,设计开发了一套面向自动飞行控制计算机性能测试的测试验证系统,包括信号表决、余度管理、控制律软件测试等功能。双余度飞控计算机有故障信号注入试验测试表明,本文设计的测试验证系统测试结果准确,可有效验证飞控计算机功能和性能,达到设计要求。     

电子产品故障物理模型仿真分析与试验验证

随着现代武器装备可靠性的不断提高,寿命周期内故障样本不断减少,基于故障物理模型的可靠性分析方法越来越受到广泛关注,但故障物理模型的准确性是核心问题之一.针对目前工程中应用较多的、具有典型代表性的随机振动疲劳模型开展仿真技术适用性验证,通过对比仿真结果和试验结果,一方面对现有故障模型的计算精度给予合理化分析,验证仿真分析方法的有效性,另一方面形成一套可以推广使用的故障物理模型试验验证方法,可为其他故障物理模型的验证提供指导.     

基于元模型的Simulink静态分析技术

为解决目前Simulink模型规则检查工具对国内如飞行控制等一些特定领域的标准规范覆盖不完善的问题,设计了41条建模准则,并基于元模型理论,提出了一种共性的解析和检查框架,在此基础上实现了Simulink模型规则检查工具SimREG。该方法通过一种无编译的方式来实现对Simulink模型的静态规则检查,在Simulink模型到元模型的映射过程中提取针对每条准则执行检查时需要的模型信息,并将模型重构为有向图的形式,然后在遍历过程中,对图中每个节点进行选定准则的分析处理,完成检查过程。SimREG完成了全部41条建模准则的检查过程,在与三个有代表性的规则检查工具的对比实验中取得了更好的检查结果。SimREG工具将元模型理论应用于Simulink模型的规则检查过程中,在检查速度更快的同时获得了更低的漏报率和误报率。