当前位置:首页 ┈→教材专区
 
 上海交通大学qy88vip >> 本科系列 >> Petri网的层次抽象理论及其应用
 
  
产品编号:
9787313196019
产品名称:
Petri网的层次抽象理论及其应用
规  格:
上海交通大学qy88vip
产品备注:
方欢 著
产品类别:
上海交通大学qy88vip
 
    产 品 说 明

 

第一部分 基础知识

 

 

1 绪论   2

1.1 Petri网层次化技术的研究现状   2

1.2 本书的组织结构   7

2 Petri网和层次颜色Petri网的相关知识   13

2.1 Petri网的基本概念   13

2.2 Petri网的动态性质和结构性质   14

2.3 Petri网的分析方法   15

2.4 颜色Petri网的相关理论   17

3 Petri网的行为分析理论   25

3.1 行为轮廓的基本概念   25

3.2 行为轮廓的性质   26

3.3 业务系统的对齐理论   26

3.4 HCPN对应的行为语义   28

第二部分 基于模型抽象的层次化方法及其应用

4 基于层次抽象的基本排队系统建模与性能分析   32

4.1 研究背景   32

4.2 排队网络与Colored Petri Net   33

4.3 排队系统的CPN建模规则   35

4.4 队列CPN模型的性能评价   40

4.5 基于CPN模拟的性能评价方法的步骤   42

4.6 本章小结   42

5 基于层次抽象的复杂休假排队系统建模与性能分析   44

5.1 研究背景   44

5.2 基本概念和记号   47

5.3 不同休假策略下的排队系统模型及动态语义   48

5.4 模型的性能分析与结果比较   51

5.5 本章小结   56

6 模型抽象的层次化方法在复杂工业系统中的应用   59

6.1 研究背景   59

6.2 事件驱动系统的性能评价方法   60

6.3 基于HCPN的矿井机车运输调度系统分析   62

6.4 基于HCPN的机车调度系统性能评价方法   64

6.5 本章小结   75

7 层次抽象方法在矿井机车系统故障定位方法中的应用   78

7.1 研究背景   78

7.2 机车调度系统的故障建模与定位方法   79

7.3 故障无二义性识别下的部分可观系统设计方法   83

7.4 机车调度系统中传感器监控节点确定方法   85

7.5 本章小结   88

第三部分 基于行为语义的抽象层次化方法及其应用

8 基于搜索树的业务流程Petri网模型抽象化简方法   94

8.1 研究背景   94

8.2 基本记号与定义   96

8.3 基于合理块结构的模型抽象化简算法   96

8.4 模型待抽象化简区域的搜索树定位算法   99

8.5 cost标签的Petri网业务流程模型抽象化简方法   105

8.6 本章小结   111

 

9 基于抽象技术的变化传播分析方法   114

9.1 研究背景   114

9.2 问题概述   115

9.3 基本概念   115

9.4 变化传播分析   116

9.5 实例分析   119

9.6 本章小结   122

 

10 基于SOA架构的变化传播层次化分析方法   124

10.1 研究背景   124

10.2 相关定义和记号   125

10.3 服务层和流程层变化传播计算方法   128

10.4 案例分析   130

10.5 本章小结   132

 

第四部分 Petri的层次化方法在行为评价中的其他应用

 

11 基于行为轮廓的局部系统最小故障域定位方法   136

11.1 研究背景   136

11.2 新增最小结构故障域定位方法   137

11.3 实例分析   143

11.3 本章小结   145

12 用户Web日志的行为相似度分析方法研究   148

12.1 研究背景   148

12.2 相关概念和定义   149

12.3 用户相似度评价算法   151

12.4 用户日志案例分析   153

12.5 本章小结   156

索引   158

 

 

点击数:383  录入时间:2018-8-22 【打印此页】 【关注
 
用户名:
密  码:
新用户注册  忘记密码?
栏 目:
关键字:


申请友情链接
 
 
 

华畅股份  客服热线:400-188-3963

  制作维护:中联世纪  网站管理
访问 人次
备案证号:赣ICP备18003886号