СОДЕРЖАНИЕ
ВВЕДЕНИЕ.
1. АНАЛИЗ СОСТОЯНИЯ ПРОБЛЕМЫ И ПОСТАНОВКА ЗАДАЧИ
1.1. Методы оценки параметров последовательных вычислительных процессов в проблеме создания сложных систем.
1.2. Ретроспективный обзор методов моделирования и оценивания параметров последовательных вычислительных процессов
1.3. Постановка задачи и цели исследования .
2. СИНТЕЗ АЛГОРИТМОВ ТОПОЛОГИЧЕСКОГО АНАЛИЗА ГРАФМОДЕЛЕЙ ВП .
2.1. Методологические особенности использования топологических и детерминированных графмоделей .
2.2. Алгоритм обнаружения топологических некорректностей .
2.3. Алгоритм топологической декомпозиции графмоделей большой размерности .
2.4. Алгоритм топологического анализа циклических графмоделей .
2.5. Выводы.
3. РАЗРАБОТКА МЕТОДОВ И АЛГОРИТМОВ ОЦЕНКИ ПАРАМЕТРОВ НА ДЕТЕРМИНИРОВАННЫХ ГРАФМОДЕЛЯХ ВП.
3.1. Методика расчета экстремальных значений параметров на детерминированных графмоделях, содержащих циклические подграфы
3.2. Алгоритм приведения детерминированных графмоделей
к ациклическому зиду.
3.3. Критерий и алгоритм проверки целесообразности вероятностного моделирования ВП
3.4. Анализ чувствительности вероятностных графмоделей
ВП к вариациям вероятностей передач управления .
3.5. Выводы
. СИНТЕЗ МЕТОДОВ И АЛГОРИТМОВ ОЦЕНКИ ВЕРОЯТНОСТНЫХ ХАРАКТЕРИСТИК ПАРАМЕТРОВ ВП.
4.1. Вероятностные графмодели элементарного вычислительного процесса и вычислительного процесса в укрупненных состояниях .
4.2. Методы оценки вероятностных характеристик параметров вычислительных процессов
4.3. Метод укрупнения состоянии и алгоритм синтеза вероятностной графмодели вычислительного процесса
в укрупненных состояниях .
4.4. Алгоритм оценки стационарных вероятностей состояний ВП .
4.5. Выводы
5. ЭКСПЕРИМЕНТАЛЬНАЯ ПРОВЕРКА МЕТОДОВ И АЛГОРИТМОВ АПРИОРНОЙ ОЦЕНКИ ПАРАМЕТРОВ ПОСЛЕДОВАТЕЛЬНЫХ ВП
5.1. Топологический анализ и оценка экстремальных значений времени реализации реального ВП . . . .
5.2. Анализ чувствительности и оценка вероятностных характеристик времени реализации реального ВП . .
5.3. Экспериментальная проверка работоспособности алгоритма топологической декомпозиции графмоделей большой размерности .
5.4. Программная реализация методов и алгоритмов априорной оценки параметров последовательных ВП .
5.5. Выводы
ЗАКЛЮЧЕНИЕ.
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ
- Київ+380960830922