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

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

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

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

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

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

喷流噪声特性与控制研究

本文着重研究喷流噪声机理及工程计算方法。通过实验研究了声功率与喷流速度的关系,表明在Mα>0.4时Lighthill方程和Lilley方程均与实验数据吻合,可分别使用。而Mα<0.4时,均偏差较大,通过本文实验表明,若改为6次方关系较为恰当。文章同时对喷流噪声指向性、谱特性进行了分析。最后对一种引射消声器进行了发展性研究,获得在135dB噪声条件下,降噪17dB的效果。     

航空安全类课程思政案例库的构建与评价

课程思政是高校思想政治工作的主阵地。航空安全类课程思政案例库的提出为航空类高校安全人才培养课程思政教学实施提供了新的思路与方法。本文阐述了航空安全类课程思政案例库建设思路、过程及成效,并提出课程思政案例库评价方法,以郑州航空工业管理学院安全工程专业为试点,开展航空安全类课程思政案例库实践应用。研究结果进一步完善了课程思政教学方法,丰富了航空安全类课程思政教学资源,推动了航空高校立德树人教学目标的实现。     

红外可见兼容隐身薄膜的制备与性能

采用多弧离子镀制备了多彩Al/TiNO(掺氮TiO2)薄膜,利用SEM观察了薄膜的表面、断面形貌,并测量了其膜厚.采用XRD研究了薄膜的相结构.利用紫外一可见分光光度计研究了TiNO膜的可见光谱特性,用红外比辐射率测量仪测量了样品的红外发射率.结果表明:在不改变Al箔在8～14 um波段低红外发射率的情况下,实现了其物理着色.所得薄膜为锐钛矿型TiO2结构,薄膜表面平整、致密,结合力较好.TiNO薄膜呈明显柱状生长,薄膜试样表面未出现明显缺陷,薄膜表面致密,柱状颗粒生长完好.TiNO薄膜的沉积速率达120 nm/min.     

由喷嘴连接的燃烧室到供应系统压力振荡传递过程研究

为了研究在压力振荡由液体火箭发动机燃烧室传递到供应系统的过程中喷嘴所起的作用,从理论上分析了压力振荡由燃烧室到供应系统通过喷嘴的传递过程,推导了振荡传递过程的传递函数.讨论带有各种喷嘴的供应系统的动态特性,对供应系统管路长度、燃烧室压强、喷嘴种类、喷嘴压降及喷嘴结构尺寸对燃烧室压力振荡引起供应系统压力振荡的影响进行了计算,得到了喷嘴以及工况参数在传递过程中的影响规律.      

旋翼非定常气动特性CFD模拟的通用运动嵌套网格方法

针对直升机旋翼非定常气动特性CFD模拟中的网格生成难题,提出了一套高效、通用的运动嵌套网格生成方法.首先,基于Poisson方程求解和翻折法生成旋翼桨叶的正交贴体网格.其次,针对旋翼桨叶的扭转分布及变距、挥舞等复杂运动,建立了一套通用的洞单元识别的扰动衍射法;为保证洞包络面的封闭性,完善了挖洞过程中网格加密策略;在洞边界确立基础上,提出了一种高效、鲁棒的最小距离法贡献单元搜索的改进方法.在此基础上,建立了基于RANS(Reynolds-averaged Navier-Stokes)方程的旋翼非定常流场CFD模拟方法.最后,采用所建立的方法分别对悬停和前飞状态下的C-T(Caradonna-Tung)旋翼和7A(Helishape 7A)旋翼的气动特性、桨尖涡的位置进行了计算,计算结果与试验值误差小于5%,验证了该运动嵌套网格生成方法在旋翼非定常气动特性CFD模拟中的有效性.      

拟协调九结点四边形层合板壳有限元

构造了一个拟协调九结点四边形层合板壳单无，这一单元是根据Ｈｕ－Ｗａｓｈｉｚｕ变分原理导出的，独立假设了位移场、每一层的应变场和应力场。文中计算了复合材料板和充实例。计算结果表明，本文单元在准确性和高效率方面的性态较好。     

含灰气体平板气动加热实验研究

利用灰尘激波管入射激波后平衡区两相流开展平板传热实验。在低灰尘负荷率、来流分别为亚声速和超声速流条件下测量平板在零攻角及小攻角（α＝３°）情况沿轴向的热流分布。