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

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

现在几点钟?

就读英国伦敦帝国学院二年级的生理系学生,在以规律的间隔连续24小时测量自己的肛温(没有想象中的不舒服)之后,知道了约日节律(约24小时的节律)的重要性.     

定向航空有机玻璃成型原理分析

本文通过对定向航空有机玻璃的各项特性阐述，并根据这些特点，详细论述了定向有机玻璃成型工艺原理并分析成型工艺的特点和注意事项，明确了工艺方法及影响产品质量的因素，为今后制造新产品奠定了基础。     

基于Hashin准则的直升机复合材料波纹梁耐撞性分析

对低速冲击作用下直升机复合材料波纹梁的吸能能力进行数值模拟分析。在分析中摒弃了在已有分析中将层合板复合材料简化成理想弹塑性材料的假设,建立了考虑实际铺层结构的复合材料波纹梁的有限元分析模型。采用Hashin失效准则对层合板单元的损伤进行判断,并按照相应的损伤形式对单元刚度进行了相应的折减。基于ABAQUS软件编写了VUMAT材料子程序,实现层合板单元的损伤判定和失效单元的刚度折减。计算结果和试验结果的对比分析结果表明,有限元模拟与试验结果有着良好的一致性,验证了分析方法的有效性。     

基于DELMIA的飞机货物可装载性平台设计

现阶段国内航空货运时间周期中95%要用在航空货运站,尤其是收货时对于特殊尺寸的货物能否装入窄体客机货舱的判断耗时较多。为了解决这一问题,在Visual Studio环境下,利用基于V5 Automation的DELMIA软件二次开发技术,建立了数据库,设计了货物可装载性判别应用平台,利用折半查找法实现货物数据与货舱装载...     

刚性隔热瓦重复使用性评价研究

为满足未来新型飞行器对隔热材料的需求,将刚性隔热瓦在1 200℃热处理30 min,对其质量稳定性、尺寸稳定性、力学性能、隔热性能以及微观结构等进行了评价.结果表明,热处理20次的质量损失率、xy向线性收缩率、隔热性能以及微观结构变化都很小,仅z向线性收缩率稍大(3.19％).综合来看,1 200℃/30min的使用条件下,隔热瓦能够满足20次的重复使用要求.     

二因素随机效应模型下评估X射线单晶定向系统的重复性和再现性

提出一种以总角度偏差作为观测数据,通过适当转换,从而方便地使用二因素随机效应模型评估X射线单晶定向测量系统重复性和再现性的方法。使用该方法安排了三组实验,分别用MINITAB计算得出了三个测试系统的重复性和再现性,并由此证明了即使在X射线单晶定向系统的校准满足要求的情况下,其测试系统的重复性和再现性也不一定满足要求,需要随时监控。     

黑盒预处理功能可测试性的研究

通过对黑盒预处理功能可测试性的数学建模和理论证明,总结出可测试性黑盒预处理功能的判定步骤和测试方法,并通过一个实例进行详述。     

民用飞机复合材料结构制造工艺变化的等效性验证

高性能复合材料已经大量应用于民用运输飞机结构,并以飞机主制造商协同供应商的方式进行复合材料飞机结构的制造。介绍了航空器适航审定对复合材料结构制造的适航要求,引出了复合材料结构制造工艺变化的等效性验证方法。目前,复合材料结构制造工艺变化的等效性验证是通过所制造复合材料物理的、化学和基本力学的性能试验,并对试验结果进行统计分析来实现的。最后提供了等效性验证的接受准则。所述内容,对国内民用飞机复合材料结构在不同供应商处制造以及制造过程中工艺变化如何满足航空器适航审定要求提供借鉴;对其它行业复合材料结构制造的质量控制也有借鉴意义。     

卫星维修性、测试性、保障性的概念解析

针对卫星维修性、测试性和保障性工作中存在的概念不清、内涵不明、工作内容不确定等问题,在维修性、测试性、保障性的通用定义和要求基础上,结合卫星产品特点,分析了卫星维修性、测试性和保障性的概念和内涵,探讨了有关概念间的联系与区别,明确了维修性设计、测试性设计和保障性设计的主要内容。分析表明:卫星维修性设计重点是在轨维修性,兼顾地面需求;卫星测试性和测试、测试覆盖性概念不同但又有关联,卫星测试性设计重点是故障诊断策略和机内测试(BIT)设计;卫星保障性旨在保证在轨连续稳定运行,保障性设计的重点是提高产品可用时间和连续工作时间,降低对保障资源的需求。