摘要：针对机载软件在多因素耦合复杂飞行情形下的安全性评估与开发安全控制,提出一种基于半实物仿真试验的软件安全性评估方法。介绍了采用飞行模拟器试验对软件安全性进行评估的思想;设计了实施该方法的操作流程;建立了试验平台中仿真系统主要的数学模型;借鉴生物学理论,分析了软件缺陷诱发飞机飞行危险的机理;最后,运用该方法对增稳系统嵌入式软件安全性进行了评估,验证了该方法运用于工程实践的可行性。利用该方法能够减少潜在的机载软件缺陷,降低复杂情形下软件诱发飞机功能危险的概率,提高机载软件安全性。

摘要：在机载软件架构设计阶段,人们将安全性研制保证水平分配到具体的构件中,确保产品质量。鉴于现代航空软件系统极其复杂,如何从系统角度,检验分配给构件的安全性等级符合系统的一致性目标,是设计阶段需要解决的重要问题。首先,分析了分布式和综合式机载软件系统的架构特点,得出了在安全性分析工作中需要考虑冗余等架构设计的影响的结论。其次,使用系统建模语言(SysML)块图建立带有安全性等级属性的系统静态结构模型,利用矩阵对模型进行精确的形式化转换;制定验证规则,在此基础上给出了验证方法,以验证安全性等级分配的合理性。在验证过程中,将关键信息存储在XML文档中,可为适航性审查提供证据。最后,通过实例分析,验证了该方法的可行性。

摘要：为了分析内装式空中发射运载火箭在箭体脱离载机后的气动特性。应用CFD软件进行了运载火箭三维湍流流场结构分析,在此基础上就火箭箭体的迎角变化对流场结构的影响进行了数值模拟。通过数值模拟得到了不同迎角时运载火箭的气动参数、箭体的压力云图、流场结构;绘制了火箭的力与力矩系数曲线,确定了流场在火箭扰流时的特征。通过分析,明确了火箭气动特性对空中发射系统设计的影响。

摘要：自主编队是无人机集群作战的关键技术。提出了一种基于视线的三维无人机双机与多机自主编队方法。制导律采用横纵分离的经典PD控制方式进行设计,建立了加入制导律的双机、多机的质点相对运动学模型,通过求解该模型在平衡点处的雅克比矩阵的特征根,来判断制导律的稳定性。仿真结果表明:设计的制导律能有效导引无人机构成编队,并保持编队飞行。