{"id":"W4392890930","doi":"10.20295/2412-9186-2024-10-01-74-99","title":"Study of algorithms for synthesis of self-checking digital devices based on Boolean correction of signals using weighted Bose – Lin codes","year":2024,"lang":"en","type":"article","venue":"Transport automation research","topic":"Mathematical Control Systems and Analysis","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"International Air Transport Association","funders":"","keywords":"Computer science; Algorithm; Redundancy (engineering); Digital electronics; Boolean function; Testability; Electronic circuit; Boolean circuit; Weighting; Arithmetic; 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.002112785,0.0001030872,0.0003992773,0.0006157927,0.00007619865,0.00008124302,0.000304963,0.00005489758,0.00001383933],"category_scores_gemma":[0.00009229345,0.00008275698,0.0001555204,0.001032214,0.00003514624,0.0003021281,0.00001358508,0.00009143059,0.000001358202],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003812851,"about_ca_system_score_gemma":0.000129196,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001509117,"about_ca_topic_score_gemma":0.00002797658,"domain_scores_codex":[0.9977796,0.0001471081,0.0006944275,0.0002752622,0.0009271816,0.000176388],"domain_scores_gemma":[0.9977941,0.001246958,0.0001634543,0.0002777787,0.0004700623,0.00004763859],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0007867356,0.02051246,0.04250522,0.037848,0.004725901,0.0001425699,0.04989519,0.1381913,0.0831402,0.02049955,0.0002373635,0.6015155],"study_design_scores_gemma":[0.0002238436,0.0002752921,0.001298108,0.0006807612,0.00005959292,4.108267e-7,0.000510347,0.9839628,0.01272449,0.0001761842,0.00001643821,0.00007172968],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5512615,0.00003473126,0.447736,0.00004647478,0.0000470001,0.0005732988,0.00002126011,0.00009009414,0.0001896394],"genre_scores_gemma":[0.9943523,0.000001069432,0.005538081,0.000001336848,0.00001837097,0.00004712942,0.00000448608,0.00001054635,0.0000266429],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8457715,"threshold_uncertainty_score":0.3374732,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07982728465254234,"score_gpt":0.3705609440288438,"score_spread":0.2907336593763015,"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."}}