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

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

高强度钢内螺纹冷挤压成形与强化试验研究

内螺纹冷挤压成形是提高内螺纹疲劳强度的有效方法.作者研制出挤压扭矩和温度的测量系统,并从理论上证明了挤压变形区金属在挤压过程中受到三向压应力的作用,这可以大大增加金属的塑性,改善内螺纹的成形条件.高强度钢内螺纹成形与强化的关键在于挤压丝锥结构的优化设计以及工件底孔尺寸、挤压速度和冷却润滑液的合理选择.疲劳对比试验结果表明:在两个不同应力水平下,用挤压丝锥挤压强化的300M高强度钢螺纹,其寿命是切削螺纹的4～30倍.     

基于ANSYS的薄壁件反重力铸造充填形态的数值模拟

介绍了CFD的基本原理以及有限体积法的概念,采用ANSYS 6.0进行网格划分和控制方程的计算,模拟了不同壁厚、不同充型速度下薄板铸件的反重力充型形态,得出了壁厚,充型速度对充型形态的影响规律。     

M-型皱褶芯材弹性常数的细观力学模型

研究了皱褶芯材的几何特征和承力特性，给出了其当量弹性常数求解的细观力学模型。该模型采用材料力学的方法推导出了M-型皱褶芯材的当量密度ρ、当量线弹性模量Ez和当量剪切模量Gyz，为皱褶夹芯结构的优化设计和皱褶芯材夹芯板的力学性能计算奠定了基础。     

人工脱粘层制作工艺

论述了固体火箭发动机用人工脱粘层的研制过程，通过试验筛选了三种制作工艺，并采取技术措施完善了二次成型一次硫化工艺，生产状况和发动机试车结果表明所研制的制作工艺具有很高的可靠性。     

开放式飞行任务规划方法

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

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

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

RVSM实施后大连区域管制扇区划分与运行的探讨

一、背景 为了增加空域容量，提高空域利用率，保证空中交通安全和畅通，提高航空公司的运行效益，空管系统将于2007年11月22日零时起，对8400米至12500米之间的航空飞行实施缩小垂直间隔。为了支持在RVSM条件下的空管运行，大连区域管制系统必须针对扇区划分、扇区运行等方面进行相应的调整，从而达到改革的平稳过渡。[第一段]     

基于信息可信度的空中目标识别方法

目标识别是态势评估和威胁估计的基础,是作战指挥辅助决策的重要依据,是防空作战的关键环节之一.将雷达信息可信度扩展到传感器信息可信度,并基于扩展内涵的目标识别信息可信度,提出一种应用对空侦察雷达、光学器材、ESM传感器的空中目标识别方法,完成干扰条件下空中目标识别模块的设计.该方法依靠目标识别信息可信度较高的传感器信息来做出全局判决,有助于提高整个系统目标识别的可靠性.