Simulation Methodology
How the browser-based JE dashboard computes trajectories and indicators.
- Read and validate JE model inputs.
- Initialize human, pig, mosquito and bird compartments.
- Iterate ODEs using Euler forward scheme.
- Compute $R_0$, peak, duration and equilibrium.
- Render charts and export results.
Theorems
Positivity, boundedness and equilibrium stability of the JE model.
Basic Reproduction Number (R₀)
Next-generation matrix formulation and analytical expression of R₀.
Sensitivity Analysis
Effect of epidemiological parameters on R₀.