Ada软件的动态测试技术研究

为改善软件质量，对Ａｄａ软件的动态测试技术进行了研究，并且就以下内容着重进行了讨论；Ａｄａ软件的分析与理解；Ａｄａ软件的动态测试原则与方法；Ａｄａ软件的动态测试工具ＡＳＤＴ。     

基于对象关系模型的C＋＋程序静态分析器

面向对象程序设计技术给软件的测试和维护来了新困难。针对这些困难，提出了用于描述程序中对象类之间三种依赖的对象关系图模型，并研究了这一模型在软件测试和维护中的两个具体应用及其相应算法，为了从特定的面向对象程度设计语言Ｃ＋＋编写的程序中提取ＯＲＤ较信息，构造了一个逆向工程工具－Ｃ＋＋程序静态分析器，并对其实现上的一些关键技术进行了介绍。     

瞬态气动模拟加热控制中的快速高精度"E-T"转换

为了准确模拟飞行器在高速飞行时的瞬态气动加热状态,必须使用快速、高精度的计算机瞬态热能控制系统,对气动模拟试验的加热过程,实行快速、高精度的非线性动态控制.为此,传感器的快速、高精度"E-T"转换是一个必须解决的非常重要的问题.提出一种高速飞行器瞬态气动加热控制系统中传感器的快速、高精度"E-T"转换方法.该方法具有计算简单、转换速度快、校正精度高的优点,使用该方法实现了高速飞行器气动加热过程中温度场高速变化状态下的瞬态非线性动态控制.     

人工释能法求解线性代数方程组

本文建立求解线性代数方程组的人工释能法迭代格式,并给出该迭代格式收敛的充分必要条件和最佳释能时机,同时给出实现人工释能法的数值计算方法及其数值稳定性条件。     

CNC数控系统控制软件

本文分析了数控机床控制系统,由硬件NC(Numerical Contro1)向CNC(ComputerNumerical Control)转变时进给速度下降的问题,阐述了解决此问题的一种方法——二次插补方法。指出CNC数控系统是个多重中断系统,论述了将数控的工作按其重要的程度、实时性的高低,安排在不同的优先级,使整个系统协调工作的思想。     

基于连续覆盖特性分析的星座设计

研究了需要对地面目标进行连续覆盖的星座的设计问题．首先推导了对覆盖性能有重要影响的星间覆盖间隔时间和轨道面覆盖间隔时间的计算公式，通过算例针对不同配置的星座进行了计算，使用工程仿真软件STK验证了分析结果．通过理论分析、算例计算以及工程仿真为该类型星座设计提供了理论指导。     

遥控机器人在空间抓物实验的仿真研究

本文是对空间机器人由地面站遥控操纵在空间抓物实验方案的仿真研究,它是在图形计算机工作站上用C语言编程实现的。视景化仿真描绘了自由飞行物与机器人之间的相对运动,考虑了空间站与地面站信息传输延迟的影响,用扩展的卡尔曼滤波实现了机器人对自由飞行物的自动跟踪,人在地面站观测预报的机器人和目标物的立体图象,可以经操纵球控制机械手运动。仿真结果表明,该方案对进一步研究有很好的参考价值。     

双向比对高精度物理时间同步方法

提出一种面向未来卫星在轨应用的闭环物理高精度时间同步方法。比较了所提方法与其他时间同步方法的区别与优势，建立了远程系统时间同步基本模型与误差传递模型，基于双向测距和时间传递技术分析了高精度钟差获取原理，给出了时钟调整环路的时域频域参数依赖关系。完成了高精度时间同步地面试验系统构建，测试了开环非调钟状态下钟差测量精度误差、闭环调钟状态下时间同步准确度误差以及长时运行情况下的时间同步监测结果。测试结果表明，该方法能够实现优于1 ns量级的时间同步，为高精度时间同步技术研究提供了新的途径。     

中国民航旅客量季节性问题研究

中国民航旅客量的季节性波动是经济学研究的重要命题。选取中国民航旅客量时间序列数据作为分析对象，采用年度季节强度指数（R）与月季指数（Zt），揭示中国民航旅客量的年度季节集中性与月度季节变化规律。 R值整体上呈现逐年递增的趋势，指标随季节变化明显，且按一定规律分布。 Zt 值指示4月、7月、8月、9月、10月为旺季，其余月份为淡季。民航旅客量淡旺季与游客出游行为、节假日长短、气候等因素有直接联系。研究结论为解决中国民航旅客量的淡旺季问题提供基础数据，也为调整航空公司在淡旺季时的人员、航班及其他工作安排，为缓解航空客流量供需不平衡的矛盾提供决策参考。     

存在外部干扰的网络控制系统故障检测和优化

针对存在时延和丢包的网络控制系统,研究了系统的故障检测滤波器设计和优化设计问题.通过泰勒展开将未知时延处理成外界干扰,采用伯努利随机过程来描述丢包现象.设计观测器产生残差信号,将故障检测问题转化为H∞滤波问题.通过Lyapunov函数方法分析了系统的稳定性.以线性矩阵不等式的形式给出了滤波器存在的充分条件和求解方法.为进一步提高系统对故障信号的灵敏度,采用了一种优化设计方法对故障检测系统进行了优化.最后通过仿真验证了算法的有效性.