学位论文 > 优秀研究生学位论文题录展示

基于数据流异常检测的嵌入式软件容错研究

作　者: 徐凌翔
导　师: 范守文
学　校: 电子科技大学
专　业: 机械设计及理论
关键词: 容错 纠错 数据流 回归分析 回卷回复 聚类分析
分类号: TP368.1
类　型: 硕士论文
年　份: 2011年
下　载: 13次
引　用: 0次
阅　读: 论文下载
 

内容摘要


现代机电产品在功能越来越复杂的同时,对其安全性和可靠性的要求也越来越高。软件作为机电产品的重要组成部分,其可靠性直接决定了机电产品的质量。本文以提高机电产品软件的可靠性和安全性研究为主线,从软件数据流分析的角度出发,对基于数据流异常检测的软件容错纠错技术进行了较为深入系统的研究。针对可能出现的软件系统故障提出了一种新的基于数据流异常检测、软件看门狗技术和回卷恢复技术的软件容错纠错方法。该方法定期对目标程序进行备份,通过提取目标程序中的一组相关变量建立数据流分析模型,利用数据流的异常检测方法排查出其中的离群点即出错点。当发现目标程序运行出错时,看门狗强制使程序跳转到备份点,使目标程序回卷到上一个备份的正常状态,以实现对软件瞬时性故障的容错纠错。提出了上述软件容错纠错策略的实现框架、操作流程,研究了基于最小二乘支持向量机的二元回归模型和离群点检测算法。以二元函数为例,对文中提出的二元回归模型和离群点检测算法进行了仿真研究,仿真结果验证了回归模型的正确性和离群点检测算法的有效性。提出了偏向最近动态的基于距离的数据流异常检测算法,该算法是一种基于聚类思想的的异常检测方法,通过计算检测数据与聚类中心的距离来判断异常,并根据数据流的特性进行了改进,能够有效地实现数据流的异常检测。该算法实现简单并且计算速度快,对阈值的选择具有自适应性,提高了检测的精度,仿真实验验证了该算法的有效性。设计了基于数据流异常检测的软件容错纠错实验方案,以数据流异常检测算法为核心搭建了实验平台,进行了软件容错纠错实验研究。实验结果表明本文提出的容错策略能够很好地实现软件的容错纠错,以上研究工作为软件的容错纠错提供了新的解决方案。

全文目录


摘要  4-5
ABSTRACT  5-9
第一章 绪论  9-16
  1.1 课题背景及软件容错技术介绍  9-10
  1.2 国内外软件容错技术研究现状和发展趋势  10-11
    1.2.1 国外软件容错技术的研究现状及发展趋势  10-11
    1.2.2 国内软件容错技术的研究现状及发展趋势  11
  1.3 软件容错研究的分类  11-13
  1.4 研究的目的和意义  13-14
  1.5 本文研究的主要内容  14-16
第二章 基于数据流异常监测的容错纠错方案  16-25
  2.1 整体容错纠错方案  16-19
  2.2 支持向量机理论  19-21
  2.3 聚类理论  21-23
  2.4 数据的备份与回卷  23
  2.5 硬件设计  23-24
  2.6 本章小结  24-25
第三章 基于支持向量机的数据流异常检测算法  25-41
  3.1 数据流的概念  25-27
    3.1.1 数据流模型的分类  25-26
    3.1.2 数据流的特点  26-27
  3.2 数据流处理技术  27-29
  3.3 数据流的趋势、异常和变化检测算法  29
  3.4 最小二乘法与最小二乘支持向量回归  29-32
    3.4.1 最小二乘法理论  29-30
    3.4.2 最小二乘支持向量回归LS-SVR  30-32
  3.5 基于支持向量机回归模型的数据流离群点检测算法  32-35
  3.6 仿真验证  35-40
  3.7 本章小结  40-41
第四章 一种偏向最近动态的数据流异常检测聚类算法  41-54
  4.1 研究背景  42-43
    4.1.1 聚类分析  42
    4.1.2 k-means 聚类算法  42-43
  4.2 基于距离的数据流异常检测  43-48
  4.3 偏向最近动态的加权算法  48-49
  4.4 仿真验证  49-53
  4.5 本章小结  53-54
第五章 实验与分析  54-73
  5.1 实验运行环境及数据集  54-57
  5.2 客户端的程序设计  57-59
  5.3 检测端的程序设计  59-66
    5.3.1 uboot 的移植  60-61
    5.3.2 Linux 内核的移植  61-62
    5.3.3 文件系统的移植  62-64
    5.3.4 应用程序的开发  64-66
  5.4 实验结果  66-71
  5.5 本章小结  71-73
第六章 结束语  73-74
致谢  74-75
参考文献  75-78

相似论文

  1. 偏振光/地磁/GPS/SINS组合导航算法研究,V249.328
  2. 对促进中学生写作中自我纠错能力提高的研究,G633.41
  3. 并行分布式网络模拟器PDNS容错技术的研究,TP302.8
  4. 移动计算环境下检查点技术研究与Petri网建模,TP301.1
  5. 牡丹EST-SSR引物开发及其亲缘关系分析,S685.11
  6. 高血压前期证候特征研究,R259
  7. 大学生综合素质测评研究,G645.5
  8. 大豆品种对腐竹品质的影响及其品质评价体系的初步构建,TS214.2
  9. 21个荷花品种遗传多样性的ISSR分析,S682.32
  10. 基于聚类分析的P2P流量识别算法的研究,TP393.02
  11. 桃杂交后代（F1）幼苗光合效能评价,S662.1
  12. 南通市农业面源污染负荷研究与综合评价,X592
  13. 土壤环境功能区划研究,X321
  14. 基因表达谱数据聚类分析方法比较与大豆疫霉基因的网络构建,S435.651
  15. 大豆杂种优势及其遗传基础研究,S565.1
  16. 象草自交后代无性系的饲用价值及生物质能特性初步评价,S543.9
  17. 融合粒子群和蛙跳算法的模糊C-均值聚类算法研究,TP18
  18. 基于同化能力杂种优势早期评价的桃光合特性研究,S662.1
  19. 云南省直管县改革研究,D630
  20. 上海市社会工作者职业倦怠的影响因素与对策探析,D669
  21. 基于分治法的聚类方法研究,TP311.13

中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 微型计算机 > 各种微型计算机 > 微处理机
© 2012 www.xueweilunwen.com