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

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

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

【引證文獻(xiàn)】

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

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

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

本文編號(hào)：2608593