一种基于事件序列的故障树最小割集算法

在系统分析故障树最小割集各种求解算法的基础上，提出了一种故障树事件序列的数据结构，并针对该数据结构，设计了一种高效的故障树最小割集求解算法，并对其替换子算法、复制子算法和消减子算法进行了形式化描述。算法可有效降低最小割集生成中的“组合爆炸”问题，实验结果表明算法具有较好的计算性能。     

扩大设施规模 优化空域环境 改善综合保障能力—民航空管“九五”设施建设回顾及“十五”展望

中国民航空中交通管制系统（以下简称空管系统）设施建设是我国发展民用航空运输业的基础之一，在我国民航事业迅速发展的今天占据着重要地位，在保障飞行安全、加速空中交通流量、保证航空器正常有序地飞行中有着举足轻重的作用。国家对空管建设十分重视，“九五”期间投入大量资金对空管设施进行大规模的改造和建设，使空管综合保障能力又上了一个新台阶。 “九五”期间建设回顾 “九五”时期是我国民航空管建设和发展的重要时期。空管系统全体干部职工在国家空管委的指导和民航总局的具体部署下，勇于开拓，知难而进，在“八五”空管建设…     

TDICCD相机像质综合评价研究

基于对影响航天相机成像质量诸多因素的综合考虑，文章试图从一个新的角度提出用MTF与SNR的乘积大于或等于9来综合评价航天相机成像性能的方法，为研制轻型航天相机提供参考。     

粗差拟准检定法在星载GPS低轨卫星定轨中的应用

利用自适应卡尔曼滤波进行星载GPS低轨卫星定轨时,必须解决量测方程中经常存在的粗差问题．在分析以往方法的优缺点后,用拟准检定法来探测和修正量测方程中存在的粗差．该法的优点是辨识粗差准确率高,能同时定位多个粗差．另外,为了克服星载GPS低轨卫星定轨的滤波器可能出现的数值不稳定性及发散现象,还采用了UD分解算法及Sage自适应滤波器．最后用一个CHAMP卫星的模拟算例验证本方法的可行性和有效性．     

基于PC/104总线和ADS7805的多路小信号实时监测系统

开发了基于PC/104总线和ADS7805的实时监测系统。该系统主要由信号转换模块、A/D转换模块、CPLD逻辑控制模块EPM7128和PC/104总线组成。它能够在板卡上实现信号的采集监测,并能通过PC/104总线与上位机通信,实现数据的存储、后端处理及显示。参考了实时数据采集处理系统的设计思想,重点阐述了系统原理及硬件、软件的设计。     

用HAJIF（X）软件进行线性屈曲分析

介绍了用HAJIF（X）软件进行线性屈曲分析的方法，包括屈曲分析的理论，屈曲分析特征值方程的推导，特征值问题的解法，屈曲分析的步骤，屈曲分析有限元数据的准备，随后，给出了几个例题，包含输入数据和计算结果，并同理论解作了比较，最后讨论了实际工程结构进行屈曲分析要注意的一些问题。     

基于响应面法的风洞天平优化设计研究

介绍了风洞应变天平的工作原理、设计流程和设计要求，研究了风洞应变天平优化设计的数学模型，研究了响应面及其构造方法，提出了基于响应面法的风洞应变天平优化设计方法，利用模板法和积木拼接法对风洞应变天平进行参数化建模，给出了天平优化设计实例。     

螺旋弹簧局部振动频率分析与控制

本文首先讨论了单螺旋弹簧局部振动的固有频率的计算方法，在此基础上进一步建立了串联、并联弹簧局部振动的分析模型，并探讨了弹簧局部振动频率的控制方法。     

单点定位与实时定轨的星载算法的比较研究

卫星单点定位方法和卫星定轨方法均采用GPS接收机测量得到的伪距和伪距率作为原始观测量。前者依据几何学原理，采用最小二乘法对单个历元的原始观测量进行处理，解算出卫星的位置和速度；而后者依据轨道动力学理论，采用卡尔曼滤波方法通过连续的原始观测量对滤波器状态量的修正使定轨结果收敛。通过比较，星载定轨方法能够明显改善定位测速的精度和数据的稳定性，其外推功能可以有效避免观测量短时间中断对定轨结果连续性的影响。我们已经将实时定轨算法应用到星载型号任务的工程中，并取得了较好的结果。