数据库自动设计工具DBADT

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

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

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

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

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

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

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

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

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

星载计算机的单粒子扰动及其加固技术研究

以实践四号卫星有效载荷“单粒子事件动态监测仪’为实践基础,介绍了星载计算机基于软件结合硬件容错抗单粒子扰动的加固技术;并对半年多来在轨运行中探测到的单粒子翻转和闩锁事件进行了初步分析总结。     

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

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

构建无线自组网仿真场景

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

惯性制导系统误差补偿评估模型研究

对惯性制导系统误差补偿是提高导弹射击精度的简单有效途径，研究补偿效果的前提是系统误差模型和噪声模型的确定。通过研究飞行工作环境变化导致的系统模型差异，结合惯性制导实时补偿方法，提出了基于工程背景的误差补偿和补偿评估模型的选取方法，仿真分析表明此方法有利于验后误差系数的分离和补偿精度的评估。