JASSS 28(1):5 · 2025 · 社会仿真领域旗舰刊 · 代码开源

把智能体模型与仓室模型接起来:一种传染病建模的混合方法

Inan Bostanci, Tim O. F. Conrad · Journal of Artificial Societies and Social Simulation (JASSS) · 2025 · DOI: 10.18564/jasss.5567
原题:Integrating Agent-Based and Compartmental Models for Infectious Disease Modeling: A Novel Hybrid Approach
Open Access 新颖度 0.70

🧒 初中生也能看懂的版本

① 研究背景(为什么要做?)

想象政府要预测一场流感会怎么传、封控该不该做、疫苗该优先给谁。做这种推演,有两条路。

第一条路是「一个一个算」——把每个人都当成一个独立个体,模拟他们怎么走动、怎么接触、怎么被感染。这叫智能体模型(ABM)。它很真实,能反映「住在城中村的人接触更密」这种细节,但代价是:人口一多,电脑就算不动了。

第二条路是「一锅一锅算」——把人群分成「易感」「感染」「康复」几大锅,用微分方程算每锅之间怎么流动。这叫仓室模型,算得飞快,但它假设每锅里的人混得一样均匀,忽略了空间和行为的差异。

这篇文章想做的事很朴素:能不能让两种模型在同一张地图上分工合作——人少、需要细节的地方用「一个一个算」,其他大片区域用「一锅一锅算」?

② 研究问题(要回答什么?)

作者提了两个具体问题。第一,这种「空间拼接」的混合模型,算出来的疾病传播曲线还准不准?两条曲线在接缝处会不会打架?第二,它到底能省下多少计算时间?省时间是不是要以牺牲准确性为代价?

另外还有一个更细的问题:当个体模型里的空间是有「地形」的(人会往低处聚集),而方程模型那边没有空间概念时,接缝处的差异会不会被放大?

③ 研究方法(怎么做的?)

作者把一块 10×10 的二维地盘从中间竖着切一刀:左边跑智能体模型(M1),右边跑仓室模型(M2)。这条分界线可以在横轴上左右移动——线往右移,就是让仓室模型管更多人口,往左移就是让智能体模型管更多。他们把这个比例从 0 到 1 每隔 0.02 测一次,每种配置重复 100 次取平均。

两边的「人」要能来回走。从 M1 走进 M2 的人,会被折算成「易感/感染/康复」三个数字加进方程;从 M2 走回 M1 的人,再按这三类的比例重新「发」出来。这里有个细节:为了不让某一步走出比现有更多的人,作者让流出的数量延迟一步计算。

仓室那边就是经典 SIR 方程:易感者按「传染率 × 易感 × 感染 / 总人口」变成感染者,感染者按康复率变成康复者。两边用同一个时间步长同步推进。

④ 结果(发现了什么?)

准确性方面:当两边模拟的人群都比较均匀时(混合模型 A),随着仓室模型占比上升,误差(RMSE)从 25.09 一路平滑降到 0——注意这里的 0 是相对仓室模型这条基准线算的,所以占比越高当然越接近。峰值高度几乎不变(71.57% 到 72.46%),但「峰值出现的时间」出现了一个二次型的关系——不是慢慢过渡,而是更贴近占多数的那个模型。作者认为这是离散时间步造成的。

有地形时更麻烦(混合模型 B):一旦个体模型里加了「往低处聚集」的吸引力点,结果就开始来回摆——在仓室占比 0.5 附近,峰值时间和峰值高度都会翻转方向。也就是说,接缝处的人口流动被地形放大,产生了局部突变。

计算成本:总体上,仓室模型占比越高,CPU 时间越少,混合模型确实比纯智能体模型省时间。但在模型 B 的低占比区间,CPU 时间反而先上升——因为接缝互动变复杂了。

⑤ 讨论(这些发现说明什么?)

作者的结论有两面。

好消息:空间拼接是可行的。疾病传播的整体形态能被抓住,计算成本能显著下降,而且「细节 ↔ 效率」可以用一条可调的分界线来权衡——这对大规模公共卫生推演很有吸引力。

坏消息:混合模型对两个子模型之间的差异极其敏感。如果两边本来就会给出不同的曲线,那么接缝会把差异放大,甚至产生方向性的突变。所以「混合」不是免费的午餐,前提是先把两个模型的口径对齐。

还有一个结构性缺陷:人在两个区域之间来回时,个体层面的信息会丢失。一个刚康复的人走进仓室区,再走回来时可能被重新「发」成易感者。

⑥ 结论(最终结论 + 启示)

这项研究给做政策仿真的人一个提醒:混合建模能省钱,但不能省掉校准。真正的门槛不在拼接算法,而在两个子模型是否在同样的假设下描述同一群人。

局限也很明显:只用了最简单的 SIR(没有潜伏期、没有抗体衰减、没有年龄结构),空间是抽象的二维格子而不是真实城市,人口规模也是「玩具级」。所以它更像一个方法论原型,离直接给卫生部门做决策还有距离。

🎓 专业 IRMaD 结构解读

I. Introduction(引言)

传染病建模长期在两条范式之间取舍。仓室模型(compartmental / ODE)以 SIR 为代表,用宏观转移率刻画群体动态,计算高效,但假设人群均质混合,难以刻画空间与行为异质性;智能体模型(ABM)以个体为单元模拟接触、移动与感染,能表达网络与地理细节,但对大规模人口的计算与数据要求极高。元人口(meta-population)与分层模型虽提高空间分辨率,仍在每个子群内部保留均质性假设。

混合建模(hybrid modeling)试图兼取二者之长,但在传染病领域研究有限。既有混合方案多为「时间上的交替」(用 ABM 聚合值初始化 ODE)或「结构上的嵌套」(以 ODE 描述单体内过程),较少处理空间耦合与双向人口流动带来的守恒与信息损失问题。本文提出一种空间耦合的混合模型:把同一人群空间划分为 ABM 区(M1)与 ODE 区(M2),以可移动的界面调节两者权重,并系统评估其动力学一致性与计算效率。

I. Theoretical Framework & Hypotheses(理论框架与假设)

核心设计原则是「模型等价性」:混合模型的可信度取决于两个子模型在重叠条件下能否给出一致的动力学。据此,作者构造两种情境来操纵差异大小:混合模型 A 中 M1 与 M2 均模拟均质人口,二者基线接近;混合模型 B 中 M1 引入景观驱动的异质移动,二者基线显著不同。研究问题形式化为两点:(1)随权重 w2 变化,感染曲线的形态指标如何偏离参考模型?(2)相对纯 ABM,CPU 时间如何变化?

要素设定
空间二维方格,0 ≤ x,y ≤ 9;界面为垂直于 x 轴的直线,可移动
M1(ABM)个体位于 (x,y),状态 S/I/R;两种移动规则:M1-A 随机游走;M1-B 向低海拔吸引点趋近/远离
M2(ODE)经典 SIR;β 为传染率,γ 为康复率
耦合M1→M2:个体按状态累加为 sin, iin, rin;M2→M1:按上一步存量释放,延迟一步以保证守恒

M. Materials & Methods(材料与方法)

R. Results(结果)

Hybrid A(均质):RMSE 随 w2 从 25.09 单调降至 0(0 为相对 M2 参考模型的必然结果);峰值高度稳定在 71.57%(w2=0)至 72.46%(w2=1);偏度 1.16→1.20;FWHM 25.58→25;峰值时间呈二次型而非线性过渡(参考模型 16 步 vs M1-A 17.36 步),作者归因于离散时间实现与两子模型峰值时间仅差 1.36 步。CPU 时间随 w2 近似线性下降。

Hybrid B(异质):加入吸引点后,峰值时间与峰值高度在 w2≈0.5 附近出现方向翻转;低 w2 区间 CPU 时间先升后降,反映界面交互成本;整体仍低于纯 ABM。

指标w2=0(纯 ABM)w2=1(纯 ODE)趋势
RMSE25.090单调下降
峰值高度71.57%72.46%基本稳定
峰值时间17.36 步16 步二次型非单调
偏度1.161.20w2>0.6 后加速上升
FWHM25.5825小幅收窄

a / D. Discussion & Conclusion(讨论与结论)

🧠 IRMaD 思维导图

I 引言 R 研究问题/假设 M 方法 R 结果 a 讨论 D 结论
mindmap
  root((传染病混合建模))
    I 引言
      仓室模型算得快但均质
      智能体模型真实但昂贵
      混合建模研究稀少
    R 问题
      拼接后曲线还准吗
      能省多少计算时间
      地形会不会放大差异
    M 方法
      十乘十二维空间
      可移动分界线
      左侧个体右侧方程
      双向人口流动
      SIR经典结构
      权重零到一扫描
    R 结果
      误差降至零
      峰值高度稳定
      峰值时间二次型
      异质情境方向翻转
      计算成本显著下降
    a 讨论
      混合效果取决于等价性
      接缝会放大差异
      跨区流动丢失个体信息
      可用于分区干预推演
    D 结论
      混合建模可行
      先对齐子模型口径
      仅SIR玩具级待校准

图:本研究的 IRMaD 思维导图。蓝色 I 引言;橙色 R 研究问题;绿色 M 方法; 橙色 R 结果;紫色 a 讨论;红色 D 结论。