arXiv:2505.06287v1 宣告类型: 新 摘要：数字孪生正在成为一种有价值的工具，不仅在众多领域（包括过程工业、能源、太空、运输和医疗保健）的短期决策制定中发挥作用，还在长期内的战略规划中发挥作用。本文报告了我们关于设计一种增强资源规划的数字孪生的工作，例如在医院中的住院病房需求。通过利用可执行形式模型进行系统探索、本体进行知识表示以及SMT求解器进行约束满足，我们的方法旨在探索假设的“如果-怎么样”情景，以改进战略规划过程，同时解决具体的短期决策任务。我们提出的方法使用可执行形式模型将需要住院的患者流入转化为一系列优化问题，例如捕捉日常住院病房需求，这些问题可以通过SMT技术解决。知识库，它形式化了领域的知识，用于在数字孪生中建模所需的配置，从而使孪生能够支持短期决策制定和长期战略规划生成从平均条件到最坏情况的资源需求场景，这取决于患者的预期治疗以及可用资源的变化，例如不同房间的床位分配。我们通过考虑医院病房中的床位分配问题来阐述我们的数字孪生架构。