几何约束系统推理研究
An Approach to Geomerical Constraint Reasoning作者机构:机械科学与工程学院华中理工大学机械科学与工程学院
出 版 物:《华中理工大学学报》 (Journal of Huazhong University of Science and Technology)
年 卷 期:1995年第23卷第6期
页 面:70-74页
核心收录:
学科分类:1305[艺术学-设计学(可授艺术学、工学学位)] 13[艺术学] 07[理学] 08[工学] 080203[工学-机械设计及理论] 081304[工学-建筑技术科学] 070104[理学-应用数学] 0802[工学-机械工程] 0813[工学-建筑学] 0701[理学-数学] 080201[工学-机械制造及其自动化]
摘 要:融约束网络、自由度分析及图理论为一体,提出了一套关于几何约束满足问题的最大归约算法体系。最大归约理论首次揭示了几何约束系统内在的串、并、耦合机制,为几何约束推理提供了新的方法。