[几何约束满足问题及面向冲模CADCAM的约束建模系统研究]石立农

【几何约束满足问题及面向冲模CADCAM的约束建模系统研究】石立农.pdf

DissertationSubmitted to AcademicDegrees Evaluation Committeeof Huazhong University of Science and Technology for the Degree of Doctor of Philosophy in Engineering Research on GCSP and Constraint-BasedModellingSystem Oriented to CAD/CAM ofBlankingDies Ph.D.ABSTRACT Constraint-based designsystemisnewgenerationof computer aideddesign system.As theessentialand Core techniqueof thesesystems,ProblemSolvingbased-on constrainshas drawmuchattention inCADresearch area at home andabroad inrecent years.誉目 摘要.ABSTRACT.LL 第一章绪论(1-19) S1约束满足一一个古老而又崭新的课题(1-3) S1约束建模一CAD技术发展的必然趋势(3-4) 81几何约束满足技术回顾(4-16) S1模具CAD/CAM与约束建模(16-18) 81课题来源及本文的目的意义(18-19) S1本文的主要工作(19-19) 第二章几何约束系统的约束度与自由度,(20-35) S2引言(20-20) S2几何元素及其自由度(20-26) 82几何约束及其约束度(26-33) S2几何子结构(33-34) 82.