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

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

反辐射导弹设计技术

反辐射导弹（ＡＲＭ）是一种利用雷达辐射源的电磁波，发现、跟踪并摧毁雷达系统的导弹。反辐射导弹的出现，使仅有“软”杀伤能力的电子战有了“硬”摧毁能力。论述了反辐射导弹的特点及其局限性，讨论了提高反辐射导弹性能的技术方法。这些技术包括：缩窄工作频带、采用比相比幅单脉冲侧向体制、数字化和集成化设计等。     

航天器结构材料的应用和发展

文章首先说明航天器结构材料的定义及其性能要求，然后简要介绍航天器结构材料的主要类型及其基本性能，并且综述航天器结构材料的应用概况，最后指出航天器结构材料的发展趋势。     

复合材料胶接连接工艺

文中叙述了胶接工艺应具备的条件,复合材料胶接连接工艺特点和质量控制等内容。     

雷达抗反辐射导弹技术探讨-告警加诱偏

简介近年来外军发展的反辐射导弹（ＡＲＭ）的动态，以及各国防空雷达在对抗ＡＲＭ威胁方面采取的主要战术技术措施，探讨了ＡＲＭ威胁告警加诱偏方案的必要性，可行性，关键技术以及欺骗式ＡＲＭ诱偏系统的有效性及其对简化告警设备方案的重要作用，最后提出了对抗ＡＲＭ威胁需注意的几个基本观点。     

蜂窝夹层结构常见制造缺陷分析

蜂窝夹层结构已成为卫星结构设计中广泛应用的重要材料。基于蜂窝夹层结构制造过程的复杂性和不可逆性，注重工艺控制对产品质量的保证是非常重要的。文章对蜂窝夹层结构制造过程中，由于工艺条件不当造成的缺陷和改进方法进行了分析。     

碳/环氧复合材料模压成型工艺特性及其影响性能主要因素

文章介绍了碳/环氧复合材料模压成型工艺特性,并讨论了影响模压成型制品性能的主要因素等内容。     

先进复合材料切割加工工艺

根据我国卫星结构常用的碳/环氧、凯芙拉/环氧等先进复合材料构件,经常要进行切割修整加工,为此开展了金刚砂刀具切割、高压水切割和激光切割等。通过有关试验,积累了一定的试验数据,稳定了工艺状态,并且在航天产品中得到成功应用。     

统计技术在复合材料制造过程中的应用

统计技术是质量管理中进行质量分析、质量控制和质量改进的重要工具。文章阐述了统计技术在复合材料过程控制中的应用，探讨了其应用范围、作用、办法及相关说明等内容。