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

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

科技期刊编辑工作及编辑人员的基本素质

论述了科技期刊的价值及科技期刊编辑工作的重要性，通过分析科技期刊编辑工作的内容和流程，指出了科技期刊编辑人员应具备的素质和能力，以及提高科技期刊编辑能力的途径。     

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

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

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

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

天地一体化遥感信息应用网络体系的发展

随着世界各国发射入轨的航天器的增多 ,由多种遥感卫星系统组成的 ,包括地面应用系统在内的天地一体卫星应用网络体系即将形成。文章介绍了国外天地一体化网络系统建设方面的现状与趋势 ,分析了天地一体化遥感信息应用网络体系的特点 ,并指出了中国建设天地一体化遥感应用网络体系的必要性     

开放式飞行任务规划方法

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

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

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