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

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

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

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

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％。     

航天飞机的固体火箭发动机

本文介绍了航天飞机用的助推固体火箭发动机(SRM)。其类型分为三种:当前执行任务的标准SRM,空间飞行运输8号用的高性能SRM;以及计划在1985年飞行用的纤维缠绕壳体SRM。航天飞机的SRM是获得飞行状态中最大的固体推进剂发动机,其直径为146英寸,长度为125英尺,装有1111000磅固体推进剂,最大推力(真空条件下)为3115000磅力。在首次飞行前成功地进行了7次地面试车,随后的三次飞行试验满足了发动机的全部技术指标。计划提高航天飞机的性能,从东海岸发射的有效载荷达到65000磅,在西海岸发射时(极轨道)达到32000磅。航天飞机性能提高是由于:1.采用高性能的SRM使航天飞机的有效载荷增加3000磅。2.SRM使用纤维缠绕壳体结构使航天飞机的有效载荷增加6000磅。前者靠改变SRM的推力——时间曲线和提高喷管的膨胀比来实现;后者靠减少壳体的消极重量来实现。     

用于大型固体推进剂火箭发动机的独特点火系统试验

本文介绍了用于大型固体推进剂火箭发动机的组合式无喷管、无壳体点火器方案的设计、分析及试验结果。该点火方案的主要优点是可以把60%左右的点火器消极重量变成药柱有效载荷。点火系统的主装药由点火器周围的发动机前段装药所构成。这段装药又是发动机推进剂药柱的一部分,设计成象一个小的低压无喷管火箭发动机,给主发动机推进剂段提供足够的压力和热流输出以实现发动机点火。前段推进剂的点火由一个比较小的径向排气的BKNO_3烟火剂药片点火器来实现。试验计划需验证三个方面的设计问题:     

火箭发动点火器的MTV烟火药研究

本文叙述了 MTV(Magnesium-Teflon-Viton)烟火药的研究,其目的是为了研制和试验适用于火箭发动机点火器的配方。大量的热化学计算表明,组分比例和燃烧压力对 MTV 燃烧产物的热力学性能和组分有影响。用三种配方进行了热量、热分析、工艺和内弹道研究。配方中含有维通 A 4%及两种粒度的特氟隆。此配方满足密实要求。用压力范围在0.8～4.2MPa 的小型试验发动机进行管状药柱的点火试验。用含有镁58%MTV 的组分获得了非常良好的结果,其计算的燃烧产物中50%以上处于凝聚状态。在220 MPa 压力下这种密实的点火药的燃速定律为:γ(cm/sec)=1.69 P(MPa)~(0.22)在100 MPa 压力下密实,其燃速升高15%。用上述 MTV 烟火药制成的药柱进行了一系列的环境试验,并成功地用来点燃小型研究发动机及推进剂鉴定发动机。     

用X射线系统检测三叉戟火箭发动机

洛克希德公司研制了一种X射线实时显像系统,用于检测海军C4三叉戟固体火箭发动机。此法比普通X射线系统检测更完全、更均匀、效率高且费用明显降低。这一看法为生产三叉戟导弹第一级发动机的赛奥科尔公司、生产该导弹第二、三级发动机的赫克利斯公司和航空喷气战术系统公司的实验所证明。航空喷气公司利用该系统检测了陆军的霍克导弹发动机和海军通用动力标准导弹发动机。     

MX导弹喷管用先进材料评论 Ⅱ 第一级喷管的先进材料

本文是评论MX导弹喷管先进材料的三篇文章中的第二篇。第一篇文章于1977年4月在SAMPE季刊中发表(译文见“固体火箭技术”1978年第二期第99—105页),综述了MX导弹喷管对材料的要求,叙述了石墨材料的结构、性质和性能之间的关系。本文继续对MX的第一级和第二级发动机喷管所用先进材料进一步进行评价。