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

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

伊尔—86宽体客机发动机的设计特点

前苏联萨马拉“劳动”科研生产联合公司(旧称库兹涅佐夫设计局)研制的 HK—8系列发动机以及彼尔姆发动机制造科研生产联合体(旧称什维佐夫—索洛维也夫设计局)研制的—30系列发动机是前苏联主要两大民用航空发动机系列。其中推力为12750千牛的 HK—86低函道比双转子涡扇发动机生产于70年代中期,其性能技术水平属前苏联第三代燃气涡轮发动机,现为伊尔—86大型宽体客机     

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

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

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

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

深度置信网络在发动机气路部件性能衰退故障诊断中的应用研究

为提高发动机转动部件性能衰退故障诊断精度,针对传统的浅层网络和支持向量机(SVM)方法在诊断时存在泛化能力欠缺、易产生局部最优解等问题,引入近年来在模式识别领域取得巨大突破,模拟人脑多层结构的深度置信网络(DBN)进行发动机部件性能衰退故障的诊断。为改进深度置信网络性能,提出一种在无监督和有监督训练阶段都可自适应调整权值的改进算法(ad_DBN)。以涡扇发动机为对象,将两种DBN算法与BP,RBF和SVM方法从诊断精度、计算时间、抗噪能力三方面进行综合比较分析。结果表明DBN算法诊断精度明显优于反向传播(BP)神经网络,径向基(RBF)神经网络和支持向量机(SVM)方法,得益于权值的自适应调整,ad_DBN诊断的平均精度高达97.84%,其抗噪声能力也明显优于其他算法,能够提高故障诊断的有效性和可靠性。     

KH550修饰碳纳米管增韧环氧树脂的研究

利用偶联剂KH550对多壁碳纳米管(MWCNTs)进行化学修饰,并制备了MWCNTs/环氧树脂纳米复合材料.研究了不同含量的MWCNTs对纳米复合材料力学性能的影响.研究结果表明,MWCNTs表面成功接枝上了一定量的KH550,将其加入环氧树脂基体可大幅提高复合材料的力学性能.当添加量达到0.5%时,复合材料的力学性能最好,冲击韧度和弯曲强度较纯环氧树脂分别提高了85.3%和21.6%.扫描电镜结果显示,复合材料由脆性断裂转变为韧性断裂.     

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

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

气液同轴喷嘴缩进室动态特性均相流模型

采用频率法对气液同轴喷嘴缩进室内气液两相流动态特性进行了分析.采用均相流模型,在把液相介质参数看作集中参数的条件下讨论了缩进室边界压降振荡对液相质量流量振荡的动态响应.通过对模型喷嘴算例编程进行计算,结果表明:随着扰动频率的增加,缩进室两端压降振荡的振幅增大,压降振荡与液体流量振荡之间的相位差也增大.较小长径比的缩进室以及较小的液体喷嘴质量流量、大气液比和高反压可以抑制缩进室边界压降振荡.      

幂律流体液膜破裂的线性稳定性分析

为对凝胶推进剂撞击式喷嘴产生的液膜的破裂行为进行研究,使用线性稳定性分析方法并结合幂定律本构方程对幂律流体液膜的稳定性进行了研究,并对流体物性参数、流变参数等对液膜流动稳定性的影响规律进行了分析.结果发现:稠度系数、流动指数和表面张力越大,液膜表面扰动波的增长率越小,波长越大.而较高的液膜速度、气液密度比和液膜厚度都使扰动波增长率变大,但波长随液膜速度和气液密度比的增大而减小,而液膜厚度的情况却相反.理论计算与实验值的对比表明,线性稳定性分析能较准确地预测液膜的破碎长度,但预测的表面波长却大于实验值.      

ADS-B监视下飞行间隔评估方法研究

广播式自动相关监视（ADS-B）技术推广使用的首要问题是间隔标准的确定,为此ADS-B下飞行间隔的评估就成为亟待解决的问题。采用与基准系统进行比较的方法,对ADS-B监视下的飞行间隔的安全评估方法进行了研究。建立了ADS-B监视下的危险接近概率模型,确定了ADS-B下飞行间隔的研究方法,对雷达监视和ADS-B监视下的危险接近概率进行比较分析,在不低于雷达监视的安全目标水平下确定出ADS-B监视下对应的最小间隔。研究结果表明：在不低于雷达监视的安全目标水平下,ADS-B监视下的飞行间隔标准更小,因此方法适用于国内ADS-B监视下的飞行间隔的评估。