PAS理论与应用
| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 第一章 绪论 | 第8-11页 |
| 1-1 研究背景及意义 | 第8-9页 |
| 1-1-1 研究背景 | 第8页 |
| 1-1-2 不确定推理 | 第8-9页 |
| 1-2 国内外研究现状 | 第9-10页 |
| 1-3 本文主要内容 | 第10-11页 |
| 第二章 PAS 理论基础 | 第11-22页 |
| 2-1 命题逻辑 | 第11-14页 |
| 2-1-1 命题、联结词与简单规则 | 第11-13页 |
| 2-1-2 命题公式及其解释 | 第13页 |
| 2-1-3 范式 | 第13-14页 |
| 2-2 命题论据系统 | 第14-16页 |
| 2-2-1 命题论据系统的定义 | 第14页 |
| 2-2-2 一致与不一致状态集合 | 第14-15页 |
| 2-2-3 支持状态的集合 | 第15页 |
| 2-2-4 最小项表达法 | 第15-16页 |
| 2-3 概率论据系统 | 第16-19页 |
| 2-3-1 概率论据系统的概念 | 第16页 |
| 2-3-2 支持度和似然度 | 第16-17页 |
| 2-3-3 支持度和似然度的计算 | 第17-19页 |
| 2-4 启发性矩阵边际化法 | 第19-22页 |
| 2-4-1 矩阵边际化思想 | 第19页 |
| 2-4-2 实现步骤 | 第19-20页 |
| 2-4-3 实例验证 | 第20-22页 |
| 第三章 PAS 与证据组合 | 第22-26页 |
| 3-1 证据组合理论 | 第22-24页 |
| 3-1-1 基本概念 | 第22页 |
| 3-1-2 bpa 函数和bel 函数 | 第22-23页 |
| 3-1-3 正则化 | 第23页 |
| 3-1-4 Dempster 组合规则 | 第23-24页 |
| 3-2 支持度的计算 | 第24-26页 |
| 3-2-1 划分算法 | 第24页 |
| 3-2-2 构造证据 | 第24-25页 |
| 3-2-3 证据的组合 | 第25-26页 |
| 第四章 局部计算 | 第26-36页 |
| 4-1 熔合算法 | 第26-27页 |
| 4-2 连接树理论 | 第27-28页 |
| 4-2-1 连接树的概念 | 第27页 |
| 4-2-2 连接树的构造 | 第27-28页 |
| 4-3 寻找最优的变量消去顺序 | 第28-32页 |
| 4-3-1 超图和超树 | 第28-29页 |
| 4-3-2 在超图中消去变量 | 第29-30页 |
| 4-3-3 几种启发性算法 | 第30-31页 |
| 4-3-4 一种新的启发性算法 | 第31-32页 |
| 4-4 局部计算 | 第32-35页 |
| 4-4-1 内传播算法 | 第32-33页 |
| 4-4-2 外传播算法 | 第33页 |
| 4-4-3 二叉树 | 第33-35页 |
| 4-5 并行计算的可行性 | 第35-36页 |
| 第五章 PAS 应用 | 第36-45页 |
| 5-1 ABEL 语言 | 第36-37页 |
| 5-2 故障诊断 | 第37-42页 |
| 5-2-1 问题描述 | 第37页 |
| 5-2-2 用ABEL 建模 | 第37-38页 |
| 5-2-3 问题求解 | 第38-42页 |
| 5-3 逻辑推理 | 第42-45页 |
| 5-3-1 问题描述 | 第42-43页 |
| 5-3-2 用ABEL 建模 | 第43-44页 |
| 5-3-3 问题求解 | 第44-45页 |
| 第六章 结论 | 第45-47页 |
| §6-1 总结 | 第45页 |
| §6-2 创新点 | 第45页 |
| §6-3 有待进一步研究的问题 | 第45-47页 |
| 参考文献 | 第47-50页 |
| 致谢 | 第50-51页 |
| 攻读学位期间所取得的相关科研成果 | 第51页 |
