Performability analysis of avionics system with multilayer HM/FM using stochastic Petri nets

The integrated modular avionics (IMA) architecture is an open standard in avionics industry, in which the number of functionalities implemented by software is greater than ever before. In the IMA architecture, the reliability of the avionics system is highly affected by the software applications. In order to enhance the fault tolerance feature with regard to software application failures, many industrial standards propose a layered health monitoring/fault management (HM/FM) scheme to periodically check the health status of software application processes and recover the malfunctioning software process whenever an error is located. In this paper, we make an analytical study of the HM/FM system for avionics application software. We use the stochastic Petri nets (SPN) to build a formal model of each component and present a method to combine the components together to form a complete system model with respect to three interlayer query strategies. We further investigate the effectiveness of these strategies in an illustrative system.     

SDL在空间通信协议开发中的应用

针对空间通信协议开发难度大、代价大的问题,提出了基于协议工程思想利用SDL(规范与描述语言)对SCPS-TP(空间通信协议规范-传输协议)进行开发的方法,包括SDL建模、仿真和验证。首先对SCPS-TP进行了功能分析,确定功能点和状态机,并据此利用SDL建模;接着对模型进行实时仿真,测试其正确性,通过调试保证所有功能通过仿真;最后对模型进行了验证。验证结果表明,SCPS-TP不存在死锁、活锁等逻辑错误,为其在空间通信中的应用提供了有力支持,同时也说明了SDL在空间通信协议开发中的重要应用。     

单相PWM整流电路控制方法及仿真分析

分析单相PWM整流电路的结构、工作原理和控制方法,通过选择适当的工作模式和工作时序,可使PWM整流电路输出直流电压稳定。将正弦脉宽调制技术应用于PWM整流电路,使其交流侧输入电流非常接近正弦波,且与输入电压同相位。同时调节交流侧电流的大小和相位,使能量在交流侧和直流侧双向流动。在建立基于Simu-link7.6的仿真模型基础上,通过分析PWM整流电路各处电压、电流波形,验证其控制方法及仿真设计的正确性。     

基于时频原子方法的雷达辐射源个体识别

针对雷达辐射源个体识别问题,提出一种时频原子分解的特征提取方法.该方法针对主振放大式发射机,首先根据锁相环频率合成器相位噪声的功率谱,模拟含有特定相位噪声的辐射源信号.然后基于时频原子分解原理并采用膜算法将带有相位噪声的辐射源信号在正弦原子库中进行一次分解.最后利用分解后的原子提取出正弦原子能量特征和原子频率偏差特征,...     

载人飞船回收着陆半实物仿真系统关键技术研究

载人飞船回收着陆半实物仿真系统是通过模拟飞船返回压力环境,将回收程控装置硬件实物接入仿真回路的一个半实物仿真试验平台。文章简要介绍了该半实物仿真系统的结构,重点叙述了该半实物仿真系统中特有的负压高精度快速调节压力模拟、多通路指令信号处理、混合式网络、多阶段动力学仿真框架等关键技术。     

燃机的燃料系统设计

某型燃机是由航空发动机改进而成的,其设计及应用拓宽了航空发动机的使用范围,开辟了新的市场空间。燃机的主要设计思想是保持航空发动机总体布局不变,只对局部做了较大改进,这样不仅降低燃机的研制成本,缩短燃机的研制周期,而且能及时满足市场需求。燃机使用的燃料为天然气,因此设计了燃机的燃气系统,并对主燃烧室进行了改制,以适应燃气...     

多飞行器协调航迹规划方法

针对多飞行器的协调航迹规划展开研究，提出了一种基于协同进化的多飞行器协调航迹规划算法。在该算法中，不同飞行器的潜在航迹形成它们自己的子种群，并在于种群内部进化。不同飞行器间的协调关系由航迹的评价函数来实现。同时，通过使用特定的染色体表示方法和进化算子，该算法可以有效利用各种环境信息，处理各种航迹约束，并实时地生成三维航迹。     

Fault Detection in Dynamic Systems via Decision Fusion

Due to the growing demands for system reliability and availability of large amounts of data, efficient fault detection techniques for dynamic systems are desired. In this paper, we consider fault detection in dynamic systems monitored by multiple sensors. Normal and faulty behaviors can be modeled as two hypotheses. Due to communication constraints, it is assumed that sensors can only send binary data to the fusion center. Under the assumption of independent and identically distributed (1ID) observations, we propose a distributed fault detection algorithm, including local detector design and decision fusion rule design, based on state estimation via particle filtering. Illustrative examples are presented to demonstrate the effectiveness of our approach.     

炮弹飞行速度等对核电站建筑的毁伤研究

对核电站设施进行了分析,研究了炮弹对核电站安全产生最大威胁的情况,并对此过程进行了数值模拟;应用有限元建模技术,实现了对核电站安全壳的有限元建模.运用ANSYS-DYNA有限元软件平台进行了数值仿真,得出炮弹对核电站的侵彻效果.通过仿真验证,较准确地评估了炮弹对核电站构成的威胁,可供核电站选址和防护设计时参考.     

弯管角度对爆轰波传播特性的影响

利用相关软件和数据,分析了爆轰波在弯管中传播时,弯管角度对其传播速度和爆轰压力所产生的影响。所得结论对于研究爆轰波在弯管巾的传播特性以及指导工程实践具有一定意义。