航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

2021年世界重要空间科学发射任务

2021年全球重要的空间科学发射任务逾10次，主要是美欧的空间天文、月球和深空探测任务，我国也将发射首颗空间地球科学卫星“广目”。此外，多个中外载人航天任务亦将为空间科学与探索搭建新的平台。      

复合材料尾减管加载变形仿真分析与试验验证

复合材料尾减管发挥着支撑直升机尾减速器和尾桨的重要作用。由于受尾桨的推力作用尾减管在使用过程中会沿推力方向产生变形,若变形过大会影响尾桨的正常运行进而对直升机安全产生威胁。为掌握复合材料尾减管在限制载荷作用下的变形情况并评估仿真分析的准确程度,对尾减管变形状况进行了有限元仿真和试验验证,仿真与试验的边界条件设置均模拟产品的真实装机状态。研究表明,复合材料尾减管变形位移的试验结果最大值为9.22mm,仿真结果比试验结果的最小值相比高出0.69mm,仿真与试验结果的偏差较小,吻合程度较高。     

航天飞行器结构应力腐蚀基因解析及应用

应力腐蚀(SCC)是一种易引起航天飞行器结构无征兆事故的多因素耦合作用失效类型。为厘清SCC机理,文章从基因角度解析SCC的应力因子和微观因素,探索SCC基因测取方法和无SCC事故内涵。分析表明,SCC应力基因位于远低于σ_S的量值区间,其微观基因包括溶解阳极、氢、电负性离子、滑移位错、钝化膜和晶体取向,可采用多尺寸断裂形貌、化学浓度、电位/电流、应力/应变等参数测取SCC基因组态和SCC敏感性。基于SCC基因分析,航天飞行器结构设计寿命内无SCC事故原则应包括合理设计、精准评价和正确失效分析三部分。     

飞机复合材料结构修理的应知应会（Ⅰ）

本文介绍了复合材料飞机结构修理的应知应会,主要包括修理方案、修理的具体要求,修理的步骤、修理程序应注意事项。最后介绍了未来的发展方向。     

复合材料面内剪切Iosipescu方法分析及试验研究

讨论了采用Ｖ形开槽试样的Ｉｏｓｉｐｅｓｃｕ剪切试验方法的应用，分析了影响试验的因素，对Ｔ３００／５２２２复合材料单向板及π／４多向铺层层合板进行了试验研究，试验结果表明，此方法可以很好地用于复材料剪切试验。     

凯夫拉49/环氧复合材料的老化和质量保证

本文总结了凯夫拉49/环氧复合材料使用寿命研究的主要成果,提出了材料的验收标准和制造中应遵循的一些防护措施。