Ефанов Д.В. - все книги автора. Издательство Лань

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

Рассматриваются теоретические и практические аспекты разработки, конструирования и эксплуатации систем непрерывного мониторинга устройств железнодорожной автоматики и телемеханики (ЖАТ), функционирующих в настоящее время на железных дорогах Российской Федерации. Дается формальное определение предотказного состояния технического объекта, которое является фундаментальным понятием в работе систем непрерывного мониторинга. Указано место средств мониторинга ЖАТ среди средств и мероприятий по поддержанию высокого уровня надежности и безопасности работы устройств управления движением поездов. Содержатся результаты исследований в области логической обработки диагностической информации для мониторинга состояния напольного технологического оборудования ЖАТ. Отмечаются перспективы развития систем непрерывного мониторинга на железных дорогах Российской Федерации.
Книга может быть полезна как разработчикам, так и пользователям систем непрерывного мониторинга устройств ЖАТ, а также инженерам, научным сотрудникам и аспирантам. Также книга может быть использована как учебное пособие для вузов, обеспечивающих подготовку инженеров путей сообщения по специальности «Системы обеспечения движения поездов».

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

Учебник предназначен для студентов, обучающихся по программам специалитета «Наземные транспортно-технологические средства», «Системы обеспечения движения поездов», «Подвижной состав железных дорог» и бакалавриата направлений подготовки «Технология транспортных процессов», «Наземные транспортно-технологические комплексы», «Эксплуатация транспортно-технологических машин и комплексов», «Автоматизация технологических процессов и производств», «Управление в технических системах».