图样的知识目标分类与例证性分析

根据教育目标分类学的观点分解课程教学目标，再分别对分解的目标进行例证性分析，能更客观地验证教育目标的实效性和教育过程的可行性。本文通过对图样的知识目标分类与例证性分析，为工程图学教育目标检测做一尝试。     

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

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

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

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

空域飞行侧向碰撞危险初步研究

一、空中交通安全间隔问题 1．空中交通管制部门的工作 要了解空中交通管制中的间隔，首先需要介绍空中交通管制部门的工作。（1）空中交通管制是应飞行量增长的要求而产生的，是保证飞行安全最重要的环节之一。它的实施是为了以下目的：     

层间增韧复合材料研究

研究了一种采用在复合材料层压板间插入韧性薄膜的方法，改善复合材料层压板层间韧性和损伤容限的技术。有限元分析和层间断裂韧性试验结果表明，层间加胶层复合材料层压板的层间应力有明显下降，层间断裂韧性有显著的增加。     

CFRP层板的落重冲击分层损伤研究

采用落重冲击试验方法研究了航空上常用的铺层形式为［Ｏ２／９Ｏ２／４５２／－４５２］ｓ的先进复合材料（ＣＦＲＰ）低能冲击损伤问题。重点讨论了落重冲击后分层损伤形貌、冲击能量Ｗ与分层面积Ａ之间的关系以及基体韧性对ＣＦＲＰ抗冲击性能影响。     

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

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

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

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

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

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