|
|
|
基于并行技术的几何自动推理中推理规则库建立的研究 |
|
论文目录 |
|
中文摘要 | 第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页 |
|
|
|
|
论文编号BS1238720,这篇论文共128页 会员购买按0.35元/页下载,共需支付44.8元。 直接购买按0.5元/页下载,共需要支付64元 。 |
|
|
我还不是会员,注册会员!
会员下载更优惠!充值送钱! |
我只需要这篇,无需注册!
直接网上支付,方便快捷! |
|
|
|
版权申明:本目录由www.jylw.com网站制作,本站并未收录原文,如果您是作者,需要删除本篇论文目录请通过QQ或其它联系方式告知我们,我们承诺24小时内删除。 |
|
|