發(fā)布時間：2020-03-31 04:52

【摘要】： 無線自動售貨機系統(tǒng)通過無線網(wǎng)絡(luò)實現(xiàn)了對自動售貨機的遠程監(jiān)視和控制,便于企業(yè)內(nèi)部物流管理及向顧客提供方便的手機購物。為了對這一復雜系統(tǒng)形成一致的理解,分析系統(tǒng)的正確性和可靠性,進而定量評估系統(tǒng)的績效,需要建立一種嚴謹?shù)目赡M系統(tǒng)動態(tài)運行的模型。 由于無線自動售貨機系統(tǒng)屬于離散動態(tài)系統(tǒng),本文采用了描述分布式并發(fā)系統(tǒng)的Pi-演算過程代數(shù)方法為系統(tǒng)建模。分別對系統(tǒng)的交易流程和物流配送過程建立了Pi-演算模型。對無線自動售貨機系統(tǒng)的交易流程的建模采用自頂向下的建模方法,首先建立系統(tǒng)的主要活動模塊的頂層Pi-演算模型,然后對這些模塊進行細化,最后得出系統(tǒng)交易流程完整的Pi-演算模型;并用Pi-演算的形式化輔助工具MWB驗證其正確性。為了能夠?qū)o線自動售貨機系統(tǒng)物流配送過程進行建模,本文定義了一種帶時間因素的Pi-演算,對無線自動售貨機系統(tǒng)的物流配送過程建立了含有時間因素的Pi-演算模型;考慮到績效分析的需要,還在不同的缺貨情況下同時模擬兩種系統(tǒng)物流配送過程的運行,通過選擇最佳的配送路線,得出無線售貨機物流配送過程與傳統(tǒng)售貨機物流配送過程工作效率的提高。 本文為系統(tǒng)復雜的交易流程和物流配送過程建立了精確的Pi-演算模型,使系統(tǒng)的開發(fā)人員、監(jiān)控人員和維護人員對系統(tǒng)形成了一致的準確的理解,為系統(tǒng)的分析和改進打下良好基礎(chǔ)。同時對系統(tǒng)物流配送過程進行量化,實現(xiàn)了無線自動售貨機系統(tǒng)的時間績效分析。
【圖文】：

送人員和后臺管理人員)、移動終端(手機)、運營支撐系統(tǒng)(無線自動售貨機應(yīng)用服務(wù)器和監(jiān)控中心服務(wù)器)、網(wǎng)絡(luò)基礎(chǔ)設(shè)施(GSM網(wǎng)絡(luò)和USSD平臺)和移動中間件(小額支付平臺、積分消費平臺和短消息平臺)組成，，其網(wǎng)絡(luò)結(jié)構(gòu)如圖3.1所示。及時性)關(guān)后臺管理人員圖3.1無線自動售貨機系統(tǒng)網(wǎng)絡(luò)結(jié)構(gòu) Fig.3.1NetworkofwirelessVendingMachinesystem在無線自動售貨機系統(tǒng)交易流程中，手機用戶按照貨機上標記的撥打號碼，以撥號方式通過中國移動GSM網(wǎng)絡(luò)發(fā)送購買無線自動售貨機商品的USSD業(yè)務(wù)請求，同時將接入號碼連接到uSSD平臺。uSSD平臺根據(jù)接入號碼來判斷該應(yīng)用的請求類別為無線

在整個USSD系統(tǒng)中，用戶通過撥號，以GSM網(wǎng)為傳輸載體，通過移動終端D接入號碼，連接USSD服務(wù)器。USSD服務(wù)器解析用戶輸入的具體參數(shù)，根不同請求，找到該請求的應(yīng)用服務(wù)器，應(yīng)用服務(wù)器把顯示信息通過GSM網(wǎng)，機用戶，實現(xiàn)交易。圖3.2是USSD系統(tǒng)結(jié)構(gòu)圖。
【學位授予單位】：大連理工大學
【學位級別】：碩士
【學位授予年份】：2008
【分類號】：TH692.4;TP391.7

【引證文獻】

相關(guān)碩士學位論文 前2條

1 王會會;綜合客運交通樞紐內(nèi)部客流擁堵機理研究[D];北京交通大學;2011年

2 楊金武;面向主語的業(yè)務(wù)流程管理研究[D];云南大學;2013年

本文編號：2608593