logo
教育论文中心  教育论文中心   广告服务  广告服务   论文搜索  论文搜索   论文发表  论文发表   会员专区  会员专区   在线购卡   在线购卡   服务帮助  服务帮助   联系我们  联系我们   网站地图  网站地图   硕士论文  会员专区   博士论文
当前位置:教育论文中心首页--硕士论文--基于并行技术的几何自动推理中推理规则库建立的研究
博硕论文分类列表
工业技术 交通运输 农业科学
生物科学 航空航天 历史地理
医学卫生 语言文字 环境科学
综合图书 政治法律 社会科学
马列主义、毛泽东思想 艺术
数理科学和化学 文学
天文学、地理科学 军事
文化科学、教育体育 经济
自然科学总论 哲学
查看更多分类
 
论文搜索
 
 
相关论文
镉抗肿瘤作用及其相关机制的研究
山西古村落聚落文化研究
普适模糊推理系统理论及应用
基于格值逻辑α-多元线性归结自
基于格值逻辑语言真值α-广义锁
基于身份公钥密码系统研究
水情电报翻译研究
中国私募股权投资估值问题研究
基于情境认知英语教学模式研究
针刺土工织物垂直渗透率理论研究
球面调和在模型检索应用
CBR-RBR融合推理模型构建及
基于信息技术企业战略管理平台理
基于混合推理技术蚜虫危害诊断与
面向对象软件测试技术研究
过失相抵规则在特殊侵权适用过
推理闭包系统确定
名字路由协议研究与实现
大港油田钻井液完井液优化设计研究
基于智能融合模型心脏病急救决策
中国-新西兰自由贸易协定原产地规
大规模并行化语义规则推理技术研究
面向多核并行模式及编译优化技术
基于知识工程和Agent理论
钻井液优化设计软件研制
面向涉密企业数字内容安全管理系统
基于身份公钥体系安全电子邮件系
基于风险检测(RBI)在海底管
钢筋混凝土框架结构整体概率抗震
基于属性密码技术研究
多授权中心基于属性签名及加密算
基于任务和角色加密CAD模型
基于双线性配对公钥加密和签密方
农资电子商务智能推荐模型研究
基于内容视频拷贝检测算法研究
基于图像点云模型建造及其在环境
通用图像检索系统和高维索引技术
现代企业工资制度比较分析与合理选
应用Bayesian网处理基于
基于数学思考几何证明教学研究-
基于并行处理超高速采样系统研究
基于并行技术几何自动推理构造
基于WAP交通事故智能处理系统
地质专家系统设计与实现
 
科目列表
市场营销 管理理论 人力资源
电子商务 社会实践 先进教育
伦理道德 艺术理论 环境保护
农村研究 交通相关 烟草论文
电子电气 财务分析 融资决策
电影艺术 国学论文 材料工程
语文论文 数学论文 英语论文
政治论文 物理论文 化学论文
生物论文 美术论文 历史论文
地理论文 信息技术 班主任
音乐论文 体育论文 劳技论文
自然论文 德育管理 农村教育
素质教育 三个代表 旅游管理
国际贸易 哲学论文 工商管理
证券金融 社会学 审计论文
会计论文 建筑论文 电力论文
水利论文 园林景观 农林学
中医学 西医学 心理学
公安论文 法学法律 思想汇报
法律文书 总结报告 演讲稿
物业管理 经济学 论文指导
计算机 护理论文 社会调查
军事论文 化工论文 财政税收
保险论文 物流论文 语言教育
教育教学 给水排水 暖通论文
结构论文 综合类别 硕士论文
博士论文    
 
 
基于并行技术的几何自动推理中推理规则库建立的研究
 
     论文目录
 
中文摘要第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小时内删除。
 
 
| 会员专区 | 在线购卡 | 广告服务 | 网站地图 |
版权所有 教育论文中心 Copyright(C) All Rights Reserved
联系方式: QQ:277865656 或写信给我