捷联惯导系统中确保全姿态测量的软故障检测和隔离

本文探讨了最多有两个捷联陀螺发生软故障时的故障检测和隔离方法，给出了由奇偶向量确定的软故障χ＾２检验法，详细推导了两个陀螺都发生软故障时的极大似然故障隔离判决函数的计算公式，归纳出了对故障陀螺的隔离搜索算法。仿真结果表明，即使故障量与漂移一样微小，该法仍能准确检测并隔离出故障陀螺。     

新型锆钛合金的动态拉伸力学性能与微观断裂机制试验研究

采用直接撞击式Hopkinson拉杆装置对新型锆钛合金材料在动态冲击载荷作用下的力学性能进行了试验研究,得到了典型动态拉伸真应力-真应变曲线。试验结果表明,在室温、应变率为800~4000s-1的情况下,材料的动态强度（包含屈服强度σ_0.2、抗拉强度σ_b）、失稳应变、伸长率以及应变能密度均随应变率的增大而增大。采用扫描电子显微镜（SEM）对试件断口进行分析,研究了合金材料在不同应变率状态下的失效断裂特征。结果发现,随应变率的增大,材料的断裂方式由准解理断裂变为韧性断裂。     

合成孔径雷达弹射式干扰增强方法

分析了弹射式干扰的信号特点和它对SAR图像的干扰效果,根据其特殊性,给出了一种弹射式干扰增强方法,分析了弹射式干扰增强的关键问题.以机载SAR为例进行了仿真实验,结果表明,通过干扰增强可改善对SAR的干扰效果,降低干扰功率需求.     

ATE综合校准系统的软件设计及实现

通用自动测试设备（ATE）的测量准确性、可靠性会直接影响飞机综合保障的质量,因此,对此检测设备进行全面有效的测试校准,是确保测试系统完成任务的关键。为了保障测试数据准确可靠和量值传递统一及实现现场的系统性校准工作,本课题以通用自动测试设备为对象,建立了一套基于虚拟仪器技术基础上的综合校准系统。本文对系统的软件结构设计进行了分析和设计,以LCOD原型生命周期为基础,使用了面对组件的设计模式,设计和实现了软件功能,使得该系统具有一定的兼容性和可移植性,并且为扩展留下了接口,同时保证了校准数据的可靠性和精确性。     

一类中心型三阶格式及应用

通过分析格式的耗散关系和重线性化技术,发展相应格式构造技术,提出了一类中心型的三阶非线性格式,格式具有与NND格式相当的网格模板.由于格式的线性形式具有很好的耗散特性,同时重线性化技术的使用使格式在光滑区尽量采用线性形式,从而理论上提升了计算对旋涡等结构的分辨和保持能力;另一方面,格式的非线性机制使格式在非光滑区退化为类NND格式,实现耗散和稳定机制.验证计算表明,格式能够开展粘性和旋涡及脉动流场的计算应用,算法形式简单,便于工程应用,容易进行有限体积推广.     

混合型三阶格式及关于两种DES算法的比较计算研究

为开展RANS/LES混合模拟,在传统三阶迎风偏置格式的基础上,提出一类混合型的三阶计算格式,格式在中高波数范围具有可调的耗散水平.在此基础上,文中通过计算比较研究两种RANS/LES混合算法:一种是基于Spalart-Allmaras一方程模型的DES模型(DES-SA),另一种是基于混合长度模型的DES模型(DES-ML),使用 发展的三阶格式对圆柱绕流进行模拟,并将得到的结果与文献比较,对计算格式、DES-ML算法进行了初步探讨.     

卫星自主完好性监视算法研究

民用航空对导航系统的完好性具有严格的要求。随着卫星导航系统在飞机上的广泛应用,GPS接收机自主完好性监视越来越受重视。针对GPS接收机自主完好性监视算法进行了研究。在对RAIM判定原则及流程、基于最小二乘的故障检测算法和完好性要求下的可用性判断研究的基础上,通过仿真对所研究的算法进行相关的分析,结果表明,作为目前一种仅依靠接收机自身获取定位观测量进行监控的方法, RAIM算法在一定程度上增强了定位结果的可信性,满足了自主完好性监视的要求。     

面向Web的知识描述语言

提出了Web知识描述层次模型,采用本体论技术从类、槽和槽约束3方面对领域知识建模,结合描述逻辑、框架系统建立了基于XML(eXtensible Markup Language)和本体论技术的知识描述语言(KDL).然后,介绍了KDL的扩展语法,并从一阶逻辑的角度对KDL的语义特征进行分析,提供KDL到FOL(First-Order Logic)的映射方法以完成KDL语言和FOL表达式之间的转化.实践证明KDL具有规范的语法和精确的语义,具有较强的逻辑推理能力.      

复杂地质结构的四维地质层面自动生成算法

地质建模在石油勘探开发、矿产资源开采领域有广泛的应用,在分析当前地质层面生成算法的基础上,提出了基于变形算法的四维地质建模方法.首先通过构建断层空间关系二叉树和空间变形场,将地质层面的离散点恢复变形到原始形貌状态,再将原始形貌地质层面网格断裂变形到时间t,生成四维地质层面,最后给出算法的实例验证算法的有效性.该算法不需交互编辑,自动生成四维地质层面,已应用于油田正演、地下水地质建模等领域.      

高阶辐射换热有限元算法研究

随着航空航天技术的发展,飞行器热结构所需承受的温度越来越高,辐射换热变得非常重要;当前大部分商业软件对于辐射问题的有限元计算方法还是基于一致表面温度和辐射热流假设,使得计算精度和网格密度的矛盾越来越严重.进行了选用高阶单元、采用高斯积分精确计算单元表面变辐射热流方法的研究,从而摆脱了一致表面温度和辐射热流的假设,使得在相同网格密度的情况下计算精度大大提高;同时,从包含辐射换热问题的有限元计算方程出发,采用与有限元数值计算时相同的积分方案,只在独立的积分点处计算辐射热流,克服了积分方法计算效率低的缺点.经与ANSYS的计算结果对比,应用辐射热流积分方法于高阶单元能大大提高计算精度;并且在相同计算精度条件下,此方法的计算效率更高,具有一定的实用价值.