Введение
Глава 1. Анализ методов, используемых для повышения достоверности работы ЭВМ 13
1.1. Аналитический обзор методов контроля технических средств вычислительных систем 13
1.2. Анализ математических основ построения корректирующих кодов 19
1.3. Арифметические остаточные коды, исправляющие ошибки 27
1.4. Постановка задачи исследования 41
Выводы 49
Глава 2. Разработка методов и алгоритмов обнаружения, локализации и коррекции ошибок в системе остаточныхклассов 51
2.1. Распределение ошибок в диапазоне представления чисел в избыточной системе остаточныхклассов 51
2.2. Разработка методов определения ошибок в СОК 62
2.3. Разработка алгоритмов для локализации ошибок в СОК 69
2.4. Разработка алгоритмов для исправления ошибок в СОК 72
2.5. Разработка методов определения переполнения динамического диапазона в СОК 79
Выводы 85
Глава 3. Разработка математических моделей коррекции ошибок в системе остаточных классов 87
3.1. Алгоритм метода проекций с использованием для обнаружения ошибки метода выхода за диапазон (КТО) 87
3.2. Анализ сложности алгоритма метода проекций (КТО) и его альтернативные реализации 94
3.3. Алгоритм коррекции ошибок на основе метода проекций с использованием для обнаружения ошибки метода перехода из системы остаточных классов в обобщенную полиадическую систему счисления 112
3.4. Анализ сложности алгоритма метода проекций (ОПС) 115
3.5. Сравнительный анализ алгоритма коррекции ошибок, выполненного двумя способами 119
Выводы 126
Глава 4. Экспериментальное исследование корректирующих способностей кодов в системе остаточных классов 128
4.1. Математическая модель влияния на корректирующие способности кодов величины контрольного основания 128
4.2. Теоретико-вероятностный подход к оценке возможности появления ошибки по одному из модулей системы с последующим моделированием наиболее вероятной ситуации 135
4.3. Статистическое моделирование при изучении факторов, влияющих на корректирующие способности кодов в СОК 142
4.4. Определение одновременного появления ошибки и переполнения при использовании избыточной СОК 148
4.5. Оценка результатов коррекции ошибок в избыточной системе остаточных классов 154
Выводы 158
Заключение 160
Библиографический список использованной литературы 163
Приложение 174
