| Предисловие | 7
|
| Введение | 9
|
| Глава 1. Схемы встроенного контроля | 11
|
| 1.1. Принципы организации контроля вычислений | 11
|
| 1.2. Стандартные блоки для организации схем встроенного контроля | 17
|
| 1.2.1. Элементы и устройства сравнения сигналов | 17
|
| 1.2.2. Сумматоры двоичных чисел | 22
|
| 1.3. Ошибки на выходах дискретных устройств | 28
|
| Глава 2. Структуры схем встроенного контроля | 33
|
| 2.1. Классическая структура схемы встроенного контроля | 33
|
| 2.2. Структура схемы встроенного контроля на основе логической коррекции сигналов | 37
|
| 2.3. Структуры схем встроенного контроля со сжатием сигналов от объекта диагностирования | 39
|
| 2.4. Структуры схем встроенного контроля по нескольким группам выходов | 42
|
| Глава 3. Равномерные блоковые коды для синтеза дискретных устройств | 44
|
| 3.1. Классификация кодов по возможностям использования их свойств при организации схем встроенного контроля | 44
|
| 3.2. Неразделимые равномерные коды | 47
|
| 3.2.1. Равновесные коды | 47
|
| 3.2.2. Коды Бордена | 48
|
| 3.2.3. Композиции равновесных кодов | 49
|
| 3.2.4. Коды Адамара | 50
|
| 3.3. Разделимые равномерные коды | 51
|
| 3.3.1. Коды с повторением | 52
|
| 3.3.2. Коды с суммированием единичных разрядов | 53
|
| 3.3.3. Модульные коды с суммированием единичных разрядов | 56
|
| 3.3.4. Коды с суммированием взвешенных разрядов | 59
|
| 3.3.5. Модифицированные коды с суммированием | 62
|
| 3.3.6. Коды с суммированием весовых коэффициентов групп разрядов | 65
|
| 3.3.7. Коды Хэмминга и их модификации | 66
|
| 3.3.8. Полиномиальные коды | 69
|
| Глава 4. Методы синтеза схем встроенного контроля на основе структуры с дополнением информационных сигналов контрольными | 75
|
| 4.1. Использование кодов с повторением при синтезе схем встроенного контроля | 75
|
| 4.2. Использование кодов паритета при синтезе схем встроенного контроля | 78
|
| 4.3. Неразделимые коды в схемах встроенного контроля | 89
|
| 4.4. Коды с суммированием в схемах встроенного контроля | 93
|
| 4.4.1. Классические коды с суммированием в схемах встроенного контроля | 93
|
| 4.4.2. Модульные коды с суммированием в схемах встроенного контроля | 95
|
| 4.4.3. Синтез самопроверяемых схем встроенного контроля на основе кодов с обнаружением любых монотонных ошибок | 97
|
| 4.4.4. Синтез самопроверяемых схем встроенного контроля на основе кодов с обнаружением любых монотонных и асимметричных ошибок | 104
|
| 4.4.5. Синтез самопроверяемых схем встроенного контроля на основе подбора значений весовых коэффициентов взвешенного кода с суммированием | 113
|
| 4.4.6. Синтез самопроверяемых схем встроенного контроля на основе кода с суммированием весовых коэффициентов пар разрядов | 118
|
| 4.5. Коды Хэмминга и их модификации в схемах встроенного контроля | 119
|
| 4.5.1. Синтез схем встроенного контроля на основе кодов Хэмминга и их модификаций | 119
|
| 4.5.2. Синтез самопроверяемых схем встроенного контроля на основе кодов с обнаружением ошибок до фиксированной кратности | 121
|
| 4.6. Синтез самопроверяемых схем встроенного контроля при построении равномерного разделимого кода с учетом особенностей структуры объекта диагностирования | 130
|
| 4.7. Синтез схем встроенного контроля на основе выделения особых групп выходов | 138
|
| 4.8. Контроль вычислений по принадлежности функций к особым классам | 147
|
| 4.8.1. Инвертирование данных для контроля вычислений по принадлежности формируемых функций классу самодвойственных и «близких» к ним функций | 147
|
| 4.8.2. Контроль самодвойственных и «близких» к ним сигналов | 152
|
| 4.8.3. Особые свойства равномерных избыточных кодов, применяемые при контроле вычислений | 157
|
| 4.9. Контроль вычислений по нескольким диагностическим признакам на основе структуры с дополнением информационных символов контрольными | 171
|
| 4.9.1. Организация контроля вычислений по нескольким диагностическим признакам на основе принципа дополнения | 171
|
| 4.9.2. Синтез схем встроенного контроля вычислений по нескольким диагностическим признакам на основе структуры с дополнением информационных сигналов контрольными | 179
|
| Глава 5. Методы синтеза схем встроенного контроля на основе логической коррекции сигналов | 182
|
| 5.1. Контроль вычислений на основе принадлежности формируемых кодовых слов заданным блоковым кодам | 182
|
| 5.1.1. Равновесные коды в структурах схем встроенного контроля на основе логической коррекции сигналов | 182
|
| 5.1.2. Коды с суммированием в структурах схем встроенного контроля на основе логической коррекции сигналов | 210
|
| 5.1.3. Коды Хэмминга и их модификации в структурах схем встроенного контроля на основе логической коррекции сигналов | 220
|
| 5.2. Контроль вычислений по принадлежности функций к особым классам с использованием логической коррекции сигналов | 223
|
| 5.3. Контроль вычислений по нескольким диагностическим признакам на основе логической коррекции сигналов | 226
|
| 5.3.1. Организация контроля вычислений по нескольким диагностическим признакам на основе логической коррекции сигналов | 226
|
| 5.3.2. Синтез схем встроенного контроля вычислений по нескольким диагностическим признакам на основе логической коррекции сигналов с применением равновесных кодов | 228
|
| 5.3.3. Синтез схем встроенного контроля вычислений по нескольким диагностическим признакам на основе логической коррекции сигналов и разделимых кодов | 232
|
| 5.3.4. Применение полиномиальных кодов при синтезе схем встроенного контроля по нескольким диагностическим признакам | 237
|
| Заключение | 242
|
| Литература | 244
|
| Предметный указатель | 260
|
| Список сокращений | 262
|
Ефанов Дмитрий Викторович 
