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

基于Petri网的上下文感知系统的建模与分析

作　者: 吴彦超
导　师: 郑红
学　校: 华东理工大学
专　业: 计算机软件与理论
关键词: 上下文感知着色时序Petri网 SOCAM
分类号: TP391.1
类　型: 硕士论文
年　份: 2012年
下　载: 59次
引　用: 0次
阅　读: 论文下载

内容摘要

随着普适计算的发展,上下文感知作为普适计算的核心部分,越来越得到大家的关注。上下文感知研究的是如何获取上下文、上下文的表示、以及上下文的推理等,其目的是为了利用上下文所蕴含的信息,来构建一种能够提供智能服务的软件系统。上下文感知框架的提出是为了解决感知系统开发复杂,时间周期长等问题,但目前还是缺乏标准的工业规范,给系统的安全性,正确性验证带来了诸多不便。然而形式化方法在大型复杂系统上具有良好的支持,可以将非规范化的行为转化为严格的形式化描述,在系统的形式模拟、验证与实际应用开发之间起到重要的桥梁作用。Petri网是一种重要的形式化分析方法,适合于描述异步、并发、不确定的系统模型。本文基于Petri网对上下文感知系统进行建模与分析,主要内容包括：对Petri网和上下文感知系统进行详细的介绍,提出一个基于医疗病房情景的上下文感知应用；基于PT扩展的Petri网对提出的上下文感知系统进行模拟,分析系统的静态特性与动态特征；用着色时序Petri网对系统的时间特性、多资源的描述进行了分析,通过代数分析法和可达图法对系统的完备性,正确性等做出验证。

全文目录

摘要  5-6
Abstract  6-9
第1章前言  9-16
  1.1 研究背景  9-11
    1.1.1 计算模式发展  9-10
    1.1.2 上下文感知——普适计算实现的关键技术  10-11
  1.2 上下文感知技术基础  11-12
  1.3 研究现状  12-13
  1.4 研究内容  13-14
  1.5 论文的组织和内容安排  14-16
第2章上下文感知开发框架  16-24
  2.1 上下文感知框架  16-19
    2.1.1 框架概述  16-17
    2.1.2 典型框架  17-19
  2.2 SOCAM框架  19-24
第3章基于上下文感知系统的设计  24-38
  3.1 系统设计  24-25
    3.1.1 概述  24
    3.1.2 主要应用情景  24-25
  3.2 上下文获取技术  25-29
    3.2.1 传感器  25-26
    3.2.2 RFID技术  26-27
    3.2.3 UPnP技术  27-29
  3.3 上下文表示和推理  29-33
    3.3.1 本体概念  30
    3.3.2 本体描述语言  30-32
    3.3.3 本体推理  32-33
  3.4 智能医疗看护病房实例  33-35
  3.5 基于Petri网的系统建模  35-38
    3.5.1 Petri网概述  35-36
    3.5.2 基于上下文感知的医疗看护建模  36-38
第4章基于Petri网的系统分析  38-56
  4.1 Petri网分析方法  38-40
  4.2 Petri网分析工具  40-41
  4.3 感知系统模型的详细分析  41-48
    4.3.1 Petri网图的归约  41-45
    4.3.2 基于Petri网的分析过程  45-48
  4.4 CTPN模型  48-56
    4.4.1 有色时序Petri网的概述  48-49
    4.4.2 CPTN建模过程  49-50
    4.4.3 CTPN模型的详细分析  50-53
    4.4.4 仿真和结果  53-56
第5章总结和进一步工作  56-59
  5.1 本文总结  56-57
  5.2 不足与进一步的研究工作  57-59
参考文献  59-62
致谢  62

基于Petri网的上下文感知系统的建模与分析

内容摘要

全文目录

相似论文