| 摘要 | 第5-6页 |
| ABSTRACT | 第6页 |
| 符号对照表 | 第9-10页 |
| 缩略语对照表 | 第10-13页 |
| 第一章 绪论 | 第13-19页 |
| 1.1 论文研究的背景和意义 | 第13-14页 |
| 1.2 国内外研究现状及发展趋势 | 第14-16页 |
| 1.3 本文主要研究内容和结构安排 | 第16-19页 |
| 1.3.1 本文的主要研究内容 | 第16页 |
| 1.3.2 本文的结构安排 | 第16-19页 |
| 第二章 混合系统的可达性分析 | 第19-33页 |
| 2.1 混合系统的概念 | 第19页 |
| 2.2 混合系统模型 | 第19-24页 |
| 2.2.1 层次结构混合系统模型 | 第20页 |
| 2.2.2 混合Petri网模型 | 第20-21页 |
| 2.2.3 时间自动机 | 第21-22页 |
| 2.2.4 混合自动机 | 第22-24页 |
| 2.3 符号化可达性分析算法 | 第24-32页 |
| 2.3.1 混合系统形式化验证 | 第24-26页 |
| 2.3.2 可达集表示方法 | 第26-28页 |
| 2.3.3 符号化可达性分析算法 | 第28-32页 |
| 2.4 小结 | 第32-33页 |
| 第三章 基于距离的穿戴网数据异常检测方法 | 第33-45页 |
| 3.1 异常点概念及产生原因 | 第33页 |
| 3.2 异常检测常用的方法及比较 | 第33-35页 |
| 3.2.1 基于统计的方法 | 第33-34页 |
| 3.2.2 基于最近邻的方法 | 第34页 |
| 3.2.3 基于聚类的方法 | 第34-35页 |
| 3.2.4 基于密度的方法 | 第35页 |
| 3.2.5 基于谱分解的方法 | 第35页 |
| 3.3 基于距离的异常检测算法 | 第35-44页 |
| 3.3.1 相关概念定义 | 第36-38页 |
| 3.3.2 基于距离的错误检测算法 | 第38-44页 |
| 3.4 小结 | 第44-45页 |
| 第四章 实验结果及相关方法比较 | 第45-55页 |
| 4.1 基于距离的异常检测方法实验结果 | 第45-50页 |
| 4.1.1 无窗口距离检测方法实验结果 | 第46-49页 |
| 4.1.2 带滑动窗口传感器数据间距离异常检测算法实验结果 | 第49页 |
| 4.1.3 带窗口的距离法和k-临近点距离法比较 | 第49-50页 |
| 4.2 马氏距离法 | 第50-52页 |
| 4.3 对比马氏距离方法的实验结果 | 第52-53页 |
| 4.4 小结 | 第53-55页 |
| 第五章 总结与展望 | 第55-57页 |
| 5.1 本文工作总结 | 第55页 |
| 5.2 今后工作展望 | 第55-57页 |
| 参考文献 | 第57-59页 |
| 致谢 | 第59-61页 |
| 作者简介 | 第61-62页 |