BedreFlyt：通过数字孪生改进医院病房患者流量
人工智能
2025-05-13 v1 新兴技术
计算机科学中的逻辑
摘要
数字孪生正在成为诸多领域（包括过程行业、能源、太空、交通和医疗）中用于短期决策和长期战略规划的有价值工具。本文报告了我们正在设计用于提升医院资源规划（如病房需求）的数字孪生系统。通过利用可执行形式模型进行系统探索、本体论进行知识表征以及 SMT 求解器进行约束满足，本方法旨在探索假设性"情景"以改进战略规划，也用于解决具体的短期决策任务。我们的方法将到达的病人流（需住院）转化为可由 SMT 技术求解的优化问题流（如捕获日常病房需求），并利用知识库（形式化领域知识）建模数字孪生所需配置，使其既能支持短期决策，又能支持长期战略规划，通过生成覆盖平均情况及最坏情况资源需求的情景来实现。我们通过医院病房的病床分配问题来说明数字孪生架构。
引用
@article{arxiv.2505.06287,
title = {BedreFlyt: Improving Patient Flows through Hospital Wards with Digital Twins},
author = {Riccardo Sieve and Paul Kobialka and Laura Slaughter and Rudolf Schlatte and Einar Broch Johnsen and Silvia Lizeth Tapia Tarifa},
journal= {arXiv preprint arXiv:2505.06287},
year = {2025}
}
备注
In Proceedings ASQAP 2025, arXiv:2505.02873