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

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

非结构网格二维理想MHD绕流逆风格式解法

在非结构网格上发展了针对二维理想磁流体方程组的逆风格式求解方法.控制方程中的对流项采用AUSM格式处理,时间推进采用显式5步龙格-库塔方法.为了消除计算中产生的磁场散度的影响,引入了双曲型散度清除方法.通过对磁流体激波管问题的求解验证了该方法对激波的捕捉能力,对有均匀磁场干扰下的喷管流动情况进行了数值模拟,并与文献中结果进行了对比.计算结果显示了磁场对磁流体流动的干扰效应,该结果与参考文献中的数值模拟结果相吻合.     

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

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

快速合并分类算法的优化

本文介绍一种改进的快速合并分类算法及其在微机上的实现。在用各种比较操作进行分类的算法中,著名的合并分类(Merge Sort)法的分类速度最快,但它要以较大的额外存贮空间为代价。本算法与合并分类法相比,速度更快,而需要的额外存贮空间却减少了50％～67％。实验结果表明,N在500～1500范围内,速度提高了4.7％～8.5％,所需的额外存贮空间减少了51.2％～65.9％。本算法已在IBM PC机上用BASIC语言实现,可把本程序作为一个子程序加以调用。     

对方案有模糊互补偏好关系的模糊多属性决策法

研究了权重为区间数且对方案有模糊互补偏好关系的模糊多属性决策问题.首先,基于模糊互补判断矩阵的主观偏好信息,利用转换函数将决策信息一致化,并建立了目标规划模型.通过求解该模型得到属性的权重,运用加性加权法获得各方案的模糊综合属性值.其次,提出了基于方案的模糊正理想解与其模糊综合属性值相似度的方案排序法.该方法既能充分利用已有的客观信息,又能最大限度地体现决策者的主观意愿,且具有操作简便、易于上机实现的特点.该方法已应用于解决风险投资领域中项目评估问题.     

激光扫描路径对直接金属激光烧结温度场的影响

利用有限元分析软件AN SY S,对激光烧结温度场进行了数值模拟,建立了激光烧结薄板的温度模型;运用APDL语言控制热源的热流密度、移动速度以及扫描轨迹;研究了激光行程对烧结温度场的影响,扫描端点温度场的不对称及较大的温度梯度造成了端点球化现象;激光扫描线间的耦合作用使端点球化现象随扫描线的增加而逐渐显著。根据该程序得出的模拟结果和实验结果基本一致。     

一种新的射频仿真目标位置控制方法与软件研究

针对射频目标仿真系统中目标位置的控制，本文通过对国内外目标位置控制的常用方法进行研究，提出一种新的通用目标位置控制方法，该方法适用于任何天线分布的面阵。利用这种新的方法编写了基于三元阵天线阵面的射频仿真目标位置控制软件，实现对多目标在天线阵面上多种轨迹运动下的高速准确的定位，并能实时监视目标的运动状态和运动轨迹。     

正态分布可靠寿命经典近似限的改进

本文给出了正态分布可靠寿命的又一个经典近似下限，经验证，本文所给出的结果的精度比已有的结果精度要高，可提供给可靠性工程人员使用。     

可控环量帆翼在船舶上应用的研究

本文试验研究了一种可控环量帆翼,利用壁面切向喷流来移动帆翼圓尾缘分离点位置,可获得比普通帆翼更高的推力系数。文中介绍了展弦比为1的三维可控环量帆翼的试验研究。试验表明,这种可控环量帆翼在较小的喷流动量系数下,即可获得较大的升力增益。在喷流动量系数 C_μ=0.1时,零攻角升力系数已达0.9,在有攻角的情况下,升力系数最大可达2.2。同时,由于帆翼尾部壁面团向喷流的 Coanda 效应,这种可控环量帆翼的阻力亦较大。在喷流动量系数 C_μ=0.1时,零攻角阻力系数为0.3。文章对这种可控环量帆翼在船舶上的应用进行了讨论,并对其性能的进一步改进作了分析和探讨。     

中继卫星多址链路调度问题的约束规划模型及算法研究

中继卫星多址链路调度问题是中继卫星系统应用中必须解决的重要问题,其重要特点在于,中继卫星与用户航天器之间并非时时可见,因此通信任务存在可见时间窗口约束。只有在可见时间窗口内,通信任务才可能执行并完成。在进行合理假设的基础上,采用人工智能中的约束规划技术,建立中继卫星多址链路调度问题的约束规划模型,并提出了基于时间窗口期望值的多步迭代算法。应用结果表明,中继卫星多址链路调度模型的建立与求解是合理的。