基于效能的先进战斗机航电系统动态重构方法

为满足未来先进战斗机全战斗过程的对敌压制能力需求，分析了作战任务与航电系统支持能力间的关系，建立了"作战任务-航电能力-资源需求"间的关系矩阵和航电系统效能模型；以最大化全飞行阶段航电功能整体效能和飞行安全为目标设计了针对不同作战场景的航电系统动态重构策略及重构流程；通过数值分析，对比了动态重构航电系统与静态配置航电系统在不同作战区边界的效能，表明动态重构特性能有效提高战斗机各阶段的作战效能，提高有限资源条件下的阶段优势。     

ARINC 653分区实时系统的主时间框架设计

综合模块化航空电子系统中的ARINC 653标准规定系统采用分区内调度和分区间调度双层调度机制。根据标准,分区内的调度由分区设计者指定,分区之间则按照静态的主时间框架进行调度。如何基于多个分区应用设计用于分区间调度的主时间框架是系统集成阶段需要解决的问题。首先利用可调度分析导出了分区的有界延迟模型参数,进一步将该参数转化为分区的调度参数用于分区间调度。然后进行分区间调度生成主时间框架,提出了最少窗口数目匹配-最佳匹配（MFBF）算法用于减少分区窗口的切换次数。提出的从分区参数推导到分区间调度流程能够基于若干分区应用生成ARINC 653系统的主时间框架。实验结果表明:时间窗口优化算法能有效减少分区窗口切换次数。      

一种基于相邻模块化加权D-S的融合诊断方法

常规D-S (Dempster-Shafter)决策融合方法由于其自身理论不足,不能很好直接处理决策结果偏差大、冲突大的传感器融合问题,因而对于信息高冲突情况下的转子微弱故障融合诊断存在着失效问题。针对该类问题与不足,借鉴复杂网络的舆论传播、社会学习理论及多智能体一致性决策的相关概念与思路,从避免决策结果冲突大的传感器直接进行融合的角度进行改进,提出相邻模块化加权D-S融合方法。该方法首先根据初步结果进行相邻节点与模块划分,只有决策距离在相邻界限值范围内的相邻模块节点才能进行决策融合;对于同一模块内相邻节点,根据各节点决策权重及初步决策结果采用加权D-S融合方法进行决策融合;针对融合结果再进行相邻节点模块划分与融合,依此步骤进行循环划分与融合,直到所有模块与节点均不相邻;最后采用专家权威决策方法确定权重和最大的模块融合结果作为最终的传感器网络一致性决策结果。通过多传感器网络的转子故障模拟实验对所提方法进行验证,应用结果表明:所提方法可以较好解决少数传感器诊断正确、而多数诊断错误的信息高冲突条件下的局部微弱故障融合诊断问题。     

Multi-objective evolutionary design of selective triple modular redundancy systems against SEUs

To improve the reliability of spaceborne electronic systems,a fault-tolerant strategy of selective triple modular redundancy(STMR)based on multi-objective optimization and evolvable hardware(EHW)against single-event upsets(SEUs)for circuits implemented on field programmable gate arrays(FPGAs)based on static random access memory(SRAM)is presented in this paper.Various topologies of circuit with the same functionality are evolved using EHW firstly.Then the SEU-sensitive gates of each circuit are identified using signal probabilities of all the lines in it,and each circuit is hardened against SEUs by selectively applying triple modular redundancy(TMR)to these SEU-sensitive gates.Afterward,each circuit hardened has been evaluated by SEU Simulation,and the multi-objective optimization technology is introduced to optimize the area overhead and the number of functional errors of all the circuits.The proposed fault-tolerant strategy is tested on four circuits from microelectronics center of North Carolina(MCNC)benchmark suite.The experimental results show that it can generate innovative trade-off solutions to compromise between hardware resource consumption and system reliability.The maximum savings in the area overhead of the STMR circuit over the full TMR design is 58%with the same SEU immunity.     

一种存储器容错设计方法

空间辐射环境常导致存储器发生单粒子翻转,设计了一种基于Hsiao编码的EDAC电路,并通过编解码电路复用的策略来进一步减小电路面积,该电路与目前广泛应用的扩展Hamming码电路相比,面积减少了近50％,速度提高了近20％,并采用了一种新颖的方法来实现单错自动回写功能,可有效解决CPU中断行为．通过增加控制寄存器的三模冗余（TMR）设计来保证存储器操作的正确性,仿真验证了该设计的有效性和优越性．     

基于精益思想的模块化生产信息系统

制造业的发展往往需要克服许多生产组织障碍,进而推动生产流程重组,它必然伴随着信息系统的不断改进和演化.因而,生产信息系统需要以最小的改进成本满足组织环境变化的需要.从企业基础数据组织入手,详细分析了企业基础数据内容和形式,通过元数据形式对其进行标准化,形成了企业级和单元级的双层数据中心环境.分离了基础数据与企业流程之间的紧密依赖关系,根据企业业务特点重新定义企业业务组件、事件、企业服务等概念,将人和企业流程集成于信息管理框架中,明确了信息系统和数据系统之间的区别,以模块化层次结构形式快速构造出基于精益思想的模块化生产信息系统框架,并阐述了在协同的工作环境下的信息系统管理逻辑过程.      

弹用内乘波式进气道起动性能研究

 为弄清内乘波式进气道在低马赫数状态下的流动特征,分析影响内乘波式进气道起动能力的因素,研究与弹体匹配设计的内乘波式进气道的起动问题。首先基于一种有利于出口均匀性的基本流场,采用流线追踪技术,设计了来流马赫数为4.0且进出口形状适应弹体安装要求的双模块弹用内乘波式进气道;此后,采用计算流体力学(CFD)方法获得了低马赫数下进气道的三维波系结构和流动特征。研究表明,进气道溢流口位置是影响内乘波进气道起动能力的重要因素:在溢流口位置由两侧改至最下端后,起动马赫数由3.6下降为3.3;采用单模块方案,溢流口设置在下端后,起动马赫数下降为3.25。此外,设计内乘波式进气道基本流场也对起动性能有影响:设计出口马赫数不变,双模块方案下,入口气流偏转角每增大2°,起动马赫数约下降0.1;单模块方案下,提高入口气流偏转角最大可使起动马赫数下降为3.1;进气道内收缩比对起动能力的影响体现在入口气流偏转角不变时,进气道起动能力仅取决于内收缩比,设计出口马赫数每增加0.2,起动马赫数约减小0.2。研究所分析的各个弹用内乘波式进气道在设计条件下均可捕获99%的来流,在扩大了工作马赫数范围的同时,保持了高流量捕获性能和高总压恢复系数的优势。     

基于在线加载分区机制的重构方案的设计与实现

随着综合模块化航空电子系统（IMA）结构技术的发展,对航电系统的安全性和可靠性的要求也进一步提高。本文提出的IMA重构方案基于VxWorks653系统中的在线加载分区(Online-Loaded)机制,可以做到对应用程序的动态加载,使得IMA系统在发生故障时能按预设的配置进行功能迁移,从而实现IMA系统的重构。在该重构方案的基础上还同时设计了分步加载技术。测试验证表明,分步加载技术明显减少了重构的耗时,提高了重构的效率。     

一种基于AADL的IMA系统配置信息的正确性检测方法

综合模块化航空电子系统(Integrated modular avionics,IMA)中的系统配置信息的正确性是保证IMA系统可靠运行的重要保障。配置信息的重配置给系统的更新和移植提供了方便,同时也给重配置后的系统带来了不安全因素。本文针对满足ARINC653规范的IMA系统重配置信息的正确性检测方法,展开了基于架构分析和设计语言(AADL)模型转换与分析的研究。给出了一系列从ARINC653系统配置信息到AADL模型元素的映射规则,包括模块、分区、进程、健康监控、通信等核心概念,并设计了一个模型转换的方法,然后采用一个第三方的工具对所得到的AADL模型展开配置信息正确性的语义验证。最后本文还给出了一个实例分析。