基于Pi-演算的无线自动售货机系统建模与应用

发布时间：2020-03-31 04:52

【摘要】： 无线自动售货机系统通过无线网络实现了对自动售货机的远程监视和控制,便于企业内部物流管理及向顾客提供方便的手机购物。为了对这一复杂系统形成一致的理解,分析系统的正确性和可靠性,进而定量评估系统的绩效,需要建立一种严谨的可模拟系统动态运行的模型。 由于无线自动售货机系统属于离散动态系统,本文采用了描述分布式并发系统的Pi-演算过程代数方法为系统建模。分别对系统的交易流程和物流配送过程建立了Pi-演算模型。对无线自动售货机系统的交易流程的建模采用自顶向下的建模方法,首先建立系统的主要活动模块的顶层Pi-演算模型,然后对这些模块进行细化,最后得出系统交易流程完整的Pi-演算模型;并用Pi-演算的形式化辅助工具MWB验证其正确性。为了能够对无线自动售货机系统物流配送过程进行建模,本文定义了一种带时间因素的Pi-演算,对无线自动售货机系统的物流配送过程建立了含有时间因素的Pi-演算模型;考虑到绩效分析的需要,还在不同的缺货情况下同时模拟两种系统物流配送过程的运行,通过选择最佳的配送路线,得出无线售货机物流配送过程与传统售货机物流配送过程工作效率的提高。 本文为系统复杂的交易流程和物流配送过程建立了精确的Pi-演算模型,使系统的开发人员、监控人员和维护人员对系统形成了一致的准确的理解,为系统的分析和改进打下良好基础。同时对系统物流配送过程进行量化,实现了无线自动售货机系统的时间绩效分析。
【图文】：

送人员和后台管理人员)、移动终端(手机)、运营支撑系统(无线自动售货机应用服务器和监控中心服务器)、网络基础设施(GSM网络和USSD平台)和移动中间件(小额支付平台、积分消费平台和短消息平台)组成，，其网络结构如图3.1所示。及时性)关后台管理人员图3.1无线自动售货机系统网络结构 Fig.3.1NetworkofwirelessVendingMachinesystem在无线自动售货机系统交易流程中，手机用户按照货机上标记的拨打号码，以拨号方式通过中国移动GSM网络发送购买无线自动售货机商品的USSD业务请求，同时将接入号码连接到uSSD平台。uSSD平台根据接入号码来判断该应用的请求类别为无线

在整个USSD系统中，用户通过拨号，以GSM网为传输载体，通过移动终端D接入号码，连接USSD服务器。USSD服务器解析用户输入的具体参数，根不同请求，找到该请求的应用服务器，应用服务器把显示信息通过GSM网，机用户，实现交易。图3.2是USSD系统结构图。
【学位授予单位】：大连理工大学
【学位级别】：硕士
【学位授予年份】：2008
【分类号】：TH692.4;TP391.7

【引证文献】

相关硕士学位论文 前2条

1 王会会;综合客运交通枢纽内部客流拥堵机理研究[D];北京交通大学;2011年

2 杨金武;面向主语的业务流程管理研究[D];云南大学;2013年

本文编号：2608593