Mission-reliability-constrained maintenance: data and code

Description

This dataset provides the data, code, numerical results, raw simulation outputs, and verification materials supporting the manuscript “Mission-reliability-constrained maintenance under correlated demand: Decision consequences of model simplification.” It supports reproduction of the CTMC, uniformization, DES, decision-map, robustness, and input-error analyses. No field or personal data are included.

Steps to reproduce

1. Download and extract the reproducibility archive. 2. Install the Python dependencies listed in the supplied environment/requirements files. 3. Run the verification scripts in the campaign directories to reconstruct the reported tables, figures, policy selections, numerical identities, and simulation summaries from the archived outputs. Where supported, use python run_all.py --mode verify; the R4 package also supports hash checking. 4. For a complete numerical replay, use the documented --mode full option in the corresponding campaign directories. This recomputes the finite-CTMC evaluations, uniformization checks, and declared DES validations. The R1 archive uses its own documented replay driver. 5. Run the integration scripts to regenerate the manuscript tables and figures from the verified result ledgers. 6. Compare the regenerated outputs with the supplied source-to-claim map, checksums, and archived numerical results. Note: Full replay can be computationally intensive. The verification mode is provided for fast reconstruction of the published evidence without generating new simulation samples.

Institutions

• Sangji University

  Gangwon-do, Wŏnju

Categories

Licence