Скачать книги Сапожников Валерий Владимирович

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

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

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

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

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