先进战斗机生命保障系统

生命保障系统为适应新型战斗机发展需求,围绕"以人为保障对象"系统特征,采用基于系统工程的需求/功能分析方法,从飞机总体、生理、六性、飞管、任务等需求出发,提出系统需求,开展需求分析向工程实践转化研究,确定分解了系统、成品的设计及指标要求。通过系统架构优化、提高快速响应能力研究,建立大系统综合的系统架构。基于数据共享、控制融合的飞管平台以及氧气介质传感器技术,结合六性、FMECA和FTA,开展数字协同环境下生命保障系统综合设计,系统电子信息化程度取得突破,具备高度综合的全数字显示与控制、自主诊断和状态监测能力,获得高效维修保障能力,为实现玻璃化座舱、快速出动、快速布防、跨区域作战、自主保障提供有力支撑。     

一种新型通用经纬仪检定装置设计

新型通用经纬仪检定装置针对平行光管结构进行了重新优化设计,具有提供瞄准目标、光电自准直和图像采集及处理三大功能.基于图像采集与处理的关键技术,通过CMOS相机光学成像系统实现分划板图像采集,利用图像处理软件解算出特征图像的中心位置,得到被测经纬仪光轴与目标光管光轴的夹角或者自准直的失准值,最终达到用图像识别和软件处理取...     

增强氟塑料干法制备工艺研究

对生产增强氟塑料的原材料P202和FR104两种聚四氟乙烯树脂性能进行了对比,采用“干法”制备工艺并对工艺参数进行改进,生产出FS-20d和FS-35d增强氟塑料。生产制品测试结果表明：“干法”制备工艺配方稳定、生产工艺稳定,制品的耐磨性能、耐高温性能、致密性、均匀性和相分散性均优于“湿法”制备工艺制品。     

压电网络复合板的振动抑制实验研究

主要研究了压电网络系统针对薄板的振动抑制特性,在对压电网络复合板机电耦合动力学方程分析的基础上,通过设计模拟电感电路解决了压电网络复合板振动实验中最优电感值过大的问题,从理论和实验上分析比较了电阻型和电感电阻并联型压电网络复合板振动控制效果及其特点。实验证明采用均匀化处理方法建立的机电耦合动力学方程能够正确预测压电网络复合板的动力学特性,同时实验验证了压电网络的电路模态和压电复合板的机械模态的耦合关系,明确了最优电学参数选取原则,为压电网络复合板的最优参数设计提供了依据。      

飞行员助手项目综述

当前人工智能技术于航空领域的应用存在研究分散、总体设计思想落后的问题,导致无法将各种技术融合以形成一个完整的智能辅助系统来提升飞行员的决策能力。本文首先总结了飞行员的能力限制及座舱功能存在的问题,分析了座舱智能辅助系统的设计需求,在此基础上,重点综述了飞行员助手项目的总体结构及其设计,给出了各分系统的实现方式。最后,梳理了相关内容,指出项目中尚可完善之处,为今后的研究指明方向。     

利用可靠性模型确定电子测量设备检定周期的方法

周期检定是保障计量器具能够准确可靠地开展测量活动的重要手段。检定周期的长度影响计量器具测量活动的可靠性和计量工作的经济性。本文通过建立电子测量设备测量可靠性与使用时间关系的数学模型提出了利用可靠性模型确定电子测量设备检定周期的可靠性评估法。该方法可以有效地保证电子测量设备检定周期制定的科学性。     

浅谈建立经纬仪检定装置测量标准技术报告的编写

针对经纬仪的特殊性,提出了建立经纬仪检定装置测量标准技术报告的编写建议。     

RTCADO-178B标准与相关国军标的对照分析

RTCA的DO-178B标准是国际认可的开发准则,将DO-178B与我国的国标进行了对照分析,给出了异同。     

火箭橇运动计算算法优化与试验验证

对火箭橇试验系统进行了动力学分析,研究了火箭橇运动计算方法,在常规算法基础上对各参量计算方法进行改进,并引入了新的参量能量耗散阻力,进而得到优化算法。取四次不同速度的双轨橇车试验结果分别与常规算法和优化算法计算结果进行比较,得到:常规算法计算结果误差最小为7.67%,误差最大为37.91%,优化后算法计算结果误差最小为0.48%,误差最大为5.0%;取四次不同速度的单轨橇车试验结果分别与常规算法和优化算法计算结果进行比较,得到:常规算法计算结果误差最小为11.78%,误差最大为43.64%,而优化算法计算结果误差最小为0.11%,误差最大为5.31%。结果表明火箭橇运动计算优化算法相比常规算法能有效提高计算结果精度,计算结果对火箭橇试验设计具有一定工程指导意义。      

基于Event-B的SpaceOS2操作系统任务管理需求形式化建模与验证

随着中国航天技术的发展,航天器系统的软件规模越来越大、复杂度越来越高,对航天软件的正确性、可靠性、安全性等提出了更为严格的要求.形式化方法是提高软件可信性的一个重要途径.利用形式化方法 Event-B对嵌入式操作系统SpaceOS2的任务管理模块的进行需求建模,依靠不变式来保证模型的正确性,并且在Rodin平台上对模型进行了形式化验证,结果表明模型是正确的.