Введение
1. Анализ состояния проблемы и постановка задачи 13
1.1. Методы оценки параметров последовательных вычислительных процессов в проблеме создания сложных систем . 13
1.2. Ретроспективный обзор методов моделирования и оценивания параметров последовательных вычислительных процессов 21
1.3. Постановка задачи и цели исследования . 28
2. Синтез алгоритмов топологического анализа граф-моделей вп 37
2.1. Методологические особенности использования топологических и детерминированных граф-моделей 37
2.2. Алгоритм обнаружения топологических некорректностей 46
2.3. Алгоритм топологической декомпозиции граф-моделей большой размерности 49
2.4. Алгоритм топологического анализа циклических граф-моделей 55
2.5. Выводы 63
3. Разработка методов и алгоритмов оценки параметров на детер минированных граф-моделях ВП 66
3.1. Методика расчета экстремальных значений параметров на детерминированных граф-моделях, содержащих циклические подграфы 66
3.2. Алгоритм приведения детерминированных граф-моделей к ациклическому виду 73
3.3. Критерий и алгоритм проверки целесообразности вероятностного моделирования ВП 76
3.4. Анализ чувствительности вероятностных граф-моделей ВП к вариациям вероятностей передач управления 85
3.5. Выводы 94
4. Синтез методов и алгоритмов оценки вероятностных харак теристик параметров ВП 97
4.1. Вероятностные граф-модели элементарного вычислительного процесса и вычислительного процесса в укрупненных состояниях 97
4.2. Методы оценки вероятностных характеристик параметров вычислительных процессов 103
4.3. Метод укрупнения состояний и алгоритм синтеза вероятностной граф-модели вычислительного процесса
в .укрупненных состояниях 114
4.4. Алгоритм оценки стационарных вероятностей состояний ВП 122
4.5. Выводы 127
5. Экспериментальная проверка методов и алгоритмов априорной оценки параметров последовательных ВП 128
5.1. Топологический анализ и оценка экстремальных значений времени реализации реального ВП 128
5.2. Анализ чувствительности и оценка вероятностных характеристик времени реализации реального ВП 137
5.3. Экспериментальная проверка работоспособности алгоритма топологической декомпозиции граф-моделей большой размерности 146
5.4. Программная реализация методов и алгоритмов априорной оценки параметров последовательных ВП 152
5.5. Выводы 157
Заключение 160
Список использованных источников
