Судани Хайдер Хуссейн Карим Модели и алгоритмы построения оптимальных рёберных отказоустойчивых реализаций вычислительных систем

Краткое описание

Судани Хайдер Хуссейн Карим Модели и алгоритмы построения оптимальных рёберных отказоустойчивых реализаций вычислительных систем
ОГЛАВЛЕНИЕ ДИССЕРТАЦИИ
кандидат наук Судани Хайдер Хуссейн Карим
Введение

1 Модель рёберной отказоустойчивости

1.1 Отказоустойчивость

1.2 Основные определения

1.3 Расширения графов и отказоустойчивость

1.4 Базовый алгоритм построения рёберных расширений

2 Алгоритм построения рёберных расширений

2.1 Перебор суперграфов

2.2 Вложение

2.3 Проверка на рёберное ^-расширение

2.4 Проверка списка на наличие изоморфных копий

2.4.1 Метод прямой проверки на изоморфизм

2.4.2 Метод сравнения полных инвариантов

2.4.3 Метод отбора канонических представителей

3 Усовершенствования базового алгоритма построения минимальных рёберных ^ расширений

3.1 Влияние формы графа на основные задачи

3.2 Маршрутный код

3.3 Распознавание канонического представителя

3.4 Исследование проверки каноничности

3.5 Дерево канонических представителей

3.6 Перечисление суперграфов с ограничениями

4 Параллельные вычисления

4.1 Распараллеливание вычислений

4.2 Вычислительные эксперименты

4.2.1 Параллельная обработка потока графов

4.2.2 Построение расширений графов с заданным количеством вершин

4.2.3 Построение расширений циклов

4.3. Эффективность алгоритмов

4.4 Статистика по расширениям

Заключение

Список условных обозначений и сокращений

Список литературы

Приложение А Свидетельство о государственной регистрации программы для

ЭВМ

Приложение Б Акт о внедрении результатов диссертационной работы

Приложение В Акт об использовании результатов работы в учебном процессе . 128 Приложение Г Исходный код программы