面向产品方案的形式化设计关键技术研究-机械设计及理论专业毕业论文.docxVIP

浙江大学博士学位论文；面向产品方案的形式化设计关键技术研究摘 浙江大学博士学位论文；面向产品方案的形式化设计关键技术研究 摘 要 针对产品方案设计中设计信息抽象性、模糊性和层次性等特点，提出了面 向产品方案的形式化设计理论和方法，对运动方案设计、装配方案设计、配置 方案设计以及设计方案重用中的关键技术进行了深入研究，并结合实际应用项 目将上述理论应用于实际产品开发中，取得了较好的效果，证明了作者所提设 计理论的正确性和先进性。 论文的主要工作包括： 第一章综述了产品方案设计发展历史和现状，指出了产品方案形式化设计 的必然性。阐述了产品方案形式化设计理论的主要思想和研究背景。 第二章提出了产品方案形式化设计的基本原理。分析了不同方案设计类型 的形式化设计步骤。给出了产品方案形式化设计的语言和和演绎方法。 第三章提出了运动功能到机构映射、机构映射到机构组合的层次运动方案 设计模型。运动功能层利用字符符号实现了运动方案设计过程和复杂机构运动 关系的抽象表达，机构映射层通过运动功能到机构和运动关系到机构组合关系 两个映射过程实现了字符符号到机构框架符号，以及机构框架符号到机构装配 单元符号的演变，机构组合层通过机构装配单元符号组合实现了运动方案设计 结果的直观表达。 第四章提出了产品装配方案的形式化设计方法。在功能分类的基础上，通 过功能到装配语义，装配语义到装配约束的形式化演绎(映射)方