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

不完全标记的事务行为踪迹问题研究

作　者: 欧阳星昱
导　师: 满君丰
学　校: 湖南工业大学
专　业: 计算机应用技术
关键词: 分布式软件不完全标记行为踪迹最大流增载轨路径
分类号: TP309
类　型: 硕士论文
年　份: 2012年
下　载: 10次
引　用: 0次
阅　读: 论文下载

内容摘要

在开放动态的分布式软件环境下，多个事务并行处理导致产生的事件没有完全按照正常的顺序到达。如果这些事务产生的标记不完全或者不可用，无法通过事件的时间戳信息和事务实例的标记符来确定每个踪迹的事件源，将对后续的软件行为分析和预测造成很大的阻碍。本文从两种不同情形对该问题做出讨论，构建了一个不完全标记的事务行为踪迹模型，并转化为网络最大流问题，提出了一种新的增载轨算法，在新算法的思想上设计了踪迹标记算法，有效地为丢失了标记的踪迹找到事件源。本文主要研究工作如下：（1）建立不完全标记的事务行为踪迹模型。本文只考虑事务在不同状态之间的转移时间服从独立同分布，状态之间的转移满足马尔科夫性的情况，首先建立只有开始和结束的两状态模型。然后将其转化为有向无环网络问题，通过寻找增广路径，为各事件踪迹进行标记处理。最后对多状态模型进行优化，采用状态划分算法，将多状态模型转化为多个两状态模型。（2）设计踪迹标记算法。首先将多状态转移模型转化为网络最大流问题。然后在传统的增载轨算法基础上，放宽了寻找增载轨路径的约束条件，提出了一种新的增载轨算法。该算法每次选择“足够”短的增载轨路径，并对增载轨路径作容量最大限制，以减少了增载轨的数量。最后对不完全标记的两种不同情形设计了踪迹标记算法，为丢失了标记的事务行为踪迹找到事件源。（3）仿真实验和性能分析。对不完全标记的两种不同情形分别进行了仿真实验，验证了踪迹标记的有效性和准确性，并对踪迹标记算法的性能进行测试，实验表明该算法具有一定的实用性。

全文目录

摘要  4-5
ABSTRACT  5-10
第一章绪论  10-15
  1.1 研究背景及意义  10-12
  1.2 相关研究现状  12-13
  1.3 本文主要工作  13-14
  1.4 论文结构  14-15
第二章相关技术研究  15-27
  2.1 软件行为概述  15-16
  2.2 软件行为监测  16-19
  2.3 软件行为踪迹分析  19-20
    2.3.1 完全标记的行为踪迹分析  19-20
    2.3.2 不完全标记的行为踪迹分析  20
  2.4 网络最大流问题的相关知识  20-26
    2.4.1 基本定义  20-22
    2.4.2 基本算法  22-25
    2.4.3 算法时间复杂度分析  25-26
  2.5 小结  26-27
第三章不完全标记的事务行为踪迹模型  27-39
  3.1 不完全标记的事务行为踪迹模型  29-31
    3.1.1 相关概念  29-30
    3.1.2 多状态系统模型  30-31
  3.2 两状态模型  31-35
    3.2.1 预备知识  31-33
    3.2.2 优化跟踪策略  33-35
  3.3 优化多状态系统模型  35-37
  3.4 小结  37-39
第四章算法设计与实验分析  39-56
  4.1 一种新的增载轨算法  39-44
    4.1.1 容量最大路径  39-41
    4.1.2 最短增载轨路径  41-43
    4.1.3 一种新的增载轨算法  43-44
  4.2 踪迹标记算法  44-50
    4.2.1 开始状态有标记，中间、结束状态没有标记  45-47
    4.2.2 开始状态有标记，中间、结束状态部分有标记  47-49
    4.2.3 踪迹标记算法的时间复杂度分析  49-50
  4.3 系统仿真实验与性能评测  50-55
    4.3.1 事务行为踪迹标记的准确性测试  50-53
    4.3.2 标记算法的性能测试  53-55
  4.4 本章小结  55-56
第五章总结与展望  56-58
  5.1 论文工作总结  56
  5.2 未来工作展望  56-58
参考文献  58-62
攻读学位论文期间主要的研究成果  62-63
致谢  63

相似论文

趋向自然：唯信息论世界观下的生态工业系统演化,X321
基于图割理论的图像匹配问题研究,TP391.41
移动自组网中基于能量的路由协议研究,TN929.5
MEBN与BKPF相结合的软件异常行为预测,TP311.53
最大流及最小费用的算法研究,TP301.6
基于最小费用最大流算法的若干研究与分析,TP301.6
基于.NET Remoting分布式技术改进投资银行风险管理系统性能的研究与应用,TP311.52
基于三阶马尔科夫模型和最大流的模体识别算法,TP301.6
分布式系统中实体交互行为的可信研究,TP338.8
分布式软件动态调控策略研究,TP338.8
基于网页分块的Web社区识别,TP393.092
大型活动突发事件下紧急疏散的动态交通流建模与仿真,U491.112
最大流算法的仿真与分析,TP393.06
基于Graph Cut的图像前景提取,TP391.41
基于文本相似度的局部Web社区识别技术,TP393.094
基于最大流的车辆容迟网络路由算法研究,TP393.02
图割在图像匹配中的应用研究,TP391.41
基于最大流原理的城市模式分析,F290
有向图的本原指数和应用,O157.5
基于均值平移算法的彩色图像前背景分割方法研究,TP391.41
线性网络编码研究,O157.4