{"id":"W4205788152","doi":"10.32920/ryerson.17838821","title":"The Formal Modeling Of Engineering Design Information By Means Of An Axiomatic System","year":2022,"lang":"en","type":"preprint","venue":"","topic":"Design Education and Practice","field":"Engineering","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Axiomatic design; Software engineering; Notation; Axiom; Standardization; Field (mathematics); Programming language; Systems engineering; Engineering; Mathematics","routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001080542,0.0001491807,0.0001994261,0.0001179733,0.00006067715,0.00005712339,0.0003264195,0.00008685383,0.0000367424],"category_scores_gemma":[0.00006654575,0.0001288294,0.00005642021,0.0001151974,0.000006042808,0.0006738619,0.00008195671,0.0002891789,0.000003807807],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001294918,"about_ca_system_score_gemma":0.0000690353,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007069674,"about_ca_topic_score_gemma":0.000001307496,"domain_scores_codex":[0.9988265,0.00006810304,0.0006190001,0.00006665509,0.0002649026,0.0001548362],"domain_scores_gemma":[0.9991233,0.0002108353,0.0001705711,0.0003712687,0.00008020532,0.00004377596],"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.000007133909,0.000007581043,4.356355e-7,0.001118639,0.00005630835,5.55682e-8,0.001307894,0.9933558,0.0001873212,0.002189392,0.0002059369,0.001563473],"study_design_scores_gemma":[0.00007226582,0.00001728106,0.000002306366,0.00006179933,0.00003509885,0.000003741217,0.002960481,0.9949567,0.0009917644,0.00002705181,0.0007475644,0.0001239026],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.007877446,0.0002099701,0.9834996,0.00001513994,0.0007528301,0.0003920194,0.00002174095,0.0002290976,0.007002185],"genre_scores_gemma":[0.9845117,0.00005279548,0.01518108,0.000005184714,0.00001917799,0.0001065795,0.00006803794,0.00002385372,0.00003164068],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9766342,"threshold_uncertainty_score":0.5253512,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01980108163183004,"score_gpt":0.2280697196774261,"score_spread":0.2082686380455961,"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."}}