| 求解约束网络图的逆向推理方法 |
| |
| 引用本文： | 石立农,曾庆惠,李志刚.求解约束网络图的逆向推理方法[J].计算机应用与软件,2002,19(2):58-60. |
| |
| 作者姓名： | 石立农 曾庆惠 李志刚 |
| |
| 作者单位： | 1. 广州通信学院计算机教研室,广州,510500
2. 华中理工大学机械科学与工程学院,武汉,430072 |
| |
| 摘 要： | 本文研究了几何约束网络的求解问题。首先,介绍了常用的几何推理方法,指出了存在的问题。然后,提出了求解约束网络图的一种新方法——逆向推理方法,阐明了基本思想,并给出了应用实例。逆向推理方法继承了几何推理方法的优点,克服了其不足。
|
| 关 键 词： | CAD 几何推理 约束满足 约束传播 |
AN APPROACH TO THE CONSTRAINT NET GRAPH PROBLEM BY BACKWARD- REASONING METHOD |
| |
| Shi Linong Zen Qinghui.AN APPROACH TO THE CONSTRAINT NET GRAPH PROBLEM BY BACKWARD- REASONING METHOD[J].Computer Applications and Software,2002,19(2):58-60. |
| |
| Authors: | Shi Linong Zen Qinghui |
| |
| Abstract: | How to solve the geometric constraint net problem is discussed and advanced in this paper. Firstly, we analyzed the general geometric -reasoning method and pointed out where the deficiencies lie. Then, a new approach to the geometric constraint net graph problem is presented. This new method is based on the idea of backward- reasoning, by which the advantages of the general method have been carried on, while the deficiencies have been overcome. A case study is cited for the reasoning. |
| |
| Keywords: | CAD Geometric - reasoning Constraint satisfaction Constraint propagation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
