变参绘图系统中约束求解的新思路

为变参绘图系统中的约束求解提供了一个新思路。采用该思路，不但可以通过分解和排序来提高求解速度，而且可以通过快速地指出约束不足和约束过载来提高灵活性和可靠性。文中详细介绍了该思路的原理，并给出了相应的算法。  

求解TSP问题的一种改进的遗传算法

TSP问题是典型的NP完全问题，遗传算法是求解NP完全问题的一种理想方法。文章针对解决TSP问题，提出使用改进的遗传算法，即用浓度控制选择策略以保证群体的多样性，用贪婪交叉算子和启发式倒位变异算子来提高算法的收敛速度，较好地解决了群体的多样性和收敛速度的矛盾。算法的分析和测试表明，该文算法的改进是有效的。  

基于约束的装配体技术

本文首先给出了装配体的数学模型与表示模型。系统采用二叉树来表示一个装配体，接着提出了基于约束表示的装配体位置关系的描述方法，约束通过转化以方程的形式求解，并对Ｎｅｗｔｏｎ迭代法提出了改进算法。  

STEP特征模型及其在集成环境中的应用研究

从STEP特征模型、CAD／CAPP特征建模、STEP工具集的构造、模型映射等角度，论述了STEP技术在CIM领域的应用，在此基础上，阐述了“即插即用”的特征映射及信息集成技术，并讨论了一种在STEP工具集的支持下，以独立于具体系统的方式实现CAD／CAPP特征信息集成的方法。  

基于曲面模型的IGES前后置处理器的设计

符合ＩＧＥＳ标准的曲面模型的输入和输出是大多数ＣＡＤ系统必备的数据接口之一，本文设计了一种基于裁剪ＮＵＲＢＳ曲面片的ＩＧＥＳ曲面模型的前后置处理器，并 详细讨论了Ｂｒｅｐ表示的实体模型和曲面模型的相互转换，在曲央模型到实体模型转换中使用了基于ｏｐｅｎ ｅｄｇｅ结构的曲面拓扑信息重建技术。  

基于模板的自顶向下并行装配设计

在分析产品设计系统的装配功能的基础上，提出了一个并行装配设计模式及装配模板与模板实例化的概念；在处理装配约束的虚拟表示与实例表示概念，使得系统具有了支持自顶向下和自底向上２种设计方法的能力。该方法已被成功地应用于参数化特征造型系统ＺＤ－ＭＣＡＤＩＩ中，证明了基于装配模板基础上的装配设计方法法能在零件设计级上有效地支持并行设计。  

基于遗传模拟退火算法的不规则多边形排样

将遗传授拟退火算法应用于计算机辅助排样领域，设计了一种基于遗传模拟退火技术的启发式排样算法．该算法能够处理不规则多边形的排样问题；同时，给出一种对象的几何表达方式，可以忽略高度不规则形状带来的复杂性影响．该算法通过基于遗传模拟退火算法的全局优化概率搜索，寻找排样件在排样时的最优次序及各自的旋转角度，然后采用基于左下角(BL)策略的启发式排样算法实现自动排样．  

两种空间约束求解算法

进行了3个方面的研究：(1)对由3点3面组成的空间约束系统进行了几何分析和推导，并且利用数值解验证了几何分析和推导的正确性，从而进一步完善了Hoffmann提出的基于图构造方法的约束求解方法；(2)将遗传模拟退火算法结合于空间约束求解中，有效地克服了基于图构造方法的可扩展性差的缺陷，并可以解决过约束和欠约束的情况；(3)应用遗传模拟退火算法对3点3面约束系统进行求解，分析比较了基于图构造方法和基于遗传模拟退火算法两种约束求解算法．  

Agent通信语言KQML的实现及应用

论文针对KQML语言规范的新变化和实际应用领域的需求,提出了一系列面向Agent通信的KQML实现算法,初步实现了一个较完整的新KQML语言解释器,并将其应用于医疗保健顾问系统中的多Agent通信,收到了较好效果。  

基于约束的形状自动求解新算法

基于约束的产品形状描述及求解是目前计算机辅助设计研究的一个热点。本文在研究国内外现有技术的基础上，提出了一个基于约束的形状自动求解算法，该算法与国内外现有相关算法相比具有高效、实用、易于扩充，支持约束有效性检测，支持局部优化生成等显著优点，该算法已被实用系统所采用，成为我们最新研制的参数化二维草图系统的核心算法。