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.     

双组元统一推进系统加注混合比改进算法及应用

卫星双组元统一推进系统加注混合比,是确定卫星氧化剂和燃烧剂加注量的重要参数。正确地确定加注混合比可以减少卫星的呆重,增加推进剂余量和卫星寿命。文章在原有混合比计算的基础上,分析了在轨不同阶段的不同压力、温度条件下10N推力器和490N变轨发动机的流量情况和入口压力、氧化剂和燃烧剂压力变化情况,利用推力器和变轨发动机地面...     

光纤开关网络模块高速电路的设计与实现

讨论了FC（Fiber Channel）开关网络模块高速电路的设计与实现。开关网络模块的数据传输速率达到了1.0625 Gbps,其高速电路设计已成为系统能否可靠运行的关键因素之一。分析了传输线选择、特性阻抗控制以及信号完整性等问题,并阐述了布局、布线、电源地和叠层等设计方法。     

CubeSail: A low cost CubeSat based solar sail demonstration mission

CubeSail is a nano-solar sail mission based on the 3U CubeSat standard, which is currently being designed and built at the Surrey Space Centre, University of Surrey. CubeSail will have a total mass of around 3 kg and will deploy a 5 × 5 m sail in low Earth orbit. The primary aim of the mission is to demonstrate the concept of solar sailing and end-of-life de-orbiting using the sail membrane as a drag-sail. The spacecraft will have a compact 3-axis stabilised attitude control system, which uses three magnetic torquers aligned with the spacecraft principle axis as well as a novel two-dimensional translation stage separating the spacecraft bus from the sail. CubeSail’s deployment mechanism consists of four novel booms and four-quadrant sail membranes. The proposed booms are made from tape-spring blades and will deploy the sail membrane from a 2U CubeSat standard structure. This paper presents a systems level overview of the CubeSat mission, focusing on the mission orbit and de-orbiting, in addition to the deployment, attitude control and the satellite bus.     

IEEE1394总线接口设计

IEEE1394总线是一种应用广泛的高速实时传输总线。文章给出了一种基于TSB12LV32和TSB41AB3的IEEE1394总线接口设计方案,并对接口连接进行了详细阐述。使用DSP搭配FPGA构建事务层,与链路层、物理层一起构成完整的IEEE1394通信链路。该方案可以实现链路层和物理层的无缝链接,并且异步事务和等时...     

高压脉冲信号源设计

提出了一种高压脉冲信号源的设计思路和实现方法,它解决了在某些专用测试设备校准中无可用的标准信号源问题,也为其他类似问题的解决提供了参考。     

高温环境对振动测试信号传输参数的影响

为了研究发动机试车运行时高温环境对振动特性测试信号传输参数的影响, 利用电磁场-热耦合理论, 探讨了温度场对电磁场各场量的影响.结合实际测试传输网络, 提出了一种能有效提取多导体传输参数的传输电路法.该方法用经典的能量法进行了验证, 取得了很好的一致性.电阻和电感参数均随环境温度的升高而增加, 且电阻受温度影响的变化幅度尤为明显.多输出响应时多导体的邻近耦合响应随温度升高而加剧, 互电参数受温度和导体间距的影响明显.      

混合电路故障诊断中的状态分割法

在故障字典法和离散事件系统(DES, Discrete Event System)离线诊断模型的基础上,提出一种对混合电路统一建模的方法:状态分割法.围绕系统状态和状态的划分之间的关系,以数学分析为主,提出交叉交运算的定义,证明了交叉交运算在划分集上的封闭性以及该运算是划分集上的划分积等性质.借用DES离线诊断模型的建模思想,提出系统的可诊断性定义,利用交叉交运算的性质证明了最小现象集存在并可达的结论.以故障现象分割系统状态集合的方式来定位系统所处的故障状态,把故障字典法和DES离线诊断模型统一起来,指出了状态分割法的通用性.      

微弱信号调理电路的仿真

在测试系统中,需要对微弱电压和电流信号进行放大和调理,因此,调理电路是其中的一个重要环节,对保证整个测试系统的可靠性起到十分关键的作用.采用计算机对调理电路进行仿真和热分析,能够在电路板研制成之前,先对调理电路的功能进行模拟、分析及优化有关参数,保证电路各项指标达到最优,这样,可以大大缩短电路的开发时间,节省研制经费,具有很高的实用价值.      

一种新型MEMS移相器设计

建立Ka波段分布式MEMS移相器的等效电路,设计基于此模型的分布式MEMS移相器,并对其反射损耗与插入损耗进行优化。仿真结果表明,该模型在4GHz工作带宽内反射损耗小于-15dB,在10GHz带宽内插入损耗大于-2dB,单桥相移达到35°。