{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001596288,0.00009957413,0.0001481934,0.0002025061,0.000128451,0.0001504791,0.0001636332,0.00007674758,0.00007418256],"category_scores_gemma":[0.0001927944,0.00008047171,0.00001846383,0.0004014082,0.0000206856,0.0003792394,0.00001571568,0.00004725084,0.0001552673],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001309309,"about_ca_system_score_gemma":0.00002982477,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001280842,"about_ca_topic_score_gemma":0.000007912901,"domain_scores_codex":[0.9982492,0.0001310864,0.0006851756,0.0003561876,0.0004537764,0.0001245796],"domain_scores_gemma":[0.9985238,0.0008226831,0.0001728053,0.0002679358,0.0001516622,0.0000610796],"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.00008087943,0.0002037801,0.01358756,0.00000863834,0.00001205581,2.875802e-7,0.001115554,0.5588395,0.01176134,0.01660029,0.004059234,0.3937309],"study_design_scores_gemma":[0.0006163501,0.00001070214,0.01003787,0.000007884184,0.000003164742,7.6197e-7,0.0001175182,0.9119166,0.02470003,0.0003969597,0.05206345,0.0001286608],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0896817,0.00004619853,0.9080316,0.0005605186,0.00001837475,0.0006538706,0.000003283015,0.0001179964,0.0008864278],"genre_scores_gemma":[0.9664656,0.000002479484,0.03273127,0.00009982833,0.0000228024,0.0001140136,0.0000140539,0.000006795195,0.0005431437],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8767839,"threshold_uncertainty_score":0.3281541,"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."}}