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

【文章頁數(shù)】：62 頁

【學(xué)位級別】：碩士

【部分圖文】：

圖2-1LBS結(jié)構(gòu)圖

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

圖2-4CPN-Tools示例圖

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

圖5-1實例模型結(jié)構(gòu)圖

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

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

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

本文編號：3956260