Джафар Мустафа Садек Джавар Управление потоками сообщений в вычислительных сетях и системах с переменной структурой

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

Джафар Мустафа Садек Джавар Управление потоками сообщений в вычислительных сетях и системах с переменной структурой

ОГЛАВЛЕНИЕ ДИССЕРТАЦИИ

кандидат наук Джафар Мустафа Садек Джавар

ВВЕДЕНИЕ

ГЛАВА 1. ПРИНЦИПЫ ФУНКЦИОНАЛЬНО-СТРУКТУРНОЙ ОРГАНИЗАЦИИ И УПРАВЛЕНИЯ ПОТОКАМИ СООБЩЕНИЙ В РАСПРЕДЕЛЕННЫХ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМАХ С АРХИТЕКТУРОЙ, ФОРМИРУЕМОЙ ОПЕРАТИВНО ПО ТРЕБОВАНИЮ КЛИЕНТА

1.1. Классификация распределенных вычислений и систем

1.2. Выбор базовой концептуальной модели для организации функционирования сред, оперативно реализующих распределенные вычисления по требованию клиентов

1.3. Организация системной архитектуры вычислительных систем с переменной структурой, формируемой по запросу в виде облачного сервиса

1.4. Организация функциональной архитектуры вычислительных систем с переменной структурой, формируемой по запросу в виде облачного сервиса

1.5. Концептуальная модель распараллеливания и ветвления процессов

1.6. Базовая архитектура распределенной вычислительной среды для реализации глобальных вычислений по требованию пользователя

1.7. Модификация функциональной и системной архитектур облачных сервисов для организации работы динамических групп пользователей

1.8. Выводы по главе

ГЛАВА 2. ФОРМАЛИЗУЕМЫЕ ИСПОЛНИМЫЕ МОДЕЛИ ПЕРЕДАЧИ СООБЩЕНИЙ ДЛЯ ОПРЕДЕЛЕНИЯ АРХИТЕКТУРЫ РАСПРЕДЕЛЕННЫХ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ С ПЕРЕМЕННОЙ СТРУКТУРОЙ

2.1. Модификации и концептуальные представления сетей Петри для приложений в области функциональной архитектуры распределенных вычислительных систем с переменной структурой

2. 2. Концептуальные графы и семантические сети для

распределенных сетей Петри

2.3. Интерпретации сетей Петри для использования при разработке формализованных спецификаций функциональной архитектуры распределенных вычислительных систем с переменной структурой

2.4. Определение и варианты использования логических (бинарных) LogNet-сетей

2.5. Определение реконфигурируемых RecLogNet-сетей

2.6. Определение реконфигурируемых временных

CompLogNet-сетей

2.7. Концептуальная схема проектирования облачно-сетевых распределенных вычислительных систем типа NCaaSoD

2.8. Методика перехода от концептуальных графов распределенных алгоритмов к сетям Петри и логико-алгебраическим спецификациям для распределенных сетевых приложений

2.9 Пример перехода от логической функциональной архитектуры облачно-сетевой РВС к ее логической системной архитектуре на основе логического

вывода в логике предикатов

2.10. Выводы по главе

ГЛАВА 3. ПРОЕКТИРОВАНИЕ ФУНКЦИОНАЛЬНОЙ АРХИТЕКТУРЫ РАСПРЕДЕЛЕННЫХ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ НА ОСНОВЕ СТРУКТУРНО МОДИФИЦИРУЕМЫХ ФОРМАЛЬНЫХ

МОДЕЛЕЙ

3.1. Логико-алгебраическая операционная интерпретация реконфигурируе-мых информационно-ингибиторных сетей Петри

3.2. Примеры логико-алгебраической интерпретации бинарных сетей Петри, реконфигурируемых на основе структурного подхода

3.3. Методика построения реконфигурируемых сетевых моделей и формализованных спецификаций для сетевого программного обеспечения распределенных вычислительных систем

3.3.1. Пример построения реконфигурируемых сетевых моделей и формализованных спецификаций для изменения режима взаимодействия узлов в пиринговых сетях

3.3.2. Параметрическая настройка продукционных правил

3.3.3. Упрощение продукционных правил

3.3.4. Логико-алгебраические операционные выражения

для реконфигурируемых сетей Петри

3.3.5. Внешнее управление реконфигурируемой сетью Петри

3.4. Модели межпроцессных коммуникаций в распределенных вычислительных системах и логико-алгебраическая интерпретация сетей Петри для компьютерных сетей

3.5. Выводы по главе

ГЛАВА 4. ОРГАНИЗАЦИЯ СЛОЖНЫХ СЕТЕВЫХ ВЗАИМОДЕЙСТВИЙ В РАСПРЕДЕЛЕННЫХ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМАХ

4.1. Методика вложения сетей Петри в архитектуру вычислительных сетей для синтеза облачно-сетевой архитектуры типа NCaaSoD

4.2. Организация распределенных вычислительных систем с переменной структурой для сложной предметной области на основе беспроводной сети MANET

4.2.1. Описание предметной области и постановка задачи на содержательном уровне

4.2.2. Концептуальный граф для модели роботизированного производства и его контекстное представление

4.3. Организация распределенной вычислительной системы с переменной структурой для сложной предметной области на основе беспроводной сети MANET

4.3.1. Модифицированная концептуальная модель для участка гибкого автоматизированного производства с управлением от беспроводной

сети

4.3.2. Логико-алгебраическая операционная (исполнимая) модель для участка гибкого автоматизированного производства с управлением от беспроводной сети

4.3.3 Логико-алгебраические спецификации для программного обеспечения беспроводной сети MANET, управляющей работой участка роботизированного производства

4.4. Организация и исследование приоритетных режимов в распределенной вычислительной системе типа NCaaSoD с реплицированием баз данных

4.5. Выводы по главе

ЗАКЛЮЧЕНИЕ

СПИСОК ЛИТЕРАТУРЫ

ПРИЛОЖЕНИЕ А. Описание и результаты работы мультибазовой системы

DBaaSoD в облачной среде NCaaSoD

ПРИЛОЖЕНИЕ Б. Акты о внедрении результатов диссертационной

работы

ПРИЛОЖЕНИЕ В. Документы интеллектуальной собственности