@@ -16,45 +16,51 @@ initialvalue : -1
16
16
17
17
localtransition : sirs - zhong - rule
18
18
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
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_inf_ 7 i_inf_ 8 i_inf_ 9 i_inf_ 10 i_inf_ 11 i_inf_ 12 i_inf_ 13 i_inf_ 14 i_inf_ 15 i_inf_ 16 i_inf_ 17 i_inf_ 18 i_inf_ 19 i_inf_ 20 i_inf_ 21 i_inf_ 22 i_rec_ 23 i_rec_ 24 i_rec_ 25 i_rec_ 26 i_rec_ 27 i_rec_ 28 v_ 1 v_ 2 v_ 3 v_ 4 v_ 5 v_ 6 v_ 7 v_ 8 v_ 9 v_ 10 v_ 11 v_ 12 v_ 13 v_ 14 v_ 15 v_ 16 v_ 17 v_ 18 v_ 19 v_ 20 v_ 21 v_ 22
20
+ statevalues : 100 1 0.6 0.07 22 6 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.0 0.0 0.0 0.0 0.0 0.0 0.17 0.17 0.17 0.17 0.17 0.17 0.17 0.17 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01 0.01
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 rec_ 14 rec_ 15 rec_ 16 rec_ 17 rec_ 18 rec_ 19 rec_ 20 rec_ 21 rec_ 22
23
+ neighborports : initial pop sus_ 0 inf_ 1 inf_ 2 inf_ 3 inf_ 4 inf_ 5 inf_ 6 inf_ 7 inf_ 8 inf_ 9 inf_ 10 inf_ 11 inf_ 12 inf_ 13 inf_ 14 inf_ 15 inf_ 16 inf_ 17 inf_ 18 inf_ 19 inf_ 20 inf_ 21 inf_ 22 rec_ 23 rec_ 24 rec_ 25 rec_ 26 rec_ 27 rec_ 28
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 ; ~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 ; }
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; ~inf_ 7 := $i_inf_ 7 ; ~inf_ 8 := $i_inf_ 8 ; ~inf_ 9 := $i_inf_ 9 ; ~inf_ 10 := $i_inf_ 10 ; ~inf_ 11 := $i_inf_ 11 ; ~inf_ 12 := $i_inf_ 12 ; ~inf_ 13 := $i_inf_ 13 ; ~inf_ 14 := $i_inf_ 14 ; ~inf_ 15 := $i_inf_ 15 ; ~inf_ 16 := $i_inf_ 16 ; ~inf_ 17 := $i_inf_ 17 ; ~inf_ 18 := $i_inf_ 18 ; ~inf_ 19 := $i_inf_ 19 ; ~inf_ 20 := $i_inf_ 20 ; ~inf_ 21 := $i_inf_ 21 ; ~inf_ 22 := $i_inf_ 22 ; ~ rec_ 23 := $i_rec_ 23 ; ~ rec_ 24 := $i_rec_ 24 ; ~ rec_ 25 := $i_rec_ 25 ; ~ rec_ 26 := $i_rec_ 26 ; ~ rec_ 27 := $i_rec_ 27 ; ~ rec_ 28 := $i_rec_ 28 ; }
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 ; ~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 ;
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; ~inf_ 7 := $i_inf_ 7 ; ~inf_ 8 := $i_inf_ 8 ; ~inf_ 9 := $i_inf_ 9 ; ~inf_ 10 := $i_inf_ 10 ; ~inf_ 11 := $i_inf_ 11 ; ~inf_ 12 := $i_inf_ 12 ; ~inf_ 13 := $i_inf_ 13 ; ~inf_ 14 := $i_inf_ 14 ; ~inf_ 15 := $i_inf_ 15 ; ~inf_ 16 := $i_inf_ 16 ; ~inf_ 17 := $i_inf_ 17 ; ~inf_ 18 := $i_inf_ 18 ; ~inf_ 19 := $i_inf_ 19 ; ~inf_ 20 := $i_inf_ 20 ; ~inf_ 21 := $i_inf_ 21 ; ~inf_ 22 := $i_inf_ 22 ; ~ rec_ 23 := $i_rec_ 23 ; ~ rec_ 24 := $i_rec_ 24 ; ~ rec_ 25 := $i_rec_ 25 ; ~ rec_ 26 := $i_rec_ 26 ; ~ rec_ 27 := $i_rec_ 27 ; ~ rec_ 28 := $i_rec_ 28 ;
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;
42
- $i_rec_ 13 := $i_rec_ 12;
43
- $i_rec_ 12 := $i_rec_ 11;
44
- $i_rec_ 11 := $i_rec_ 10;
45
- $i_rec_ 10 := $i_rec_ 9;
46
- $i_rec_ 9 := $i_rec_ 8;
47
- $i_rec_ 8 := $i_rec_ 7;
48
- $i_rec_ 7 := $i_inf_ 6 + # macro (local_ cured );
49
-
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 ;
33
+ $i_rec_ 28 := $i_rec_ 27;
34
+ $i_rec_ 27 := $i_rec_ 26;
35
+ $i_rec_ 26 := $i_rec_ 25;
36
+ $i_rec_ 25 := $i_rec_ 24;
37
+ $i_rec_ 24 := $i_rec_ 23;
38
+ $i_rec_ 23 := $i_inf_ 22 + # macro (local_ cured );
39
+
40
+ $i_inf_ 22 := round (min ((1 - $cured_ rate ) * $i_inf_ 21, 1 )* 100 )/ 100 ;
41
+ $i_inf_ 21 := round (min ((1 - $cured_ rate ) * $i_inf_ 20, 1 )* 100 )/ 100 ;
42
+ $i_inf_ 20 := round (min ((1 - $cured_ rate ) * $i_inf_ 19, 1 )* 100 )/ 100 ;
43
+ $i_inf_ 19 := round (min ((1 - $cured_ rate ) * $i_inf_ 18, 1 )* 100 )/ 100 ;
44
+ $i_inf_ 18 := round (min ((1 - $cured_ rate ) * $i_inf_ 17, 1 )* 100 )/ 100 ;
45
+ $i_inf_ 17 := round (min ((1 - $cured_ rate ) * $i_inf_ 16, 1 )* 100 )/ 100 ;
46
+ $i_inf_ 16 := round (min ((1 - $cured_ rate ) * $i_inf_ 15, 1 )* 100 )/ 100 ;
47
+ $i_inf_ 15 := round (min ((1 - $cured_ rate ) * $i_inf_ 14, 1 )* 100 )/ 100 ;
48
+ $i_inf_ 14 := round (min ((1 - $cured_ rate ) * $i_inf_ 13, 1 )* 100 )/ 100 ;
49
+ $i_inf_ 13 := round (min ((1 - $cured_ rate ) * $i_inf_ 12, 1 )* 100 )/ 100 ;
50
+ $i_inf_ 12 := round (min ((1 - $cured_ rate ) * $i_inf_ 11, 1 )* 100 )/ 100 ;
51
+ $i_inf_ 11 := round (min ((1 - $cured_ rate ) * $i_inf_ 10, 1 )* 100 )/ 100 ;
52
+ $i_inf_ 10 := round (min ((1 - $cured_ rate ) * $i_inf_ 9, 1 )* 100 )/ 100 ;
53
+ $i_inf_ 9 := round (min ((1 - $cured_ rate ) * $i_inf_ 8, 1 )* 100 )/ 100 ;
54
+ $i_inf_ 8 := round (min ((1 - $cured_ rate ) * $i_inf_ 7, 1 )* 100 )/ 100 ;
55
+ $i_inf_ 7 := round (min ((1 - $cured_ rate ) * $i_inf_ 6, 1 )* 100 )/ 100 ;
56
+ $i_inf_ 6 := round (min ((1 - $cured_ rate ) * $i_inf_ 5, 1 )* 100 )/ 100 ;
57
+ $i_inf_ 5 := round (min ((1 - $cured_ rate ) * $i_inf_ 4, 1 )* 100 )/ 100 ;
58
+ $i_inf_ 4 := round (min ((1 - $cured_ rate ) * $i_inf_ 3, 1 )* 100 )/ 100 ;
59
+ $i_inf_ 3 := round (min ((1 - $cured_ rate ) * $i_inf_ 2, 1 )* 100 )/ 100 ;
60
+ $i_inf_ 2 := round (min ((1 - $cured_ rate ) * $i_inf_ 1, 1 )* 100 )/ 100 ;
55
61
$i_inf_ 1 := # macro (internal_ infected ) + # macro (external_ infected );
56
62
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 ;
63
+ $i_sus_ 0 := 1 - $i_inf_ 1 - $i_inf_ 2 - $i_inf_ 3 - $i_inf_ 4 - $i_inf_ 5 - $i_inf_ 6 - $i_inf_ 7 - $i_inf_ 8 - $i_inf_ 9 - $i_inf_ 10 - $i_inf_ 11 - $i_inf_ 12 - $i_inf_ 13 - $i_inf_ 14 - $i_inf_ 15 - $i_inf_ 16 - $i_inf_ 17 - $i_inf_ 18 - $i_inf_ 19 - $i_inf_ 20 - $i_inf_ 21 - $i_inf_ 22 - $i_rec_ 23 - $i_rec_ 24 - $i_rec_ 25 - $i_rec_ 26 - $i_rec_ 27 - $i_rec_ 28 ;
58
64
59
65
}
60
66
1 { (0 ,0 )~initial != - 1 }
0 commit comments