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

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

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

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

锥体目标空间进动特性分析及其参数提取

空间进动是弹道导弹中段飞行过程中锥体目标特有的运动特性，本文首先建立了锥体目标空间进动数学模型，给出了姿态角与空间进动参数的关系式，并利用进动参数获取了反映目标质量分布特性的惯量比。然后通过对目标RCS回波数据进行多项式拟合，估计进动参数，以此为雷达目标识别提供新的技术思路。仿真实验结果表明本文提出的算法能够有效估计出目标的进动角。     

空调制冷故障考核仿真实训系统的设计与应用

以空调制冷故障考核仿真系统为例，介绍空调制冷仿真实验实训系统在国家级试点专业——供热通风与空调工程技术专业教学中的作用。该系统重点解决了空调制冷故障的考核仿真模拟，阐明了仿真技术对于高职高专学生培养的重要性和可行性。仿真实验实训技术在技能型人才培养中将有很大的发展空间。     

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

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

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

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

高低温箱运行及故障分析探讨

通过对高低温箱的运行记录进行整理，分析其运行状况及故障，判断故障产生的原因，有针对性地提出故障排除的方法和设备维护保养措施，以延长设备的使用寿命。     

论如何推进清洁生产与可持续发展

通过对清洁生产的由来、发展及其基本理论的分析，结合国内外的情况，探讨了在我国推进清洁生产实现可持续发展的必要性，并提出了推进清洁生产实现可持续发展的具体措施。     

实施现代化航空器材管理的方法

国内民航企业,特别是航空公司,大多脱胎于旧有的计划经济管理体制,规模小,底子薄。其经济效益普遍呈下滑趋势,有的甚至亏损。因此,合理有效控制成本,增收节支,提高经济效益便成为了国内各航空公司抗衡国际列强,生存发展的必经之路。由于航空器材(简称航材)占用航空公司流动资产比重巨大,航空器材管理是航空公司能否做好成本控制,提高效益的关键所在。分别从经营理念、航材计划管理、航材订货管理、IT支持和人力资源等方面进行了论证。     

以就业为导向深化试点专业建设

通过对试点专业毕业生的调查和对调查结果的分析，了解企业和社会对人才的需求状况以及毕业生的工作情况，坚持以就业为导向，以能力培养为主线，不断改进教学方法，调整课程结构，深化试点专业建设。培养面向生产、建设、管理、服务第一线的高级技术应用性专门人才。经过对试点专业的教学改革，取得了明显效果。