1 绪论 1
1.1 我国煤矿安全现状 1
1.2 物联网技术的发展 2
1.3 本体论 6
1.4 多智能体理论 15
2 基于本体的煤矿事故预警知识库模型框架设计 22
2.1 引言 22
2.2 概念界定 22
2.3 时空条件下基于危险源的事故致因机理分析 31
2.4 煤矿事故预警知识库框架设计 34
3 事故预警时空模型设计与逻辑分析 39
3.1 引言 39
3.2 事故致因时间模型设计 39
3.3 事故致因的时态逻辑分析 44
3.4 事故致因空间模型设计 51
3.5 事故致因空间逻辑分析 53
3.6 时空事故树分析法设计 65
4 事故预警本体构建 70
4.1 引言 70
4.2 事故致因本体模型 70
4.3 时间本体构建 71
4.4 空间本体构建 81
4.5 煤矿风险本体构建 89
4.6 时空事故树本体构建 100
5 事故预警推理算法设计 107
5.1 引言 107
5.2 描述逻辑推理算法设计 108
5.3 时间推理算法设计 112
5.4 空间推理算法 120
5.5 时空事故树预警推理算法设计 125
6 事故预警仿真 137
6.1 引言 137
6.2 仿真平台架构设计 137
6.3 时空事故树模块设计 140
6.4 多智能体仿真系统设计 154
6.5 具体事故预警仿真应用程序 170
7 结论与建议 179
7.1 研究结论 179
7.2 创新点 179
7.3 政策建议 180
7.3 研究展望 181
参考文献 183
附录1空间拓扑关系推理组合表 193
附录2时空事故树文件Schema 205