几何因果定性推理的基本原理和算法
作者:
基金项目:

本文研究得到国家自然科学基金资助.


PRINCIPLES AND ALGORITHMS FOR CAUSAL QUALITATIVE REASONING OF GEOMETRIC OBJECTS
  • 摘要
  • | |
  • 访问统计
  • |
  • 参考文献 [1]
  • |
  • 相似文献 [20]
  • |
  • 引证文献
  • | |
  • 文章评论
    摘要:

    因果定性推理是一种通过分析描述物理系统行为和关系的约束找出系统内部各个成分之间的因果结构的推理方法.本文提出一种基于约束和变量分析的因果定性分析模型和算法.该方法在产品设计中有广泛的应用,利用这个模型和算法可较好地解决参数化设计中的几何推理问题,还可用作概念设计的工具,用于完成复杂系统设计任务的划分及定序、设计变量之间相互依赖关系分析等工作.算法具有应用性强、效率和稳定性好、支持欠约束和多解问题等优点.

    Abstract:

    Causal qualitative reasoning is aimed to explore the causalities betweencomDonents in a system by analyzing the descriptions for physical behaviors and relation-shiDs of the system.This paper presents a model and algorithms of causal qualitative reasoning based 0n constraint and variable analysis.The result can be widely applied to many aspects of product design systems,such as parametric design by geometric reason-ing,decomposition of complex design tasks and dependency analysis of design parameters.The algorithms have advantages in applicability,efficiency,robustness and ability to deal with 11nder-constrained conditions in a constraint system.

    参考文献
    1 Light L,Gossard D.Modification of geometric models through variational geometry.Computer-Aided Design, 1982,14(4):209~214. 2 Lee K,AndrewS G.Inference of the positions of components in an assembly:part 2.Computer Aided Design, 1985,17(1):20~24. 3 Rocheleau D N,Lee K.Systern for interactive assembly modeling.Computer-Aided Design,1982,14(4):65~72· 4 Aidefeld B.Variation of geometries based on a geometric-reasoning method.Computer-Aided Design,1988,20 (3):117~126. 5 Sunde G.Specification of shape by dimensions and other geometric constraints.In:Wozny M J,Encarnacao J L eds.Geometric Modeling for CAD Applications,North Holland,1988.199~213. 6 Suzuki H,Ando H, Kimura F.Geometric constraints and reasoning for geometrical CAD systems. Computer & Graphics,1990,14(2):211~224. 7 Verroust A,Schonek F,Roller D. Rule-oriented method for parameterized computer-aided design. Computer- Aided Design,1992,24(10):531~540. 8 Yamaguchi Y,Kimura F.A constraint modeling system for variational geometry.In:Wozny M J, Turner J U. Preiss K eds.Geometric Modeling for Product Engineering,North Holland,1990.221~223. 9 K0ndo K.A1gebraic method for manipulation of dimensional relationships in geometric models. Computer-Aided Design,1992,24(3):141~147. 10 Buchanan S A,Pennington A de.Constraint definition system:a computer-algebra based approach to solving geometric-constraint problems.Computer-Aided Design,1993,25(12):741~750. 11 Dechter R,Peal J.Network-based heuristics for constraint-satisfaction problems.Artificial Intelligence,1987,34 (1):1~38. 12 葛建新,彭群生,董金祥等.基于约束的形状自动求解新算法.计算机学报,1995,18(2):114~126. 13 石纯一,陈见,赵永等.定性推理进展.第二届中国人工智能联合学术会议,1992,128~133. 14 蔡勇,石纯一.定性推理中一种因果分析方法.模式识别与人工智能,1995,8(3):33~42. 15 Base S.Computer aIgorithms:introduction to design and analysis.New York:Addison-Wesley Company,1978.
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

葛建新,杨莉.几何因果定性推理的基本原理和算法.软件学报,1997,8(4):308-315

复制
分享
文章指标
  • 点击次数:3487
  • 下载次数: 4880
  • HTML阅读次数: 0
  • 引用次数: 0
历史
  • 最后修改日期:1996-06-20
文章二维码
您是第19868246位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号