發(fā)布時間：2024-04-16 01:46

　　隨著移動終端設備性能的不斷提升，無線通信技術和互聯(lián)網技術的不斷發(fā)展，LBS已經成為人們日常生活中不可或缺的部分，也逐漸成為學術界研究的熱點。到目前為止已有諸多關于LBS的學術研究成果，但有關LBS服務組合建模的研究尚需探索。傳統(tǒng)建模方法PN（Petri Net）能夠滿足人們諸多流程設計的需求，但無法將其應用于LBS動態(tài)服務組合建模。另外，如何對LBS服務組合模型進行模擬也需要進行進一步的討論和研究。 首先，由于PN無法描述LBS服務組合動態(tài)性和時效性，本文運用TCPN（Timing Constraint Petri Nets）對LBS服務組合產生過程進行建模，通過模型的時間限定因素變化對LBS服務組合的動態(tài)性和時效性進行描述，很好地解決這一問題的同時也彌補了PN無法描述LBS服務組合模型中存在的具有異步性模型片段的缺點。本文還設計了基于TCPN的LBS服務組合建模所建模型的功能驗證算法及時間復雜度計算方法。 由于PN和TCPN均無法描述LBS服務組合的不確定性，本文以概率PN和著色PN的理論知識為基礎將概率引入TCPN提出了CP-TCPN，由此可得CP-TCPN能夠同時描述LBS服務組...

【文章頁數】：62 頁

【學位級別】：碩士

【部分圖文】：

圖2-1LBS結構圖

通訊網絡向發(fā)送服務請求的客戶提供即過程中用戶首先通過移動終端設備（如手務請求，然后移動運營商或者外部定位系S（GeographicInformationSystem，地理服務并最終將結果發(fā)送至用戶。合而成，兩個網絡之間通過網關進行交、Web服務器、定位系統(tǒng)和LDAP服務器和處....

圖2-4CPN-Tools示例圖

.3有界性界性表示庫所中Token的數目是有窮的，對于非著色的模型中，Token的數目應是1或者0，而在著色模型中，庫所中Token的數且在規(guī)定范圍內的，不能存在無限容量的庫所和無限膨脹的Token集證一個模型是否符合要求，最主要的是驗證該模型中各變遷是否....

圖5-1實例模型結構圖

描述例為用戶旅游系統(tǒng)，在這個實例中用戶希望通過手機及車載旅店、餐館、景區(qū)以及停車場服務信息。具體過程為：首先發(fā)送查找旅店、餐館、周邊景區(qū)和最近的停車場的請求；這器前端，服務器前端對用戶請求信息進行處理以產生服務器關終端類型的信息；隨后服務器前端將這些信息傳至需求分，隨即產生用戶所....

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

5.2.3模型功能驗證及分析表5-3模型化簡過程如圖5-2所示，虛線框中的結構均為非原子模型結構，因此首先對其進行化簡，化簡過程及結果如下：（Pro為強可調度概率，T為新產生變遷的執(zhí)行觸發(fā)花費的時間）Nf1，Nf2為新產生的弧；N1為新產生的變遷，參照表=和表+可以求....

本文編號：3956260