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

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

天基微小卫星平台初步研究

介绍了国内外微小卫星平台的发展概况、特点和应用前景,阐述了天基微小卫星平台的体系结构、设计方法及系统特点,分析了天基微小卫星平台的关键技术和实现的技术途径。     

开放式飞行任务规划方法

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

旋成体在无侧滑大攻角下的横向气动力特性

介绍具有尖锥头部细长旋成体（以下简称弹体）在无侧滑下横向气动力随攻角变化特性，其中包括尖锥头部顶角、旋成体长细比、初始滚转角、试验雷诺数诸参数对横向气动特性的影响。还介绍美国ＮＡＳＡ的一篇综合研究报告的部分结果。试验结果表明，在低亚音速下，弹体气动特性对上述诸参数反应极为敏感，有时呈现随机特性。头部加边条、减小长细比或在后体装尾翼，将有助于减弱横向气动力。采用弹体旋转飞行技术，虽然产生Ｍａｇｎｕｓ侧向力，但有效地克服了气动力的随机性。     

基于幅度与梯度综合信息的SAR图像非线性扩散去噪方法

探讨SAR图像相干斑抑制的非线性扩散方程方法.以抑制SAR图像噪声,提高图像质量.通过分析SAR图像的幅度分布特性,建立基于SAR图像幅度信息的非线性扩散方程,使方程在幅值较小的背景区域具有较大的光滑作用以抑制噪声,而在幅值较大的目标区域光滑作用较小以保护目标特征.同时为避免噪声对图像中幅度分布的影响,在每一步迭代之前,采用基于梯度信息的非线性扩散方程对图像进行预处理,得到了一种基于图像幅度和梯度综合信息的非线性扩散去噪方法.计算结果表明,本文方法在整体上均具有较好的去噪效果,去噪后的图像较传统方法具有更高的等效视数和边缘保持指数,既能充分抑制背景区域的噪声,又能保护目标点,还很少出现虚假目标.     

某型遥控遥测系统中最佳帧同步码的确定

本文在文献[1]的理论研究基础上,比较了九组 n=16的伪随机序列,最后选定了一种最合适于在某型遥控遥测“三合一”PCM 系统中使用的最佳帧同步码。本文的成果可供其他方面借鉴。     

制造误差对气体静压轴承涡流力矩影响分析方法研究

 采用有限元方法研究了制造误差对狭缝节流气体静压轴颈—止推轴承的涡流力矩的影响。对于轴颈—止推相连结构的气体轴承,通过相容变换进行统一编程计算;在离散化过程中,利用加权余量法将二阶偏微分方程降低一阶,放松了对插值函数连续度的要求,便于借助有限元技术分析狭缝节流气体静压轴承的流场参数。分析了狭缝气膜宽度误差和轴颈圆度误差对涡流力矩的影响,以及轴颈的不同安装角度、偏心等因素对涡流力矩的影响。经对比验证,有限元计算结果与实测结果基本一致,研究结果对于气体静压轴颈—止推轴承的设计、装配优化和性能预测有重要指导意义。     

铸造高温合金熔炼工艺中的冶金原则

文中介绍了苏联铸造高温合金工艺中冶金原则的发展。除去合金化元素之外,杂质元素和微量添加元素是决定合金组织和性能的最重要因素之一。文中详细讨论了在不同条件下它们对合金高温性能的影响。结论中提出改进铸造高温合金冶炼工艺的若干有效的措施。     

航空运输企业服务营销战略研究

本文首先介绍了航空运输企业服务营销的内容和现状。指出客运市场将保持较快的增长。航空运输服务面临更大的需求。而且航空运输服务既有服务的共同特征。又有着独特的产品构成。这是航空公司的立足点。论文建立了服务营销策略决策的分析模型。并在此基础上提出了实施顾客满意战略和服务创新战略以此保持航空公司服务营销的竞争优势。