A hazard analysis via an improved timed colored petri net with time–space coupling safety constraint

Petri nets are graphical and mathematical tools that are applicable to many systems for modeling, simulation, and analysis. With the emergence of the concept of partitioning in time and space domains proposed in avionics application standard software interface(ARINC 653), it has become difficult to analyze time–space coupling hazards resulting from resource partitioning using classical or advanced Petri nets. In this paper, we propose a time–space coupling safety constraint and an improved timed colored Petri net with imposed time–space coupling safety constraints(TCCP-NET) to fill this requirement gap. Time–space coupling hazard analysis is conducted in three steps: specification modeling, simulation execution, and results analysis. A TCCP-NET is employed to model and analyze integrated modular avionics(IMA), a real-time, safety-critical system. The analysis results are used to verify whether there exist time–space coupling hazards at runtime. The method we propose demonstrates superior modeling of safety-critical real-time systems as it can specify resource allocations in both time and space domains. TCCP-NETs can effectively detect underlying time–space coupling hazards.     

多电飞机电源系统的负载稳定性分析

阐述了恒功率负载的概念及其特性,介绍了电源系统中恒功率负载的工作原理,并对多电飞机电源系统的系统特性进行了分析。在此分析基础上,提出了解决负阻抗特性引起的飞机电源系统不稳定的方法,最后给出了保证系统稳定的条件。     

某型继电器延迟时间的设计计算

系统阐述了短路绕组延时继电器延时的工作原理 ,详细讨论了影响延迟时间的因素 ,并就如何延长释放时间和缩短闭合时间提出了有效方法 ,从而使带短路绕组的延时继电器满足不同的延迟时间指标。     

环氧树脂辐射固化反应速率及速率常数的研究

研究了环氧树脂溶液的电子束辐射固化反应速率常数以及树脂特性对反应速率的影响.研究结果显示,辐射反应增长速率常数k_p和终止速率常数k_t在反应进行的不同阶段表现出不同的控制机制.环氧树脂的分子量及其分布,分子化学结构对辐射反应速率都有很大影响,反应速率大的树脂体系最终达到的反应程度也高.     

神舟3号飞船上太阳辐射测量

2002年3月至9月间，用3台太阳辐照度绝对辐射计(SIAR)组装的太阳常数监测器在神舟3号飞船轨道舱上测量了太阳辐照度．改进了SIAR辐射计的锥腔结构，把电加热丝埋在薄锥腔壁中间，提高了绝对精度．采用了用宽视场辐射计飞船在轨运动中太阳扫过其视场期间进行测量的方法，测量值与美国EOS上ACRIM Ⅲ测量数据的最大偏差在0．2％以内．     

一种实用的等环量线旋翼尾迹生成新法

提出了一种实用的等环量线旋翼尾迹生成新法。该方法不仅能够满足识别旋翼桨叶展向多环量峰分布的要求，而且能同时自理正环量峰和负环量峰。与传统的涡格法相比，该法具有快速简便、可靠及易程序化等优点。     

信号特征选择的一种优化算法

简单介绍了基于扩张理论和粗集理论的优化算法、“贪心算法”和启发式搜索算法等典型特征选择的优化算法,并比较它们的性能,在此基础上选择启发式搜索算法用于信号特征的选择。最后用MATLAB编程验证了启发式搜索算法特征选择的有效性。     

某型飞机护板作动筒自动开锁故障分析及改进

针对某型飞机护板在飞行中自动打开的故障,对护板收放作动筒工作原理、结构组成进行了研究,在开锁试验验证和故障件分解检查后,确定了作动筒自动开锁的原因是由于弹簧力过小,使得作动筒开锁压力小于瞬时回油压力所致.通过改进作动筒内部零件弹簧的安装方式,增大了开锁压力,提高了开锁压力的稳定性,排除了故障,为飞机飞行安全提供了保障.     

大功率LED混光照明恒流驱动电路的设计

在分析了大功率LED混光照明中LED光源特性的基础上,提出了三色LED恒流驱动电路的设计方案。驱动电路分别采用升压和降压拓扑结构,利用具有PWM实时调光功能的RT8452作为驱动控制芯片,通过改变外接PWM占空比即可调节LED亮度。实验证明,此驱动电路工作可靠,效率高,实现简单。     

资源一号卫星X波段IR—MSS数传天线

一种北射双线螺旋天线在中巴合作研制的地球资源卫星上首次用作x波段IR－MSS（红外遥感）数传天线，替代了国际上惯用的赋形反射面天线。飞行试验表明，天线在轨工作正常，具有与赋形反射面天线相当的性能与功能。本文简要地介绍了该天线的设计和性能。