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

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

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

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

网络集成技术在控制系统中的应用研究

基于TCP/IP协议的嵌入式设备网络控制系统是当前的发展趋势,控制系统网络化发展经过了三个主要阶段,文中通过分析各阶段的特点和多种控制网络集成的方法,从网络化发展的角度来研究控制系统的发展,提出了嵌入式设备网络控制系统的模型,为实现控制和管理信息一体化提供了一条新思路.     

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

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

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

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

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

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

基于有限元的单机耐压结构优化设计

针对某单机适应瞬时高压环境使用性的结构设计需求,应用PROE软件进行结构及优化设计、ANSYS有限元软件进行仿真分析、实验验证相结合的方式进行耐高压结构设计,经验证结构符合高压环境使用要求。这种结构及优化设计、有限元仿真分析与实验验证相结合的设计方式可有效保证单机结构强度满足环境适应性,为今后的耐高压结构设计提供了方法与方向。     

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

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

RF-16同轴射频开关特性分析

为了提高频率稳定性测量的置信度,研制了一种1—16路同轴射频开关,分析了开关的性能,给出了单路、多路隔离度测试结果。测试结果表明,对于5MHz 的信号,开关的单路隔离度可达130dB,而对于25MHz 的信号,其单路隔离度在115dB 以上。     

计算机辅助的低空风切变改出优化控制

介绍了动态系统的计算机辅助直接优化方法的原理及其在低空风切变改出飞行中的应用，利用较真实的风切变工程化模型，选择适当的控制函数模型，性能准则及其约束条件，通过计算机直接地，系统地和迭代地探寻最优条件，对飞机改出低空风切变控制进行了优化，获得了最佳改出性能飞行参数曲线，并与没有优化的改出引导策略结果作了比较，结果表明，通过优化，飞机改出低空风切变的性能获得了明显的改善。