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

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

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

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

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

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

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

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

扫描器运动多参数测试技术研究

新型图像扫描器具有较高的响应频率，可以实现高速扫描。在研究扫描器运动参数分离的基础上，利用对称放置的半导体位置探测器建立了扫描器的多运动参数测试系统，提出了光电二维位置传感器的非线性修正和补充方法，实现了四路模拟信号的DMA传送，提高了测试的速度和精度，实现扫描器在高频运动时的多运动参数测试。     

对行星起源的思考——“康德一拉普拉斯星云说”质疑

德国哲学家康德和法国天文学家拉普拉斯于18世纪下半叶由提出来的“星云说”，描述并详细论证了太阳系是由一块星云收缩形成的。“星云说”用自然界本身演化的规律性来说明星球演变的一些性质，为天文学的发展建立了不朽的功勋。到今天，结合丰富的观测资料，加上运用各种科学原理和方法，“星云说”有了崭新的面貌，     

定量危害性矩阵分析方法研究

危害性矩阵分析中,由于同一个严酷度类别在矩阵图中是一个区间,容易出现当几个故障模式的严酷度相同时,在矩阵图中无法精确标识,从而使得得出的危害度有偏差.同时,利用作图法,分析效率较低.本文首先对目前的危害性分析方法进行改进,将区间进行再次划分并用显性直观的数值进行度量;然后,以某型飞机升降舵操纵分系统为例,进行危害性分析.结果表明:该方法可以对各故障模式或产品的危害度给出精确的量化值,为改进决策提供支持.     

扑翼飞行器非定常气动特性研究

为了研究复杂的非定常运动状态下扑翼飞行器翅翼的气动特性,针对自行研制的一种仿鸟扑翼飞行器建立了翅翼二维非定常空气动力学模型.基于该模型,通过用MATLAB编制计算升力系数和推力系数的程序,计算并分析了各运动参数对升力和推力特性的影响.结果表明,相位差对推力系数的影响较大,而升力系数随迎角的变化较快.     

离散型可靠性参数数学关系研究

在航空航天系统中,已有许多可靠性参数来描述产品的可靠性特性,但大多数都是基于连续时间上的 连续型可靠性参数,而在离散时间上有定义的离散型可靠性参数的描述较少,例如离散失效率。为弥补可靠性 理论在在这方面的缺陷,从离散时间这一角度出发,研究离散型可靠性参数的数学关系。推导离散失效概率与 离散失效率的数学转换公式,利用离散失效率推导计算离散可靠度的数学公式,推导平均失效前工作次数与离 散失效概率的数学转换公式,并进行验证。结果表明:推导出的三个数学转换公式合理,可以用于描述离散型 可靠性参数。     

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

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