arXiv:2407.12605v2 通知类型: 替换-交叉 摘要：云-边缘计算要求应用程序在多样化的基础设施上运行，通常由网络物理事件触发。容器提供了轻量级的部署选项，但从中央仓库拉取镜像可能会导致延迟。本文提出了一种新的声明式方法和开源原型，用于在云-边缘连续体中跨多个位置复制容器镜像。考虑到资源可用性、网络QoS和存储成本，我们利用逻辑编程来（i）通过回答集编程（ASP）确定最优初始放置，并（ii）使用基于Prolog的持续推理来调整放置。通过仿真实验，我们展示了结合ASP和基于Prolog的持续推理如何在基础设施规模增加时平衡成本优化和快速决策的放置调整能力。