学位论文 > 优秀研究生学位论文题录展示
基于Petri网模型的数据批处理系统研究与应用
作 者: 刘玉磊
导 师: 李健利
学 校: 哈尔滨工程大学
专 业: 计算机应用技术
关键词: 数据批处理系统 Petri网模型 数据库建模语言 并发执行
分类号: TP301.1
类 型: 硕士论文
年 份: 2011年
下 载: 4次
引 用: 0次
阅 读: 论文下载
内容摘要
随着经济的发展社会生产技术的飞速进步,数据密集型企业处理生产数据时需要很大的计算量。使得数据处理在管理中得到更加广泛的应用。而在制造业普遍采用“敏捷制造技术”的启发下,数据处理也进入到分布式数据管理阶段。本文介绍一种基于Petri网的数据批处理系统,它可以使企业业务人员自行设计处理过程,并具有高效的处理能力。该系统基于软件生产平台开发,是软件生产平台的延展,并延续软件生产平台的SOA架构,基于J2EE平台实现。系统具有良好的交互性、可移植性和安全性。首先,设计了数据库图形化表述形式,它可以使用简单的图形描述关系型数据库表的操作情况,清晰反映各个数据库操作步骤的时序和操作类型。数据批处理系统依据此建模语言在软件生产平台上建立数据批处理模型,并根据建立的模型进行数据批处理步骤的编排。其次,定义了DPN的数学建模原理,并在此基础上设计了DPN模型规范,使用这一新的模型建立数据批处理模型的冲突关系,划分工作子区域,为系统划分执行子线程并发执行做准备。最后,本文设计了基于Petri网模型数据处理方式的数据批处理系统,并逐一介绍了系统框架和各部分的设计。给出了各个功能模块的UML类图,具体描述了接口和类的构建。
|
全文目录
摘要 5-6 Abstract 6-9 第1章 绪论 9-15 1.1 课题产生的背景 9-10 1.2 国内外研究现状 10-12 1.3 本文的研究内容 12 1.4 论文的组织结构 12-15 第2章 相关支撑技术 15-23 2.1 Petri网建模技术 15-20 2.1.1 经典Petri网 15-19 2.1.2 高级网系统 19-20 2.2 J2EE相关技术介绍 20-21 2.3 本章小结 21-23 第3章 数据批处理系统理论基础 23-39 3.1 数据库图形化建模语言 23-32 3.1.1 实例业务描述 23-25 3.1.2 数据库操作符号表述现状 25-30 3.1.3 批处理流模型 30-32 3.2 数据库Petri网模型的定义及分割 32-37 3.2.1 Petri网模型定义 32-34 3.2.2 DPN模型描述 34 3.2.3 DPN模型分割 34-36 3.2.4 DPN模型分割证明 36-37 3.3 本章小结 37-39 第4章 数据批处理系统的设计 39-51 4.1 数据批处理系统模型分析 39-41 4.1.1 数据批处理模式分析 39-40 4.1.2 基础平台介绍 40-41 4.2 数据批处理系统模型设计 41-43 4.2.1 批处理作业特征分析 41-42 4.2.2 数据批处理模型设计 42-43 4.3 数据批处理解析器设计 43-44 4.4 批处理控制器设计 44-48 4.4.1 批处理控制器特征分析 45-46 4.4.2 批处理异步控制器设计 46-47 4.4.3 批处理作业步骤控制器设计 47 4.4.4 批处理数据流设计 47-48 4.4.5 系统检测器设计 48 4.5 本章小结 48-51 第5章 数据批处理系统的实现 51-65 5.1 主体设计 51 5.2 批处理数据模型的定制 51-52 5.3 数据批处理系统解析器 52-54 5.4 数据批处理系统控制器实现 54-62 5.4.1 批处理异步控制器的实现 54-57 5.4.2 批处理作业步骤控制器的实现 57-60 5.4.3 批处理数据流控制器的实现 60-61 5.4.4 批处理系统检测器的实现 61-62 5.5 实验验证及性能分析 62-64 5.6 本章小结 64-65 结论 65-67 参考文献 67-71 攻读硕士学位期间发表的论文和取得的科研成果 71-73 致谢 73
|
相似论文
- 自动化测试框架的研究与实现,TP311.53
- 基于Petri网的ForCES协议模型及ForCES中间件性能预测研究,TN915.04
- 基于Petri网的列车运行调度问题的研究,U292.2
- 主起落架系统的系统安全性分析方法研究,V226.3
- ATS系统数据安全的研究与实现,U284.48
- 基于Petri网的安全协议分析与检测方法的研究,TP393.08
- 基于沙盘和图像识别技术的车间布局模型快速反求关键技术研究,TB491
- 物流运输系统中路径优化研究,F252
- 基于Petri网的密码协议分析,TN918.1
- 基于Petri网的网络协议分析,TP393.04
- 分布式环境下高速公路收费系统的形式化设计与实现,TP311.52
- 民用飞机伺服作动系统可靠性方法研究,V227
- 基于Petri网的软件测试模型的构造及其建模工具的研究,TP311.52
- 工作流模型仿真及验证技术研究,TP391.9
- 基于J2EE和工作流技术架构的教务管理系统的设计与实现,TP315
- 基于遗传算法的协议一致性测试序列生成研究,TP18
- Petri网在指挥控制系统中的应用研究,TP301.1
- 基于Petri网技术的动车段检修作业流程模型与方法研究,TP301
- CBTC系统移动授权生成的建模与实现,U284.48
- 服务机器人双臂协作技术研究及实现,TP242
中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 一般性问题 > 理论、方法 > 自动机理论
© 2012 www.xueweilunwen.com
|