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

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

金属多层膜超晶格结构研究

用高分辨的三晶体x—射线衍射仪测量了Zr、Cu金属交替的多层膜的x—射线小角反射谱。用扩展了的Born—wolf光学模型对Zr、Cu多层膜的x—射线小角反射数据进行了定量分析。结果表明，该金属多层膜在其生长方向具有超晶格结构。在两层金属膜之间的界面上，由于内扩散，形成了界面交混层，它使x—射线小角反射所产生的高阶Bragg峰的强度减弱。由于两种金属膜的晶格不匹配，使高阶Bragg峰加宽。界面的粗糙度可用来模拟x—射线小角反射曲线的阻尼振荡效应。     

220GHz频率步进雷达测距的实验研究

频率步进雷达是一种典型的高分辨雷达,它可以通过瞬时窄带合成宽带实现距离向的高分辨的同时降低A／D和其他设备的负担。文章介绍了220GHz频率步进雷达的工作原理和测距的方法,并对不同距离处的角反射器进行探测。实验结果表明,太赫兹雷达对角反射器距离向的探测距离精度可以达到厘米量级;同时,还对太赫兹雷达的探测距离进行了验证,最远探测距离可达35m。     

ATC3在管制员模拟培训中的应用分析

民航的快速发展对管制员的数量和质量都提出了很高的要求,但管制模拟机设备的不足限制了民航院校的管制员培训与培养.通过详细研究管制模拟软件ATC3,并与目前使用的管制模拟机进行对比分析,探讨其创新性及优缺点,进而研究在管制员模拟机培训中的可应用性.同时也针对该软件的缺点提出了一些优化建议,以使该软件很好地应用在管制员模拟培训中,提高管制培训的质量,加快管制员培训的步伐,满足中国民航发展的迫切需求.     

航天器软件风险集成管理方法

为确保航天器软件产品功能、性能符合任务需求,安全、可靠地完成飞行任务,需要对其进行风险管理。文章首先介绍了软件风险管理理论研究现状;然后结合航天器软件强实时性、高可靠性和安全性、维护困难等问题,提出了基于系统集成思想的软件风险控制方法;最后以某航天器为例介绍了该套方法的应用成果。研究结果可为识别航天器软件风险,提高软件产品质量提供参考。     

轴编C/C复合材料组分材料有效性能

利用光学显微镜观测和测量轴编C/C复合材料细观编织结构及其尺寸,建立轴编C/C复合材料有限元模型,通过给出组分材料有效性能的变化区间,构造组分材料性能与轴编C/C复合材料宏观有效性能的对应关系,利用径向基函数(RBF)人工神经网络(ANN)方法,对该高度非线性的对应关系进行训练,通过轴编C/C复合材料宏观实验结果,预报其组分材料的有效性能。结果表明,轴编C/C复合材料面内弹性性能基本相同,在测量时可忽略面内纤维束铺设方向的影响;人工神经网络对训练样本有一定的依赖性,但通过多次随机构造样本训练网络,可得到理想的预测结果,且人工神经网络方法具有很好的容错性,能很好地预报轴编C/C复合材料组分材料的有效性能。     

边条机翼布局战斗机稳定性改进研究

对边条机翼布局战斗机的纵，横向稳定性改进措施进行了研究，结合具体战斗机布局，给出了边条机翼布局战斗机纵，横向稳定性的一般特征，对前缘襟翼下偏，翼刀，平尾下反和机身截面修形等几种气动布局改进措施的风洞试验结果进行了简要讨论，结果表明，所研究的气动布局改进措施都能有效提高边条机翼布局战斗机的稳定性，其中，前缘襟翼下偏既能完全克服俯仰力矩曲线非线性上翘问题，又能较好地解决横侧向稳定性丧失问题。     

重型燃气轮机燃烧过程的反应动力学数值模拟

为了阐明重型燃气轮机燃烧过程的反应动力学特性,采用Gri_3.0,NUI_Galway与USC_2.0动力学模型对甲烷燃料在定容燃烧反应器中的燃烧特性进行了数值计算,并与实验结果进行了对比分析,确定了甲烷燃料的反应动力学模型;耦合该反应动力学模型与CFD计算软件,对燃用甲烷燃料的重型燃气轮机燃烧室单个火焰筒的燃烧过程进行了反应动力学分析,并与相应实验结果进行了对比分析。结果表明:与NUI_Galway及USC_2.0动力学模型相比,采用Gri_3.0动力学模型计算得到的甲烷燃料多工况下的燃烧特性与实验值吻合较好;在该重型燃气轮机燃烧室单个火焰筒中,在火焰筒头部与主燃区同时存在两个明显的呈对称状态的回流区;在该火焰筒中的高温区域,O,OH与H等活性组分以及CO2的摩尔分数达到最大,而在低温区域CO的摩尔分数达到最大;同时,与实验值相比,采用Gri_3.0动力学模型计算得到的单个火焰筒的出口平均温度略高约4K,热点温度高约197K。     

三应答器SINS/USBL紧耦合导航算法

SINS/USBL组合导航误差因素主要包括USBL测距精度误差、USBL测角误差、USBL到SINS的安装误差以及应答器的位置误差,且现有USBL设备的普遍特点为:测距精度高而测角精度相对较差。针对上述误差因素和特点,提出一种三应答器SINS/USBL紧耦合导航算法,避免了USBL测角误差以及USBL到SINS的安装角误差等对导航精度的影响,仿真结果表明能够较大程度上提高组合导航定位精度。此外,该算法无需对安装角进行标定,使用更加便捷。     

高垂直度和低沉积的MEMS陀螺梳齿结构释放工艺

梳齿型微机电系统（MEMS）陀螺的释放要求结构具有垂直度高、释放过程沉积聚合物少的特点,通过优化深硅刻蚀的工艺参数,包括钝化气体八氟环丁烷（C4F8）的流量、衬底温度、刻蚀气体六氟化硫（SF6）的流量和钝化气体C4F8的压力,实现了结构垂直度为90.0°、支撑层表面沉积物厚度为87.1nm的梳齿结构释放工艺。深硅刻蚀工艺的优化为高性能MEMS陀螺的加工提供了基础。