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

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

铝粉粒径及形状对HTPB推进剂力学性能的影响

铝粉球形化显著地改善了推进剂的力学性能;然而推进剂的燃速明显地降低。可通过调节球形Ap D_(43)粒径法提高燃速。用1~#球形铝粉代替1~#或3~＃非球形铝粉时,推进剂的常温伸长率分别提高4.0％～8.0％或8.0％～14.0％。     

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

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

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

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

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

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

含燃速催化剂的丁羟推进剂高压燃烧性能研究

对含Ｔ２７（一种二茂铁衍生物）、卡托辛、Ｆｅ２Ｏ３三种燃速催化剂的ＨＴＰＢ／ＡＰ／Ａｌ推进剂在１６ＭＰａ～２２ＭＰａ下的燃速和燃速压强指数进行了研究。结果表明：二茂铁衍生物能大幅度提高ＨＴＰＢ／ＡＰ／Ａｌ推进剂的燃速,同时可使高压下的压强指数大幅度地下降;Ｆｅ２Ｏ３对ＨＴＰＢ／ＡＰ／Ａｌ推进剂有着显著的燃速催化效果,但其推进剂压强指数较高;Ｆｅ２Ｏ３的催化效率较Ｔ２７高,但不及卡托辛;Ｆｅ２Ｏ３和二茂铁衍生物组合使用能进一步提高ＨＴＰＢ／ＡＰ／Ａｌ推进剂的燃速,并使推进剂具有较低的压强指数。     

硝胺/高氯酸铵/丁羟推进剂高压燃烧特性

研究了低铝含量(5％)的NA(硝胺)／AP／HTPB推进剂高压(15MPa～22MPa)燃烧特性。结果表明：二茂铁衍生物(RMT)能大幅提高推进剂燃速和降低高压燃速压强指数。随着RDX含量(15％～35％)增加，推进剂燃速基本不变；而HMX(15％～30％)含量增加，燃速呈降低趋势。提高配方中RMT含量、细AP的含量或采用RMT，铬酸盐组合催化剂的方法都可将NA／AP／HTPB推进剂高压压强指数降低到0．45以下。     

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

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

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

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

AFDX交换机测试分析系统设计

AFDX网络由端系统、交换机和传输链路组成,交换机是AFDX网络的中枢构件。本文首先研究了AFDX交换机的功能和性能,在此基础上,设计了AFDX交换机测试分析系统,测试软件基于多框架、多视图、单文档,采用面向对象技术实现了交换机配置文件的处理、数据帧的捕获和解析、VL转发特征测试、技术时延测试、流量管制测试等一系列功能。最后进行了测试分析试验,试验展示了该测试分析系统对于AFDX交换机的测试效果。