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

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

数据库自动设计工具DBADT

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

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

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

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

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

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

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

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

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

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

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

构建无线自组网仿真场景

计算机仿真是测试评估网络协议性能的基本技术，而无线自组网技术是一项新兴的热门无线网络技术。目前为止还没有文章对无线自组网计算机仿真技术进行综合介绍。因此，本文以构建易用合理的无线自组网仿真场景为目标，从仿真软件、仿真场景和移动模型这三个方面综合说明了构建无线自组网仿真场景的相关技术。本文对三种通用网络仿真软件NS-2，Glomosim和OPNET进行了分析比较，介绍了无线自组网研究中几种典型的仿真场景，最后介绍了常用的几个节点移动模型，分析了移动模型存在的问题及解决方法。本文对构建无线自组网仿真环境具有指导借鉴意义。