文献类型：期刊文章

作　　者：蒋鲲[1] 高小山[2] 岳晶岩[2]

机构地区：[1]黑龙江大学理学院,黑龙江哈尔滨150080 [2]中国科学院数学机械化重点实验室,北京100080

出　　处：《软件学报》

基　　金：国家重点基础研究发展规划(973);数学天元青年基金;中国科学院院长基金~~

年　　份：2003

卷　　号：14

期　　号：12

起止页码：2092-2097

语　　种：中文

收录情况：AJ、BDHX、BDHX2000、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、EI、IC、INSPEC、JST、MR、RCCSE、SCOPUS、ZGKJHX、ZMATH、核心刊

摘　　要：在参数化CAD设计中,设计者常常遇到判断一个参数化模型是欠、过和完整约束的问题.针对这个问题,提出了一个判断参数化模型的欠、过和完整约束性的图论算法.该算法不仅能够给出判断,同时还能够对欠和过约束的情形进行定位,即能够给出欠和过约束发生的具体位置.这给设计者在设计过程中提供了很大的方便.

关 键 词：参数化CAD 几何约束求解 偶图 DM分解  最大匹配  

分 类 号：TP391]