基于CP-TCPN的LBS动态服务组合建模和功能验证

发布时间：2024-04-16 01:46

　　随着移动终端设备性能的不断提升，无线通信技术和互联网技术的不断发展，LBS已经成为人们日常生活中不可或缺的部分，也逐渐成为学术界研究的热点。到目前为止已有诸多关于LBS的学术研究成果，但有关LBS服务组合建模的研究尚需探索。传统建模方法PN（Petri Net）能够满足人们诸多流程设计的需求，但无法将其应用于LBS动态服务组合建模。另外，如何对LBS服务组合模型进行模拟也需要进行进一步的讨论和研究。 首先，由于PN无法描述LBS服务组合动态性和时效性，本文运用TCPN（Timing Constraint Petri Nets）对LBS服务组合产生过程进行建模，通过模型的时间限定因素变化对LBS服务组合的动态性和时效性进行描述，很好地解决这一问题的同时也弥补了PN无法描述LBS服务组合模型中存在的具有异步性模型片段的缺点。本文还设计了基于TCPN的LBS服务组合建模所建模型的功能验证算法及时间复杂度计算方法。 由于PN和TCPN均无法描述LBS服务组合的不确定性，本文以概率PN和着色PN的理论知识为基础将概率引入TCPN提出了CP-TCPN，由此可得CP-TCPN能够同时描述LBS服务组...

【文章页数】：62 页

【学位级别】：硕士

【部分图文】：

图2-1LBS结构图

通讯网络向发送服务请求的客户提供即过程中用户首先通过移动终端设备（如手务请求，然后移动运营商或者外部定位系S（GeographicInformationSystem，地理服务并最终将结果发送至用户。合而成，两个网络之间通过网关进行交、Web服务器、定位系统和LDAP服务器和处....

图2-4CPN-Tools示例图

.3有界性界性表示库所中Token的数目是有穷的，对于非着色的模型中，Token的数目应是1或者0，而在着色模型中，库所中Token的数且在规定范围内的，不能存在无限容量的库所和无限膨胀的Token集证一个模型是否符合要求，最主要的是验证该模型中各变迁是否....

图5-1实例模型结构图

描述例为用户旅游系统，在这个实例中用户希望通过手机及车载旅店、餐馆、景区以及停车场服务信息。具体过程为：首先发送查找旅店、餐馆、周边景区和最近的停车场的请求；这器前端，服务器前端对用户请求信息进行处理以产生服务器关终端类型的信息；随后服务器前端将这些信息传至需求分，随即产生用户所....

图5-2和表5-5可以得到LB

5.2.3模型功能验证及分析表5-3模型化简过程如图5-2所示，虚线框中的结构均为非原子模型结构，因此首先对其进行化简，化简过程及结果如下：（Pro为强可调度概率，T为新产生变迁的执行触发花费的时间）Nf1，Nf2为新产生的弧；N1为新产生的变迁，参照表=和表+可以求....

本文编号：3956260