利用GPS修正电离层模型研究

电离层传输延迟误差是GPS测量中主要误差之一.阐述了采用双频技术建立改正精度较高的电离层模型的一般方法,包括双频伪距法、双频载波相位法和双频多普勒效应法,并以双频GPS多普勒观测量为例进行了试算和分析.结果表明采用精度较高的电离层模型先对观测量进行修正,再进行差分求解可以有效提高解精度和质量.     

数据库自动设计工具DBADT

数据库自动设计工具DBADTD（DataBaseAutomaticDesignTool）是一个以扩展E-R模型为概念设计模型，以关系模型为逻辑设计模型，最终生成RDBMS的DDL语句的通用型关系数据库自动设计工具。针对数据库设计过程中需反复设计和优化的特点，引入面向对象技术，增强了信息的重要性，从而提高了数据库设计效率，DBADT具有E-R模型编辑、E—R模型集成、关系转换、关系规范化、关系优化、关系命名、生成DDL语句和数据字典查询等功能。     

二维通道内湍流边界层分离的实验研究

用激光多普勒技术测量了二维扩压器中不可压湍流边界层分离流动，得到了时均速度和雷诺剪应力分布。实验结果分析表明：以Ｃｏｌｅｓ速度律发展的Ｂａｒｄｉｎａ速度分布可以描述瞬时间歇分离点以前和瞬时间歇再附点以后的时均速度分布，但无法描述分离区的边界层速度型。Ｃｒｏｓｓ速度分布可描述分离区的边界层速度分布。Ｃｅｂｅｃｉ＆Ｓｍｉｔｈ涡粘性代数模型难以正确地描述分离边界层的雷诺剪应力。     

转动旋翼模型动柔度的试验研究

介绍测定转动旋翼模型动柔度的试验方案、试验程序，综述以作者自行设计的旋翼模型进行试验所得到的结果及其与理论计算结果的比较。结果表明，试验方案与方法是可行的，理论计算公式是正确的。     

水上飞机自由飞模型起飞与降落性能的综合试验

本文综述了用4台发动机为动力的水上飞机自由飞模型起飞与降落性能的综合试验,这些性能包括稳定性、操纵性、飞溅、水阻力、着水撞击、起飞砰击、失速及耐波性等。模型与真实飞机保持几何、质量、运动状态、拉力、升降舵效率及其波浪谱的相似,故模型试验与真实飞机的试飞结果比较符合。同时着重介绍了模型试验的机载测试系统与地面测试系统。     

基于TDRSS的低轨卫星定轨方法研究

利用跟踪与数据中继卫星系统（TDRSS）组成天基测控系统对低轨卫星进行轨道确定，并讨论了低轨卫星在TDRSS系统覆盖区域的时间段，以改进的Gauss-Newton算法为基础，设计了非线性迭代的微分轨道改进算法，有效抑制了算法截断误差。仿真实验证明基于TDRSS的测控技术可显著提高测控覆盖率，减少地面测控站压力，有效确定低轨卫星轨道，定轨位置误差小于20m，速度误差小于0．01m／s，能满足一般低轨卫星的定轨精度要求。     

空袭目标威胁评估模型研究

以航路捷径、目标类型、机动特性、到达发射区近界的剩余时间，以及电子干扰为主要影响因素，结合多通道防空武器系统的特点，建立了基于层次分析法和模糊综合决策法的空袭目标威胁评估模型。用层次分析法确定各因素权重，以分段函数的形式给出权重系数。针对一给定的中程防空武器系统，用模糊统计计算各影响因素的隶属函数，并给出了模型的计算流程。仿真结果表明，所设计的模型能较准确地评估来袭目标的危险性，且具有较高的灵敏度。     

基于断言的形式验证方法应用研究

针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。     

一种用于导弹末制导的线性化控制方法

针对包含未知参数的导弹运动非线性模型,提出了一种用于末制导的线性化反馈简化控制方法。在模型中引入附加加速度输出,通过消除内反馈和零极点以输入-输出的近似线性控制导弹的非线性运动。给出了控制模型及其构成。仿真结果表明,该方法的反应速度快、稳定性好,控制精度满足要求,可用于导弹跟踪飞行控制。