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

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

提高图像轮廓清晰度的快速插值放大方法

分析了当前主要的高清晰度图像插值放大方法,为实现快速放大而选择了基于图像轮廓插值改善清晰度的技术路线,并在已有算法的基础上开展了进一步的研究.提出了新的图像轮廓线光顺数值算法,对轮廓线划分的两类子区域提出了精度更高的插值算法.最后,以典型平面图形的图像和由3DMax生成的三维渲染图像为例对本文方法进行检验,与双线性插值结果的对比说明,该方法可以明显改善插值放大效果.     

提高5CrNiMo钢制弯形件锻模寿命

锻模是重要的生产工具。以弯形件锻模为研究对象,分析其主要失效原因,提高模具的寿命,必须提高型腔的红硬性,避免内部出现上贝氏体,这可以通过提高淬火温度来实现。因而推迟了模具磨损的时间,提高了模具抗堆塌和断裂的能力。     

冲压发动机点火前内流场数值仿真研究

冲压发动机在点火前由于燃烧室的压力较低,内通道流场状态与发动机正常工作时的差别很大。因此,在发动机设计时,必须要考虑形成正常点火条件对发动机结构的约束。本文利用有限体积法对N-S方程进行空间离散,对发动机点火前的不同内通道结构下的冷流场进行了数值模拟,结果表明稳定器和喷油装置对形成合理的点火条件很重要,稳定器的布局对点火状态有很大影响。     

2004年世界航天运载业分析

2004年是自1961年以来世界航天运载业最为不景气的一年。全世界仅进行54次航天发射,其中有15次商业性发射,占总发射次数的28％。2004年同时又是中国航天发射次数最多的一年,有8次发射,成功地运载了10个有效载荷。美国进行6次商业性发射,俄罗斯5次,海上发射公司3次,阿里安航天公司1次。美国占40％的商业发射市场份额,俄罗斯占33％,海射公司占20％,阿里安航天公司占7％。我国、日本、印度和以色列在2004年都没有进行商业发射。     

月面软着陆探测器地面力学试验方法研究

月面软着陆探测器的主要任务是携带有效载荷实现在月球表面的安全着陆,其经历的主要过程包括发射段、地月转移段、近月制动段、环月段、着陆段和月面工作段。软着陆探测器面临的月球环境比近地轨道卫星复杂得多。为提高软着陆探测器系统的可靠性,必须进行充分的地面试验,验证软着陆探测器的设计合理性。文章分析了月球软着陆探测器在各飞行过程中面临的力学环境,分析了力学环境对探测器系统的影响及作用效果,提出软着陆探测器需完成的地面力学试验项目,设计相应的试验方法,并给出确定试验量级的基本原则。     

反战术弹道导弹引信炸点控制算法研究

本文推导了ATBM寻的引信最佳炸点控制算法，及使用定向战斗部时所需的弹体坐标系中的脱靶方位，其中对应于最佳炸点的最佳延时为剩余飞行时间减去破片飞行时间。文中根据战斗部的尺寸对炸点控制所允许的误差进行了简单分析，及根据不同交会条件下的计算结果给出了几点实用性建议。     

旋转固体火箭发动机内弹道理论与实验研究

本文系统地总结了我们在旋转固体火箭发动机内弹道理论与实验研究方面的某些成果，其中包括含铝丁羟推进剂的试片实验和装药发动机实验以及燃速敏感性预示和内弹道预示，得出了一些有益的结论，可供发动机设计及推进剂配方设计参考。     

新世纪初的世界航天保险

近几年来，世界航天保险市场动荡不安，特别是美国2001年“9．11”事件带动了整个保险市场保险费率的急剧上扬。由于发射失败或在轨卫星出现故障导致保险索赔数量的增加，航天保险的保险费率更是创下了历史新高，1999—2002年骤增129％。     

开辟航天工程应用新领域建设航天作战应用实验室

分析了国内安全形势、建设武器装备作战实验室的紧迫性和重要性以及美军作战实验室建设的现状,提出了军事航天装备体系的结构组成及军事航天作战应用仿真系统的总体结构。开展天战理论与应用研究,创建航天作战应用实验室具有重要的指导意义和军事价值。