{"id":"W4408062223","doi":"10.5220/0013106400003893","title":"Long-Term Planning of Preventive Maintenance Using Constraint Programming: A Naval Case Study","year":2025,"lang":"en","type":"article","venue":"","topic":"Operations Management Techniques","field":"Decision Sciences","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Thales (Canada)","funders":"","keywords":"Term (time); Preventive maintenance; Computer science; Constraint (computer-aided design); Constraint programming; Operations research; Reliability engineering; Engineering; Mathematical optimization; Stochastic programming; Mathematics","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002204899,0.0001227293,0.0002583027,0.0004586745,0.0001562904,0.0002683556,0.0004154637,0.0000338903,0.00009994502],"category_scores_gemma":[0.0006789582,0.00009032887,0.00007451401,0.0009735515,0.0001735724,0.0002906312,0.000340211,0.00009205797,0.000004678914],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005183761,"about_ca_system_score_gemma":0.00009553401,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001638801,"about_ca_topic_score_gemma":0.0001718806,"domain_scores_codex":[0.997994,0.0002013598,0.0006852719,0.0004181458,0.0005092118,0.0001920211],"domain_scores_gemma":[0.9985616,0.0003071796,0.000199146,0.0005129339,0.0003859205,0.00003327214],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"qualitative","study_design_scores_codex":[0.00003831984,0.001322927,0.8092971,0.00003223703,0.000187748,0.0033314,0.003563917,0.0003034438,0.0004845693,0.009702122,0.001334173,0.1704021],"study_design_scores_gemma":[0.008014977,0.003899401,0.260416,0.002419443,0.0009423169,0.003135108,0.6202643,0.0570591,0.0201462,0.01862514,0.002639329,0.002438671],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.711774,0.00001733881,0.2812347,0.00004692594,0.00008003041,0.001092886,0.000001759413,0.00007869073,0.005673654],"genre_scores_gemma":[0.9661774,3.396195e-7,0.03048413,0.0000371246,0.000007374224,0.0000391147,5.00578e-7,0.000004873094,0.003249146],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.6167004,"threshold_uncertainty_score":0.3683505,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1450687152261899,"score_gpt":0.4742029967875037,"score_spread":0.3291342815613137,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}