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

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

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

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

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