基于工作流网的过程挖掘算法研究
| 摘要 | 第1-5页 |
| Abstract | 第5-10页 |
| 第1章 绪论 | 第10-27页 |
| ·论文选题的目的与意义 | 第10-14页 |
| ·国内外研究现状 | 第14-19页 |
| ·过程挖掘算法 | 第14-18页 |
| ·过程挖掘工具 | 第18-19页 |
| ·预备知识 | 第19-23页 |
| ·Petri网 | 第19-22页 |
| ·工作流网 | 第22页 |
| ·事件日志 | 第22-23页 |
| ·当前面临的挑战 | 第23-24页 |
| ·论文的主要贡献 | 第24-25页 |
| ·论文的章节安排 | 第25-27页 |
| 第2章 多事件类型挖掘 | 第27-49页 |
| ·问题引出 | 第27-29页 |
| ·相关概念 | 第29-31页 |
| ·日志分析 | 第31-35页 |
| ·基本次序关系 | 第31-33页 |
| ·派生次序关系 | 第33-35页 |
| ·构造模型 | 第35-43页 |
| ·次序关系和库所的对应 | 第35-40页 |
| ·挖掘算法β | 第40-43页 |
| ·实验评估 | 第43-47页 |
| ·算法实现 | 第43-44页 |
| ·几个具体例子 | 第44-45页 |
| ·实验分析 | 第45-47页 |
| ·本章小结 | 第47-49页 |
| 第3章 间接依赖关系的挖掘 | 第49-77页 |
| ·问题引出 | 第49-51页 |
| ·因果依赖分类 | 第51-54页 |
| ·检测间接依赖 | 第54-59页 |
| ·次序关系和完备日志 | 第55-56页 |
| ·间接依赖检测方法 | 第56-59页 |
| ·挖掘算法α++ | 第59-64页 |
| ·派生次序关系之间的相互影响 | 第59-60页 |
| ·消除冗余的间接依赖 | 第60-61页 |
| ·构造过程模型 | 第61-64页 |
| ·α++算法的复杂性 | 第64页 |
| ·算法实验评估 | 第64-76页 |
| ·在ProM中的实现 | 第65页 |
| ·评估理论 | 第65-67页 |
| ·基于人造例子的评估 | 第67-71页 |
| ·手工复查 | 第68-70页 |
| ·符合性测试 | 第70-71页 |
| ·基于现实例子的评估 | 第71-74页 |
| ·算法的局限性 | 第74-76页 |
| ·本章小结 | 第76-77页 |
| 第4章 不可见任务的挖掘 | 第77-105页 |
| ·问题引出 | 第77-82页 |
| ·现实生活中的例子 | 第77-79页 |
| ·挖掘问题 | 第79-82页 |
| ·相关研究成果 | 第82-83页 |
| ·不可见任务的分类 | 第83-85页 |
| ·不可见任务的定义 | 第83-84页 |
| ·不可见任务分类 | 第84-85页 |
| ·不可见任务的检测 | 第85-90页 |
| ·虚假依赖 | 第86-87页 |
| ·检测SIDE类型 | 第87-88页 |
| ·检测SKIP、REDO、SWITCH类型 | 第88-90页 |
| ·挖掘算法α# | 第90-95页 |
| ·不可见任务的检测顺序 | 第90-91页 |
| ·构造不可见任务 | 第91-95页 |
| ·虚假依赖与不可见任务的对应 | 第91-93页 |
| ·构造SIDE类型 | 第93页 |
| ·构造SKIP、REDO、SWITCH类型 | 第93-95页 |
| ·构造最终模型 | 第95页 |
| ·实验评估 | 第95-104页 |
| ·算法实现 | 第96-97页 |
| ·人造例子 | 第97-99页 |
| ·现实例子 | 第99-101页 |
| ·算法讨论 | 第101-104页 |
| ·本章小结 | 第104-105页 |
| 第5章 总结与展望 | 第105-107页 |
| ·本文的工作总结 | 第105页 |
| ·进一步的工作 | 第105-106页 |
| ·本章小结 | 第106-107页 |
| 参考文献 | 第107-116页 |
| 致谢 | 第116-117页 |
| 个人简历、在学期间发表的学术论文与研究成果 | 第117-118页 |
