形式化方法在CAD中的应用研究

摘要：

产品设计方法的成功应用取决于其形式化设计理论的建立.本文从形式化定义和设计过程描述这两个方面研究了产品设计的形式化描述方法.文中提出了特征定义、特征表示的形式化方法,探讨了特征设计过程的操作性和过程性描述,并给出了相应的设计算法.为解决特征设计系统开发和运行缺乏统一方法学这一课题作了有益的尝试.

关键词： 产品造型 特征设计 形式化表示 CAD

作者: 王绍棣 孙知信 王汝传

作者单位: 南京邮电学院计算机科学与技术系

会议类型: 国内会议

会议名称: 第十届全国图像图形会议,第一届全国虚拟现实技术研讨会

会议地点: 宁波

会议语种:中文

页码: 409-410

在线出版日期: 2000-05-23（万方平台首次上网日期，不代表论文的发表时间）