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.     

偶联剂MAPO提高HTPB推进剂延伸率的机理研究

用单轴拉伸和红外光谱法研究偶联剂ＭＡＰＯ在ＨＴＰＢ／ＡＰ／Ａｌ推进剂中的作用。实验结果表明：ＰＡＰＯ能提高ＨＴＰＢ推进剂的强度和起始模量，并不提高延伸率。ＭＡＰＯ提高延伸率是和配方中相应扩链剂配合的协同结果。二胺类化合物ＦＬ和ＭＡＰＯ匹配可提高ＨＴＰＢ推进剂延伸率。用比较拉伸贮能的方法可探索推进剂内部结构的变化。     

耦合的气动伺服弹性系统鲁棒稳定裕度估算

根据多输入－多输出控制系统理论，对飞行器耦合的气动伺服弹性系统进行了稳定裕度估算，耦合是在飞行器的横滚与偏航之间产生的，以闭环系统回差矩阵的奇异值理论作为估算方法的基础，应用鲁棒稳定性的充分条件，以某飞行器为例进行估算，得出飞行器在给定速度下保持稳定性的抵抗系统摄动的范围。     

声激励下绕二维薄翼非定常位势流的理论分析

本文根据无粘流体的非定常热流理论，推导出声源在亚声速不可压缩流场中对机翼产生的非定常流体动力的精确解，讨论了典型翼段上单极子声源的位置对声致气动载荷的影响，并通过对声－涡耦合的分析，解释了限于弱扰动的声激励消除颤振的机理，为有源声控制技术应用于流致振动和涡流的控制提供了理论基础。     

新型高强高韧环氧基体树脂体系研究

针对航天用碳／环氧大型复合材料结构件的特殊要求，开展了高强高韧耐高温环氧基体树脂体系的研究。在分子水平上，系统研究了环氧树脂体系中各化学组份的化学结构对其综合性能的影响规律，获得兼具高强高韧与耐高温性能的新型环氧基体树脂体系，其树脂浇铸体的拉伸性能和断裂伸长率等较目前商品化的环氧树脂体系有较大程度的提高，并且具有较好的工艺性能，可以满足航天用高性能复合材料的使用需求。     

二聚脂肪酸二异氰酸酯及其应用

本文综述了二聚脂肪酸二异氰酸酯(DDI)的制备方法、性能及其在军、民上的应用.DDI具有低毒、低蒸气压和对水不敏感等特点,制备方法简便.用作丁羟推进剂的固化剂,推进剂具有长的工艺使用期、好的低温力学性能和低的燃速压力指数.由DDI制作的聚脲涂料和弹性体有好的耐气候、耐磨和耐老化等优点.     

硝胺/丁羟复合推进剂高效偶联剂

本文介绍了硝胺/丁羟复合推进剂的高效偶联剂——BAG系列偶联剂.其中BAG-7能使推进剂25℃下的最大抗拉强度σ_m由原来的0.7MPa提高到1.0MPa,最大延伸率ε_m由原来的35%提高到99%;-40℃下,ε_m由25%,提高到97%;70℃下,ε_m由原来的30%提高到97%.这些偶联剂BAG-8、BAG-10、BAG-12等偶联剂都能使消胺/丁羟推进剂的力学性能取得突破性进展,且国内外未见报导、其功效优于较好的硝胺偶联剂TEA、DHE等.     

三轴转台运动耦合作用的仿真及实验研究

分析了三轴转台运动耦合作用的规律,在数学模型的基础上,探讨了仿真计算和实验验证的方法,并给出了相应的实验结果,证实了分析、计算的正确性,从而为进一步的研究工作提供了依据。     

HAN基电控固体推进剂电热耦合特性及燃烧特性实验研究

为了探究HAN基电控固体推进剂(ECSP)的电热耦合特性和燃烧性能,通过改变施加电压和环境压力对ECSP进行燃烧性能测试。在ECSP燃烧性能测试装置中采用电压、电流探头记录燃烧过程中通过推进剂的电压和电流,利用高速摄影仪记录推进剂的燃烧过程,借助法拉第电化学分解定律计算推进剂理论电化学分解质量在总燃烧消耗质量中的占比,分析电压和压力对推进剂燃速和质量损失的影响,同时拟合出ECSP燃速(r)与功率(P₁)和压力(P₂)的经验公式。结果表明：随着电压和压力的增加,ECSP理论电化学分解质量和实际燃烧质量增加,理论/总燃烧质量比值降低,燃速和质量损失增加。在ECSP的可控燃烧范围内,其燃速与功率和压力满足r = 0.0105P_1^0.705P_2^0.251。本文得到了热分解反应在ECSP的燃烧过程中占主导地位,是高压力下造成推进剂不可控燃烧的主要原因,为揭示ECSP的燃烧可控机理提供理论基础。     

多架无人作战飞机攻击行为的协调

建立了基于Agent的无人作战飞机指挥控制系统的形式化语义模型，提出了无人作战飞机编队的联合作战目标、联合作战意图和协同攻击效能的定义，以及结合联合作战意图、协同作战效能的多架无人作战飞机编队攻击行为的协调方法。仿真结果表明，结合联合作战意图和协同攻击效能的攻击行为可有效地提高编队的作战效能。