面向对象的广义空间逻辑运算模型与推理研究
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-8页 |
| 论文导图 | 第8-15页 |
| 第一章 绪论 | 第15-28页 |
| ·引言 | 第15-16页 |
| ·逻辑学的研究与发展 | 第16-21页 |
| ·逻辑学的发展状况 | 第16-17页 |
| ·泛逻辑学的基本要素 | 第17-20页 |
| ·信息时代的发展方向 | 第20-21页 |
| ·面向对象的发展与应用 | 第21-23页 |
| ·面向对象的基本思想 | 第21-22页 |
| ·面向对象的国内外现状 | 第22页 |
| ·面向对象的特征概念 | 第22-23页 |
| ·本文的研究内容与创新点 | 第23-27页 |
| ·课题的目的与意义 | 第23-24页 |
| ·研究思路与内容组织 | 第24页 |
| ·课题的创新性分析 | 第24-27页 |
| ·小结 | 第27-28页 |
| 第二章 逻辑基础与OGSLOM模型 | 第28-45页 |
| ·泛逻辑与相关性推理 | 第28-33页 |
| ·广义相关性 | 第28-30页 |
| ·广义自相关性 | 第30-31页 |
| ·相关性推理与柔性控制 | 第31-33页 |
| ·广义NT范数与运算模型 | 第33-40页 |
| ·广义NT范数 | 第33-35页 |
| ·广义NT性生成元 | 第35页 |
| ·泛逻辑运算模型 | 第35-40页 |
| ·面向对象的广义空间逻辑运算模型 | 第40-44页 |
| ·复杂系统的相关性推理 | 第40-41页 |
| ·OGSLOM模型的提出 | 第41页 |
| ·OGSLOM模型的组成 | 第41-44页 |
| ·小结 | 第44-45页 |
| 第三章 面向对象的广义空间逻辑分析 | 第45-60页 |
| ·面向对象的广义空间逻辑的必要性 | 第45-48页 |
| ·空间相关性推理的需要 | 第45-46页 |
| ·广义基空间推理的需要 | 第46-47页 |
| ·面向对象集成推理的需要 | 第47-48页 |
| ·面向对象的广义空间逻辑概念 | 第48-51页 |
| ·“广义空间”基本含义 | 第48-49页 |
| ·“广义相关性”的概念 | 第49-50页 |
| ·“面向对象逻辑”思想 | 第50-51页 |
| ·面向对象的逻辑系统分析 | 第51-59页 |
| ·逻辑系统中的类与对象 | 第51-53页 |
| ·类描述的格式与内容 | 第53-55页 |
| ·逻辑对象的属性设计 | 第55-59页 |
| ·小结 | 第59-60页 |
| 第四章 面向对象的广义空间逻辑运算模型 | 第60-90页 |
| ·逻辑推理中的相关性 | 第60-63页 |
| ·泛逻辑中的相关性 | 第60-61页 |
| ·顶天花板问题 | 第61-62页 |
| ·空间位置相关性 | 第62-63页 |
| ·面向对象的广义空间逻辑运算模型 | 第63-75页 |
| ·面向对象的广义空间逻辑运算模型 | 第63-64页 |
| ·OGSLOM连接词的统一表达 | 第64-65页 |
| ·真值向量的表达方式 | 第65-68页 |
| ·空间图像的区间数表达 | 第68-70页 |
| ·升空变换与落影变换 | 第70-71页 |
| ·基于区间数的命题逻辑运算 | 第71-72页 |
| ·空间逻辑运算的形式化 | 第72-75页 |
| ·面向对象的广义空间逻辑运算的实现方法 | 第75-84页 |
| ·空间逻辑运算的实现步骤 | 第75-77页 |
| ·基于区间数的命题级逻辑运算实现算法 | 第77-80页 |
| ·基于象素点的空间图像的逻辑运算 | 第80-82页 |
| ·基于象素点的谓词级逻辑运算实现算法 | 第82-84页 |
| ·OGSLOM模型应用示范 | 第84-89页 |
| ·顶天花板问题的求解 | 第84-86页 |
| ·灰度图像的广义空间逻辑运算 | 第86-87页 |
| ·OGSLOM中的DeMorgan定理 | 第87-89页 |
| ·小结 | 第89-90页 |
| 第五章 面向对象的广义推理规则 | 第90-108页 |
| ·广义连接词的生成规则 | 第90-95页 |
| ·生成基规则 | 第90-92页 |
| ·生成元规则 | 第92-93页 |
| ·拓序规则 | 第93-94页 |
| ·基空间变换规则 | 第94-95页 |
| ·面向对象的广义推理规则 | 第95-100页 |
| ·永真蕴涵规则 | 第95-96页 |
| ·永真等价规则 | 第96-99页 |
| ·平均组合规则 | 第99-100页 |
| ·面向对象的信任逻辑推理规则 | 第100-107页 |
| ·Kailar逻辑推理规则 | 第100-103页 |
| ·BAN逻辑推理规则 | 第103-105页 |
| ·信任逻辑中的相关性 | 第105-107页 |
| ·小结 | 第107-108页 |
| 第六章 广义连接词的神经元封装模型 | 第108-133页 |
| ·逻辑神经元研究现状 | 第108-113页 |
| ·传统的神经元模型 | 第108页 |
| ·模糊逻辑神经元 | 第108-110页 |
| ·基于T范数的神经元 | 第110-113页 |
| ·广义连接词的封装与神经元 | 第113-118页 |
| ·多属性命题对象的封装 | 第113-114页 |
| ·连接词对象的封装模型 | 第114-115页 |
| ·广义空间逻辑神经元统一模型 | 第115-116页 |
| ·基础神经元与常用子神经元 | 第116-118页 |
| ·广义连接词的逻辑神经元模型 | 第118-129页 |
| ·广义非运算神经元模型 | 第118-119页 |
| ·广义与运算神经元模型 | 第119-121页 |
| ·广义或运算神经元模型 | 第121-122页 |
| ·广义蕴涵运算神经元模型 | 第122-124页 |
| ·广义等价运算神经元模型 | 第124-125页 |
| ·广义平均运算神经元模型 | 第125-126页 |
| ·广义组合运算神经元模型 | 第126-129页 |
| ·关于广义连接词神经元的分析 | 第129-132页 |
| ·广义神经元在[0，1]上的具体形式 | 第129-130页 |
| ·广义神经元中h，k的影响情况 | 第130-132页 |
| ·小结 | 第132-133页 |
| 第七章 OGSLOM系统仿真与应用研究 | 第133-150页 |
| ·仿真系统的设计与开发 | 第133-138页 |
| ·仿真界面与功能设计 | 第133-134页 |
| ·命题对象及属性管理 | 第134-137页 |
| ·广义神经元模型仿真 | 第137-138页 |
| ·分形图像的空间逻辑运算 | 第138-144页 |
| ·分形图像及分形维数 | 第138-139页 |
| ·分形图像的空间逻辑运算仿真 | 第139-141页 |
| ·分形图像的空间逻辑运算步骤 | 第141-144页 |
| ·分形图像中OGSLOM应用研究 | 第144-149页 |
| ·分形图像的空间逻辑连接词 | 第144-145页 |
| ·图像的空间逻辑运算示范 | 第145-146页 |
| ·复杂图像的逻辑运算应用 | 第146-149页 |
| ·小结 | 第149-150页 |
| 第八章 总结与展望 | 第150-153页 |
| ·本文的工作总结 | 第150-151页 |
| ·今后的研究方向 | 第151-153页 |
| 参考文献 | 第153-163页 |
| 博士期间发表的文章与科研实践 | 第163-166页 |
| 致谢 | 第166-167页 |
