【作者】 王丽超；

【导师】 顾宏；

【作者基本信息】 大连理工大学 ， 控制理论与控制工程， 2008， 硕士

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

【Abstract】 Wireless vending machine system realizes the long-distance control, it is convenient for enterprise to manage the distribution, also easy to be shopping by phone for customers. To reach an agreement on the complicated system unanimously, analyze reliability and the efficiency amelioration of wireless system, finding an accurate model that can model the system dynamically is a necessary.Wireless vending machine system belongs to the discrete event dynamic system, Pi-Calculus which is a kind of the process algebra can analyze and model the system that has characteristics as concurrent and resource sharing usefully. Pi-Calculus modeling technology is applied to model and research the wireless vending machine system to model the business process and the logistics distribution process. The modeling method called "from top to bottom" is to model business process. The top Pi-Calculus model is built aiming at the main activities modules of the system. And then the integrated Pi-Calculus model of business process is found, at one time, through executing on the simulator MWB to prove the changed structure of the serve. A timed Pi-Calculus model with time is defined to model the logistics distribution process of the wireless system in a definite distribution environment. Considered the need of performance analysis, the model of the logistics distribution process of the traditional vending machine system is found too. These two models are simulated in different situations.In this paper an accurate Pi-Calculus model is built for the business process of the system, can make the personnel of the system to form a uniform and exact comprehend and ground a well foundation for the analysis and improvement of the system. The modeling for the logistics distribution process of the wireless system quantifies the efficiency amelioration of wireless system and realizes the time performance analysis of the wireless vending machine system.更多还原