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

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

几种引伸计的精度及其标定和分级方法

在金属拉伸、蠕变、疲劳和断裂力学等性能试验中,普遍应用引伸计来实现试样应变的测量与控制。众所周知,引伸计的精度与试验结果的正确性密切相关,所以要进行某项材料性能的测定,选择哪一级精度的引伸计,标准     

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

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

作动筒密封圈断裂分析

某型飞机起落架作动筒发生漏油故障,分解后发现作动筒橡胶密封圈断裂,直接影响了飞行安全。通过对断裂的密封圈断口及表面进行观察和硬度测定,分析密封圈的失效性质及断裂产生的原因,确定了橡胶密封圈失效模式,并提出了纠正措施。     

介质振荡器的设计

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

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

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

英语习得与人为目的语环境的创造

"语言习得"与"语言学习"是外语教学理论研究中的两个重要概念,克拉申认为只有"习得"来的语言才能成为流利的口头表达,而"学习"只能起"监查"作用.在"学习"的条件下,通过营造人为目的语习得环境,以用为本,立足实践,学习者同样可以达到习得外语的目标.