基于特定领域建模的综合航电分区级元模型研究

针对当前综合模块化航空电子系统（IMA）开发中存在的问题，提出了一种基于特定领域元模型的综合航电分区级系统建模方法。通过分析提取航电系统分区内核对象特性及相互间联系，采用基于面向领域的元建模分析方法，构建了综合航电分区级通信的元模型，通过建模工具将元模型解析生成了面向领域的元建模语言。通过实例分析验证，该建模语言接近ARINC653标准对于分区内核对象的定义，具有较好的可理解性、易用性，可显著提高航电系统的开发效率，为基于元模型的综合航电系统建模方法奠定基础。     

基于多信号属性表建模提高测试性设计方法

多信号流模型是目前系统测试性设计中常用的模型.日益复杂的电子系统,不仅要求建模人员对系统设计有全面的了解,还要有能力基于多信号流模型进行测试诊断分析.从目前现状来看,装备测试性设计与装备维护分工进行,而且测试数据描述缺乏统一的规范,难以有效地汇总或共享使用.通过对多信号流模型的测试性建模进行研究,提出了基于建立属性表格进行测试性建模的方法,运用属性表格对测试属性数据规范化,从而有效利用多信号流模型来提高电子设计的测试性,并以某短波电台系统为例,对该方法进行验证.     

综合航电分区间通信元模型设计研究

针对当前综合模块化航空电子系统（IMA）开发中存在的问题,提出一种基于特定领域建模的综合航电分区间通信元模型的设计开发方法。通过分析航电系统分区间通信原理,抽取分区间通信的特性,采用基于面向特定领域的元建模分析方法,构建了综合航电分区间通信的元模型,通过元模型解析器生成了面向领域的建模语言,通过模型解释器将应用模型自动生成系统通信配置文件。以模块内部两分区间通信系统为实例对象进行了验证,结果表明该建模语言,具有较好的可理解性、易用性,可显著提高航电系统的开发效率,为基于元模型的综合航电系统建模方法奠定基础。     

复杂机载电子系统故障综合诊断技术研究

故障综合诊断技术一直是复杂机载电子系统研发过程中的关键部分,当前的故障诊断技术同时需要机内测试（BIT）和场外自动化测试设备（ATE）的测试结果才能得出诊断结果,诊断效率低,时间长并且不能在线诊断。针对新一代战斗机将更加依赖航空电子系统的趋势,迫切需要一种诊断时间短,且能够实现在线诊断的故障诊断技术。因此,一种基于模型的故障诊断方法被提出。该方法通过融合多信号模型和整数编码故障字典模型,模块间采用多信号模型,单个模块中采用整数编码故障字典模型,克服了多信号模型对测试信息的浪费和整数编码故障字典模型建模困难的缺点,并提出一种多目标测试优选方法,通过优化检测方案,充分发挥BIT的检测性能。该方法通过充分使用BIT的测试信息,摆脱了对场外ATE的依赖,实现了在线快速定位故障并识别故障模式。     

基于SD的ABS建模方法及应用

通过分析和比较了目前研究复杂系统的两种主要方法:系统动力学建模方法和基于agent建模的方法,得出了这两种方法的优缺点。在此理论基础上,研究了从SD模型转变为基于agent的模型的方法和步骤。利用现有的SD模型,根据该方法进一步完成了研究居民社会行为演化SD模型到基于agent的模型的转变,根据其仿真结果证明了本文所研究方法的其可行性,为研究复杂系统提供了一种新的方法。并证实了自上而下的建模和自下而上的建模都是研究复杂系统的可行途径。     

一种电子系统测试性模型的研究

测试性是系统和设备的一种便于测试和诊断的重要设计特性,对现代的航空电子设备、武器装备等复杂系统的维护性、可靠性和可用性有很大影响。在对测试性建模理论进行研究的基础上,借鉴多信号流图模型和eXpress信息模型,提出了一种适合电子系统的测试性模型——ESTIM(electrotic system testability information model)模型,该模型在表示方法上与EDA软件相兼容,可结合功能相关性和故障模式相关性方便地对电子系统进行测试性分析。     

基于形式化方法的航空电子系统检测

随着航空型号的快速发展,航空电子系统的数字化程度越来越高,软件在其中所占的比例越来越大.对航空电子系统中的软件进行测试和检测是保证航空电子系统质量及可信运行的基础.通过分析航空电子系统软件体系结构,对航空电子系统进行形式化建模,并在此基础上,提出了一种形式化的系统级综合检测方法,从静态和动态两个方面对航空电子系统进行检测,最后通过设计并实现一个综合检测系统来验证该方法的有效性.     

数据采集器的可测性设计与评估

针对数模混合系统的快速诊断维修问题,以数据采集器作为对象,研究典型数模混合系统的可测性设计及评估;文章首先介绍了两种先进的可测性设计技术:边界扫描技术和内建自测试技术;以某数据采集系统为对象,阐述其关键性能指标,并依据"分块设计"的方法分析了系统各个测试模块的故障类型和采用的可测试性设计方案;最后,利用TEAMS软件建立了数据采集系统的基于多信号流的模型,经计算及仿真对比了可测性设计前后的测试性设计指标;仿真结果表明,增加可测性设计,可以提高电子系统的故障检测率和隔离率,但要增加测试代价,并在一定程度上降低系统的可靠性。     

MDA环境下可变性元建模方法研究

为模型提供可变性支持对于模型驱动软件开发的实践具有重要意义。可变性建模有利于捕捉领域概念及其特征的共性和差异性,为构造应用模型簇提供了一种模型复用的途径。在研究特征建模的可变性机制和MDA标准建模语言对可变性表示不足的基础上,提出了一种可变性元建模方法,构造可变性概要以支持原子、成组等可变性描述,开发了可变性验证和模型转换算法。通过实际项目的验证,该方法为基于可变性建模的模型内容复用提供了有效支持。     

飞行管理系统AADL建模与分析

航空电子系统软件的建模与分析是保证军用和民用飞机高可靠、高性能的重要手段,也是模型驱动软件体系结构的重要组成部分。飞行管理系统作为航空电子系统的重要组成部分,传统上,对该系统的可调度性分析是在系统设计完成后,在实现与验证阶段进行的,这使得系统无法进行的准确地软硬件需求分析。采用先进的建模方法AADL对其进行建模,为飞行管理系统的可调度性分析、可靠性分析以及通信延迟等分析提供了可能,使得在系统需求分析阶段就可以准确确定系统的软硬件需求,并能大大降低系统的更改验证成本。首先论述了建模语言AADL的基本构成以及与航空电子应用接口规范ARING653的对应关系;然后描述了飞行管理系统的功能构成,并建立了飞行管理系统的AADL模型;最后详细论述了系统调度理论,AADL工具,飞管系统AADL模型的仿真分析。通过仿真分析为飞管系统的处理器选型、系统设计、软件设计与优化提供了依据。     

基于混合诊断的测试性建模与分析

随着电子设备测试性设计技术的广泛应用,测试性建模与分析技术日益受到设计与分析人员的关注;为了实现对复杂电子装备测试性设计与分析,介绍了基于混合诊断建模的装备测试性设计与分析方法,并以典型的测量运算放大电路为例,借助Detex公司的eXpress软件平台,运用基于混合诊断模型的建模分析技术进行分析,并对设计指标进行了评价;结果表明,混合诊断测试性建模方法在复杂电子设备测试性设计与分析应用中是可行、有效的。     

基于改进键合图方法的层次机电系统的测试性建模与分析

现有层次化机电系统测试性建模与分析方法,存在着测试性参数值较小的缺陷,为了解决上述问题,提出基于改进键合图方法的层次化机电系统测试性建模与分析方法;引入改进键合图方法,将其有效的融合到贝叶斯网络中,以此为基础,搭建系统测试性模型,通过插值获取测试性参数;以搭建的系统测试性模型为工具,描述层次化机电系统结构,构建层次化机电系统键合图,检测并隔离层次化机电系统故障,实现了基于改进键合图方法的层次化机电系统测试性的建模与分析;通过实验结果显示:与现有的3种层次化机电系统测试性建模与分析方法相比较,提出的层次化机电系统测试性建模与分析方法极大地提升了测试性参数,充分说明所提方法具备更好的测试性效果。     

基于多信号流图的亚跨超声速风洞故障诊断方法

为了在风洞系统发生故障时实现快速准确的诊断与定位,提出了基于多信号流图模型的风洞测试性建模方法;针对风洞结构复杂、解析建模困难等特点,首先通过分析系统组成与设备的功能结构对风洞进行了层次性划分,并根据实际运行中出现的故障情况得到了风洞关键设备的FMEA结果;而后以FD-12亚跨超声速风洞为研究对象建立了系统的多信号流图模型,利用故障模式与测点对应关系建立了相关性矩阵;最后采用TEAMS-RT算法对系统的测试性水平进行了分析和评估,验证结果表明该方法对于风洞系统的测试性建模与故障诊断是有效的,为风洞系统健康管理相关研究提供了参考。     

基于多信号流模型的雷达BIT测试能力分析

多信号模型是一种简单而有效的系统建模表示方法,提出基于多信号流模型的雷达BIT进行验证方法。介绍多信号流模型的定义和表示,分析运用该模型对雷达模块（电路）的建模、相关矩阵简化、对其测试性功能实现原理进行了解析,并以某型雷达截获控制电路为例进行验证。结果表明,多信号模型能给出一个全面的测试性评定结论,对系统测试性分析具有价值。     

装备测试性设计辅助决策系统关键技术研究

针对测试性设计的辅助决策工具是装备测试性设计水平提高的关键技术。围绕测试性设计辅助决策系统实现,从装备测试性设计建模、装备测试性设计与分析优化算法、辅助决策系统实现等三个方面展开研究,在分析现有模型的基础上提出了用于测试性设计的信息模型建模思想,并对测试性设计过程中的诊断优化算法进行了研究,最后完成对测试性模型、诊断策略的集成,对系统平台实现的关键技术进行了研究。本研究是实现装备测试性设计辅助决策系统的关键。     

基于混合离散二进制粒子群-遗传算法的测试配置方法研究

针对目前测试性建模工作中尚无具体方法指导测试配置这一问题,通过对系统内故障传播关系进行分析,提出了一种混合离散二进制粒子群-遗传算法用于求解测试配置的最优方案,使系统的测试性模型在满足规定测试性指标下使用的测试数量最少。将系统测试配置方案进行二进制粒子编码,并在粒子群算法中引入遗传算子,使混合算法具有较快的搜索速度的同时避免陷入局部最优。最后通过实例计算与仿真,证明所提出算法计算结果正确且对于指导复杂系统测试性建模工作具有实际应用价值。     

基于TEAMS的旋转部件测试性建模与分析

测试性模型能清晰、准确地描述装备的测试性相关因素与知识,如故障模式集、测试资源集以及故障与测试之间的关系等.针对直升机旋转部件的独有特性和保障安全的重要性,以旋翼系统为例,梳理了建模准备信息,包括层次结构信息、端口信息、测点信息、故障模式信息等,并进行了TEAMS模型建立和分析,验证了产品模型和测试性设计的一致性,提出了借助外部设备采集和处理传感器信号进行测试性设计、依靠模型进行测试性验证的方法,为机械系统研制过程中故障诊断和健康监测提供技术支撑.     

航电处理机相关性建模与故障方程生成方法

航电产品的相关性建模方法为验证故障检测/隔离能力、提高产品的测试性提供了实用方法,由相关性模型生成的故障方程能够有效地进行故障诊断.针对工程实际需求,介绍了一阶相关性模型的数据获取及模型建立方法.利用测试性建模软件建立了某型航电处理机的一阶相关性模型,并获得了相应的测试性参数及系统D矩阵.同时,探讨了由一阶相关性模型生成系统故障方程的方法,包括D矩阵压缩方法和故障方程逻辑合成两个步骤.