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

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

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

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

基于CFD技术的飞机风挡加温系统热载荷计算

热载荷计算是飞机风挡加温系统设计的基础。选取不同的飞行条件和结冰气象,基于CFD技术,通过外流场和水滴撞击特性计算得到了风挡外表面的压力分布、热流密度、对流换热系数以及局部水收集系数,最终确定了风挡防冰和防雾热载荷,并对仿真结果进行了瞬态校核。经验证表明,本文使用的计算方法合理,可以应用于工程设计。     

介质振荡器的设计

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

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

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

民用飞机前缘缝翼气动力特性SCCH试验研究

针对民用飞机增升装置对机翼气动力特性的影响,在南京航空航天大学NH-2低速风洞开展了某型号客机等弦长后掠半模(Swept constant chord half-model,SCCH)增升装置测力风洞试验研究。试验来流马赫数为0.2,基于机翼弦长的试验雷诺数为1.85×106。通过试验结果,重点分析了前缘缝翼的偏角、缝道宽度及缝道搭接量对机翼增升装置增升效率的影响,得到了起飞构型和着陆构型缝翼偏角及缝道的最佳组合参数。试验研究发现,缝翼偏角从18°增加到24°时,失速迎角和最大升力系数都增大,缝翼偏角从25°增加到31°时,失速迎角增大,最大升力系数没有明显的变化。起飞构型前缘缝翼最佳缝道宽度为1.5%~2.0%,最佳缝道搭接量为1.0%左右;着陆构型缝翼最佳缝道宽度为2.0%~2.5%,最佳缝道搭接量为-1.0%~0%。最佳缝道宽度随缝翼偏角的增加呈现增大趋势。     

某Ⅰ级涡轮盘低循环疲劳寿命试验研究

为了确定某Ⅰ级涡轮盘的技术寿命,根据该盘的标准循环载荷谱,对该盘进行了应力分析,确定在标准循环时该盘中心孔与径向销孔相交处为考核部位。为模拟标准循环时该盘在其考核部位的应力谱,专门设计了该Ⅰ级涡轮盘的试验转子及试验参数,在轮盘低循环疲劳试验器上,对该Ⅰ级涡轮盘的一个旧盘进行了高温低循环疲劳试验。试验结果表明：该旧盘低循环疲劳试验至第６０４７ 次循环时,有５ 个销孔考核部位出现了裂纹。断口分析表明：该旧盘剩余的试验低循环疲劳失效寿命为６０４７ 周