基于逻辑方法的粒化理论
摘要 | 第1-5页 |
ABSTRACT | 第5-7页 |
第一章 绪论 | 第7-10页 |
·研究综述 | 第7-8页 |
·论文结构 | 第8-10页 |
第二章 粒的基本理论 | 第10-15页 |
·认知过程中的粒 | 第10-11页 |
·认知过程中的粒化 | 第11-12页 |
·粒的研究内容 | 第12-14页 |
·粒的四要素 | 第14-15页 |
第三章 逻辑语言L | 第15-21页 |
·逻辑语言L的形式化 | 第16-17页 |
·粒的结构分析 | 第17-19页 |
·内部结构 | 第18页 |
·整体结构 | 第18-19页 |
·层次结构 | 第19页 |
·两种粒子结构 | 第19-21页 |
第四章 粒化基本理论 | 第21-30页 |
·粒的形式化表示 | 第21-23页 |
·粒的抽象表示 | 第23-24页 |
·粒的逻辑形式 | 第24-26页 |
·粒空间的一般模型 | 第26-27页 |
·粒空间的逻辑运算 | 第27-28页 |
·粒子空间的代数结构 | 第28-30页 |
第五章 基于逻辑方法的粒计算 | 第30-39页 |
·论域上的公式 | 第30-31页 |
·粒的可满足性 | 第31-33页 |
·逻辑意义下粒计算的定义 | 第33页 |
·粒空间上抽象粒语法和语义的一点说明 | 第33-34页 |
·粒空间上公式的逻辑值 | 第34-35页 |
·逻辑空间中关于粒语义的推理 | 第35-37页 |
·粒语义推理的可靠性与完备性 | 第37-39页 |
第六章 基于粒计算的产品设计过程的优化 | 第39-41页 |
结语 | 第41-43页 |
参考文献 | 第43-45页 |
致谢 | 第45页 |