The management systems currently used in the Italian healthcare sector provide fragmented and incomplete information on this system and are generally unlikely to give accurate information on the performances of the he...The management systems currently used in the Italian healthcare sector provide fragmented and incomplete information on this system and are generally unlikely to give accurate information on the performances of the healthcare processes. The present paper introduces a combined discrete event simulation (DES)/business process management (BPM) approach as innovative means to study the workflow of the activities within the Department of Laboratory Medicine of the “San Paolo” Hospital in Naples (Italy). After a first “As-Is” analysis to identify the current workflows of the system and to gather information regarding its behaviour, a following DES-based “What-If” analysis is implemented to figure out alternative work hypotheses in order to highlight possible modifications to the system’s response under varying operating conditions and improve its overall performances. The structure of the simulation program is explained and the results of the scenario analysis are discussed. The paper starts with a brief exploration of the use of DES in healthcare and ends with general observations on the subject.展开更多
In order to improve the influence of the uncertain and dynamic of node enterprise behavior on the performance of supply chain,the method based on stochastic process algebra for description,analysis,validation and eval...In order to improve the influence of the uncertain and dynamic of node enterprise behavior on the performance of supply chain,the method based on stochastic process algebra for description,analysis,validation and evaluation of supply chain business process model is proposed.Firstly,the description of the uncertainty of node enterprise behavior is given using the extended Unified Modeling Language sequence diagram,and mapping rule is defined from the extended Unified Modeling Language sequence diagram to stochastic process algebra.Secondly,on the basis of the acquired stochastic process algebra model,the supply chain business process model is verified with Mobility Workbench.Finally,according to the operational semantics of stochastic process algebra,the continuous-time Markov chain,isomorphic with stochastic process algebra model,is built; and the system performance evaluation of transient status and stable status is respectively conducted in accordance with Markov transfer relations and the current state of system,obtaining the predicted performance value and average performance index value for a specific period of time.The simulation experiments show that the proposed method can accurately describe the stochastic behaviors of supply chain system and interactions among nodes,effectively verify the validity of the model,and objectively and exactly evaluate design of the supply chain.展开更多
Autoconfiguration protocols are important in maintaining mobile ad hoc networks (MANETs). In this paper, we present an autoconfiguration protocol called the one-step addressing (OSA) protocol characterized by its simp...Autoconfiguration protocols are important in maintaining mobile ad hoc networks (MANETs). In this paper, we present an autoconfiguration protocol called the one-step addressing (OSA) protocol characterized by its simplicity. Mathematical model is developed to evaluate the performance of the proposed protocol. The results of the model, which are validated by the simulation results, show that the OSA protocol outperforms the well-known token-based protocol in terms of both latency and communications overhead.展开更多
随着国际海事卫星通信系统(international maritime satellite communication system,INMARSAT)的不断发展,卫星地面站(satellite earth station,SES)的可用性评估具有重要意义。首先选取可靠性、维修性和保障性为指标,构建可靠性、维...随着国际海事卫星通信系统(international maritime satellite communication system,INMARSAT)的不断发展,卫星地面站(satellite earth station,SES)的可用性评估具有重要意义。首先选取可靠性、维修性和保障性为指标,构建可靠性、维修性与保障性(reliability,maintainability and supportability,RMS)模型进行SES可用性评估;其次,以SES设备为研究对象,根据马尔可夫链得到设备有效性概率,并进一步推导出系统可靠性;然后,建立排队图解协调技术(queue-graphical evaluation and review technique,Q-GERT)网络以描述SES设备的维修保障过程,并基于AnyLogic软件进行建模仿真;最后,通过算例进行应用研究,基于RMS模型进行SES可用性评估,验证了该模型和评估方法的有效性与实用性。展开更多
文摘The management systems currently used in the Italian healthcare sector provide fragmented and incomplete information on this system and are generally unlikely to give accurate information on the performances of the healthcare processes. The present paper introduces a combined discrete event simulation (DES)/business process management (BPM) approach as innovative means to study the workflow of the activities within the Department of Laboratory Medicine of the “San Paolo” Hospital in Naples (Italy). After a first “As-Is” analysis to identify the current workflows of the system and to gather information regarding its behaviour, a following DES-based “What-If” analysis is implemented to figure out alternative work hypotheses in order to highlight possible modifications to the system’s response under varying operating conditions and improve its overall performances. The structure of the simulation program is explained and the results of the scenario analysis are discussed. The paper starts with a brief exploration of the use of DES in healthcare and ends with general observations on the subject.
基金Sponsored by the National High-Tech.R&D Program for CIMS,China(Grant No.2007AA04Z146)
文摘In order to improve the influence of the uncertain and dynamic of node enterprise behavior on the performance of supply chain,the method based on stochastic process algebra for description,analysis,validation and evaluation of supply chain business process model is proposed.Firstly,the description of the uncertainty of node enterprise behavior is given using the extended Unified Modeling Language sequence diagram,and mapping rule is defined from the extended Unified Modeling Language sequence diagram to stochastic process algebra.Secondly,on the basis of the acquired stochastic process algebra model,the supply chain business process model is verified with Mobility Workbench.Finally,according to the operational semantics of stochastic process algebra,the continuous-time Markov chain,isomorphic with stochastic process algebra model,is built; and the system performance evaluation of transient status and stable status is respectively conducted in accordance with Markov transfer relations and the current state of system,obtaining the predicted performance value and average performance index value for a specific period of time.The simulation experiments show that the proposed method can accurately describe the stochastic behaviors of supply chain system and interactions among nodes,effectively verify the validity of the model,and objectively and exactly evaluate design of the supply chain.
文摘Autoconfiguration protocols are important in maintaining mobile ad hoc networks (MANETs). In this paper, we present an autoconfiguration protocol called the one-step addressing (OSA) protocol characterized by its simplicity. Mathematical model is developed to evaluate the performance of the proposed protocol. The results of the model, which are validated by the simulation results, show that the OSA protocol outperforms the well-known token-based protocol in terms of both latency and communications overhead.
文摘随着国际海事卫星通信系统(international maritime satellite communication system,INMARSAT)的不断发展,卫星地面站(satellite earth station,SES)的可用性评估具有重要意义。首先选取可靠性、维修性和保障性为指标,构建可靠性、维修性与保障性(reliability,maintainability and supportability,RMS)模型进行SES可用性评估;其次,以SES设备为研究对象,根据马尔可夫链得到设备有效性概率,并进一步推导出系统可靠性;然后,建立排队图解协调技术(queue-graphical evaluation and review technique,Q-GERT)网络以描述SES设备的维修保障过程,并基于AnyLogic软件进行建模仿真;最后,通过算例进行应用研究,基于RMS模型进行SES可用性评估,验证了该模型和评估方法的有效性与实用性。
