{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T22:58:41Z","timestamp":1773615521695,"version":"3.50.1"},"reference-count":33,"publisher":"Allerton Press","issue":"1","license":[{"start":{"date-parts":[[2022,2,1]],"date-time":"2022-02-01T00:00:00Z","timestamp":1643673600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,2,1]],"date-time":"2022-02-01T00:00:00Z","timestamp":1643673600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Aut. Control Comp. Sci."],"published-print":{"date-parts":[[2022,2]]},"DOI":"10.3103\/s0146411622010096","type":"journal-article","created":{"date-parts":[[2022,3,15]],"date-time":"2022-03-15T02:02:55Z","timestamp":1647309775000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Duplication of Boolean Complements for Synthesis of Fault-Tolerant Digital Devices and Systems"],"prefix":"10.3103","volume":"56","author":[{"given":"V. V.","family":"Sapozhnikov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vl. V.","family":"Sapozhnikov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D. V.","family":"Efanov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1627","published-online":{"date-parts":[[2022,3,15]]},"reference":[{"key":"7460_CR1","volume-title":"Logic Design Principles with Emphasis on Testable Semicustom Circuits","author":"E.J. McCluskey","year":"1986","unstructured":"McCluskey, E.J., Logic Design Principles with Emphasis on Testable Semicustom Circuits, Englewood Cliffs, N.J.: Prentice-Hall, 1986."},{"key":"7460_CR2","unstructured":"Sogomonyan, E.S. and Slabakov, E.V., Samoproveryaemye ustroistva i otkazoustoichivye sistemy (Self-Testing Devices and Fault-Tolerant Systems), Moscow: Radio i Svyaz\u2019, 1989."},{"key":"7460_CR3","unstructured":"Mikoni, S.V., Obshchie diagnosticheskie bazy znanii vychislitel\u2019nykh sistem (General Diagnostic Knowledge Bases of Computing Systems), St. Petersburg: SPIIRAN, 1992."},{"key":"7460_CR4","volume-title":"V., Khristov, Kh.A., and Gavzov, D.V., Metody postroeniya bezopasnykh mikroelektronnykh sistem zheleznodorozhnoi avtomatiki (Methods for Constructing Safe Microelectronic Systems of Railway Automation)","author":"V.V. Sapozhnikov","year":"1995","unstructured":"Sapozhnikov, V.V., Sapozhnikov, Vl.V., Khristov, Kh.A., and Gavzov, D.V., Metody postroeniya bezopasnykh mikroelektronnykh sistem zheleznodorozhnoi avtomatiki (Methods for Constructing Safe Microelectronic Systems of Railway Automation), Sapozhnikov, V.V., Ed., Moscow: Transport, 1995."},{"key":"7460_CR5","unstructured":"Drozd, A.V., Kharchenko, V.S., Antoshchuk, S.G., Drozd, Yu.V., Drozd, M.A., and Sulima, Yu.Yu., Rabochee diagnostirovanie bezopasnykh informatsionno-upravlyayushchikh system (Operational Diagnostics of Safe Information Control Systems), Drozd, A.V. and Kharchenko, V.S., Eds., Kharkov: Nats. Aerokosmicheskii Univ. im. Zhukovskogo, 2012."},{"key":"7460_CR6","doi-asserted-by":"publisher","unstructured":"Kharchenko, V., Kondratenko, Yu., and Kacprzyk, J., Green IT Engineering: Concepts, Models, Complex Systems Architectures, Studies in Systems, Decision and Control, vol. 74, Cham: Springer, 2017.\u00a0https:\/\/doi.org\/10.1007\/978-3-319-44162-7","DOI":"10.1007\/978-3-319-44162-7"},{"key":"7460_CR7","unstructured":"Gavrilov, M.A., Ostianu, V.M., and Potekhin, A.I., Reliability of discrete systems, Itogi nauki i tekhniki. Seriya Teoriya veroyatnostei. Matematicheskaya statistika. Teoreticheskaya Kibernetika (Results of Science and Technology. Probability Theory. Mathematical Statistics. Theoretical Cybernetics), Moscow, 1969, pp. 7\u2013104."},{"key":"7460_CR8","first-page":"320","volume":"58","author":"I.V. Lysenko","year":"1997","unstructured":"Lysenko, I.V. and Kharchenko, V.S., Potential vitality of multi-layered majorant-reserved systems subject to adverse impulse effects, Autom. Remote Control, 1997, vol. 58, no. 2, pp.\u00a0320\u2013327.","journal-title":"Autom. Remote Control"},{"key":"7460_CR9","doi-asserted-by":"publisher","first-page":"991","DOI":"10.1023\/A:1016130108770","volume":"63","author":"V.V. Sklyar","year":"2002","unstructured":"Sklyar, V.V. and Kharchenko, V.S., Fault-tolerant computer-aided control systems with multiversion-threshold adaptation: Adaptation methods, reliability estimation, and choice of an\u00a0architecture, Autom. Remote Control, 2002, vol. 63, no. 6, pp. 991\u20131003. \u00a0https:\/\/doi.org\/10.1023\/A:1016130108770","journal-title":"Autom. Remote Control"},{"key":"7460_CR10","doi-asserted-by":"publisher","unstructured":"Hamamatsu, M., Tsuchiya, T., and Kikuno, T., Finding the optimal configuration of a\u00a0cascading TMR system, 14th IEEE Pacific Rim Int. Symp. on Dependable Computing, Taipei, 2008, IEEE, 2008, pp. 349\u2013350. \u00a0https:\/\/doi.org\/10.1109\/PRDC.2008.12","DOI":"10.1109\/PRDC.2008.12"},{"key":"7460_CR11","doi-asserted-by":"publisher","unstructured":"Matsumoto, K., Uehara, M., and Mori, H., Evaluating the fault tolerance of stateful TMR, 13th Int. Conf. on Network-Based Information Systems, Takayama, Japan, 2010, IEEE, 2010, pp. 332\u2013336. \u00a0https:\/\/doi.org\/10.1109\/NBiS.2010.86","DOI":"10.1109\/NBiS.2010.86"},{"key":"7460_CR12","doi-asserted-by":"publisher","unstructured":"Boreck\u00fd, J., Kohl\u00edk, M., Vit, P., and Kub\u00e1tov\u00e1, H., Enhanced duplication method with TMR-like masking abilities, Euromicro Conf. on Digital System Design (DSD), Limassol, Cyprus, 2016, IEEE, 2016, pp. 690\u2013693. \u00a0https:\/\/doi.org\/10.1109\/DSD.2016.91","DOI":"10.1109\/DSD.2016.91"},{"key":"7460_CR13","doi-asserted-by":"publisher","unstructured":"Krcma, M., Kotasek, Z., and Lojda, J., Triple modular redundancy used in field programmable neural networks, IEEE East-West Design & Test Symp. (EWDTS), Novi Sad, Serbia, 2017, IEEE, 2017, pp. 1\u20136. \u00a0https:\/\/doi.org\/10.1109\/EWDTS.2017.8110128","DOI":"10.1109\/EWDTS.2017.8110128"},{"key":"7460_CR14","unstructured":"Shcherbakov, N.S., Samokorrektiruyushchiesya diskretnye ustroistva (Self-Correction Discrete Devices), Moscow: Mashinostroenie, 1975."},{"key":"7460_CR15","doi-asserted-by":"publisher","unstructured":"Stempkovskiy, A.L., Telpukhov, D.V., Zhukova, T.D., Gurov, S.I., and Solovyev, R.A., Synthesis methods of fault-tolerant combination CMOS circuits providing automatic correction of errors, Izv. Yuzhnogo Fed. Univ. Tekh. Nauki, 2017, no. 7, pp. 197\u2013210. \u00a0https:\/\/doi.org\/10.23683\/2311-3103-2017-7-197-210","DOI":"10.23683\/2311-3103-2017-7-197-210"},{"key":"7460_CR16","unstructured":"Sogomonyan E.S., Self-correction fault-tolerant systems, Preprint, 2018."},{"key":"7460_CR17","unstructured":"Sapozhnikov, V.V., Sapozhnikov, Vl.V., and Efanov, D.V., Osnovy teorii nadezhnosti i tekhnicheskoi diagnostiki (Foundations of the Reliability Theory and Engineering Diagnostics), St. Petersburg: Lan\u2019, 2019."},{"key":"7460_CR18","volume-title":"V., and Efanov, D.V., Kody Khemminga v sistemakh funktsional\u2019nogo kontrolya logicheskikh ustroistv (Hamming Codes in Systems of Functional Control of Logic Devices)","author":"V.V. Sapozhnikov","year":"2018","unstructured":"Sapozhnikov, V.V., Sapozhnikov, Vl.V., and Efanov, D.V., Kody Khemminga v sistemakh funktsional\u2019nogo kontrolya logicheskikh ustroistv (Hamming Codes in Systems of Functional Control of Logic Devices), St. Petersburg: Nauka, 2018."},{"key":"7460_CR19","unstructured":"Sapozhnikov, V.V., Sapozhnikov, Vl.V., and Efanov, D.V., Kody s summirovaniem dlya sistem tekhnicheskogo diagnostirovaniya (Codes with Summation for Systems of Engineering Diagnostics), Vol. 1: Klassicheskie kody Bergera i ikh modifikatsii (Classical Berger Codes and Their Modifications), Moscow: Nauka, 2020."},{"key":"7460_CR20","unstructured":"Sapozhnikov, V.V., Sapozhnikov, Vl.V., and Efanov, D.V., Kody s summirovaniem dlya sistem tekhnicheskogo diagnostirovaniya (Codes with Summation for Systems of Engineering Diagnostics), Vol. 2: Vzveshennye kody s summirovaniem (Weight-Based Codes with Summation), Moscow: Nauka, 2021."},{"key":"7460_CR21","first-page":"52","volume":"24","author":"V.V. Sapozhnikov","year":"2002","unstructured":"Sapozhnikov, V.V., Sapozhnikov, Vl.V., Dmitriev, A.V., Morozov, A.V., and Gessel\u2019, M., Organization of functional control of combinational circuits by the logical complement method, Elektron. Model., 2002, vol. 24, no.\u00a06, pp. 52\u201366.","journal-title":"Elektron. Model."},{"key":"7460_CR22","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1023\/A:1021884727370","volume":"64","author":"M. Gessel","year":"2003","unstructured":"Gessel, M., Morozov, A.V., Sapozhnikov, V.V., and Sapozhnikov, Vl.V., Logic complement, a new method of checking the combinational circuits, Autom. Remote Control, 2003, vol. 64, pp. 153\u2013161.\u00a0https:\/\/doi.org\/10.1023\/A:1021884727370","journal-title":"Autom. Remote Control"},{"key":"7460_CR23","doi-asserted-by":"publisher","unstructured":"G\u00f6essel, M., Ocheretny, V., Sogomonyan, E., and Marienfeld, D., New Methods of Concurrent Checking, Frontiers in Electronic Testing, vol. 42, Dordrecht: Springer, 2008.\u00a0https:\/\/doi.org\/10.1007\/978-1-4020-8420-1","DOI":"10.1007\/978-1-4020-8420-1"},{"key":"7460_CR24","first-page":"131","volume":"4","author":"D.V. Pivovarov","year":"2018","unstructured":"Pivovarov, D.V., Formation of concurrent error detection systems in multiple-output combinational circuits using the Boolean complement method based on constant-weight codes, Avtom. Transp., 2018, vol. 4, no. 1, pp. 131\u2013149.","journal-title":"Avtom. Transp."},{"key":"7460_CR25","doi-asserted-by":"publisher","first-page":"15","DOI":"10.15407\/emodel.39.02.015","volume":"39","author":"V.V. Sapozhnikov","year":"2017","unstructured":"Sapozhnikov, V.V., Sapozhnikov, Vl.V., Efanov, D.V., and Pivovarov, D.V., Boolean complement method based on constant-weight code \u201c1-out-of-4\u201d for formation of totally self-checking concurrent error detection systems, Elektron. Model., 2017, vol. 39, no. 2, pp. 15\u201334.","journal-title":"Elektron. Model."},{"key":"7460_CR26","doi-asserted-by":"publisher","first-page":"71","DOI":"10.37661\/1816-0301-2020-17-2-71-85","volume":"17","author":"V.V. Sapozhnikov","year":"2020","unstructured":"Sapozhnikov, V.V., Sapozhnikov, Vl.V., and Efanov, D.V., Signal correction for combinational automation devices on the basis of Boolean complement with control of calculations by parity, Informatika, 2020, vol. 17, no.\u00a02, pp. 71\u201385. \u00a0https:\/\/doi.org\/10.37661\/1816-0301-2020-17-2-71-85","journal-title":"Informatika"},{"key":"7460_CR27","doi-asserted-by":"publisher","first-page":"38","DOI":"10.15407\/emodel.42.05.038","volume":"42","author":"D.V. Efanov","year":"2020","unstructured":"Efanov, D.V., Sapozhnikov, V.V., and Sapozhnikov, Vl.V., Typical structure of a duplicate error correction scheme with code control with summation of weighted transitions, Elektron. Model., 2020, vol. 42, no. 5, pp.\u00a038\u201350. \u00a0https:\/\/doi.org\/10.15407\/emodel.42.05.038","journal-title":"Elektron. Model."},{"key":"7460_CR28","doi-asserted-by":"publisher","first-page":"1403","DOI":"10.1134\/S0005117921080075","volume":"82","author":"D.V. Efanov","year":"2021","unstructured":"Efanov, D.V., Sapozhnikov, V.V., and Sapozhnikov, Vl.V., Boolean-complement based fault-tolerant electronic device architectures, Autom. Remote Control, 2021, vol. 82, no. 8, pp. 1403\u20131417. \u00a0https:\/\/doi.org\/10.1134\/S0005117921080075","journal-title":"Autom. Remote Control"},{"key":"7460_CR29","doi-asserted-by":"publisher","unstructured":"Ghosh, S., Basu, S., and Touba, N.A., Synthesis of low power CED circuits based on parity codes, 23rd IEEE VLSI Test Symp. (VTS\u201905), Palm Springs, Calif., 2005, IEEE, 2005, pp.\u00a0315\u2013320. \u00a0https:\/\/doi.org\/10.1109\/VTS.2005.80","DOI":"10.1109\/VTS.2005.80"},{"key":"7460_CR30","volume-title":"Optimization in Boolean Space","author":"A. Zakrevskij","year":"2009","unstructured":"Zakrevskij, A., Pottosin, Yu., and Cheremisinova, L., Optimization in Boolean Space, Tallinn: TUT Press, 2009."},{"key":"7460_CR31","doi-asserted-by":"publisher","unstructured":"Kunz, W. and Menon, P.R., Multi-level logic optimization by implication analysis, IEEE\/ACM Int. Conf. on Computer-Aided Design, San Jose, Calif., 2002, IEEE, 2002, pp. 6\u201313. \u00a0https:\/\/doi.org\/10.1109\/ICCAD.1994.629735","DOI":"10.1109\/ICCAD.1994.629735"},{"key":"7460_CR32","doi-asserted-by":"publisher","unstructured":"Sentovich, E.M., Singh, K.J., Moon, C., Savoj, H., Brayton, R.K., and Sangiovanni-Vincentelli, A., Sequential Circuit Design Using Synthesis and Optimization, Proc. 1992 IEEE Int. Conf. on Computer Design: VLSI in Computers & Processors, Cambridge, Mass., 2002, IEEE, 2002, pp.\u00a0328\u2013333. \u00a0https:\/\/doi.org\/10.1109\/ICCD.1992.276282","DOI":"10.1109\/ICCD.1992.276282"},{"key":"7460_CR33","unstructured":"Collection of digital design benchmarks. http:\/\/ddd.fit.cvut.cz\/www\/prj\/Benchmarks\/. Cited April 13, 2021."}],"container-title":["Automatic Control and Computer Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411622010096.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.3103\/S0146411622010096","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411622010096.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,15]],"date-time":"2026-03-15T22:01:05Z","timestamp":1773612065000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.3103\/S0146411622010096"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,2]]},"references-count":33,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2022,2]]}},"alternative-id":["7460"],"URL":"https:\/\/doi.org\/10.3103\/s0146411622010096","relation":{},"ISSN":["0146-4116","1558-108X"],"issn-type":[{"value":"0146-4116","type":"print"},{"value":"1558-108X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,2]]},"assertion":[{"value":"13 April 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 May 2021","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 May 2021","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 March 2022","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"The authors declare that they have no conflicts of interest.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"CONFLICT OF INTEREST"}}]}}