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

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

一种基于实体模型的三轴数控加工刀轨生成算法

实体模型是几何造型的高级模型，它具有完整的曲面拓扑关系，国内基本实体模型的数摈加工算法的需求日渐迫切，本文提出了一种适合实体模型的三轴数控加工刀位轨迹生成算法；首先根据加工行距作一组平行于刀轴的平面，与模型的待加工表面求交，得到一系列交线，再根据加工步长规划另一组与上述平面垂直且平行于刀轴的平面，与上述交线求交，得到一交点网格，判断刀具与数据点的位置关系从而得到刀位轨迹。     

开关磁阻电动机的Fuzzy-PI控制

本文介绍了开关磁阻电动机低速时的斩波控制与高速时的单脉冲控制方案,论述了控制参数的优化选择范围及其变化对电机效率和转矩的影响,在分析了模糊控制,比例积分控制以及系统本身特点的基础上,提出了基于上述控制方案的Fuzzy-PI复合控制算法,并详细地讨论了这种算法在开关磁阻电机系统中的实现,采用的粗调、细调技术有效地解决了动态性能与稳态精度之间的矛盾。文章最后给出了在5.5kWSR132-8/6样机上的运行试验结果。试验表明:这种控制方法性能优良。     

一个飞机结构优化设计软件

本文根据有限元分析基础,研究薄壁结构在应力、位移、最小尺寸约束下结构最轻重量的优化设计问题。用Kuhn-Tucker(库恩-塔克)必要条件将多个位移约束简化为单一位移约束(称为最临界位移约束),建立位移约束下的优化设计准则.从而避免大批拉格朗日乘子的计算,并结合满应力优化设计准则,形成了在有效约束界面逐步逼近最优设计点的方法——包络法。用某型飞机后机身一段优化设计作为本文的实际应用,得到令人满意的结果。     

基于UKF的四元数载体姿态确定

对于低精度高噪声的传感器组成的低成本姿态测量系统,本文引入U nscen ted K a lm an filtering(UKF)用于姿态确定,设计了有陀螺测量和四元数差分法的无陀螺测量两种UKF滤波器;应用四元数避免了欧拉角法的奇异问题;用高斯-牛顿误差最小法将六维参考向量转化为四元数,作为观测量的一部分,使九维非线性观测方程转化为七维线性方程进行滤波,减少了计算量;应用仿真数据进行算法验证,成功得到姿态估计;对两种算法在低速和高速状态下进行验证,仿真结果表明了该方法的有效性。     

纹影干涉图的图像处理方法研究

本文利用计算机存贮量大、运算能力强的特点研究了一种分析纹影干涉图,计算密度场的图像算法。这套算法包括使用低通滤波技术消除干涉图背景中的高频噪声,使用 Hilditch 算法细化宽度多于一个像素的干涉条纹,使用模式识别方法提取干涉条纹的位移量,最后应用数值积分技术求解密度场的空间分布。这里研究的图像处理方法提高了纹影干涉图定量分析的精度、加快了实验结果的处理速度,给出了直观可靠的数值结果,是一种实用有效的图像算法。     

子波变换在实验流体力学中的应用

介绍了子波分析的历史、基本知识以及在实验流体力学方面的应用。讨论了子波变换在客观辨识湍流边界层相干结构方面的应用。作者用子波变换的方法提出了确定湍流边界层相干结构挥发时间尺度的能量最大准则，提取了相干结构对应的速度信号波形。用于波变换研究了湍流边界层脉动速度信号的局部奇异性行为，发现相干结构发生处脉动速度信号的局部奇异性指数为负值。     

轴对称锻件成形过程的热力耦合有限元分析技术的研究

锻件成形过程中,非稳态、不均匀的温度场对金属的塑性流动有很大的影响，尤其是高温成形过程。本文对轴对称段件成形过程的热力耦合有限元分析技术进行了研究。论述了刚塑性有限元分析方法，建立了热力耦合分析模型，开发了轴对称锻件成形过程的热力耦合有限元分析软件。通过将圆柱体镦粗过程的模拟结果与有关文献中的实验结果和模拟结果的比较，说明了该方法和软件的正确性。     

飞机强度试飞活动部件残余变形分析

试飞中，飞机残余变形测量结果分析主要是判别所测残余变形是否为危及飞行安全、有碍操纵等的有害变形。而飞机活动部件残余变形实测结果常常超差的一个重要原因，是实际测量中，部件所处的状态与图纸要求的差异（存在偏度）。对此提出了偏度修正法和空间基准面修正法，并利用某型飞机全动平尾残余变形的实测数据，验证了这两种方法的有效性，并就方法的适用性进行了讨论。     

飞机外形件三角网格模型光滑B样条曲面重建

综合考虑曲面重建时的拟合精度、曲面片拼接处的连续性和曲面的光顺性等因素,以三角网格模型的双三次B样条曲面重建为例,研究了飞机外形件三角网格模型的分片光滑B样条曲面重建方法。该方法首先采用最小二乘法逼近散乱数据,初步获得分片B样条曲面;然后将光顺准则加权到最小二乘函数中调节曲面光顺程度;最后运用罚函数法保证曲面片边界近似G1连续。将该方法应用于飞机外形件实测数据的曲面重建,误差分析结果验证了方法的有效性。