Введение
ГЛАВА 1. Анализ моделей, методов и задач математического моделирования функционально избыточных дискретных систем
1.1. Введение
1.2. Общая характеристика математических моделей функционально избыточных дискретных систем
1.3. Основные задачи математического моделирования функционально избыточных дискретных систем
1.4. Схема реализации требуемых поведений функционально избыточной дискретной системы
1.5. Общая схема решения задач определения функциональной избыточности системы и проектирования функционально избыточной системы
ГЛАВА 2. Математические модели функционально избыточных дискретных систем, допускающих числовое моделирование
2.1. Введение
2.2. Числовая модель дискретной системы
2.3. Исследование свойств числовой модели
2.4. Способы доопределения математических моделей для систем, не допускающих числовое моделирование
2.5. Задачи определения функциональной избыточности и проектирования для класса систем, допускающих числовое моделирование
2.6. Метод построения восстанавливающей последовательности
для класса систем, допускающих числовое моделирование
ГЛАВА 3. Математические модели функционально избыточных систем без потери информации
3.1. Введение
3.2 Математическая модель дискретных систем без потери информации
3.3. Задачи определения функциональной избыточности и проектирования для класса систем без потери информации с заданным числом состояний
3.4. Задачи определения функциональной избыточности и проектирования для произвольного семейства систем без потери информации с заданным числом состояний
3.5. Метод построения восстанавливающей последовательности
для класса систем без потери информации
ГЛАВА 4. Математические модели функционально избыточных регистров различных типов
4.1. Введение
4.2. Методы построения восстанавливающих последовательностей для регистров различных типов
4.3. Задача проектирования функционально избыточных регистров различных типов
ГЛАВА 5. Проектирование функционально избыточной программной системы
5.1. Введение
5.2. Основные принципы автоматного программирования
5.3. Схемы проектирования функционально избыточной программной системы на основе автоматной модели
Заключение
Список источников
- Київ+380960830922