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

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

应用小波分析方法处理非平稳信号的研究

本文综述小波分析这一前沿领域的发展现状，介绍了小波变换及其Mallat快速小波算法，对比分析了小波变换与短时傅里叶变换之间的差异，指出这种基于多分辨方法的小波变换特别适合于非平衡信号的分析与处理，并且应用该方法对实测信号进行了有效的时频分析。     

液体火箭发动机喷嘴动力学研究进展

对液体火箭发动机喷嘴动力学研究的有关文献进行了综述,从喷嘴动力学理论分析和实验研究两方面入手,对直流式、离心式喷嘴、敞口型离心式喷嘴和气液同轴喷嘴动力学的国内外研究进展进行了全面总结。从目前的研究结果来看,喷嘴动力学在解决燃烧不稳定方面具有重要意义,在未来液体火箭发动机研制中将起到更大作用。     

机翼连接耳片微动疲劳裂纹萌生机制

 对歼击机机翼全尺寸模拟疲劳试验的耳片断口进行了观察和分析,从断裂处存在磨痕和磨屑的形貌及耳片受力变形状态,证明耳片属于微动疲劳断裂。本文提出铝合金耳片和钢衬套接触时,微动疲劳裂纹萌生过程的模型。     

F-12 纤维/RE14复合材料压力容器成型工艺研究

研究讨论了缠绕过程中几种主要工艺参数对F— 12纤维 /RE14配方Φ15 0mm压力容器复合材料性能的影响。结果表明 :采用“交替”铺层方式缠绕成型 ,含胶量控制在 30 %～ 4 0 % (质量分数 ) ,缠绕张力控制在 15 0N～ 2 0 0N ,采用GPC谱图控制固化时机 ,得到的复合材料综合性能较好 ;用优化出的工艺参数进行了Φ4 80mm压力容器试验 ,结果表明其容器特性系数PV/W值为 37.0 2km ,纤维强度转化率高达73.2 6 %。     

细水雾灭火技术在载人航天器上应用前景

为进一步探索未来大型载人航天器安全、可靠的灭火方法,对现有国内外载人航天器的灭火剂和灭火方法进行综述,并从微重力条件下火灾燃烧特点、细水雾灭火机理和国外微重力条件下细水雾灭火研究状况三方面进行初步分析和总结。分析结果表明,细水雾是一种安全、高效、环保的灭火技术,在载人航天器上具有较好的应用前景。     

基于小波变换的非平稳信号趋势项剔除方法

分析了空间飞行器遥测信号处理传统趋势项剔除方法的优势和不足,提出了基于小波变换的非平稳信号趋势项剔除方法。这种方法通过滤波器组将信号分解与重构,实现趋向性信号与零均值平稳随机信号的分离。仿真实验表明,该方法简单、高效,适用于非平稳随机信号的处理,是一种实用的趋势项剔除方法。     

基于地面试验的涡扇发动机装机推力损失分析

为评定涡扇发动机装机推力损失,基于推力直接确定方法开展了发动机推力测量地面试验。通过改进完善安装节推力数据处理方法、进气道冲压阻力计算方法来提高总推力测量精度,分析表明:台架试验推力测量最大误差为2.41%,11架次飞行后停机状态发动机总推力测量误差小于0.8 kN,基本满足推力测量评定的需求。以相同状态台架试验数据为基准,对比发现:随着发动机功率状态增大,总推力损失呈明显增大趋势,中间状态换算总推力损失达到了17.95%,最大状态换算总推力损失达到了27.72%。通过分析风扇换算转速、换算流量等关键参数,得出:装机后受进气道的影响,导致换算流量明显小于同等状态下台架试验的换算流量,同时进气道内气流总压的过大损失,是造成装机后发动机推力损失明显的主要原因。     

法兰环缝局部真空电子束焊机的研制

对所研制的法兰环缝局部真空电子束焊机作了简要介绍，对焊机的微机控制系统和电子 枪极坐标行走的控制、二次电子焊缝对中、焊接轨迹的示教再现、真空系统和焊接工艺的微机控制等关键技术作了较为详细的阐述。通过焊接工艺试验，用法兰环缝局部真空电子束焊机焊接出了成形良好、焊缝内部质量符合GJB1718－93Ⅰ级标准的铝合金法兰环缝典型工艺件。     

纳米雷达隐身材料研究进展

从纳米材料的结构特征出发，简单阐述了纳米材料在雷达隐身方面的应用前景及近年来国内外不同的纳米雷达隐身材料的制备方法、结构特点和雷达吸波性能。结合实际需求和国外发展动态指出了我国未来纳米雷达隐身材料的发展方向。