From: Formal reasoning on qualitative models of coinfection of HIV and Tuberculosis and HAART therapy
(01) |
| N U = 100 |
---|---|---|
(02) |
| ΓU= 0.1 |
(03) |
|
|
(04) |
| βk 5= 0.0025 |
(05) |
| βk 4= 0.0025 |
(06) |
| βk 54= 0.025 |
(07) |
| Ī“ T = 0.1 |
(08) |
| Ī“ I = 0.8 |
(09) |
| Ī“ I = 0.8 |
(10) |
| k Z = 0.01 |
(11) |
|
|
(12) |
| Ļ = 2.5 |
(13) |
| Ļ = 2.5 |
(14) |
| c5 = 2.5 |
(15) |
| c = 2.5 |
(16) |
| K F = 0.1 |
(17) |
| α = 2.5 if T < 20 otherwise 0 |
(18) |
| K B = 10 |
(19) |
|
|
(20) |
| ΓF= 0.001 |
(21) |
| b = 0.2 |
Ā | Ā | where I* stands for I 4 and I 5 - two rules. |