{"id":"https://openalex.org/W4414131491","doi":"https://doi.org/10.3390/computation13090220","title":"A Method for Synthesizing Self-Checking Discrete Systems with Calculations Testing Based on Parity and Self-Duality of Calculated Functions","display_name":"A Method for Synthesizing Self-Checking Discrete Systems with Calculations Testing Based on Parity and Self-Duality of Calculated Functions","publication_year":2025,"publication_date":"2025-09-11","ids":{"openalex":"https://openalex.org/W4414131491","doi":"https://doi.org/10.3390/computation13090220"},"language":"en","primary_location":{"id":"doi:10.3390/computation13090220","is_oa":true,"landing_page_url":"https://doi.org/10.3390/computation13090220","pdf_url":"https://www.mdpi.com/2079-3197/13/9/220/pdf?version=1757639050","source":{"id":"https://openalex.org/S2738402919","display_name":"Computation","issn_l":"2079-3197","issn":["2079-3197"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computation","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/2079-3197/13/9/220/pdf?version=1757639050","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030787850","display_name":"\u0414.\u0412. \u0415\u0444\u0430\u043d\u043e\u0432","orcid":"https://orcid.org/0000-0002-4563-6411"},"institutions":[{"id":"https://openalex.org/I126419327","display_name":"Tashkent State Transport University","ror":"https://ror.org/00jxr5c40","country_code":"UZ","type":"education","lineage":["https://openalex.org/I126419327"]},{"id":"https://openalex.org/I134694890","display_name":"Russian University of Transport","ror":"https://ror.org/05gba0366","country_code":"RU","type":"education","lineage":["https://openalex.org/I134694890"]},{"id":"https://openalex.org/I212220629","display_name":"Peter the Great St. Petersburg Polytechnic University","ror":"https://ror.org/02x91aj62","country_code":"RU","type":"education","lineage":["https://openalex.org/I212220629"]},{"id":"https://openalex.org/I4210109177","display_name":"Tashkent State University of Law","ror":"https://ror.org/01x2s7885","country_code":"UZ","type":"education","lineage":["https://openalex.org/I4210109177"]},{"id":"https://openalex.org/I4210114555","display_name":"Institute of Transport Engineering","ror":"https://ror.org/01y335991","country_code":"RU","type":"education","lineage":["https://openalex.org/I4210114555"]},{"id":"https://openalex.org/I55383850","display_name":"Tashkent State University of Economics","ror":"https://ror.org/029t9db68","country_code":"UZ","type":"education","lineage":["https://openalex.org/I55383850"]}],"countries":["RU","UZ"],"is_corresponding":true,"raw_author_name":"Dmitry V. Efanov","raw_affiliation_strings":["Automation and Remote Control Department, Tashkent State Transport University, Tashkent 100167, Uzbekistan","Automation, Remote Control and Communication on Railway Transport Department, Russian University of Transport, 127994 Moscow, Russia","Higher School of Cyberphysical Systems & Control, Institute of Cybersecurity and Computer Science, Peter the Great St. Petersburg Polytechnic University, 195251 St. Petersburg, Russia","Higher School of Transport, Institute of Machinery, Materials and Transport, Peter the Great St. Petersburg Polytechnic University, 195251 St. Petersburg, Russia"],"raw_orcid":"https://orcid.org/0000-0002-4563-6411","affiliations":[{"raw_affiliation_string":"Automation and Remote Control Department, Tashkent State Transport University, Tashkent 100167, Uzbekistan","institution_ids":["https://openalex.org/I126419327","https://openalex.org/I55383850","https://openalex.org/I4210109177"]},{"raw_affiliation_string":"Automation, Remote Control and Communication on Railway Transport Department, Russian University of Transport, 127994 Moscow, Russia","institution_ids":["https://openalex.org/I134694890"]},{"raw_affiliation_string":"Higher School of Cyberphysical Systems & Control, Institute of Cybersecurity and Computer Science, Peter the Great St. Petersburg Polytechnic University, 195251 St. Petersburg, Russia","institution_ids":["https://openalex.org/I212220629"]},{"raw_affiliation_string":"Higher School of Transport, Institute of Machinery, Materials and Transport, Peter the Great St. Petersburg Polytechnic University, 195251 St. Petersburg, Russia","institution_ids":["https://openalex.org/I212220629","https://openalex.org/I4210114555"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035697137","display_name":"Tatiana S. Pogodina","orcid":"https://orcid.org/0000-0002-9171-234X"},"institutions":[{"id":"https://openalex.org/I212220629","display_name":"Peter the Great St. Petersburg Polytechnic University","ror":"https://ror.org/02x91aj62","country_code":"RU","type":"education","lineage":["https://openalex.org/I212220629"]},{"id":"https://openalex.org/I4210114555","display_name":"Institute of Transport Engineering","ror":"https://ror.org/01y335991","country_code":"RU","type":"education","lineage":["https://openalex.org/I4210114555"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Tatiana S. Pogodina","raw_affiliation_strings":["Higher School of Transport, Institute of Machinery, Materials and Transport, Peter the Great St. Petersburg Polytechnic University, 195251 St. Petersburg, Russia"],"raw_orcid":"https://orcid.org/0000-0002-9171-234X","affiliations":[{"raw_affiliation_string":"Higher School of Transport, Institute of Machinery, Materials and Transport, Peter the Great St. Petersburg Polytechnic University, 195251 St. Petersburg, Russia","institution_ids":["https://openalex.org/I212220629","https://openalex.org/I4210114555"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Nazirjan M. Aripov","orcid":null},"institutions":[{"id":"https://openalex.org/I126419327","display_name":"Tashkent State Transport University","ror":"https://ror.org/00jxr5c40","country_code":"UZ","type":"education","lineage":["https://openalex.org/I126419327"]},{"id":"https://openalex.org/I4210109177","display_name":"Tashkent State University of Law","ror":"https://ror.org/01x2s7885","country_code":"UZ","type":"education","lineage":["https://openalex.org/I4210109177"]},{"id":"https://openalex.org/I55383850","display_name":"Tashkent State University of Economics","ror":"https://ror.org/029t9db68","country_code":"UZ","type":"education","lineage":["https://openalex.org/I55383850"]}],"countries":["UZ"],"is_corresponding":false,"raw_author_name":"Nazirjan M. Aripov","raw_affiliation_strings":["Automation and Remote Control Department, Tashkent State Transport University, Tashkent 100167, Uzbekistan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Automation and Remote Control Department, Tashkent State Transport University, Tashkent 100167, Uzbekistan","institution_ids":["https://openalex.org/I126419327","https://openalex.org/I55383850","https://openalex.org/I4210109177"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079989393","display_name":"Sunnatillo T. Boltayev","orcid":"https://orcid.org/0000-0001-7289-7820"},"institutions":[{"id":"https://openalex.org/I126419327","display_name":"Tashkent State Transport University","ror":"https://ror.org/00jxr5c40","country_code":"UZ","type":"education","lineage":["https://openalex.org/I126419327"]},{"id":"https://openalex.org/I4210109177","display_name":"Tashkent State University of Law","ror":"https://ror.org/01x2s7885","country_code":"UZ","type":"education","lineage":["https://openalex.org/I4210109177"]},{"id":"https://openalex.org/I55383850","display_name":"Tashkent State University of Economics","ror":"https://ror.org/029t9db68","country_code":"UZ","type":"education","lineage":["https://openalex.org/I55383850"]}],"countries":["UZ"],"is_corresponding":false,"raw_author_name":"Sunnatillo T. Boltayev","raw_affiliation_strings":["Automation and Remote Control Department, Tashkent State Transport University, Tashkent 100167, Uzbekistan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Automation and Remote Control Department, Tashkent State Transport University, Tashkent 100167, Uzbekistan","institution_ids":["https://openalex.org/I126419327","https://openalex.org/I55383850","https://openalex.org/I4210109177"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030607553","display_name":"Asadulla Azizov","orcid":"https://orcid.org/0000-0002-5652-9611"},"institutions":[{"id":"https://openalex.org/I126419327","display_name":"Tashkent State Transport University","ror":"https://ror.org/00jxr5c40","country_code":"UZ","type":"education","lineage":["https://openalex.org/I126419327"]},{"id":"https://openalex.org/I4210109177","display_name":"Tashkent State University of Law","ror":"https://ror.org/01x2s7885","country_code":"UZ","type":"education","lineage":["https://openalex.org/I4210109177"]},{"id":"https://openalex.org/I55383850","display_name":"Tashkent State University of Economics","ror":"https://ror.org/029t9db68","country_code":"UZ","type":"education","lineage":["https://openalex.org/I55383850"]}],"countries":["UZ"],"is_corresponding":false,"raw_author_name":"Asadulla R. Azizov","raw_affiliation_strings":["Automation and Remote Control Department, Tashkent State Transport University, Tashkent 100167, Uzbekistan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Automation and Remote Control Department, Tashkent State Transport University, Tashkent 100167, Uzbekistan","institution_ids":["https://openalex.org/I126419327","https://openalex.org/I55383850","https://openalex.org/I4210109177"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040713538","display_name":"Elnara Ametova","orcid":"https://orcid.org/0000-0003-0872-3599"},"institutions":[{"id":"https://openalex.org/I126419327","display_name":"Tashkent State Transport University","ror":"https://ror.org/00jxr5c40","country_code":"UZ","type":"education","lineage":["https://openalex.org/I126419327"]},{"id":"https://openalex.org/I4210109177","display_name":"Tashkent State University of Law","ror":"https://ror.org/01x2s7885","country_code":"UZ","type":"education","lineage":["https://openalex.org/I4210109177"]},{"id":"https://openalex.org/I55383850","display_name":"Tashkent State University of Economics","ror":"https://ror.org/029t9db68","country_code":"UZ","type":"education","lineage":["https://openalex.org/I55383850"]}],"countries":["UZ"],"is_corresponding":false,"raw_author_name":"Elnara K. Ametova","raw_affiliation_strings":["Automation and Remote Control Department, Tashkent State Transport University, Tashkent 100167, Uzbekistan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Automation and Remote Control Department, Tashkent State Transport University, Tashkent 100167, Uzbekistan","institution_ids":["https://openalex.org/I126419327","https://openalex.org/I55383850","https://openalex.org/I4210109177"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071406728","display_name":"Zohid Toshboyev","orcid":"https://orcid.org/0000-0003-0555-7767"},"institutions":[{"id":"https://openalex.org/I126419327","display_name":"Tashkent State Transport University","ror":"https://ror.org/00jxr5c40","country_code":"UZ","type":"education","lineage":["https://openalex.org/I126419327"]},{"id":"https://openalex.org/I4210109177","display_name":"Tashkent State University of Law","ror":"https://ror.org/01x2s7885","country_code":"UZ","type":"education","lineage":["https://openalex.org/I4210109177"]},{"id":"https://openalex.org/I55383850","display_name":"Tashkent State University of Economics","ror":"https://ror.org/029t9db68","country_code":"UZ","type":"education","lineage":["https://openalex.org/I55383850"]}],"countries":["UZ"],"is_corresponding":false,"raw_author_name":"Zohid B. Toshboyev","raw_affiliation_strings":["Automation and Remote Control Department, Tashkent State Transport University, Tashkent 100167, Uzbekistan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Automation and Remote Control Department, Tashkent State Transport University, Tashkent 100167, Uzbekistan","institution_ids":["https://openalex.org/I126419327","https://openalex.org/I55383850","https://openalex.org/I4210109177"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5030787850"],"corresponding_institution_ids":["https://openalex.org/I126419327","https://openalex.org/I134694890","https://openalex.org/I212220629","https://openalex.org/I4210109177","https://openalex.org/I4210114555","https://openalex.org/I55383850"],"apc_list":{"value":1400,"currency":"CHF","value_usd":1515},"apc_paid":{"value":1400,"currency":"CHF","value_usd":1515},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.12111813,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"13","issue":"9","first_page":"220","last_page":"220"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13935","display_name":"Mathematical Control Systems and Analysis","score":0.26269999146461487,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13935","display_name":"Mathematical Control Systems and Analysis","score":0.26269999146461487,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13732","display_name":"Aerospace, Electronics, Mathematical Modeling","score":0.047600001096725464,"subfield":{"id":"https://openalex.org/subfields/2309","display_name":"Nature and Landscape Conservation"},"field":{"id":"https://openalex.org/fields/23","display_name":"Environmental Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/testability","display_name":"Testability","score":0.8080999851226807},{"id":"https://openalex.org/keywords/parity","display_name":"Parity (physics)","score":0.6031000018119812},{"id":"https://openalex.org/keywords/modulo","display_name":"Modulo","score":0.521399974822998},{"id":"https://openalex.org/keywords/encoder","display_name":"Encoder","score":0.4611999988555908},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.45010000467300415},{"id":"https://openalex.org/keywords/discrete-system","display_name":"Discrete system","score":0.423799991607666},{"id":"https://openalex.org/keywords/convolution","display_name":"Convolution (computer science)","score":0.421999990940094}],"concepts":[{"id":"https://openalex.org/C51234621","wikidata":"https://www.wikidata.org/wiki/Q2149495","display_name":"Testability","level":2,"score":0.8080999851226807},{"id":"https://openalex.org/C2777151079","wikidata":"https://www.wikidata.org/wiki/Q141160","display_name":"Parity (physics)","level":2,"score":0.6031000018119812},{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.521399974822998},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5131000280380249},{"id":"https://openalex.org/C118505674","wikidata":"https://www.wikidata.org/wiki/Q42586063","display_name":"Encoder","level":2,"score":0.4611999988555908},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.45010000467300415},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4309000074863434},{"id":"https://openalex.org/C96314035","wikidata":"https://www.wikidata.org/wiki/Q5282062","display_name":"Discrete system","level":2,"score":0.423799991607666},{"id":"https://openalex.org/C45347329","wikidata":"https://www.wikidata.org/wiki/Q5166604","display_name":"Convolution (computer science)","level":3,"score":0.421999990940094},{"id":"https://openalex.org/C12426560","wikidata":"https://www.wikidata.org/wiki/Q189569","display_name":"Basis (linear algebra)","level":2,"score":0.3747999966144562},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.34279999136924744},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3407000005245209},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32690000534057617},{"id":"https://openalex.org/C55689738","wikidata":"https://www.wikidata.org/wiki/Q15963867","display_name":"Discrete time and continuous time","level":2,"score":0.3197999894618988},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3140999972820282},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.305400013923645},{"id":"https://openalex.org/C39685927","wikidata":"https://www.wikidata.org/wiki/Q173183","display_name":"Boolean algebra","level":2,"score":0.30059999227523804},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.2648000121116638},{"id":"https://openalex.org/C131521367","wikidata":"https://www.wikidata.org/wiki/Q625502","display_name":"Parity bit","level":2,"score":0.25529998540878296},{"id":"https://openalex.org/C5917680","wikidata":"https://www.wikidata.org/wiki/Q2621825","display_name":"Basis function","level":2,"score":0.2533999979496002},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.2533999979496002}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3390/computation13090220","is_oa":true,"landing_page_url":"https://doi.org/10.3390/computation13090220","pdf_url":"https://www.mdpi.com/2079-3197/13/9/220/pdf?version=1757639050","source":{"id":"https://openalex.org/S2738402919","display_name":"Computation","issn_l":"2079-3197","issn":["2079-3197"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computation","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:df5e222e605d4b8b9aaa738ede0952f8","is_oa":true,"landing_page_url":"https://doaj.org/article/df5e222e605d4b8b9aaa738ede0952f8","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Computation, Vol 13, Iss 9, p 220 (2025)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.3390/computation13090220","is_oa":true,"landing_page_url":"https://doi.org/10.3390/computation13090220","pdf_url":"https://www.mdpi.com/2079-3197/13/9/220/pdf?version=1757639050","source":{"id":"https://openalex.org/S2738402919","display_name":"Computation","issn_l":"2079-3197","issn":["2079-3197"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computation","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4414131491.pdf","grobid_xml":"https://content.openalex.org/works/W4414131491.grobid-xml"},"referenced_works_count":20,"referenced_works":["https://openalex.org/W966413371","https://openalex.org/W1986670737","https://openalex.org/W2008614914","https://openalex.org/W2046536361","https://openalex.org/W2061475085","https://openalex.org/W2073134434","https://openalex.org/W2409013312","https://openalex.org/W2769578816","https://openalex.org/W2982165781","https://openalex.org/W2982606108","https://openalex.org/W3021091671","https://openalex.org/W3110516674","https://openalex.org/W4200413702","https://openalex.org/W4303627737","https://openalex.org/W4362562963","https://openalex.org/W4401175278","https://openalex.org/W4402350831","https://openalex.org/W4406325207","https://openalex.org/W4406863746","https://openalex.org/W4407694595"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4391375266","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W2142036596","https://openalex.org/W2072657027"],"abstract_inverted_index":{"Calculations":[0,13],"testing":[1,14,190,241],"can":[2,27],"be":[3,28,52,248,259],"effectively":[4],"used":[5,29,61,249],"in":[6,160,229,250],"the":[7,18,23,79,83,86,91,104,107,120,123,132,145,150,156,161,171,174,182,195,198,202,215,223,230,251],"construction":[8],"of":[9,22,35,48,63,74,81,85,93,106,122,134,173,181,197,201,217,219,225,232,253],"discrete":[10,64,75,191,254],"self-checking":[11,260],"devices.":[12],"is":[15,129,143,155,167],"based":[16,130,242],"on":[17,90,131,243],"parity":[19,87,151,175],"and":[20,33,66,261],"self-duality":[21],"calculated":[24],"functions.":[25],"This":[26,117,127,165],"for":[30,38,113,125,185,222],"modern":[31],"blocks":[32],"nodes":[34],"control":[36,158],"systems":[37,76,257],"responsible":[39],"technological":[40],"processes.":[41],"However,":[42],"its":[43],"use":[44,133,224],"has":[45],"a":[46,111],"number":[47],"features":[49],"that":[50,144,206,211],"must":[51],"considered":[53],"when":[54],"building":[55],"concurrent":[56,162,203,233],"error-detection":[57,163,204,234],"circuits.":[58,116,235],"The":[59,140,153,209],"authors":[60,105],"methods":[62],"mathematics":[65],"Boolean":[67],"algebra":[68],"as":[69,71],"well":[70],"technical":[72],"diagnostics":[73],"to":[77,109,149,169,178],"investigate":[78],"problem":[80],"ensuring":[82],"testability":[84,92,121,172,264],"encoder.":[88],"Theorems":[89],"convolution":[94],"functions":[95],"modulo":[96],"2":[97],"are":[98],"proved.":[99],"Considering":[100],"these":[101],"theorems":[102,210],"allowed":[103],"article":[108],"propose":[110],"method":[112,118,128,166],"synthesizing":[114],"CED":[115],"increases":[119],"encoder":[124],"parity.":[126],"two":[135,244],"diagnostic":[136,183,245],"signs":[137,184,246],"at":[138],"once.":[139],"first":[141],"sign":[142],"code":[146],"words":[147],"belong":[148],"code.":[152],"second":[154],"self-dual":[157],"function":[159],"circuit.":[164],"guaranteed":[168],"increase":[170],"coder":[176],"compared":[177],"using":[179],"one":[180],"calculations":[186,240],"testing.":[187],"Experiments":[188],"with":[189,239],"devices":[192],"have":[193,262],"shown":[194],"effectiveness":[196],"organization":[199],"structure":[200],"circuit":[205],"we":[207,212],"developed.":[208],"proved":[213],"form":[214],"basis":[216],"proof":[218],"similar":[220],"provisions":[221],"other":[226],"linear":[227],"codes":[228],"synthesis":[231,252],"Our":[236],"proposed":[237],"solutions":[238],"should":[247,258],"systems.":[255],"Discrete":[256],"improved":[263],"indicators.":[265]},"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}