基于模型约束的乱序流程日志高效修复方法研究
| 摘要 | 第3-4页 |
| Abstract | 第4页 |
| 主要符号对照表 | 第7-8页 |
| 第1章 绪论 | 第8-16页 |
| 1.1 选题背景和意义 | 第8-11页 |
| 1.2 预备知识 | 第11-14页 |
| 1.3 当前面临的挑战 | 第14-15页 |
| 1.4 论文的主要贡献 | 第15页 |
| 1.5 论文章节安排 | 第15-16页 |
| 第2章 相关工作 | 第16-31页 |
| 2.1 符合性检测 | 第16-22页 |
| 2.1.1 度量维度 | 第17-18页 |
| 2.1.2 符合性检测方法 | 第18-22页 |
| 2.2 展开技术 | 第22-25页 |
| 2.2.1 分支进程 | 第22-23页 |
| 2.2.2 完全有限前缀 | 第23-25页 |
| 2.3 日志与模型修复 | 第25-30页 |
| 2.3.1 基于控制流维度的日志模型修复 | 第25-29页 |
| 2.3.2 基于多维度的日志模型修复 | 第29-30页 |
| 2.4 本章小结 | 第30-31页 |
| 第3章 乱序日志修复的形式化定义及复杂性分析 | 第31-37页 |
| 3.1 乱序日志修复问题的形式化定义 | 第31-32页 |
| 3.2 乱序日志修复问题的复杂性分析 | 第32-34页 |
| 3.3 乱序日志修复问题的方法总览 | 第34-36页 |
| 3.4 本章小结 | 第36-37页 |
| 第4章 Etremo的算法设计 | 第37-54页 |
| 4.1 可触发序列候选集 | 第37-39页 |
| 4.2 对因果网模型和不带循环的分支网模型的修复 | 第39-48页 |
| 4.2.1 对因果网模型的修复 | 第39-44页 |
| 4.2.2 对不带循环的分支网模型的修复 | 第44-46页 |
| 4.2.3 可达索引 | 第46-48页 |
| 4.3 对带循环网模型的拓展 | 第48-53页 |
| 4.3.1 完全前缀展开 | 第49-50页 |
| 4.3.2 后向偏序距离 | 第50-53页 |
| 4.4 本章小结 | 第53-54页 |
| 第5章 Etremo的实现与实验 | 第54-67页 |
| 5.1 Etremo算法的实现 | 第54-55页 |
| 5.2 实验设计与分析 | 第55-66页 |
| 5.2.1 实验数据 | 第55-58页 |
| 5.2.2 基于企业模型的实验 | 第58-62页 |
| 5.2.3 基于人工模型的实验 | 第62-66页 |
| 5.3 本章小结 | 第66-67页 |
| 第6章 总结与展望 | 第67-69页 |
| 6.1 本文工作总结 | 第67-68页 |
| 6.2 未来工作展望 | 第68-69页 |
| 参考文献 | 第69-72页 |
| 致谢 | 第72-74页 |
| 个人简历、在学期间发表的学术论文与研究成果 | 第74页 |
