Performance Modelling of Patient Flow Scheduling Through a Formal Method
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 provid...
Gespeichert in:
| Veröffentlicht in: | Shanghai jiao tong da xue xue bao 2017-02, Vol.22 (1), p.66-71 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 71 |
|---|---|
| container_issue | 1 |
| container_start_page | 66 |
| container_title | Shanghai jiao tong da xue xue bao |
| container_volume | 22 |
| creator | 陈潇 THOMAS Nigel 丁杰 |
| description | 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. |
| doi_str_mv | 10.1007/s12204-017-1801-0 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_miscellaneous_1904226127</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><cqvip_id>84826578504849554849484948</cqvip_id><sourcerecordid>1904226127</sourcerecordid><originalsourceid>FETCH-LOGICAL-c3030-afdc8bbe253a2f667d728272ea973711cc1586056c5f33dafd77795927f788233</originalsourceid><addsrcrecordid>eNp9kE9LxDAQxYsoqKsfwFvBi5fqTNI0yVHEdQVFQT2HbJr-kW6jSYv47U3tIuLBw2QG8ntvhpckJwjnCMAvAhICeQbIMxSAGewkByglywQKsRvnCGWInOwnhyG8AuRAqTxIVo_WV85vdG9seu9K23VtX6euSh_10Np-SJed-0ifTGPL8fvrufFurJtUp8tJ16X3dmhceZTsVboL9njbF8nL8vr5apXdPdzcXl3eZYYChUxXpRHrtSWMalIVBS85EYQTqyWnHNEYZKIAVhhWUVpGnHMumSS84kIQShfJ2ez75t37aMOgNm0w8WzdWzcGhRJyQgokPKKnf9BXN_o-XqdiKDD5ERkpnCnjXQjeVurNtxvtPxWCmmJTc7YqZqumbBVEDZk1IbJ9bf0v539EdLuocX39HnU_m0QuSMG4YJCLXDI2vXPRL-KriJ8</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>1880788229</pqid></control><display><type>article</type><title>Performance Modelling of Patient Flow Scheduling Through a Formal Method</title><source>Alma/SFX Local Collection</source><source>SpringerLink Journals - AutoHoldings</source><creator>陈潇 THOMAS Nigel 丁杰</creator><creatorcontrib>陈潇 THOMAS Nigel 丁杰</creatorcontrib><description>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.</description><identifier>ISSN: 1007-1172</identifier><identifier>EISSN: 1995-8188</identifier><identifier>DOI: 10.1007/s12204-017-1801-0</identifier><language>eng</language><publisher>Shanghai: Shanghai Jiaotong University Press</publisher><subject>Architecture ; Computational fluid dynamics ; Computer Science ; Delivery scheduling ; Differential equations ; Electrical Engineering ; Engineering ; Fluid flow ; Formal method ; Health care ; Health care industry ; Health services ; Hospitals ; Life Sciences ; Materials Science ; Mathematical models ; Ordinary differential equations ; Patients ; Performance evaluation ; Scheduling</subject><ispartof>Shanghai jiao tong da xue xue bao, 2017-02, Vol.22 (1), p.66-71</ispartof><rights>Shanghai Jiaotong University and Springer-Verlag Berlin Heidelberg 2017</rights><rights>Copyright Springer Science & Business Media 2017</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><cites>FETCH-LOGICAL-c3030-afdc8bbe253a2f667d728272ea973711cc1586056c5f33dafd77795927f788233</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Uhttp://image.cqvip.com/vip1000/qk/85391X/85391X.jpg</thumbnail><linktopdf>$$Uhttps://link.springer.com/content/pdf/10.1007/s12204-017-1801-0$$EPDF$$P50$$Gspringer$$H</linktopdf><linktohtml>$$Uhttps://link.springer.com/10.1007/s12204-017-1801-0$$EHTML$$P50$$Gspringer$$H</linktohtml><link.rule.ids>314,780,784,27922,27923,41486,42555,51317</link.rule.ids></links><search><creatorcontrib>陈潇 THOMAS Nigel 丁杰</creatorcontrib><title>Performance Modelling of Patient Flow Scheduling Through a Formal Method</title><title>Shanghai jiao tong da xue xue bao</title><addtitle>J. Shanghai Jiaotong Univ. (Sci.)</addtitle><addtitle>Journal of Shanghai Jiaotong University(Science)</addtitle><description>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.</description><subject>Architecture</subject><subject>Computational fluid dynamics</subject><subject>Computer Science</subject><subject>Delivery scheduling</subject><subject>Differential equations</subject><subject>Electrical Engineering</subject><subject>Engineering</subject><subject>Fluid flow</subject><subject>Formal method</subject><subject>Health care</subject><subject>Health care industry</subject><subject>Health services</subject><subject>Hospitals</subject><subject>Life Sciences</subject><subject>Materials Science</subject><subject>Mathematical models</subject><subject>Ordinary differential equations</subject><subject>Patients</subject><subject>Performance evaluation</subject><subject>Scheduling</subject><issn>1007-1172</issn><issn>1995-8188</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2017</creationdate><recordtype>article</recordtype><recordid>eNp9kE9LxDAQxYsoqKsfwFvBi5fqTNI0yVHEdQVFQT2HbJr-kW6jSYv47U3tIuLBw2QG8ntvhpckJwjnCMAvAhICeQbIMxSAGewkByglywQKsRvnCGWInOwnhyG8AuRAqTxIVo_WV85vdG9seu9K23VtX6euSh_10Np-SJed-0ifTGPL8fvrufFurJtUp8tJ16X3dmhceZTsVboL9njbF8nL8vr5apXdPdzcXl3eZYYChUxXpRHrtSWMalIVBS85EYQTqyWnHNEYZKIAVhhWUVpGnHMumSS84kIQShfJ2ez75t37aMOgNm0w8WzdWzcGhRJyQgokPKKnf9BXN_o-XqdiKDD5ERkpnCnjXQjeVurNtxvtPxWCmmJTc7YqZqumbBVEDZk1IbJ9bf0v539EdLuocX39HnU_m0QuSMG4YJCLXDI2vXPRL-KriJ8</recordid><startdate>20170201</startdate><enddate>20170201</enddate><creator>陈潇 THOMAS Nigel 丁杰</creator><general>Shanghai Jiaotong University Press</general><general>Springer Nature B.V</general><scope>2RA</scope><scope>92L</scope><scope>CQIGP</scope><scope>~WA</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>7SP</scope><scope>7SR</scope><scope>7TB</scope><scope>7U5</scope><scope>8BQ</scope><scope>8FD</scope><scope>FR3</scope><scope>JG9</scope><scope>JQ2</scope><scope>KR7</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>20170201</creationdate><title>Performance Modelling of Patient Flow Scheduling Through a Formal Method</title><author>陈潇 THOMAS Nigel 丁杰</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c3030-afdc8bbe253a2f667d728272ea973711cc1586056c5f33dafd77795927f788233</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2017</creationdate><topic>Architecture</topic><topic>Computational fluid dynamics</topic><topic>Computer Science</topic><topic>Delivery scheduling</topic><topic>Differential equations</topic><topic>Electrical Engineering</topic><topic>Engineering</topic><topic>Fluid flow</topic><topic>Formal method</topic><topic>Health care</topic><topic>Health care industry</topic><topic>Health services</topic><topic>Hospitals</topic><topic>Life Sciences</topic><topic>Materials Science</topic><topic>Mathematical models</topic><topic>Ordinary differential equations</topic><topic>Patients</topic><topic>Performance evaluation</topic><topic>Scheduling</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>陈潇 THOMAS Nigel 丁杰</creatorcontrib><collection>中文科技期刊数据库</collection><collection>中文科技期刊数据库-CALIS站点</collection><collection>中文科技期刊数据库-7.0平台</collection><collection>中文科技期刊数据库- 镜像站点</collection><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Electronics & Communications Abstracts</collection><collection>Engineered Materials Abstracts</collection><collection>Mechanical & Transportation Engineering Abstracts</collection><collection>Solid State and Superconductivity Abstracts</collection><collection>METADEX</collection><collection>Technology Research Database</collection><collection>Engineering Research Database</collection><collection>Materials Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Civil Engineering Abstracts</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><jtitle>Shanghai jiao tong da xue xue bao</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>陈潇 THOMAS Nigel 丁杰</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Performance Modelling of Patient Flow Scheduling Through a Formal Method</atitle><jtitle>Shanghai jiao tong da xue xue bao</jtitle><stitle>J. Shanghai Jiaotong Univ. (Sci.)</stitle><addtitle>Journal of Shanghai Jiaotong University(Science)</addtitle><date>2017-02-01</date><risdate>2017</risdate><volume>22</volume><issue>1</issue><spage>66</spage><epage>71</epage><pages>66-71</pages><issn>1007-1172</issn><eissn>1995-8188</eissn><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.</abstract><cop>Shanghai</cop><pub>Shanghai Jiaotong University Press</pub><doi>10.1007/s12204-017-1801-0</doi><tpages>6</tpages><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 1007-1172 |
| ispartof | Shanghai jiao tong da xue xue bao, 2017-02, Vol.22 (1), p.66-71 |
| issn | 1007-1172 1995-8188 |
| language | eng |
| recordid | cdi_proquest_miscellaneous_1904226127 |
| source | Alma/SFX Local Collection; SpringerLink Journals - AutoHoldings |
| subjects | Architecture Computational fluid dynamics Computer Science Delivery scheduling Differential equations Electrical Engineering Engineering Fluid flow Formal method Health care Health care industry Health services Hospitals Life Sciences Materials Science Mathematical models Ordinary differential equations Patients Performance evaluation Scheduling |
| title | Performance Modelling of Patient Flow Scheduling Through a Formal Method |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-09T18%3A43%3A01IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Performance%20Modelling%20of%20Patient%20Flow%20Scheduling%20Through%20a%20Formal%20Method&rft.jtitle=Shanghai%20jiao%20tong%20da%20xue%20xue%20bao&rft.au=%E9%99%88%E6%BD%87%20THOMAS%20Nigel%20%E4%B8%81%E6%9D%B0&rft.date=2017-02-01&rft.volume=22&rft.issue=1&rft.spage=66&rft.epage=71&rft.pages=66-71&rft.issn=1007-1172&rft.eissn=1995-8188&rft_id=info:doi/10.1007/s12204-017-1801-0&rft_dat=%3Cproquest_cross%3E1904226127%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=1880788229&rft_id=info:pmid/&rft_cqvip_id=84826578504849554849484948&rfr_iscdi=true |