{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001379821,0.0007367525,0.000398655,0.0008210392,0.001493029,0.001696089,0.002012756,0.001883669,0.004404646],"category_scores_gemma":[0.004309613,0.0004268601,0.0005996061,0.001456418,0.0007651512,0.0009281302,0.000655686,0.001094389,0.0002728384],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002211103,"about_ca_system_score_gemma":0.002413238,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0593341,"about_ca_topic_score_gemma":0.07809933,"domain_scores_codex":[0.999238,0.0003337384,0.00003179345,0.00008708893,0.000163704,0.0001457383],"domain_scores_gemma":[0.9947346,0.004020473,0.000325886,0.0002868346,0.0003583123,0.0002739022],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0009520138,0.002477083,0.02072391,0.0003150606,0.0001373562,0.009654717,0.001384124,0.8519478,0.003732966,0.01624349,0.004459464,0.087972],"study_design_scores_gemma":[0.0001902773,0.0006939779,0.007588706,0.00006682801,0.0001118088,0.001289273,0.002179245,0.9722354,0.002982596,0.006138794,0.00644731,0.00007569769],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9573705,0.0003728612,0.02709312,0.000758786,0.00002884879,0.0001741893,0.0005340343,0.0001853974,0.01348224],"genre_scores_gemma":[0.974452,0.0001809084,0.02202918,0.00002863536,0.000009704117,0.00007607379,0.0002178926,0.00003484975,0.002970693],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.0593341,"threshold_uncertainty_score":0.1179775,"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."}}