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

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

SQL Server对XML文档的数据抽取方法的分析与实现

XML正在逐步成为新一代Web数据描述和数据交换标准,将XML文档中的数据抽取到关系数据库中进行管理,可以极大的提高数据的使用效率。本文针对SQL Server对XML文档的数据抽取方法的原理进行了分析,并提出了具体的实现方法。     

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

基于有限元模拟的管材内高压成形模具设计与优化

设计模具需要丰富的生产实践经验,新产品、新工艺的模具设计不可能一次成功,或多或少都会存在一些结构上的不合理或其他缺陷,产品因而不能顺利成形。为了解决这些问题,本文对管材内高压成形的过程用MSC.Marc有限元模拟软件进行模拟,验证模具结构上的合理性,发现存在的缺陷并进行模具的重新优化。这样可以弥补经验设计的不足,缩短了模具设计制造周期,提高了工作效率,避免了因不合理的设计而导致的资源浪费,对类似的模具设计有一定借鉴作用。     

单片微机在弹上遥测设备中的应用

为了使弹上遥测设备体积小、功能全,采用了单片微机技术.给出了微机的硬件电路和软件设计,介绍了利用软件编程来实现各遥测信号的采集、编码、处理和发送方法.     

初温对几种复合推进剂点火性能的影响

本文根据气相点火理论,对丁羟类四种不同配方的高氯酸铵复合固体推进剂的点火延迟时间受初温的影响,从理论和实验两方面作了深入探讨,并得出了半经验公式。该公式建立了初温对复合固体推进剂点火性能影响的定量关系,这对正确设计固体火箭发动机具有重要的参考价值.