@@ -16,20 +16,29 @@ initialvalue : -1
16
16
17
17
localtransition : sirs - zhong - rule
18
18
19
- statevariables : population connection movement cured_ rate t_ i t_ r i_sus_ 0 i_inf_ 1 i_inf_ 2 i_inf_ 3 i_inf_ 4 i_inf_ 5 i_inf_ 6 i_rec_ 7 i_rec_ 8 i_rec_ 9 i_rec_ 10 i_rec_ 11 i_rec_ 12 i_rec_ 13 v_ 1 v_ 2 v_ 3 v_ 4 v_ 5 v_ 6
20
- statevalues : 100 1 0.1 0.0 6 7 1 .0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.6 0.6 0.6 0.6 0.6 0.6
19
+ statevariables : population connection movement t_ i t_ r i_sus_ 0 i_inf_ 1 i_inf_ 2 i_inf_ 3 i_inf_ 4 i_inf_ 5 i_inf_ 6 i_rec_ 7 i_rec_ 8 i_rec_ 9 i_rec_ 10 i_rec_ 11 i_rec_ 12 i_rec_ 13 i_rec_ 14 i_rec_ 15 i_rec_ 16 i_rec_ 17 i_rec_ 18 i_rec_ 19 i_rec_ 20 i_rec_ 21 i_rec_ 22 v_ 1 v_ 2 v_ 3 v_ 4 v_ 5 v_ 6 cr_ 1 cr_ 2 cr_ 3 cr_ 4 cr_ 5
20
+ statevalues : 100 1 0.6 6 16 1.0 0.0 0.0 0.0 0 .0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.0 0.15 0.15 0.15 0.15 0.15 0.15 0.07 0.07 0.07 0.07 0.07
21
21
initialvariablesvalue : sirs_ zhong .var
22
22
23
- neighborports : initial pop sus_ 0 inf_ 1 inf_ 2 inf_ 3 inf_ 4 inf_ 5 inf_ 6 rec_ 7 rec_ 8 rec_ 9 rec_ 10 rec_ 11 rec_ 12 rec_ 13
23
+ neighborports : initial pop sus_ 0 inf_ 1 inf_ 2 inf_ 3 inf_ 4 inf_ 5 inf_ 6 rec_ 7 rec_ 8 rec_ 9 rec_ 10 rec_ 11 rec_ 12 rec_ 13 rec_ 14 rec_ 15 rec_ 16 rec_ 17 rec_ 18 rec_ 19 rec_ 20 rec_ 21 rec_ 22
24
24
25
25
[sirs - zhong - rule ]
26
- rule : {~initial := 0 ; ~pop := $population ; ~sus_ 0 := $i_sus_ 0; ~inf_ 1 := $i_inf_ 1; ~inf_ 2 := $i_inf_ 2; ~inf_ 3 := $i_inf_ 3; ~inf_ 4 := $i_inf_ 4; ~inf_ 5 := $i_inf_ 5; ~inf_ 6 := $i_inf_ 6; ~rec_ 7 := $i_rec_ 7; ~rec_ 8 := $i_rec_ 8; ~rec_ 9 := $i_rec_ 9; ~rec_ 10 := $i_rec_ 10; ~rec_ 11 := $i_rec_ 11; ~rec_ 12 := $i_rec_ 12; ~rec_ 13 := $i_rec_ 13; }
26
+ rule : {~initial := 0 ; ~pop := $population ; ~sus_ 0 := $i_sus_ 0; ~inf_ 1 := $i_inf_ 1; ~inf_ 2 := $i_inf_ 2; ~inf_ 3 := $i_inf_ 3; ~inf_ 4 := $i_inf_ 4; ~inf_ 5 := $i_inf_ 5; ~inf_ 6 := $i_inf_ 6; ~rec_ 7 := $i_rec_ 7; ~rec_ 8 := $i_rec_ 8; ~rec_ 9 := $i_rec_ 9; ~rec_ 10 := $i_rec_ 10; ~rec_ 11 := $i_rec_ 11; ~rec_ 12 := $i_rec_ 12; ~rec_ 13 := $i_rec_ 13; ~ rec_ 14 := $i_rec_ 14 ; ~ rec_ 15 := $i_rec_ 15 ; ~ rec_ 16 := $i_rec_ 16 ; ~ rec_ 17 := $i_rec_ 17 ; ~ rec_ 18 := $i_rec_ 18 ; ~ rec_ 19 := $i_rec_ 19 ; ~ rec_ 20 := $i_rec_ 20 ; ~ rec_ 21 := $i_rec_ 21 ; ~ rec_ 22 := $i_rec_ 22 ; }
27
27
1 {(0 ,0 )~initial = - 1 }
28
28
29
29
rule : {
30
- ~pop := $population ; ~sus_ 0 := $i_sus_ 0; ~inf_ 1 := $i_inf_ 1; ~inf_ 2 := $i_inf_ 2; ~inf_ 3 := $i_inf_ 3; ~inf_ 4 := $i_inf_ 4; ~inf_ 5 := $i_inf_ 5; ~inf_ 6 := $i_inf_ 6; ~rec_ 7 := $i_rec_ 7; ~rec_ 8 := $i_rec_ 8; ~rec_ 9 := $i_rec_ 9; ~rec_ 10 := $i_rec_ 10; ~rec_ 11 := $i_rec_ 11; ~rec_ 12 := $i_rec_ 12; ~rec_ 13 := $i_rec_ 13;
30
+ ~pop := $population ; ~sus_ 0 := $i_sus_ 0; ~inf_ 1 := $i_inf_ 1; ~inf_ 2 := $i_inf_ 2; ~inf_ 3 := $i_inf_ 3; ~inf_ 4 := $i_inf_ 4; ~inf_ 5 := $i_inf_ 5; ~inf_ 6 := $i_inf_ 6; ~rec_ 7 := $i_rec_ 7; ~rec_ 8 := $i_rec_ 8; ~rec_ 9 := $i_rec_ 9; ~rec_ 10 := $i_rec_ 10; ~rec_ 11 := $i_rec_ 11; ~rec_ 12 := $i_rec_ 12; ~rec_ 13 := $i_rec_ 13; ~ rec_ 14 := $i_rec_ 14 ; ~ rec_ 15 := $i_rec_ 15 ; ~ rec_ 16 := $i_rec_ 16 ; ~ rec_ 17 := $i_rec_ 17 ; ~ rec_ 18 := $i_rec_ 18 ; ~ rec_ 19 := $i_rec_ 19 ; ~ rec_ 20 := $i_rec_ 20 ; ~ rec_ 21 := $i_rec_ 21 ; ~ rec_ 22 := $i_rec_ 22 ;
31
31
}
32
32
{
33
+ $i_rec_ 22 := $i_rec_ 21;
34
+ $i_rec_ 21 := $i_rec_ 20;
35
+ $i_rec_ 20 := $i_rec_ 19;
36
+ $i_rec_ 19 := $i_rec_ 18;
37
+ $i_rec_ 18 := $i_rec_ 17;
38
+ $i_rec_ 17 := $i_rec_ 16;
39
+ $i_rec_ 16 := $i_rec_ 15;
40
+ $i_rec_ 15 := $i_rec_ 14;
41
+ $i_rec_ 14 := $i_rec_ 13;
33
42
$i_rec_ 13 := $i_rec_ 12;
34
43
$i_rec_ 12 := $i_rec_ 11;
35
44
$i_rec_ 11 := $i_rec_ 10;
@@ -38,14 +47,14 @@ $i_rec_9 := $i_rec_8;
38
47
$i_rec_ 8 := $i_rec_ 7;
39
48
$i_rec_ 7 := $i_inf_ 6 + # macro (local_ cured );
40
49
41
- $i_inf_ 6 := round (min ((1 - $cured_ rate ) * $i_inf_ 5, 1 )* 100 )/ 100 ;
42
- $i_inf_ 5 := round (min ((1 - $cured_ rate ) * $i_inf_ 4, 1 )* 100 )/ 100 ;
43
- $i_inf_ 4 := round (min ((1 - $cured_ rate ) * $i_inf_ 3, 1 )* 100 )/ 100 ;
44
- $i_inf_ 3 := round (min ((1 - $cured_ rate ) * $i_inf_ 2, 1 )* 100 )/ 100 ;
45
- $i_inf_ 2 := round (min ((1 - $cured_ rate ) * $i_inf_ 1, 1 )* 100 )/ 100 ;
50
+ $i_inf_ 6 := round (min ((1 - $cr_ 5 ) * $i_inf_ 5, 1 )* 100 )/ 100 ;
51
+ $i_inf_ 5 := round (min ((1 - $cr_ 4 ) * $i_inf_ 4, 1 )* 100 )/ 100 ;
52
+ $i_inf_ 4 := round (min ((1 - $cr_ 3 ) * $i_inf_ 3, 1 )* 100 )/ 100 ;
53
+ $i_inf_ 3 := round (min ((1 - $cr_ 2 ) * $i_inf_ 2, 1 )* 100 )/ 100 ;
54
+ $i_inf_ 2 := round (min ((1 - $cr_ 1 ) * $i_inf_ 1, 1 )* 100 )/ 100 ;
46
55
$i_inf_ 1 := # macro (internal_ infected ) + # macro (external_ infected );
47
56
48
- $i_sus_ 0 := 1 - $i_inf_ 1 - $i_inf_ 2 - $i_inf_ 3 - $i_inf_ 4 - $i_inf_ 5 - $i_inf_ 6 - $i_rec_ 7 - $i_rec_ 8 - $i_rec_ 9 - $i_rec_ 10 - $i_rec_ 11 - $i_rec_ 12 - $i_rec_ 13;
57
+ $i_sus_ 0 := 1 - $i_inf_ 1 - $i_inf_ 2 - $i_inf_ 3 - $i_inf_ 4 - $i_inf_ 5 - $i_inf_ 6 - $i_rec_ 7 - $i_rec_ 8 - $i_rec_ 9 - $i_rec_ 10 - $i_rec_ 11 - $i_rec_ 12 - $i_rec_ 13 - $i_rec_ 14 - $i_rec_ 15 - $i_rec_ 16 - $i_rec_ 17 - $i_rec_ 18 - $i_rec_ 19 - $i_rec_ 20 - $i_rec_ 21 - $i_rec_ 22 ;
49
58
50
59
}
51
60
1 { (0 ,0 )~initial != - 1 }
0 commit comments