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

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

开放式飞行任务规划方法

本文给出了一种基于分布式黑板结构的开放式飞行任务规划方法，简要叙述了飞行器飞行任务规划的概念和其独特要求，并对飞行任务规划的数据预处理、知识表达、规划方法作了深入的探讨。最后介绍了分布式黑板的结构和运行方式。     

卫星的防污染技术

在分析了国内外光学遥感卫星红外通道被水汽污染而失败的教训基础上，提出了光学遥感卫星必需全过程（从卫星设计、研制、发射至在轨运行）实施严格的防污染控制的设计思想和理论。系统地介绍了FY－1C星的防污染技术特点和经验。在轨运行表明，FY－1C所采取的一系列防污染措施是正确的。     

《实用英语》教法研究新思路

本文主要阐明了教师在教授《实用英语》的过程中，应更多地寻找新思路，探求新方法，创造性地使用教材，以交际法为主线，博采众长，为我所用。根椐各流派教法，结合《实用英语》，作者着重讲述了如何灵活安排教学计划，提出课堂教学中切实可行的方法。     

N2O-C2H2火焰原子吸收光谱法测定纯镍中硅含量

为简化纯镍中硅含量的测定过程,提高测量精度,研究了一种N2O-C2H2火焰原子吸收光谱法用于检测。介绍了方法的原理、工作参数和测定条件,并确定最佳工作条件,讨论了燃烧温度、共存离子等干扰因素的影响。实验结果表明,该法的灵敏度高、干扰小、选择性和重现性好,操作简单,分析周期短。其测定结果的相对标准偏差均小于1.0%,标准加入回收率大于97.0%(样本数n=6),可满足实验室仪器分析质量与控制的要求。     

封头补强技术研究

研究了碳纤维／环氧复合材料φ１５０ｍｍ和φ４８０ｍｍ压力容器封头的局部补强方法和工艺，试验结果表明：φ４８０ｍｍ压力容器经在大金属件边缘补强后改变了水压爆破时金属件飞出的现象，纤维强度得以充分发挥而使筒身段纵环向同时破坏；φ１５０ｍｍ压力容器的应力平衡系数可由０．７５提高到０．８５以上，筒身段纵向纤维发挥强度由２０９０ＭＰａ提高到２３３６ＭＰａ，提高约１１．８％。由此可见，壳体铺层设计与封头补强巧妙地结合是壳体优化设计的重要方法，是充分发挥纵向纤维强度的有效措施。     

空间光学精密展开机构展开方法的初步探讨

文章对空间光学精密展开机构(以下简称展开机构)进行分类,分析了几种典型可展开空间光学系统的展开方法和特点。讨论了展开机构设计需要考虑的主要因素,并给出设计建议。     

商业成像情报卫星的现状和发展趋势

分析了商业成像情报卫星的现状及其特点，展望了商业成像情报卫星技术的发展趋势。指出，商业成像卫星以其应用范围广泛、商业价值巨大而得到了美、俄等国的高度重视，并在技术上得到迅速发展；商业成像情报卫星突破或淡化了军用与民用的界限，实现了两者的信息共存、资源共享、综合利用；未来商业成像情报卫星将朝着小型化、一体化、数字化、可见光成像与微波成像的方向发展。     

基于FPGA高效实现FIR滤波器的研究

文章对FPGA中FIR滤波器的高效实现进行了研究。介绍了流水线技术的原理和应用,比较了整数的CSD表示和根据FPGA结构加以改进的最优表示,提出了FIR滤波器高效实现的措施。最后以具体实例说明了这些措施的可行性和有效性。     

战术导弹垂直发射系统的现状及发展趋势

介绍了垂直发射装置通用化、箱式化和模块化的总体特征。详细论述了国外现役8种类型的垂直发射系统，根据基本结构特点将垂直发射装置分为模块式结构、独立布置的分离式结构和旋转式结构，另依据发射动力将垂直发射装置分为热发射和冷发射。以热发射的同心筒式结构和冷发射采用的大倾角、模块化设计为例．分析了垂直发射装置的发展趋势。