本体诊断中的对偶并行化和分支限界

目录

声明

第1 章 绪论

1.1 研究背景与意义

1.2 国内外研究现状

1.3 本文主要研究内容

1.4 本文的组织结构

第2 章 本体与本体诊断

2.1 本体语言

2.2 本体诊断相关基本概念

2.3 本体诊断与并行化

2.3.1 基于MIPS的HST方法

2.3.2 直接计算诊断的Inv-HST方法

2.4 本章小结

第 3 章 基于对偶性的并行化本体诊断方法

3.1 研究动机

3.2 基于对偶性的本体诊断方法

3.2.1 MIPS与MTD的碰集对偶性

3.2.2 基于对偶性的本体诊断方法

3.4 本章小结

3.3 对偶性本体诊断方法的并行化

第4 章 基于分支限界的本体诊断方法

4.1 研究动机

4.2 不相交MIPS覆盖

4.3 分支限界算法

4.3.1 分支

4.3.2 限界

4.3.3 分支限界算法的设计与实现

4.4 本章小结

第 5 章 实验与分析

5.1 实验环境

5.2 实验数据

5.3 评价标准

5.4 实验结果分析

5.4.1 计算所有极小诊断实验结果分析

5.4.2 计算一个最小基数诊断实验结果分析

5.5 本章小结

第 6 章 总结与展望

6.1 总结

6.2 展望

参考文献

作者简介及科研成果

致谢