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

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

转动旋翼模型动柔度的试验研究

介绍测定转动旋翼模型动柔度的试验方案、试验程序，综述以作者自行设计的旋翼模型进行试验所得到的结果及其与理论计算结果的比较。结果表明，试验方案与方法是可行的，理论计算公式是正确的。     

放宽稳定度导弹外形设计

放宽稳定度设计能较大幅度提高导弹机动性、飞行速度、飞行斜距,减少结构重量和翼展尺寸,是随控布局设计中的重要内容.本文着重叙述设计中遇到的一些问题,如弹性特性、稳定边界、人工稳定原理、设计特点、飞行试验特点等,还对某些问题(如几个气动平衡点)进行了探讨和分析,大多数内容已在实践中得到了验证.     

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

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

介质振荡器的设计

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

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

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