基于并行技术的几何自动推理中推理规则库建立的研究
| 中文摘要 | 第1-3页 |
| Abstract | 第3-17页 |
| 第1章 引言 | 第17-39页 |
| ·CAD的发展历史与趋势 | 第17-26页 |
| ·简介 | 第17-20页 |
| ·CAD系统的功能和研究内容 | 第20-21页 |
| ·CAD系统的发展历史 | 第21-22页 |
| ·我国 CAD技术现状 | 第22-24页 |
| ·S CAD系统的发展趋势 | 第24-26页 |
| ·智能 CAD的发展历史 | 第26-33页 |
| ·智能CAD的概念及背景 | 第26-27页 |
| ·智能CAD的历史回顾 | 第27-28页 |
| ·智能CAD的雏形─设计型专家系统 | 第28-30页 |
| ·智能CAD的研究领域 | 第30-31页 |
| ·智能CAD研究的基本问题 | 第31-32页 |
| ·智能CAD系统的研究方法 | 第32-33页 |
| ·几何自动推理技术的引入 | 第33-37页 |
| ·参数化设计 | 第33-35页 |
| ·什么是几何自动推理 | 第35-37页 |
| ·论文的结构 | 第37-39页 |
| 第2章 几何自动推理概述 | 第39-56页 |
| ·几何自动推理问题的形式描述 | 第39-46页 |
| ·几何元素和几何约束 | 第39-43页 |
| ·几何自动推理问题的定义及相关的概念 | 第43页 |
| ·几何自动推理问题的分类 | 第43-46页 |
| ·几何自动推理的主要方法 | 第46-55页 |
| ·基于数值计算的几何自动推理方法 | 第48-49页 |
| ·基于符号计算的几何自动推理方法 | 第49-51页 |
| ·基于图论的几何自动推理方法 | 第51-53页 |
| ·基于规则的几何自动推理方法 | 第53-55页 |
| ·本章小结 | 第55-56页 |
| 第3章 预备知识 | 第56-64页 |
| ·谓词 | 第56-61页 |
| ·谓词逻辑 | 第56-57页 |
| ·用谓词来表示几何约束 | 第57-61页 |
| ·产生式规则 | 第61-63页 |
| ·本章小结 | 第63-64页 |
| 第4章 基于并行技术的几何自动推理规则库的设计 | 第64-105页 |
| ·基于规则的几何自动推理的系统结构 | 第65-66页 |
| ·基于规则的单机几何自动推理专家系统 | 第66-75页 |
| ·专家系统的发展概述 | 第66-68页 |
| ·专家系统的基本原理 | 第68-69页 |
| ·正向推理机 | 第69-72页 |
| ·基于规则的单机几何自动推理专家系统实现原理 | 第72-75页 |
| ·几何自动推理中的推理规则 | 第75-92页 |
| ·构造规则的设计 | 第76-80页 |
| ·隐含规则的设计 | 第80-85页 |
| ·默认规则的设计 | 第85-87页 |
| ·推理过程出现的问题及解决方法 | 第87-88页 |
| ·谓词表示产生的问题及解决方法 | 第88-92页 |
| ·基于并行技术的几何自动推理规则库的设计 | 第92-104页 |
| ·黑板结构模型 | 第92-93页 |
| ·黑板结构模型的组成 | 第93-94页 |
| ·并行的可行性说明 | 第94-97页 |
| ·基于并行技术的几何自动推理规则库建立的系统结构 | 第97-98页 |
| ·基于并行技术的几何自动推理规则库建立的实现 | 第98-104页 |
| ·本章小结 | 第104-105页 |
| 第5章 算法实验结果与分析 | 第105-114页 |
| ·算法性能测试 | 第105-110页 |
| ·算法复杂度分析 | 第110页 |
| ·算法性能分析 | 第110-113页 |
| ·本章小结 | 第113-114页 |
| 总结与展望 | 第114-116页 |
| 致谢 | 第116-118页 |
| 攻读硕士学位期间所发表的论文 | 第118-119页 |
| 参考文献 | 第119-128页 |
| 独创性声明 | 第128页 |
| 学位论文版权使用授权书 | 第128页 |
