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

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

相干两点源抗反雷达导弹可能性研究

本文简述了相干两点源干扰反雷达导弹被动雷达导引头的基本原理;分析了相干两点源在空间相干场的栅瓣特性,非畸变区与畸变区的相位特性,根据这些特性,分析被动雷达导引头在远场与近场跟踪相干两点源的性能,分析研究抗反雷达导弹的可能性,提出适当选择两点源之间的距离L和两点源的电压幅值比β,有可能将反雷达导弹诱偏于两点源之外。本文为进一步定量分析两点相干源抗反雷达导弹的效果,提供了一定的理论基础。     

基于三维CAD的坐标检测集成应用技术

以Ka频段卫星高精度抛物面天线在国内首次成功研制为例,介绍了一种基于三维CAD的坐标检测集成应用的新技术。该技术基于三维模型,通过理顺软件间的接口关系,建立了UG软件、MeasureMAX测量软件以及三坐标测量机(CMM)的集成系统,实现了抛物面形面精度评估、多坐标转换和三维点云数据共享等目标,解决了高精度抛物面天线加工、装配、检测等技术难题。     

国内外遥感卫星发展现状

文章叙述了遥感卫星的发展背景以及在实际应用中的重要意义,并就气象卫星、资源卫星、海洋卫星等几种典型的遥感卫星详细介绍了国内外发展现状。     

国内外遥感卫星发展现状

文章叙述了遥感卫星的发展背景以实际应用中的重要意义，并就气象卫星、资源卫星、海洋卫星等几种典型的遥感卫星详细介绍了国内外发展现状。     

因康镍718合金的超塑成形和扩散连接

介绍了用于制造火箭发动机零件的因康镍７１８合金的超塑成形和扩散连接工艺。经特殊加工的细晶粒因康镍７１８合金具有促进的超塑性，历而能用于超塑成形相当复的零件。     

碳化硅纤维增强的金属基和陶瓷基复合材料

介绍了碳化硅纤维及其增强的铝、钛、镁和铜等金属基复合材料的研制与应用。在概括了陶瓷材料的优点和存在的问题之后，介绍了碳化硅纤维增强的几种陶瓷基复合材料的组成、制备和性能。     

第一届《微机CAD技术交流会》

中国航空精密机械研究所与香港太古电讯电子公司于一九八五年四月八日至四月十一日在北京联合举办第一届《微机CAD技术交流会》。在这次会议上,由北京航空学院、华北计算所、中国航空技术公司、中国航空精密机械研究所和香港太古电讯电子公司有关专家作CAD综述和微机在模具、工装夹具、服装等设计方面应用的学术报告,进行学术交流。     

中国航空精密机械研究所的经营与开发

中国航空精密机械研究所(简称中航所)是一所综合性应用技术研究所,已有二十五年的历史。中航所主要在如下几方面从事新产品的研究和新技术的开发:精密机械、光学技术、机电测试、仿真模拟、惯导设备、坐标测量机、工业机械人、计