基于特征的三维参数化产品造型系统ZD－MCAD Ⅱ

本文介绍了浙江大学人工智能研究所在产品造型研究基础上完成的一个面向机械产品设计的实用化计算机辅助设计（ＣＡＤ）系统ＺＤ－ＭＣＡＤⅡ。首先我们结合实际从事ＣＡＤ系统的经验提出了一套开发实用化、商品化ＣＡＤ系统的设计方法学，然后介绍了ＺＤ－ＭＡＣＤⅡ的系统结构以及总体功能，并就某些重要的模块的结构及实现进行了广泛的讨论。     

ZD－MCADⅡ：一个基于特征的造型系统

ＺＤ－ＭＣＡＤⅡ是一个面向机械产品的特征造型系统，它结合了传统造型与特征造型的功能，同时也结合了特征识别与提取的功能。本文对本系统的功能及体系结构作了较为详细的介绍，并着重讨论了基于空间约束的特征编辑与特征库的实现方案。其原型系统已完成     

基于全局模型的产品特征造型系统

基于特征的设计在当今ＣＡＤ／ＣＡＭ技术中扮演了十分重要的角色，本文以我们自行开发的面向机械产品设计的参数货物上造型系统ＺＤ－ＭＣＡＤⅡ＾〔１〕为背景，介绍了ＺＤ－ＭＣＡＤⅡ中的全局产品数据模型，给出了特征及其依赖的描述方法，特征依赖以半序网的形式表示，设计特征与制造特征通过特征映射实现统一。文章对于产品模型的建立及特征形成规则与特征重构都作了详细的分析。     

基于锁集合算法的增强型数据竞争检测方法

针对锁集合算法误报率高的缺点,采用增强型数据竞争检测方法对锁集合算法及算法实现两方面进行改进.增强型锁集合算法提出了更强必要条件的检测算法.该算法通过分析线程结束情况和理解变量的线程信息,精化数据竞争检测条件.算法实现采用系统体系结构扩展的方法,通过扩展锁表部件,将集合操作精确映射到位图操作,进一步提高检测精度和减少误报.实现了无干扰免插桩检测技术,避免了二进制代码插桩带来的干扰性和不确定性问题.与同类系统的对比实验结果表明,该方法能够有效地将误报率减小到0.67,并且具有很高的检测效率.     

基于相位场模型的提花织物图像分割算法

将相变理论中的相位场模型引入到图像分割建模中,并对经典相位场模型进行改进,提出一种基于相位场模型的提花织物图像分割算法.算法采用有限元逼近和自适应网格调整技术对模型进行数值求解;采用一阶拉格朗日有限元对模型进行空间离散、半隐式欧拉格式进行时间离散.为了提高有限元网格单元对图案内容的表征能力,采用网格优化策略对网格单元进行自适应调整.采用后置误差估测子对逼近解和初始解间的局部和全局误差值进行定量计算,自适应调整策略利用该估测值调整网格剖分结构的细密度,从而提高网格单元对图案的表征效果.对人工合成图像和提花织物图像的分割实验结果表明了算法的有效性.     

非正则精确模型的布尔操作

为了加强造型系统的表达能力,实现对线框模型、曲面模型和实体模型的统一表示和操作,该文采用非正则精确模型作为几何对象表示的数据结构,并给出了相应的布尔操作实现算法,在保证效率和精确性的同时确保鲁棒性是算法的目标.作为一个特征造型系统的几何核心,该算法已经在基于NT平台的特征造型系统GS-CAD98中实现.     

卡通风格雨的实时模拟

提出一种硬件加速的算法模拟三维场景中的卡通风格雨,利用图形处理器的并行性和可编程性实现了实时交互．该算法采用碰撞检测、定制纹理及旋转point sprite的方法模拟雨点的泼溅效果;基于牛顿动力学自由地控制雨点粒子的运动,以模拟风力作用的效果,还可以使用不同纹理或改变point sprite大小,动态地控制雨点的大小．实验结果表明：该算法可有效地解决复杂地理环境中卡通风格雨的实时模拟问题．     

基于特征的三维参数化产品造型系统ZD—MCADⅡ

本文介绍了浙江大学人工智能研究所在产品造型研究基础上完成的一个面向机械产品设计的实用化计算机辅助设计（ＣＡＤ）系统ＺＤ－ＭＣＡＤⅡ。首先我们结合实际从事ＣＡＤ系统的经验提出了一套开发实用化，商品化ＣＡＤ系统的设计方法学，然后介绍了ＺＤ－ＭＣＡＤⅡ的系统结构以及总体功能，并就某些重要的模块的结构及实现进行了广泛的讨论。     

基于约束的装配体技术

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

虚拟环境中的产品装配技术

 利用虚拟环境作为人机界面来协助用户完成产品的装配活动是一个新的研究方向。本文主要介绍了在虚拟环境中进行产品装配所采用的一些技术,并着重讨论了虚拟装配的关键内容－虚拟装配规划系统的结构、功能、优点和存在问题。最后还了一个典型系统＝虚拟装配设计环境ＶＡＤＥ的体系结构和主要特点。