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.     

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

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

Study on Microwave Dielectric Property of Carbon Black and Short Carbon Fibers

Carbon black and carbon fibers of different lengths were introduced in different matrices at different ratios to explore their microwave dielectric properties under 8.2 GHz-12.4 GHz. It is found that the actual dielectric constants of the samples containing carbon black are in a two-order function of the contents of carbon black （ε＇, ε＂=Av2＋Bv＋C） and the complex dielectric constants show an obvious frequency response. Of the added fibers of different lengths, the 4 mm-long one could well disperse in the matrices having not only good frequency response, but also larger real parts, imaginary parts and loss values. The imaginary parts and the loss values （tanδ）of the samples with 4 mm-long carbon fibers added increase linearly with the contents of fiber increasing. So it is practicable to adjust the dielectric parameters of the material in a wide range by changing the added amount of carbon black, and the carbon fiber or altering the lengths of the carbon fiber added.     

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

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

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

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

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

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

介质参数对吸收体电磁散射影响的研究

二维周期渐变微波吸收体由金属基体和涂敷有耗介质构成。有耗介质的厚度、介电常数和磁导率是影响吸收体电磁散射特性的主要因素,因此有必要分析这些参数对吸收体电磁散射特性的影响。根据吸收体的二维周期性结构特点,把分析介质参数对吸收体雷达散射截面(RCS)的影响简化成分析介质参数对涂敷导体二面角RCS的影响。利用矩量法给出涂敷导体二面角的RCS随介质参数变化的计算例子,并结合天线阵列技术算出最佳介质厚度时吸收体的RCS。     

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

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

Ti-15-3超塑性研究

Ti-15V-3Cr-3Sn-3Al合金是一种在航空航天工业领域具有广泛应用前景的亚稳定β型钛合金。本文用恒应变速率法进行实验,测试Ti-15-3板材的超塑性,为超塑成形提供参考依据。     

卫星介质深层充电中的主要物理问题

卫星介质深层充电效应是诱发地球同步轨道卫星运行故障和异常的重要因素之一，通过计算机模拟对介质深层充电的时间常数、电场特征、以及屏蔽、介质厚度和接地方式对充电所致最大电场的影响等主要物理问题进行了详细的分析，并给出了初步的防护措施．