Performance Modelling of Patient Flow Scheduling Through a Formal Method

doi:10.1007/s12204-017-1801-0

上海交通大学学报（英文版） ›› 2017, Vol. 22 ›› Issue (1): 66-071.doi: 10.1007/s12204-017-1801-0

Performance Modelling of Patient Flow Scheduling Through a Formal Method

CHEN Xiao1* (陈潇), THOMAS Nigel2, DING Jie3 (丁杰)

(1. School of Computer Science and Communication Engineering, Jiangsu University, Zhenjiang 212013, Jiangsu, China; 2. School of Computing Science, Newcastle University, Newcastle Upon Tyne, NE1 7RU, UK; 3. School of Information Engineering, Yangzhou University, Yangzhou 225127, Jiangsu, China)

出版日期:2017-02-28 发布日期:2017-04-04
通讯作者: CHEN Xiao1* (陈潇) E-mail:xiaochen@ujs.edu.cn

Performance Modelling of Patient Flow Scheduling Through a Formal Method

CHEN Xiao1* (陈潇), THOMAS Nigel2, DING Jie3 (丁杰)

(1. School of Computer Science and Communication Engineering, Jiangsu University, Zhenjiang 212013, Jiangsu, China; 2. School of Computing Science, Newcastle University, Newcastle Upon Tyne, NE1 7RU, UK; 3. School of Information Engineering, Yangzhou University, Yangzhou 225127, Jiangsu, China)

Online:2017-02-28 Published:2017-04-04
Contact: CHEN Xiao1* (陈潇) E-mail:xiaochen@ujs.edu.cn

摘要/Abstract

摘要： Smart environment is being used in many areas to deliver more services to individuals in a physical space, such as a hospital. In the UK, the National Health Service (NHS) provides free and high quality healthcare service for all residents. Smart hospital environment is able to support NHS and provide more convenience. Patient flow scheduling is a crucial section in a smart hospital environment. Smart hospital environment aims to provide a smart environment in the hospital to facilitate individual experience and improve the quality of healthcare service. First of all, this paper investigates a real world patient flow scenario of a hospital in the UK and models a general scheduling scheme based on the scenario using a compositional formal approach, i.e. performance evaluation process algebra (PEPA). This scheduling scheme uses an easy-implemented solution (the grouping scheme) to reduce the waiting queue in the hospital. Secondly, fluid flow analysis is used for the performance analysis by generating a set of ordinary differential equations (ODEs) in terms of the PEPA model.

关键词: scheduling, performance valuation, patient flow, performance evaluation process algebra (PEPA), ordinary differential equations (ODEs)

Abstract: Smart environment is being used in many areas to deliver more services to individuals in a physical space, such as a hospital. In the UK, the National Health Service (NHS) provides free and high quality healthcare service for all residents. Smart hospital environment is able to support NHS and provide more convenience. Patient flow scheduling is a crucial section in a smart hospital environment. Smart hospital environment aims to provide a smart environment in the hospital to facilitate individual experience and improve the quality of healthcare service. First of all, this paper investigates a real world patient flow scenario of a hospital in the UK and models a general scheduling scheme based on the scenario using a compositional formal approach, i.e. performance evaluation process algebra (PEPA). This scheduling scheme uses an easy-implemented solution (the grouping scheme) to reduce the waiting queue in the hospital. Secondly, fluid flow analysis is used for the performance analysis by generating a set of ordinary differential equations (ODEs) in terms of the PEPA model.

Key words: scheduling, performance valuation, patient flow, performance evaluation process algebra (PEPA), ordinary differential equations (ODEs)

中图分类号:

CHEN Xiao1* (陈潇), THOMAS Nigel2, DING Jie3 (丁杰). Performance Modelling of Patient Flow Scheduling Through a Formal Method[J]. 上海交通大学学报（英文版）, 2017, 22(1): 66-071.

CHEN Xiao1* (陈潇), THOMAS Nigel2, DING Jie3 (丁杰). Performance Modelling of Patient Flow Scheduling Through a Formal Method[J]. Journal of shanghai Jiaotong University (Science), 2017, 22(1): 66-071.

参考文献 8

[1]	GARTNER D, KOLISCH R. Scheduling the hospitalwideflow ofelective patients [J]. European Journal ofOperational Research, 2014, 233(3): 689-699.
[2]	KORTBEEK N, ZONDERLAND M E, BRAAKSMAA, et al. Designing cyclic appointment schedules foroutpatient clinics with scheduled and unscheduledpatientarrivals [J]. Performance Evaluation, 2014, 80:5-26.
[3]	HILLSTON J. Fluid flow approximation of PEPAmodels [C]//Proceedings of the Second InternationalConference on the Quantitative Evaluation of Systems.[s.l.]: IEEE, 2005: 1-10.
[4]	HILLSTON J. A compositional approach to performancemodelling [M]. London, UK: Cambridge UniversityPress, 1996.
[5]	TANG J F, YAN C J, CAO P P. Appointment schedulingalgorithm consideringroutine and urgent patients[J]. Expert Systems with Applications, 2014, 41(10):4529-4541.
[6]	CHEN R R, ROBINSON L W. Sequencing andscheduling appointmentswith potential call-in patients[J]. Production and Operations Management, 2014,23(9): 1522-1538.
[7]	CHEN X, WANG L M, DING J, et al. Patient flowscheduling and capacity planning in a smart hospitalenvironment [J]. IEEE Access, 2016, 4(1): 135-147.
[8]	CHEN X, WANG L M. Exploring trusted data disseminationin a vehicular social network with a formalcompositional approach C]//Proceedings of 40th AnnualComputer Software and Applications Conference(2016 COMPSAC). Atlanta, USA: IEEE, 2016: 616-617.

[1]	CUI Weiwei (崔维伟). Approximate Approach to Deal with the Uncertainty in Integrated Production Scheduling and Maintenance Planning [J]. Journal of Shanghai Jiao Tong University (Science), 2020, 25(1): 106-117.
[2]	LIU Gehui (刘葛辉), LONG Xiangyu (龙翔宇), TONG Shuo (仝硕), ZHANG Rui (张瑞), CHEN Shaoku. Optimum Consecutive Preventive Maintenance Scheduling Model Considering Reliability[J]. Journal of Shanghai Jiao Tong University (Science), 2019, 24(4): 490-495.
[3]	XIE Ying *(谢盈), WU Jinzhao (吴尽昭), CHEN Jianying (陈建英), CUI Mengtian (崔梦天). Dynamic Measurement of Task Scheduling Algorithm in Multi-Processor System[J]. Journal of Shanghai Jiao Tong University (Science), 2019, 24(3): 372-380.
[4]	JIAN Lixuan* (简立轩), YIN Dong (尹栋), SHEN Lincheng (沈林成), NIU Yifeng (牛轶峰). Human Machine Collaborative Support Scheduling System of Intelligence Information from Multiple Unmanned Aerial Vehicles Based on Eye Tracker[J]. 上海交通大学学报（英文版）, 2017, 22(3): 322-328.
[5]	ZHANG Qian* (张茜), LIU Zhiyuan (刘志远). Hierarchical Control Strategy of Trajectory Tracking for Intelligent Vehicle[J]. 上海交通大学学报（英文版）, 2017, 22(2): 224-232.
[6]	ZHANG Chao* (张超), YU Mingyan (喻明艳), YANG Bing (杨兵). A Simple Method to Solve the Network Congestion for Spitial Architcture[J]. 上海交通大学学报（英文版）, 2017, 22(1): 72-076.
[7]	JIANG Cailin1 (江才林), LU Zhiqiang1* (陆志强), CUI Weiwei2 (崔维伟). Heuristics for the Identical Machine Scheduling Problem with Preventive Maintenances[J]. 上海交通大学学报（英文版）, 2016, 21(1): 112-120.
[8]	BIAN Zhan1 (边展), LI Na1 (李娜), LI Xiang-jun2 (李向军), JIN Zhi-hong1* (靳志宏). Operations Scheduling for Rail Mounted Gantry Cranes in a Container Terminal Yard[J]. 上海交通大学学报（英文版）, 2014, 19(3): 337-345.
[9]	DING Liang-huia (丁良辉), BI Yanb (毕琰), SUN Da-jiab (孙大佳),YANG Fengb* (杨峰), QIAN . Efficient Scheduling with Random Network Coding in Multi-Relay Wireless Network[J]. 上海交通大学学报（英文版）, 2014, 19(1): 59-64.
[10]	HE Jun-liang1,2* (何军良), ZHANG Wei-min1 (张为民), HUANG You-fang2 (黄有方), YAN Wei2 (严. An Efficient Approach for Solving Yard Crane Scheduling in a Container Terminal[J]. 上海交通大学学报（英文版）, 2013, 18(5): 606-619.

Performance Modelling of Patient Flow Scheduling Through a Formal Method

Performance Modelling of Patient Flow Scheduling Through a Formal Method

可视化

摘要/Abstract

引用本文

使用本文

参考文献 8

相关文章 10

编辑推荐

Metrics

本文评价