机载托架自动校准系统的设计与实现

为了解决机载托架传统校准方法精度低、耗时、费力等问题,设计了一种高精度、高效率并且操作简单的成品托架自动校准系统。该系统运用调平精度较高的"循环多次"最高点不动调平方法,建立高精度机载托架校准的静力学数学模型,运用VC与Matlab的COM接口编程技术开发机载托架自动校准系统,并建立良好的人机交互界面。试验结果表明,利用该方法对机载托架进行校准,无论是校准精度还是校准效率都较传统方法有很大提高。     

一种基于多点测距信息的复合制导方法

分析探讨了一种用于提高弹道式导弹对目标命中精度的复合制导方案，提出了通过进行多点测距，利用状态转移矩阵方法，来估计导弹落点偏差和末修级起控点飞行状态参数，然后再按照需要的速度进行末修级导引控制的复合制导方案，并通过仿真计算分析论证了该方法的可行性。     

飞机燃油油量测量及姿态误差修正方法

提出了一种基于 CAD技术的航空燃油油量实时测量方法。采用三维实体造型技术 ,建立了某飞机机翼油箱模型 ,利用油量传感器的输出值及飞机姿态信息 ,对燃油油量进行实时测量及姿态误差修正。     

万工显滑板移动直线度的检修

通过对影响万能工具显微镜滑板移动直线度的分析 ,提出有针对性的修理方法 ,并分别论述了产生线值偏差和角度偏差的主要原因。     

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

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

用于燃速测试的燃烧室制冷方法简述

为满足推进剂药条低温下燃速测试要求，建立了燃烧室的传热模型，通过对比燃烧室各种制冷方法及其特点，证明液态CO2压力调节制冷是最佳制冷方法。     

新的面向对象编程语言Ada95

介绍了Ａｄａ９５的主要面向对象特征，分析了Ａｄａ９５对面向对象模型和面向对象逻辑设计的支持。     

HP8902A自动检定系统的研制

介绍了以HP8902A测量接收机为主构成信号源、调制测量仪等仪器的自动检定系统，详细讲述了该系统的构成和软件的实现。     

相检宽带测频仪器的扩展使用

基于“相位重合点”检测方法的相检宽带测频等新技术已经越来越多地应用于各种晶体振荡器的调试、高准确度测频和频标比对中，一般情况下，以这些技术设计的仪器会获得比同类型普通仪器高一千多倍的测量准确度，而在使用得当时还会获得更高的准确度并且会有更广泛的用途，在对这类仪器的原理作更深入分析的基础上，探讨了对它们的各种扩展使用方法，对于有关新技术的推广应用具有很大的实用价值。