{"id":"W2539664331","doi":"10.1109/cacsd.2004.1393853","title":"Multiparadigm design, validation and verification by simulation in flight control system development","year":2005,"lang":"en","type":"article","venue":"","topic":"Simulation Techniques and Applications","field":"Decision Sciences","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Development (topology); Systems engineering; Process (computing); Control (management); Model validation; Verification and validation of computer simulation models; Software engineering; Programming language; Artificial intelligence; Engineering; Data science","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.006446474,0.0006849882,0.0006188697,0.0007272308,0.0008223464,0.001789076,0.001101071,0.00136838,0.001643446],"category_scores_gemma":[0.007493024,0.0009527503,0.0008137453,0.0008014342,0.001912141,0.002065355,0.00183014,0.001974968,0.000386604],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00135242,"about_ca_system_score_gemma":0.00285946,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005435376,"about_ca_topic_score_gemma":0.004572321,"domain_scores_codex":[0.9941304,0.004068656,0.0002115232,0.000317736,0.001081277,0.000190279],"domain_scores_gemma":[0.9962567,0.002495663,0.0002231808,0.0005728513,0.0003692704,0.00008240775],"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.0003107007,0.0001931257,0.002743019,0.0003848967,0.00009520102,0.0003988828,0.001240056,0.6485347,0.01429075,0.1961194,0.0008181136,0.1348712],"study_design_scores_gemma":[0.00009589914,0.0002546112,0.000464039,0.0001189013,0.00005645302,0.0001674614,0.0001396299,0.9106103,0.01425874,0.05608745,0.01770596,0.00004054821],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01932929,0.0005391945,0.9760867,0.0004077404,0.00002724299,0.00008957909,0.00001590418,0.0004281857,0.003076181],"genre_scores_gemma":[0.2654082,0.0006352168,0.7314869,0.0001022995,0.00001663899,0.0002686672,0.00005841862,0.0001125842,0.001911046],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006446474,"threshold_uncertainty_score":0.03409266,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1060822680817294,"score_gpt":0.3877841563462419,"score_spread":0.2817018882645124,"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."}}