战术导弹折叠翼快速展开性能的测试技术

介绍某些战术导弹折叠翼快速展开特性测试技术。详细地介绍了测量方法、项目、数据处理和主要结果。试验是在北京空气动力研究所一座低速风洞中进行的。试验结果表明，获得的数据具有很高精度和可靠性，重复性也是令人满意的。     

仿形铣刻字在飞机电缆接头上的应用

仿形铣刻字在飞机电缆接头上的应用ＡｐｐｌｉｃａｔｉｏｎｏｆＣａｒｖｉｎｇｏｎｔｈｅＣｏｐｙＭｉｌｌｉｎｇＭａｃｈｉｎｅｉｎｔｈｅＡｅｒｏｐｌａｎｅＣａｂｌｅＣｏｎｎｅｃｔｏｒ成都飞机工业公司周国华成都飞机工业公司研制生产的航空电缆接头，一直是通过对胶...     

陆地卫星地面站天线系统G/T值计算

本文分析了北京陆地卫星地面站(北京站)天线的效率、增益、俯仰角为5°时的天线噪声温度、馈线损失引起的系统噪声温度增加、场放和场放后面各级对系统噪声温度的影响,最后计算了系统各个参考点上天线的G/T值,计算结果表明:天线系统的G/T值只与天线俯仰角的高低有关,与系统参考点的选择无关。     

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

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

开放式飞行任务规划方法

本文给出了一种基于分布式黑板结构的开放式飞行任务规划方法，简要叙述了飞行器飞行任务规划的概念和其独特要求，并对飞行任务规划的数据预处理、知识表达、规划方法作了深入的探讨。最后介绍了分布式黑板的结构和运行方式。     

用光流图象计算刚体运动参数的改进线性算法

本文提出了从光流图象计算刚体的旋转角速度和平移速度方向矢量的改进的线性算法.此算法考虑了未知参数之间的约束条件。模拟计算结果表明,改进的线性算法较文献的线性算法所得结果的误差小。