节点文献
形式化方法在CAD中的应用研究
【机构】 南京邮电学院计算机科学与技术系；
【摘要】 产品设计方法的成功应用取决于其形式化设计理论的建立。本文从形式化定义和设计过程描述这两个方面研究了产品设计的形式化描述方法。文中提出了特征定义、特征表示的形式化方法,探讨了特征设计过程的操作性和过程性描述,并给出了相应的设计算法。为解决特征设计系统开发和运行缺乏统一方法学这一课题作了有益的尝试。
- 【会议录名称】 中国图象图形学会第十届全国图像图形学术会议（CIG’2001）和第一届全国虚拟现实技术研讨会（CVR’2001）论文集
- 【会议名称】中国图象图形学会第十届全国图像图形学术会议（CIG’2001）和第一届全国虚拟现实技术研讨会（CVR’2001）
- 【会议时间】2001-05
- 【分类号】TP391.72
- 【主办单位】中国工程图学学会