Схемы поиска неисправностей

Description

Приведены новые и оригинальные методы построения схем для корректировки ошибок в дискретных устройствах и методы синтеза таких систем с помощью ЭВМ. Предложения авторов книги используются в разрабатываемых комбинатом «Роботрон» (ГДР) ЭВМ семейства ЕС РЯД.Для инженерно-технических работников в области вычислительной техники.Доп. информация:ОглавлениеПредисловие к русскому изданиюПредисловие1. Введение1.1. Модификация дублирования и сравнения1.1.1. Дублирование и сравнение1.1.2. Двухпроводная логика1.1.3. Псевдодублирование1.1.4. Воспроизведение входных символов1.2. Применение кодов1.2.1. Проверка контрольного бита1.2.2. Обнаружение ошибок в дешифраторах1.2.3. Контроль сложения посредством модулярных арифметических кодов1.2.4. Полностью самоконтролирующиеся схемы1.3. Алгебраический метод1.3.1. Обнаружение ошибок по расчетам классов вычетов1.3.2. Обнаружение ошибок с помощью суперпозиции1.3.3. Применение алгебр разбиений1.4. Определение погрешностей срабатывания1.5. Специальные схемы обнаружения ошибок2. Комбинированные схемы обнаружения ошибок2.1. Основные понятия2.2. Примеры схем обнаружения ошибок для сумматоров2.3. Обнаружение любой одиночной ошибки (метод Согомоняна)2.4. Ослабление требований к обнаружению ошибок3. Последовательные схемы обнаружения ошибок3.1. Основные понятия3.2. Эффективный метод3.3. Примеры3.4. Снижение затрат путем ограничения модели ошибок и введения менее жестких требований к обнаружению ошибок3.4.1. Ограниченная модель ошибок3.4.2. Обнаружение ошибок с запаздыванием3.5. Обнаружение произвольной единичной ошибки3.6. Предельные затраты4. Автоматизированная разработка схем обнаружения ошибок4.1. Практический алгоритм4.2. Оптимизация проектирования и техническая реализация5. ПРИЛОЖЕНИЕ5.1. Модели ошибок5.2. Автоматы. Понятия и обозначенияСПИСОК ЛИТЕРАТУРЫ ПредисловиеВ книге показано, как для любой комбинационной или последовательной схемы строится оптимальная схема обнаружения ошибок. При этом такая схема распознает ошибки определенных типов.Будет показано также, как проектирование оптимальной схемы обнаружения ошибок сводится к оптимизации частично определенной булевой функции или автомата.Методы и алгоритмы для решения подобных стандартных задач проектирования схем хорошо известны и реализованы на электронных вычислительных машинах. В случае последовательной схемы необходимо сначала по известному алгоритму минимизировать число состояний частично определенного автомата. При этом возникает возможность осуществить автоматизированную разработку схемы обнаружения ошибок с учетом того, что подлежащая контролю схема имеет ограничения с точки зрения стоимости.Один из методов, описанных в данной книге, позволяет решить проблему рационального использования функциональных элементов, например, минимизировать число неиспользуемых вентилей в схеме вентильной матрицы обнаружения ошибок. В книге предлагается ограничиться моделью ошибок, учитывающей наиболее часто встречающиеся ошибки (например, ошибки запаздывания), для того, чтобы получить рациональную схему обнаружения ошибок из имеющихся в устройстве функциональных элементов.Схемы обнаружения ошибок очень часто описываются в патентах. Поэтому в гл. 1 мы постарались сделать обзор соответствующей патентной литературы, поскольку обычно такой обзор в монографиях отсутствует.В качестве (вероятно, самого наглядного и интересного) примера в гл. 2 мы выбрали двоичный сумматор с различными моделями ошибок. При этом затраты на обнаружение ошибок изменяются в зависимости от модели ошибки в пределах от 15 до 100 % стоимости схемы, подлежащей контролю.Для усвоения материала гл. 3 нужно проявить немного терпения, но оно с лихвой вознаграждается, когда в соответствии с описанным в гл. 4 способом приходится оптимальным образом проектировать с помощью ЭВМ реальные схемы обнаружения ошибок.В приложении мы показываем, как путем анализа ошибок элементов схемы можно получить модель ошибок для всей схемы. Кроме того, в нем мы объясняем важнейшие из используемых в книге понятий теории автоматов.Профессора Е. Иордан, Ф. Кемпе, 3. Пильц и физик К. Хинце оказали нам помощь в осуществлении этой работы. Мы благодарны доктору наук Д. Райнерту за большое число дружеских замечаний и интересных идей. Мы также признательны доктору наук Б. Штайнбаху за замечания к гл. 4. Доктор наук Е. Оберет оказал нам помощь при составлении библиографического указателя. Кандидат технических наук Ф. Кестнер в рамках своего инженерного практикума выполнил часть работы по программированию. Фрау Штайбель терпеливо, со знанием дела перепечатала рукопись в своем машбюро. Мы сердечно благодарим физика Г. Лаговитц, редактора издательства «Академия» за приятное и эффективное сотрудничество. Релиз группы Пример страницы