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

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

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

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

故障检测与分离的广义一致性算子法

本文提出了故障检测与分离的广义一致性算子法的一般形式。得出了两个故障可分离的充要条件和多个故障可分离的充要条件。最后给出了检测和分离故障的过程。     

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

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

基于Poisson模型的湍流退化图像多帧迭代复原算法

随着航天空间技术的发展，空中目标的成像探测研究越来越重要。受大气湍流的干扰，观测到的目标图像是严重模糊的。为了从观察到的多帧含噪的湍流退化图像中将目标原图像有效地恢复出来，本文提出了一种新颖的基于图像统计模型的图像复原算法。跟据图像Poisson概率模型建立了有关多帧图像数据的对数似然函数，通过极大化该对数似然函数，推导出了目标图像及各帧图像点扩展函数的迭代求解关系。同时。将点扩展函数的支持域等先验条件有效地加入到迭代计算过程中，以便快速地利用迭代技术将目标图像和各帧点扩展函数估计出来。该算法能用少数帧图像极大程度地恢复出目标图像。为了验证本文算法的恢复效果和可靠性，对在强噪声污染条件下的湍流退化图像进行了恢复实验，实验结果表明本文算法对空中目标湍流退化图像的复原是非常有效的。     

开放式飞行任务规划方法

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

钛合金高温钎焊接头的组织性能及影响因素评价

综述了钛及钛合金高温钎焊结构在现代工业中的应用。在分析了钛基钎料应用和发展的基础上，重点分析了钎焊接头的组织与接头性能的关系以及影响因素。指明接头组织中脆性金属间化合物相的存在形态是决定接头性能的主要因素，接头间隙和钎焊时间决定了接头的组织形态，从而影响接头的性能。钛及钛合金高温钎焊接头的拉伸性能、高温性能和疲劳性能是优越的，而接头氧化后的性能急剧下降。并展望了钛基材料连接的发展方向。