航天软件中多重中断程序的动态检测方法研究

随着控制系统软硬件平台的设计复杂度不断增加,特别是飞行控制系统中集成的传感器不断增多,中断数量也随之不断增加.本文根据飞控系统的具体特点,使用标记迁移系统对多重中断并发程序进行建模,提出了原子性违背和数据竞争的形式化描述,运用动态偏序化简算法对程序的状态空间进行化简,并设计实现了多重中断控制系统程序的动态检测工具,实验结果表明该检测算法可以在满足对多重中断并发程序错误检测的基础上,大大的缩短检测时间.     

环氧E-51 改性S-1 硅橡胶涂层的制备与性能

利用化学接枝法制备了一种环氧改性硅橡胶。用红外光谱对其结构进行了表征,分析了制备过 程中催化剂和环氧树脂含量对其力学性能的影响,同时对其固化体系进行了研究。将所制备改性硅橡胶用于 固体火箭发动机外防热涂层材料中,并进行了风洞试验。结果表明:在环氧改性硅橡胶制备过程中加入适量钛 酸丁酯,可有效提高改性硅橡胶的力学性能,且其力学性能随环氧树脂含量的增加而提高;当环氧树脂含量> 20wt%后,改性硅橡胶拉伸强度>2 MPa,扯离强度>3 MPa;RCA-聚酰胺650 复合固化体系是环氧改性硅橡胶 合适的固化剂,涂层经过风洞试验后试件结构完整,其背温低于152℃。