摘要：针对综合模块化航电系统(Integrated Modular Avionics,IMA)高度集成带来的故障传播问题,提出了基于AADL和HiP-HOPS的安全性分析方法。采用AADL语言对系统的架构及故障信息进行描述,建立其AADL体系结构模型。为了进一步对其进行安全性分析,提出了AADL模型向HiP-HOPS模型转化。利用HiP-HOPS可生成故障树和进行IF-FMEA组合失效分析,对IMA飞行规划系统故障传播进行安全性可靠性分析。实现了模型重用,减少了出错率,解决了IMA系统故障传播建模困难的问题。

摘要：对于安全关键系统,资源共享在不同功能之间引入了一些不可避免的互连,从而导致故障传播模式更加复杂,分析它们之间的关系变得更加困难。提出使用AADL(Architecture Analysis Design Language)建立系统模型并将其转换为GSPN(Generalized Stochastic Petri Net)模型。利用AADL错误附件不仅可以建立故障传播和组合故障的模型,而且可以将其转换为GSPN模型进行定量或者定性安全分析。以飞行控制软件系统为例,证明了利用AADL与GSPN建模并进行安全性分析是有效的。

摘要：提出一种基于灰色关联度的人机系统功能聚类方法,给出了人机系统功能的关联系数求解方法和人机系统功能的分层聚类方法,并通过应用案例分析,验证了该方法的有效性和可行性。

摘要：盒式可重构工装作为一种新型的飞机部件装配工装,在性能和成本等方面与常规刚性型架相比具有较大优势。应用有限元技术分析工装结构刚度,可避免骨架刚度不均、局部刚度不足等问题,使其结构更为合理。首先分析影响结构刚度的主要因素,然后利用有限元分析方法,对其结构尺寸、螺栓连接参数等进行定量分析,给出确定结构尺寸和螺栓连接预紧力取值范围的原则与方法,为工装设计人员提供参考。

摘要：装配图内容教学难度大,一直是工程制图教学的重难点。依托虚拟仿真实验环境开展装配图辅助教学资源建设与教学设计,以某型追踪瞄准装置案例为主线,构建装配关系认知、装配图样表达、尺寸标注,以及技术要求撰写等任务模块,采用过关升级的形式组织实践内容,以多维漫游、虚拟装配及交互式实践等方式,构建教学模块,映射课堂教学内容,充分发挥虚拟仿真教学环境形象直观、交互性好的优势,实现提升学习效果、拓展能力和提高工程素养的目标。

摘要：面向空间在轨服务和碎片清除的重大应用需求,围绕空间光场复杂、空间目标尺度变化及相对姿态与位置强耦合等难题,提出了一种基于截断最小二乘与半正定规划的空间非合作目标相对位姿估计方法。基于TOF相机,首先进行体素下采样,提取快速点特征直方图(FPFH)特征,考虑目标的局部几何结构尺寸,计算两组FPFH特征的相似度并预测特征之间的对应关系,采用截断最小二乘和半正定规划方法对姿态和位置进行解耦,实现了空间非合作目标的相对位姿估计。使用非合作目标的3D模型进行仿真验证,仿真结果表明:该方法在三种不同高斯噪声强度下具有较好的估计特性,为后续的工程应用及在轨任务实施提供了理论与技术支撑。