一个说明语言的设计和其子集编译器的开发

基于软件文档可执行的想法，设计了一个适用于指称语义描述的可执行规范说明语言——ＪＺＣ，并对其核心子集编译器进行了设计与开发。该语言设计采用了模式匹配、类型并置和构造函数等概念，使得抽象文法易于在程度中体现。模块概念的引入使得函数型语言书写的程序更加易懂和易于编写。作为对严格开发方法的一个尝试，ＪＺＣ核心子集编译器的开发采用了该种方法，其中一个“结果正确性定理”的证明是开发过程的重点工作。本文通过一个示例语言简介ＪＺＣ的语言特点，给出了编译器开发过程的一个描述框架和证明梗概     

正态分布可靠寿命经典近似限的改进

本文给出了正态分布可靠寿命的又一个经典近似下限，经验证，本文所给出的结果的精度比已有的结果精度要高，可提供给可靠性工程人员使用。     

从汉译英的赘冗和疏漏问题看汉英语法特征之差异——汉语语法的柔性之于英语语法的刚性

本文从汉译英的翻译实践出发，从英语译文的错误以及汉英译文对比中，去发现并分析汉语和英语语法特征的差异。论述了英语语法的刚性、显性和汉语语法的柔性、隐性，并从语言对思维的影响的角度，探讨了汉语语言文化的深邃独特和英语语言的缜密精确。     

星载合成孔径雷达回波多普勒频率的计算

从星载合成孔径雷达（ＳＡＲ）与目标的相对运动关系出发，以ＳＡＲ发射信号的波长、卫星的轨道参数和目标的位置（地心经纬度）为已知条件，导出了计算目标回小以的多普勒频率的解析公式，这对于星载ＳＡＲ系统的性能 初步设计具有重要作用。     

距离拖引干扰对几种脉冲雷达的干扰效果分析

借助于雷达信号的模糊函数，分析了距离拖引干扰对非脉压雷达、线性调频脉压雷达和二相编码脉压雷达的干扰效果，且进行了比较，得到了一些有用的结果。     

锥体目标空间进动特性分析及其参数提取

空间进动是弹道导弹中段飞行过程中锥体目标特有的运动特性，本文首先建立了锥体目标空间进动数学模型，给出了姿态角与空间进动参数的关系式，并利用进动参数获取了反映目标质量分布特性的惯量比。然后通过对目标RCS回波数据进行多项式拟合，估计进动参数，以此为雷达目标识别提供新的技术思路。仿真实验结果表明本文提出的算法能够有效估计出目标的进动角。     

低成本INS/GPS组合导航系统算法研究及其实现

采用基于 MEMS技术的低成本 IMU和 GPS接收机 ,以 DSP为信息处理核心 ,实现了 GPS/SINS组合导航系统。文中详细描述组合算法和算法的软件实现 ,并对模样机在实验室的静态实验结果进行描述和分析。实验结果表明 ,系统组合滤波器的设计和参数选择正确 ,模样机取得了较好的导航解算精度     

Ada语言在星载软件上的应用

介绍了星载软件的特点和构成，从提高星载软件可靠性的角度引入了高级程序设计语言－Ada语言与汇编语言的接口调用技术，以及使用Ada 语言开发星载软件和应用技术。     

UML在电子战图形显示系统设计中的应用

UML建模语言使用面向对象的概念来分析描述软件系统并构造系统模型 ,是一种在大型复杂系统建模领域中得到认可的“优秀的软件工程方法”。介绍了利用UML的静态建模和动态建模机制开发综合电子战仿真系统图形分系统的方法和过程 ,并给出了部分分析实例。     

再入航天器的神经网络自适应控制

对于再入航天器来说 ,可恢复故障通常会导致总体控制权限的降低。本文将伪控制限制方法和神经网络自适应控制运用到再入航天器的制导与控制中。利用两个控制回路来实现控制目标。其中 ,外回路适用于力的扰动 ,而内回路适用于力矩的扰动。限制外回路以阻止对内回路动态特性的调整。在达到控制极限时 ,伪控制限制也可进行自适应调整。另外 ,本文还通过加入加速度计反馈元件以提高系统的性能