通过对制造系统虚拟仿真的需求进行分析，提出将“面向对象的分析方法、三维几何模型和仿真机制”统一起来的有向图仿真建模机制，详细讨论了虚拟仿真建模中涉及到的面向对象建模、图形化建模、运动建模和层次化建模等技术。

In order to present a reference for docking experiments of aerocraft on the ground, also to validate design and docking movement, an impact simulation should be adopted. For that, the customized uniform B-splines are utilized to model the contours of docking locks on planar moving. With this model, the colliding process of rigid-bodies, the unilateral constraint problems of contact and numerical methods of normal force are analyzed. In this paper, a real-time optimization algorithm for deciding contact points based on geometric engine is presented. By means of impact method, simulation results are illustrated including contact forces, kinetic energy and momentum of slave lock during docking. The dynamic modeling with contact-impact is implemented by simulation software DAMS, also the stable numerical integration result and reasonable data are obtained.

Product data management (PDM) is a new technique that is developed from database management system (DBMS) to manage the information and the associated procedure of a product. Many design engineers have employed PDM tools to coordinate and control access to documented versions of product designs. But it is still a focus of research efforts in industry and academic how to further build an eff icient and effective integrated product/process development environments (IPDEs) based on PDM to meet requirements of enterprises. This paper introduces the approach to design and implementation of an integrated CAD/CAPP system (IC2S) based on PDM. This system is an important compent of computer integrated manufacturing system in KELON Inc( Kelon-CIMS). It is mainly used to support for the design and development of the home electric appliances (HEA).

针对一般几何约束系统欠约束状态下约束分解的多态性，对相应的有向图强连通子图提出了进一步分解的二部图匹配自适应优化处理策略，给出了主要算法，实现了欠约束系统的优化分解，有利于一般几何约束系统快速求解。

A method of generating n-sided (n=3,5,6) G2 blending surfaces (except that the 3-sided blending surface is C0 continuous at the three vertexes and the 5-sided blending surface is C0continuous at a vertex) is presented in this paper. When this method is used to generate n-sided (n=3,5,6) G2 blending surfaces between the base surfaces, the base surfaces are expressed as n-sided (n=3,5,6) by reparameterising the base surfaces; then the n-sided (n=3,5,6) G2 blending surfaces are convex combinations of the base surfaces expressed as n-sided (n=3,5,6) surfaces. When the contact curves are arbitrary curves in the base surfaces, the regions near the contact curves in the base surfaces are reparameterised and expressed as n-sided (n=3,5,6) surfaces; then the n-sided (n=3,5,6) G2 blending surfaces are convex combinations of the reparameterised local base surfaces expressed as n-sided (n=3,5,6) surface styles. The shape of the n-sided (n=3,5,6) blending surfaces can be adjusted by changing the size of the reparameterised local base surfaces and the combination weights. An example of a 5-sided surface generated between an aerofoil, the body and the fringe surface of a missile is given.

传统的仿真建模技术不能满足对复杂生产制造过程进行仿真的要求。通过对生产制造系统结构特点及其运行方式的研究并结合面向对象的设计方法和虚拟仿真技术，给出了面向生产制造过程的三维可视化图形仿真建模机制及实现方法，该机制将应用在作者自主开发的面向制造过程仿真系统InteVss中。

提出了用基于物理的能量最小法构造四边域或n 边域融合过渡曲面的方法，特别是用于解决四边域管状封闭非周期性曲面和其他曲面间的过渡问题，和任意n 边域曲面和其他曲面间的融合问题。所提出的方法，只需给出边界法矢，将要求通过的约束线作为位置约束，即可构造G1连续的满足工程要求的融合过渡曲面。该融合过渡曲面的过渡区域较易控制，并且能满足一些工程约束。详细讨论了基于物理的能量最小法构造过渡曲面的原理及求解方法，并给出了飞行器的翼身融合过渡实例。

采用面向对象的分析方法。综合二、三维几何空间的几何约束系统之共性,进行了对象认定，建立了CBA（Constraint Broadcasting Automation）类系，并运用ObjectARX技术在AutoCADr14上实现了与平台无关的约束引擎CBA.

根据几何元素间的典型关系，提出多种将面邻接属性图分解为更小的子图的方法，如利用内环、夹在几个邻接面之间的环等来分解面邻接属性图，为提高识别的速度和稳定性，依次采用如下步骤：提取可识别的简单特征；根据序列的规则来区别未识别的子图并识别出复杂特征;最后用ACIS510中REM模块相应的函数检验所识别的特征，文中算法的有效性用NIST零件库中的标准测试零件予以验证。

Singularity analysis is an important subject of the geometric constraint salisfaction problem. In this paper, three kinds of singularites are described and corresponding identification methods are presented for both under-constrained systems and over-constrained systems. Another special but common singularity for nuder-constrained geometric systems, pseudo-singularity, is analyzed. Pseudo-dingularity is caused by a variety of constraint match-ing of under-constrained systems and can be removed by improving constraint distribution. To avoid pscudo-singularity and decidc redundant constraints adaptively, a differentatin algo-rithm is proposcd in the papar. Its correctncss and efficicncy have been validated through its practical applications in a 2D/3D geometric constraint solver CBA.