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

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

基于统计参数分析和RBF网络的动调陀螺故障诊断方法

针对动调陀螺故障振动信号的特点,提出了一种基于振动统计参数分析和神经网络的动调陀螺故障诊断方法.该方法通过计算原始振动信号的一组统计参数作为表征故障的特征信息,以此作为RBF神经网络的输入参数来学习并识别陀螺故障.实验结果表明,采用对统计参数的计算能够简单、有效地提取陀螺故障特征信息;运用神经网络进行故障诊断建模,使诊断具有自适应、自学习的能力,诊断结果更加可靠.     

法国1995年军用航天预算将增长23%

法国总理巴拉第尔１０月４日宣布，法国政府决定，最后批准斯波特－５民用对地观测卫星、太阳神－２军事侦察卫星和“大嗓门”（Ｓｔｅｎｔｏｒ）通信试验卫星三项航天计划。这一决定表明，在欧洲其他国家对航天计划支持不力的情况下，法国仍然决心扩大其空间硬件的发展。据法国国防部长Ｆ．Ｌｅｏｔａｒｄ１０月５日称，法国总的军费预算基本不变，而军用航天的预算有较大增加。１９９５年军用航天预算达到５０．２亿法郎（９．１３亿美元），占１９９５年总军费预算１０２４亿法郎（１８６亿美元）的大约５％，比１９９４年的军用航天经费…     

高超声速二元弯曲激波压缩流场性能分析

为了探索弯曲激波压缩流场性能所能达到的范围,分别在无粘和粘性条件下,通过多目标优化设计和抽样计算获取了高性能弯曲激波压缩方案,并与传统的压缩方式进行了对比。研究结果表明:(1)无粘条件下流场多目标优化Pareto最优解集中存在长度、压缩效率、低马赫数流量系数等性能参数均优于等激波强度三楔压缩的方案;(2)粘性条件下压比均为8.29(1±0.5%)时,弯曲激波压缩流场与等熵压缩流场相比,长度缩短了35%;与等激波强度三楔压缩流场相比,长度缩短了8%,总压恢复系数大小相当,来流马赫数4时流量系数高6%;与斜楔-等熵压缩相比,总压恢复系数仅相差1.1%,而来流马赫数4时流量系数提高了6%;其出口截面附面层厚度、附面层形状因子均低于其他压缩方式。     

介质振荡器的设计

为了实现微型化相干布局囚禁（CPT）原子钟,需要设计出小体积、低功耗的微波电路。本文介绍了利用介质振荡器（DRO）实现的适合微型CPT原子钟的微波电路,首先利用ADS（Advanced Design System）软件实现了介质振荡器的仿真,然后根据仿真结果设计并实现了振荡器电路,测试结果表明：输出微波频率为3.4GHz、功率为-4dBm、功耗为37mW。     

壁板结构焊接顺序模拟优化研究

对于某壁板结构焊接顺序进行了数值模拟优化,主要考察了4块立板之间不同的焊接顺序、每块立板上各段焊缝焊接顺序的调整以及焊接起始端的选择对结构焊后变形的影响规律,模拟结果表明:壁板在各种顺序下都产生了马鞍型变形,即,沿焊缝纵向截面上产生了向下的挠曲变形,中部向下变形量最大;沿焊缝横向截面上产生了向上的挠曲变形,壁板两端部变形量较大,且壁板前端比后端变形大。在单块立板上采用先点固两端然后交错对称焊接,在整体上对4块立板依次焊接相同位置的焊缝,此时壁板焊后变形最小。     

高超声速二元变几何进气道气动方案设计与调节规律研究

 针对二元高超声速进气道宽马赫数大攻角工作要求,研究了转动唇口变几何进气道调节方案,给出了一种高性能变几何原型进气道设计方法,并通过数值仿真获得了变几何进气道各工况下的调节规律及性能变化规律。研究表明:采用特殊曲面唇口设计的变几何进气道宽马赫数范围内流场结构较好,总体性能优越;以马赫数Ma=6.0为设计点的原型进气道采用转动唇口方案无需附面层抽吸即可在唇口开启过程中实现接力点自起动,且最低自起动马赫数降至Ma=3.5;低马赫数大攻角状态下,通过转动唇口合理控制喉部平均马赫数范围可保证进气道正常工作。