$ K) k9 {; b: L, T. L1. 前言8 `: Y+ t$ I+ U$ s# {( V
新冠疫情不仅严重影响到全球的政治和经济,深刻和全面地影响着社会和生活的方方面面,也已经成为数学建模竞赛的背景帝。( I( O' K5 m4 o' Z* k: d
/ B: L! f+ v& V
3 {' \0 P1 Y! x, k
传染病的数学模型是数学建模中的典型问题,标准名称是流行病的数学模型(Mathematical models of epidemic diseases)。建立传染病的数学模型来描述传染病的传播过程,研究传染病的传播速度、空间范围、传播途径、动力学机理等问题,以指导对传染病的有效地预防和控制,具有重要的现实意义。8 T% S i6 U+ U/ I5 q. Q
. N$ Z% h( T/ p; V, x( F ' T# S) Q9 Q1 B4 L, C: Y不同类型传染病的传播具有不同的特点,传染病的传播模型不是从医学角度分析传染病的传播过程,而是按照传播机理建立不同的数学模型。0 q8 x) f3 O- F7 m7 x d3 s: x8 e
/ s4 A' m6 ^) s5 L' ~ R9 [/ y1 ]; W& \& }首先,把传染病流行范围内的人群分为 S、E、I、R 四类,具体含义如下:. t8 m3 z& E, F& T5 M: ~
5 C/ v! V6 O4 M3 U5 a5 k8 B' t* d0 o5 x
S 类(Susceptible),易感者,指缺乏免疫能力的健康人,与感染者接触后容易受到感染;, e# }7 O3 A; k5 w0 c
# \3 Y" R/ h f8 L' f
; f5 l K! I* zE 类(Exposed),暴露者,指接触过感染者但暂无传染性的人,适用于存在潜伏期的传染病;; b( a w! N, Z& F
0 O1 |/ _! h F3 v* V ) g) A* i/ x& ^& }I 类(Infectious),患病者,指具有传染性的患病者,可以传播给 S 类成员将其变为 E 类或 I 类成员;! b/ m( Y/ V. m2 U# P1 D% {
: _; [6 A" }4 L# J" t( [# Y- l$ x6 d7 e4 i4 I7 p! W
R 类(Recovered),康复者,指病愈后具有免疫力的人。如果免疫期有限,仍可以重新变为 S 类成员,进而被感染;如果是终身免疫,则不能再变为 S类、E类或 I 类成员。 - @' e+ a4 {6 O$ s- n# S0 c% Y( d+ V+ B4 z4 A P d# @
! s2 k1 b) w4 u' v9 @/ A% |1 \( t常见的传染病模型按照传染病类型分为 SI、SIR、SIRS、SEIR 模型等,就是由以上四类人群根据不同传染病的特征进行组合而产生的不同模型。) ~, q, Z4 A3 Y' A. [) S7 v8 e
2 s/ v# X4 C. e. _
! _8 n, v5 o& k/ ^. d U
& v8 E) ]3 L1 M$ T( Q
0 P8 R8 L- T7 X/ l" \% s& d
Python小白的数学建模课-A3.12个新冠疫情数模竞赛赛题及短评' U' Z3 m" ?, s3 j/ z6 l
Python小白的数学建模课-B2. 新冠疫情 SI模型 c5 Y3 B6 I* ]4 N$ LPython小白的数学建模课-B3. 新冠疫情 SIS模型7 C" | t- c }( h
Python小白的数学建模课-B4. 新冠疫情 SIR模型) b7 ^( h% M- E: I+ O9 G7 m# I) H/ G: G
Python小白的数学建模课-B5. 新冠疫情 SEIR模型 5 M' n6 v$ z9 e" @Python小白的数学建模课-B6. 新冠疫情 SEIR改进模型 3 Q. e: R: c% V( V; g" GPython数模笔记-PuLP库, ~" K6 U0 s8 r& D& }7 ^
4 Q) C; v2 i% [# R, s# R & U/ L7 w5 Y9 ?: ]5 D3 B. n! t. w0 F0 t$ j
8 F& U3 {$ F5 G, ~
2. 疫情传播 SI 模型 4 \: ^8 m' I/ n8 ]2.1 SI 模型的适用范围 - h1 P+ \, V# HSI 模型适用于只有易感者和患病者两类人群,且无法治愈的疾病,例如 T型病、僵尸。$ h9 k: w. ^- H s8 e1 \# }+ ?2 C
' ~# X0 C* ^ U* j8 v- P' g
4 X2 h; U* n8 I# i0 @; X# ]/ C) ]; G+ d+ l5 @3 R
% J, n+ M# e+ h2 {/ i2.2 SI 模型的假设" J" l0 w, x% f' b4 y5 N3 O& U
考察地区的总人数 N 不变,即不考虑生死或迁移; 2 F- [. k1 `- u7 |/ i% Q' O人群分为易感者(S类)和患病者(I类)两类;0 i0 P+ W' `% V4 f; Z' }9 ]
易感者(S类)与患病者(I类)有效接触即被感染,变为患病者,无潜伏期、无治愈情况、无免疫力; ; D4 v; b+ w2 q, C2 |) y0 H每个患病者每天有效接触的易感者的平均人数(日接触数)是 λ \lambdaλ,称为日接触率;. y0 _! M2 c6 J+ @$ ?. J6 a
将第 t 天时 S类、I 类人群的占比记为 s ( t ) s(t)s(t)、i ( t ) i(t)i(t),数量为 S ( t ) S(t)S(t)、I ( t ) I(t)I(t);初始日期 t = 0 t=0t=0 时, S类、I 类人群占比的初值为 s 0 s_0s 9 x6 i; _% b" m0 ]; m* K) j( b
0+ R/ O. Y% e8 V3 r; p( W
2 F- V8 S( v6 C% C5 U$ [+ J9 b0 Y
、i 0 i_0i 8 \! ^8 R- p) y. e
0 ! s |) z* g5 Z1 k& N 2 r' P g9 x" q4 U0 I; y B
。# ^& R7 _* B" v* W1 g2 n
2.3 SI 模型的微分方程 ; \: I5 m1 p' R% Y0 [- T2 m由 P& D; t7 s- ^' |) J. C3 IN d i d t = N λ s i N\frac{di}{dt} = N\lambda s i : l8 l C# J5 E5 |N 2 ~' ^. h/ @8 p9 \5 W0 @dt & j" H# ~- T" f0 K" C. [di# K6 t8 ^+ q4 v) e$ ^" u
- m$ r1 `% Z% k* } =Nλsi0 j3 S9 E! g; u3 r
2 D$ ^$ T( N3 E# m& o: l 7 m# Y# k+ |; g4 d7 _得: * C1 J) D0 o; J, Pd i d t = λ i ( 1 − i ) , i ( 0 ) = i 0 \frac{di}{dt} = \lambda i (1-i),\ i(0) = i_00 E8 ~3 q8 C- I, u
dt 1 U" i9 G% ~- A8 Q7 Q Adi: p' k9 E' Z P- P' J6 }3 w
- v; v0 U. Z' v* z1 A% l f =λi(1−i), i(0)=i $ [# t( p* h8 ^1 d( l0. c4 O4 X9 h# Y% u
/ R5 K4 A) i. j$ n. a c; I
/ W. Y. I9 A9 F/ K5 L a, C
; e8 t' V# {# S1 ]: V" Y \4 `+ N4 f2 r! F( q, K
这是 Logistic 模型,用分离变量法可以求出其解析解为:9 A! F" i- H( z& [ Y$ m2 [
i ( t ) = 1 1 + ( 1 / i 0 − 1 ) e − λ t I ( t ) = N i ( t ) i(t)=\frac{1}{1+(1/i_0 - 1)\ e^{-\lambda t}}\\ I(t)= N\ i(t)9 |4 ^& R9 ~/ ]# {' N! G0 H
i(t)= - V* G1 F) q" f1+(1/i 5 u: a: \. t- n# V5 l
0 # z* A6 v9 M2 X: s / m$ L2 d2 Q. R! H4 b7 F' g7 q3 Y −1) e ) z; H! w% t( N. a% e
−λt . s* u( c3 A: R+ F6 y: l: y ; [' m" k( K( X9 C7 {
1 $ p% X$ W( V% ^% T+ d/ W M- V. ]9 C 6 R9 m% e# m( t: a! V9 q6 m! q
( t l& G5 g0 Q9 B. q) fI(t)=N i(t) 1 y7 F3 o: L6 {- N" j6 E3 u8 q , @% w7 `) ^0 y/ R- P 0 L2 ]8 X# n3 v5 W $ `( w- p Y4 h( M# A$ U7 o" k8 ^) f' u- _
3. SI 模型的 Python 编程5 J! j& @4 o/ }1 A Z: m; @6 i
3.1 SI 模型的解析解 ! f9 m. m1 ^6 A$ g上文已经得到 SI 模型的解析解,对此很容易通过 Python 编程实现,详见本文例程。1 Q$ i9 I, ?4 I& V! m% V7 \- S ~7 T
5 W. F! }% X4 o0 O
5 T% l* n, V2 |, z! t3 I虽然 SI 模型的解析解并不复杂,而且解的精度当然是最好的,但我们仍然不鼓励用解析解的方法。原因在于,一是对于小白求解析解的过程相对复杂困难,而且可能出错,二是对于更复杂的模型是没有解析解的,即便大神也只能用数值方法求解。既然如此,不如从一开始就学习、掌握数值求解方法,熟悉数值解法的编程实现。 V; `$ u% L* R2 e H: v9 |
# i9 K- }. h- O- y: O & E% X! P1 {9 y3 ~. I+ v9 C3.2 SI 模型的数值解 ; [5 h4 Q( h: K" h6 w$ jSI 模型是常微分方程初值问题,可以使用 Scipy 工具包的 scipy.integrate.odeint() 函数求数值解,具体方法可以参考前文《Python小白的数学建模课-09 微分方程模型》。9 v" K& |. Y r+ d$ [0 O; K
# q" D0 X5 i5 S
+ v, c b9 o* r, \/ Z# Qscipy.integrate.odeint(func, y0, t, args=())) _5 ^: d( i- s$ v5 b& M
1/ a! k2 ~' Q( S' a; g5 P
**scipy.integrate.odeint()**是求解微分方程的具体方法,通过数值积分来求解常微分方程组。 " I- H: Y b% @% B / e5 Z9 p: s( h/ W# P# N1 t3 B6 P
odeint() 的主要参数:! Y s, S6 O; |7 m
- b4 [: R. q, I# v3 w1 d( A& |1 N4 C3 m9 k0 [
func: callable(y, t, …) 导数函数 f ( y , t ) f(y,t)f(y,t) ,即 y 在 t 处的导数,以函数的形式表示8 J8 }/ Y: s; o$ i0 ?9 ^
y0: array: 初始条件 y 0 y_0y ) g* P/ L$ X, V( J6 j2 q0 i
0 4 C% m! [3 P5 Z D+ M0 |: y! V1 B ; y+ g5 m; g1 A u8 W4 Q* Z ,对于常微分方程组 y 0 y_0y + L: ~# ~: H5 ^- F7 I0 / ~8 @! e; t4 r3 [! E 3 m$ G5 ]% v0 q7 F
则为数组向量/ N7 s. D/ N) E/ `- S( @, G) M) q
t: array: 求解函数值对应的时间点的序列。序列的第一个元素是与初始条件 y 0 y_0y 3 H0 @7 |6 n4 K
0 9 g, U1 V2 l" B % ? z; B7 S+ D, u
对应的初始时间 t 0 t_0t ! `) c, _/ `& Q* k2 ?. P* M
0( T7 Z+ `1 d# V+ v6 V6 H) ?
$ l. ?6 M C1 [' P
;时间序列必须是单调递增或单调递减的,允许重复值。# y+ e" r0 ]* Q1 K9 ~% `7 e
args: 向导数函数 func 传递参数。当导数函数 f ( y , t , p 1 , p 2 , . . ) f(y,t,p1,p2,..)f(y,t,p1,p2,..) 包括可变参数 p1,p2… 时,通过 args =(p1,p2,…) 可以将参数p1,p2… 传递给导数函数 func。 $ h9 Y. w/ R" y0 A# b. v) \$ o" Todeint() 的返回值:. _. w2 v. X4 q2 Z
+ R. z8 B$ l/ m, @2 b6 }4 V
1 Q* J5 N0 H6 P
y: array 数组,形状为 (len(t),len(y0),给出时间序列 t 中每个时刻的 y 值。7 S- \, C, e( X9 n8 M& W. R# O
odeint() 的编程步骤: ! K' d: T+ s% q; M- m% s6 Y; G7 B6 ?1 m2 z1 ?: j
7 U; W/ }. {: F7 G% u
导入 scipy、numpy、matplotlib 包;& J6 Z# a1 P( R& ]7 u
定义导数函数 f ( i , t ) = λ i ( 1 − i ) f(i,t)=\lambda i (1-i)f(i,t)=λi(1−i) ;- B% ~1 L1 r, H) V5 h! p) i# v
定义初值 i 0 i_0i ! ]8 m. K, [8 d, A0# o/ b$ O4 {, h1 e6 Z. u
( S8 Z$ J2 b" \" l; ~
和 i ii 的定义区间 [ t 0 , t ] [t_0,\ t][t 0 z6 [% x$ v6 ]+ u. t+ c |0+ Q" x% F! |: O
0 b" t# H) [ O8 _* \
, t]; 1 {4 D: ?" r" j调用 odeint() 求 i ii 在定义区间 [ t 0 , t ] [t_0,\ t][t 2 X( `# a3 x# h5 K) W. e0 " W' a' ^9 t0 u# V& [' B7 S7 U( m . [/ N: ^& d. Y* q$ Y% B , t] 的数值解。! n' j3 X6 l5 G" g1 Y
/ {& z8 t3 I! T9 j+ D
- L% B# J" _, F& C+ `3 d
3.3 Python例程:SI 模型的解析解与数值解 5 F) V% F: H8 T% d/ U# I2 ?# 1. SI 模型,常微分非常,解析解与数值解的比较 / j/ e. i( e- k4 p% {from scipy.integrate import odeint # 导入 scipy.integrate 模块 1 I( g' B* X1 A& s& fimport numpy as np # 导入 numpy包 7 I& N4 R2 }' \. \# v5 rimport matplotlib.pyplot as plt # 导入 matplotlib包 $ e9 W& v- @# x. m) Z& T9 K( a6 ^# a / X8 O& y5 X# V ' X6 H8 d1 O% O* |3 `" l6 |( @def dy_dt(y, t, lamda, mu): # 定义导数函数 f(y,t): n: V8 s a* P o
dy_dt = lamda*y*(1-y) # di/dt = lamda*i*(1-i) + _" D' |* A5 L3 D. N return dy_dt: }1 N2 q; {# z0 }
. B u, e, x. @0 K2 G3.4 解析解与数值解的比较" d3 n6 ^, ?# E
8 z& a' M/ ?$ w* {/ F& X5 h, t
; Q8 i$ |% o1 t$ H+ I s* r
本图为例程 2.3 的运行结果,图中对解析解(蓝色)与使用 odeint() 得到的数值解(红色)进行比较。在该例中,无法观察到解析解与数值解的差异,表明数值解的误差很小。5 P( R0 q0 Q7 G5 E
' K t( [+ [+ m; \- N7 d {/ _: ^
) F5 U* u3 l) h% F图中 d i / d t di/dtdi/dt 具有最大值,最大值表示疫情增长的高潮,达到最大值后 d i / d t di/dtdi/dt 逐渐减小,但患病者比例很快增长到 100%,表明所有人都被感染成为患者。9 P8 ^; @' Y+ p3 _
' S) C- A; s k5 j
r. L; h) q" ], Q
这是特定参数的结果,还是模型的必然趋势,需要对参数的影响进行更详细的研究。 : h; o& g& J( T8 {- ]0 s $ a$ `$ i& v2 Q9 M3 D; w1 M: `+ @ t: o9 v6 g9 ?
$ s( l- B4 H' k
) U. F' v( s v- ^7 X4. SI 模型参数的影响 * ^! m( M5 d. Q3 V' |$ U对于 SI 模型,只有日接触率 λ \lambdaλ 和患病者比例的初值 i 0 i_0i 3 o9 G! a& D' f, q04 V" i2 H; F ?3 [& Z
# j2 Z6 F W, ^2 A 会影响模型的结果,其它参数如总人数 N 并没有影响。 r$ X; l+ s4 Z7 I1 I$ ^
p, l; S5 d8 a1 i$ q8 M/ l# \ u9 ~! Q. c' S) e
4.1 日接触率对 SI 模型的影响2 A5 ` y5 b( U" K. _
) K0 ]# a0 k. U: q
7 d ~% }1 B. p4 f. x: _2 A/ Z
对不同日接触率的比较表明: , t! N# {7 a. w7 g1 ?9 u, y, @8 |1 r* b1 F( ^ s) u
Q! p F; u/ K日接触率越大,疫情从发生到爆发的时间越短,爆发过程的增长速度也越快。 : b( g5 N& e% [9 h+ [8 h+ M+ r不论日接触率多大,患病者的比例最终都会增长到 1,表明所有人都被感染成为患者。7 f: w5 _+ P! @" W' Z4 d {. K1 A* n
不论日接触率多大,都具有缓慢发展、爆发、增长放缓 3 个阶段,进入爆发阶段后患病者的比例急剧增长,疫情就很难控制了。- \2 M/ H: m6 A: p9 G
; q6 E0 {2 q2 E2 u" t/ l
$ E9 r$ `+ O* B5 w b
4.2 患病者比例的初值对 SI 模型的影响/ y6 t$ H" D) Z1 [
+ B# T% X2 s% s6 k! a' B Q4 ?; _$ m$ U( R5 ?, d
对患病者比例初值的比较表明,患病者初值的人数或比例只影响疫情爆发期到来的快慢,对疫情传播的过程和结果几乎没有影响。) l7 d- a/ Y4 ]4 X3 N
1 Q' y5 t% u+ \: N9 x! m$ B1 j/ d m* Q# t
这与我们直观的经验不太一致,一个原因是 SI 模型本身存在不足,另一方面也说明如果对传染病不加控制,即使开始患病人数很少,经过一段时间的传播后也终将会引起爆发。 A; j4 C1 T7 s2 |/ g. X9 p- i+ g* k& v3 u- v
0 p3 {2 m" F# A! c" Y4.3 SI 模型结果讨论 5 z: v* p7 N) I0 A% l在 i ( t ) = 0.5 , I ( t ) = N / 2 i(t)=0.5,\ I(t) = N/2i(t)=0.5, I(t)=N/2 时 $ di/dt$ 达到最大值,病人数目 I ( t ) I(t)I(t) 增加最快。由此可以预报传染病高潮的到来,即为医院的门诊量最大的一天,卫生部门要重点关注。 ) y- x0 w. l t9 X2 n2 }4 Nt m t_mt 8 S$ z8 f+ [" l- e" Z3 p
m- u- [: i4 W4 B
" |; s+ _/ l h) t( ` 与 λ \lambdaλ 成反比。日接触率 λ \lambdaλ 反映卫生水平、防控手段,提高卫生水平、强化防控手段,降低病人的日接触率,可以推迟传染病高潮的到来。 ; y/ {5 o7 n( G6 Q( u: r, k z当 t → ∞ t \to \inftyt→∞ 时 i → 1 i \to 1i→1 ,表明所有人最终都会被传染而变成病人。这完全不符合实际情况,表明该模型太不讲 politics 了,只能适用于美帝国家建模。8 |1 r0 L- V W
SI 模型非常明显而严重的缺陷,是该模型没有考虑患病者可以治愈,因此只能是健康人患病,而患病者不能恢复健康(甚至也不会死亡,而是不断传播疫情),所以终将全部被传染。 $ c6 r& M$ _; p1 B6 I' Y4 A————————————————: |% T# a0 B& o& r# F, f- ^* U
版权声明:本文为CSDN博主「youcans」的原创文章,遵循CC 4.0 BY-SA版权协议,转载请附上原文出处链接及本声明。 $ q3 n( w9 }7 T: z9 n/ E3 f原文链接:https://blog.csdn.net/youcans/article/details/117740466 $ |( ^; x0 A; u0 U0 d' S: v; n1 R
% W9 O; v+ f, b4 C2 ]+ F* ]