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

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

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

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

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

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

HyCAD：一个基于结构化变分几何的变参设计系统

ＨｙＣＡＤ是一个支持参数化的新一代设计系统，它根据对实际工程设计过程的分析，将设计对象分解为主元与从元两大部分，并结合了变分法设计和结构化设计的优点，从而提高了设计效率的可靠性。本文主要介绍了该系统的基本设计思想及系统体系结构。     

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

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

STEP标准数据库实现方式的研究

本文介绍ＳＴＥＰ标准的一种数据库实现方式，它基于作者自主开发的面向对象数据库管理系统－ＯＳＣＡＲ系统。文章从系统环境、数据类型、映射规则、操作、一致性、语言联编等六个方面概要阐述了ＳＴＥＰ标准数据库实现方式，并说明了它和ＳＴＥＰ中性文件、ＳＤＡＩ两种实现方式的关系。     

非数值化产品形位描述模型

传统的形状及位置表示模型通常是建立在低层次的无应用意义的几何拓扑元素之上，因而无法很好地支持计算机辅助设计（ＣＡＤ）向实用化和智能化方向发展。本文提出了一种非数值化的基于约束的产品形位描述模型，并对该模型中存在的一些问题进行了深入的讨论。该模型符合设计人员实际设计思维与过程，同时也支持高层次产品设计信息以及产品的设计过程信息，因而为传统ＣＡＤ系统向新一代实用化智能化ＣＡＤ系统过渡提供了一个良好的产品形位表示模型。     

绍兴轻纺区域网络化制造系统研究

针对绍兴轻纺区域对网络化制造的需求，提出了面向该区域的网络化制造系统总体设计方案，通过基于Web Service的企业应用集成模型实现这些平台和服务间的集成。该系统的实施采用应用服务提供商模式，具体实施过程中选择绍兴生产力促进中心作为应用服务提供商负责维护和运营网络化制造系统，并采用一个三级用户访问控制模型管理各企业用户对系统的访问和使用。最后，在充分考虑系统可扩展性和安全性的基础上，给出了该系统的物理结构方案。按照该方案设计的网络化制造系统已经在绍兴轻纺区域的一些企业投入运行，对整个轻纺区域及其他区域的发展都起到了很好的指导和示范作用。     

基于随机线性最优控制理论的车辆主动悬架控制器的设计研究

在基于1/4车辆单轮模型的基础上,笔者利用随机线性最优控制理论对车辆主动悬架LQG控制算法进行设计,建立LQG主动悬架与相同参数的被动参数的动力学的仿真模型,并对模型进行仿真分析.仿真实验结果表明,LQG随机最优控制方法能使汽车行驶的平顺性及安全性得到显著改善,在主动悬架控制技术中值得推广.     

基于多库的协同文档管理系统的研究

复杂产品的研制和开发通常需要经过若干个阶段，每个阶段对文档数据的管理要求各不相同，传统的协同文档管理系统忽略了这个事实。针对上述问题，提出了库的概念，作为存储和管理文档数据的基本逻辑单位。基于工作流给出库迁移模型，实现文档数据在库之间的自动流转，解决文档跨域协同设计问题。提出了基于项目和库的逻辑和物理全分布数据存储方案，可满足海量数据存储和不同设计阶段的数据安全管控要求。这些方法适用于支持复杂产品的协同设计的文档管理系统的研制与开发。