【凡何约东系统最大归约理论及应用研究】陈立平.pdf
人唐学铭 严售琪 生群生.密级 余俊教授 学位授予日期 阅 华中理工大学 博士学位论文 几何约束系统最大归约理论及应用研究 博士生姓名陈立平 学科专业机械学 导师姓名周济教授 评 论文答辩日期/92/1.
摘要 几何约束满足问题(GCSP)研究是几何向题人工智能探索的重要组成,对先进CAD技术和 系统的发展及研制有重大的理论和实践意义.本文以图论、网络技术,自由度分析、矩阵理 论及面向对象的分析与综合方法为基础针对产品设计中的几何约束满足问题提出并建立了全 新的儿何约束传播理论算法体系-儿何约束最大归约理论MRA(MaximalReduction Algorithm)该理论首次在几何实体层次上阐述了儿何约束的最大分解(最大归约)本文口以面向对象的分析方法探讨了儿何约束系统的构成及表达.
22目录 -111- 1基于约束的设计系统研究综述 S1几何约束满足研究回顾 1基于代数表达的几何约束求解 S1基于推理的儿何满足研究回顾 S14基于几何构造过程的约束研究概述 1国外基于约束的参数化技术发展状况 1儿何约束满足研究展望及本文工作 第二章基于稀疏矩阵理论的约束系统分解 2基于变量的约束系统分解简述 2.