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

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

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

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

介质振荡器的设计

为了实现微型化相干布局囚禁（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%。最佳缝道宽度随缝翼偏角的增加呈现增大趋势。     

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

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

遥测参数动态分发技术

针对某卫星地面运控系统按需分发遥测参数的要求,提出了一套低成本解决方案.该方案引入遥测参数分发软件,从而化解遥测处理设备和业务系统之间的多对多关系;并基于以配置方式实现对遥测参数的订阅,以模板填写方式实现对输出数据的动态封装,设计出保证数据包可靠传输的机制.在此基础上,对遥测参数分发软件进行了总体设计,给出了主要功能的实现逻辑.软件的运行效果表明,该方案有效实现了多星多方遥测参数的动态分发,降低了系统复杂度.