声明
1 绪论
1.1 研究背景及问题的提出
1.2 研究方法与论文结构
1.3 拟解决的科学问题
2 相关理论及研究综述
2.1 知识元基础
2.2 Petri网基础理论
2.3 规则验证研究方法
3 基于知识元的突发事件情景表示
3.1 基于知识元的情景表示
3.2 突发事件案例表示
3.3 突发事件推演规则表示
4 基于Petri网的推演规则结构错误验证方法
4.1 基于Petri网推演规则表示
4.2 推演规则结构错误
4.3 推演规则结构错误验证方法
4.4 方法验证
5 基于案例的突发事件推演规则验证方法
5.1 推演规则验证总体架构
5.2 情景规则匹配
5.3 情景案例匹配
5.4 推演规则验证
5.5 实例验证
结论
参考文献
攻读硕士学位期间发表学术论文情况
致谢