mirtrМир транспортаWorld of Transport and Transportation1992-3252Russian University of Transport (RUT)10.30932/1992-3252-2021-19-2-20mirtr-2120Research ArticleКНИЖНАЯ ЛОЦИЯBIBLIO-DIRECTIONSОбзор книги «Труды по теории синтеза самопроверяемых схем встроенного контроля на основе двоичных избыточных кодов»Review of the book «Proceedings on the Self-Checking Embedded Control Circuits Synthesis Theory Based on Binary Redundant Codes»МатросоваА. Ю.MatrosovaA. Yu.

доктор технических наук, профессор, профессор кафедры компьютерной безопасности Института прикладной математики и компьютерных наук,

Томск

D.Sc. (Eng), Professor at the Department of Computer Security of the Institute of Applied Mathematics and Computer Science,

Tomsk

mau11@yandex.ruНациональный исследовательский Томский государственный университетРоссияNational Research Tomsk State UniversityRussian Federation202128042021192140143Copyright © Матросова А.Ю., 20212021Матросова А.Ю.Matrosova A.Y.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://mirtr.elpub.ru/jour/article/view/2120

Труды по теории синтеза самопроверяемых схем встроенного контроля на основе двоичных избыточных кодов: Т. 1. – Москва: Издательство «Наука», 2020. – 611 с. ISBN 978-5-02-040758-9.

Труды по теории синтеза самопроверяемых схем встроенного контроля на основе двоичных избыточных кодов: Т. 2. – Москва: Издательство «Наука», 2021. – 527 с. ISBN 978-5-02-040757-2.

В первый том книги вошли работы, посвящённые трём основным направлениям исследований в области синтеза самопроверяемых дискретных систем: изучению особенностей классических кодов с суммированием (кодов Бергера), модульных кодов с суммированием, а также их модификаций, предложенных авторами статей; изучению особенностей кодов, для которых контрольные разряды получают с использованием свёрток по модулю М = 2 части информационных разрядов (полиномиальных кодов и классических кодов Хэмминга); исследованиям метода логического дополнения для организации самопроверяемых дискретных систем на основе избыточных двоичных кодов. Приводятся материалы по подробным характеристикам обнаружения ошибок в информационных разрядах избыточных двоичных кодов при условии безошибочности контрольных разрядов, описания способов построения ранее неизвестных модифицированных кодов с суммированием и особенности методов синтеза самопроверяемых дискретных систем на основе двоичных избыточных кодов.

Второй том книги включает в себя работы в области построения двоичных кодов с суммированием с взвешенными разрядами и переходами между разрядами, занимающими соседние позиции в информационных векторах кодовых слов, а также результаты исследования их характеристик и методов синтеза кодирующего оборудования. Рассмотрены вопросы применения свойств кодов при организации самопроверяемых дискретных систем. Читатель найдёт на страницах данного тома материалы по подробным характеристикам обнаружения ошибок в информационных разрядах взвешенных кодов с суммированием при условии безошибочности контрольных разрядов, описания способов построения ранее неизвестных взвешенных кодов с суммированием и особенности методов синтеза самопроверяемых дискретных систем на их основе.

Книга может быть полезной разработчикам, исследователям и инженерам, работающим в сфере технической диагностики дискретных систем и синтеза систем с обнаружением неисправностей, а также студентам, изучающим информатику, вычислительную технику и автоматику. 

Proceedings on the Self-Checking Embedded Control Circuits Synthesis Theory Based on Binary Redundant Codes. Vol. 1. Moscow, Nauka publ., 2020, 611 p. ISBN 978-5-02-040758-9.

Proceedings on the Self-Checking Embedded Control Circuits Synthesis Theory Based on Binary Redundant Codes. Vol. 2. Moscow, Nauka publ., 2021, 527 p. ISBN 978-5-02-040757-2.

The first volume of the book includes papers devoted to three main areas of research in the field of synthesis of self-checking discrete systems: study of features of classical sum codes (Berger codes), modular sum codes, as well as their modifications proposed by the authors of the articles; study of features of codes for which check bits are obtained using convolutions modulo М = 2 of a part of data bits (polynomial codes and classical Hamming codes); research of the Boolean Complement method for organisation of self-checking discrete systems based on redundant binary codes. Materials are provided on detailed characteristics of error detection in data bits of redundant binary codes under the condition of errorfree check bits, descriptions of methods for constructing previously unknown modified sum codes and features of methods for synthesizing self-checking discrete systems based on binary redundant codes.

The second volume of the book includes papers in the field of constructing binary sum codes weighted bits and transitions between bits occupying adjacent positions in data vectors of code words, as well as the results of studying their characteristics and methods of synthesising coding equipment. The issues of application of features of codes in organisation of self-checking discrete systems are considered. The reader will find on the pages of this volume materials on detailed characteristics of error detection in data bits of weight-based sum codes provided that the check bits are error-free, descriptions of methods for constructing previously unknown weight-based sum codes and features of methods for synthesising self-checking discrete systems based on them.

The book can be useful for developers, researchers and engineers working in the field of technical diagnostics of discrete systems and synthesis of systems with fault detection, as well as students studying computer science, computer technology and automation. 

технические средства автоматизациисинтез самопроверяемых схемвстроенный контрольдвоичные избыточные кодысамопроверяемая дискретная системаautomation hardwaresynthesis of self-checking circuitsembedded controlbinary redundant codesself-checking discrete systemReferencesСапожников В. В., Сапожников Вл. В., Ефанов Д. В. Основы теории надёжности и технической диагностики. – СПб.: Издательство «Лань», 2019. – 588 с.Sapozhnikov, V. V., Sapozhnikov, Vl. V., Efanov, D. V. Fundamentals of the theory of reliability and technical diagnostics [Osnovy teorii nadezhnosti i tekhnicheskoi diagnostiki]. St. Petersburg, Publishing house «Lan», 2019, 588 p. [Electronic resource]: https://disk.yandex.ru/d/psRXxA8Ycxmce. Last accessed 27.04.2021.Пархоменко П. П., Согомонян Е. С. Основы технической диагностики (оптимизация алгоритмов диагностирования, аппаратурные средства). – М.: Энергоатомиздат, 1981. – 320 с.Parkhomenko, P. P., Sogomonyan, E. S. Fundamentals of technical diagnostics (optimization of diagnostic algorithms, hardware) [Osnovy tekhnicheskoi diagnostiki (optimizatsiya algoritmov diagnostirovaniya, apparaturnie sredstva)]. Moscow, Energoatomizdat publ., 1981, 320 p.Матросова А. Ю. Алгоритмические методы синтеза тестов. – Томск: Издательство Томского университета, 1990. – 207 с.Matrosova, A. Yu. Algorithmic methods for the synthesis of tests [Algoritmicheskie metody sinteza tekstov]. Tomsk, Publishing house of Tomsk University, 1990, 207 p.Hahanov, V. Cyber Physical Computing for IoTdriven Services. New York: Springer International Publishing AG, 2018, 279 p. DOI: 10.1007/978-3-319- 54825-8.Hahanov, V. Cyber Physical Computing for IoT-driven Services. New York, Springer International Publishing AG, 2018, 279 p. DOI: 10.1007/978-3-319-54825-8.Согомонян Е. С., Слабаков Е. В. Самопроверяемые устройства и отказоустойчивые системы. – М.: Радио и связь, 1989, 208 с.Sogomonyan, E. S., Slabakov, E. V. Self-checking devices and fault-tolerant systems [Samoproveryaemie ustroistva i otkazoustoichivie sistemy]. Moscow, Radio i svyaz, 1989, 208 p.Сапожников В. В., Сапожников Вл. В. Самопроверяемые дискретные устройства. – СПб.: Энергоатомиздат, 1992. – 224 с.Sapozhnikov, V. V., Sapozhnikov, V. l. B. Selfchecking discrete devices [Samoproveryaemie diskretnie ustroistva]. St. Petersburg, Energoatomizdat publ., 1992, 224 p.Микони С. В. Общие диагностические базы знаний вычислительных систем. – СПб.: СПИИРАН, 1992. – 234 с.Mikoni, S. V. General diagnostic knowledge base of computing systems [Obshchie diagnosticheskie bazy znanii vychislitelnykh sistem]. St. Petersburg, SPIIRAN publ., 1992, 234 p.Göessel, M., Graf, S. Error Detection Circuits. London, McGraw-Hill, 1994, 261 p.Göessel, M., Graf, S. Error Detection Circuits. London, McGraw-Hill, 1994, 261 p.Piestrak, S. J. Design of Self-Testing Checkers for Unidirectional Error Detecting Codes. Wrocław, Oficyna Wydawnicza Politechniki Wrocłavskiej, 1995, 111 p.Piestrak, S. J. Design of Self-Testing Checkers for Unidirectional Error Detecting Codes. Wrocław: Oficyna Wydawnicza Politechniki Wrocłavskiej, 1995, 111 p.Göessel, M., Ocheretny, V., Sogomonyan, E., Marienfeld, D. New Methods of Concurrent Checking: 1st ed. Dordrecht, Springer Science+Business Media B. V., 2008, 184 p.Göessel, M., Ocheretny, V., Sogomonyan, E., Marienfeld, D. New Methods of Concurrent Checking. 1st ed., Dordrecht, Springer Science + Business Media B.V., 2008, 184 p.

The authors declare that there are no conflicts of interest present.