Управление потоками сообщений в вычислительных сетях и системах с переменной структурой тема диссертации и автореферата по ВАК РФ 05.13.15, кандидат наук Джафар Мустафа Садек Джавар

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

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

ВВЕДЕНИЕ

ГЛАВА 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

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

работы

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

Введение диссертации (часть автореферата) на тему «Управление потоками сообщений в вычислительных сетях и системах с переменной структурой»

ВВЕДЕНИЕ

Актуальность исследования. Распространение высокоскоростной широкополосной связи между компьютерами в сетях, постоянное увеличение вычислительной мощности и рост Интернета привели к изменению способов получения вычислительных и информационных услуг. Географически распределенные ресурсы, такие как устройства хранения, источники данных и суперкомпьютеры, взаимосвязаны и могут быть использованы пользователями всего мира как единый ресурс.

Происхождение новых терминов и других понятий в области распределенной и параллельной обработки данных во многом берет свое начало от вида виртуализации ресурсов распределенных вычислительных систем (РВС) и сетей. Под виртуализацией обычно понимается абстрактное представление вычислительных ресурсов, не связанное напрямую с их аппаратной реализацией. В настоящее время объектами особого внимания являются процессы управления информационными потоками в облачных, кластерных, метакомпьютерных, глобальных и грид системах.

Облачные вычисления - это компьютерные технологии, предоставляющие гибкие и масштабируемые 1Т-функции как услуги для конечных пользователей через Интернет. Название происходит от изображения в форме облака, которое часто используется в блок-схемах для программного обеспечения как обозначение сложной структуры. Облачные вычисления реализуют современную вычислительную парадигму, обеспечивающую доступ к 1Т-инфраструктуре и к основным сервисам, например, к инфраструктуре как услуге, платформе как услуге, программному обеспечению как услуге и др. Облачные вычисления выделяют из обычных 1Т-технологий из-за того, что они основаны на распределении вычислительных ресурсов при низкой себестоимости. Поставщики облачных серверов могут предоставлять различные услуги пользователям, используя мощные дата-центры. В результате клиенты могут получать высококачественные услуги и сэкономить средства на создании местной системы для работы с данными. Одной из важных услуг, предоставляемых клиентам, является хранение данных. Основные термины и понятия по облачным 1Т-технологиям приведены, например, в работах [1, 2, 3, 4] и используются в настоящей работе.

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

ний, которая включает в себя координацию и совместное использование вычислений, данных, приложений, хранилищ и других сетевых ресурсов в динамической и территориально распределенной среде, построенной на базе компьютерной сети. Программное обеспечение позволяют отдельному пользователю получить доступ к объединенной мощности всех машин в вычислительной грид-си-стеме. Основные термины и понятия по грид-технологиям приведены, например, в работах [5, б, V, S, 9, 10, 11] и использованы в настоящей работе.

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

Кластерные вычисления поддерживают высокопроизводительную обработку информации. В кластеры обычно связываются недорогие компьютеры, которые выполняют параллельную обработку информации. Кластер образуется путем соединения двух или более компьютеров в локальную сеть при помощи высокоскоростного коммутатора. Нередко кластеры используются для предварительной отладки параллельных программ, которые затем выполняются на суперкомпьютерах. Основные термины и понятия по кластерным технологиям приведены, например, в работах [12, 13, 14] и использованы в настоящей работе.

Облачным, кластерным, метакомпьютерным и другим современным технологиям сетевого компьютинга посвящены работы В. В. Воеводина, Вл. В. Воеводина, В. Н. Коваленко, Д. А. Корягина, А. С. Антонова, В. П. Потапова, В. В. Губарева, А. Г. Финогеева, G. Andrews, C. Cattlet, L. Smarr, K. Hwang, G. C. Fox, J. J. Dongarra, K. C. Joshi, R. Costa, G. Mittal, I. Foster, C. Kesselman, B. Kahanwal, T. P. Singh.

Вопросам отображения параллельных и распределенных программ в вычислительные среды посвящены работы В. Г. Кербеля, В. В. Корнеева, М. Г. Кур-носова, Н. Н. Миренкова, О. Г. Монахова, М. С. Таркова, В. В. Топоркова, S. H. Bokhari, R. Rabenseifner, G. Hager, G. Jost.

Вопросам формализации распределенных параллельных вычислений уделено большое внимание в работах В. Е. Котова, С. П. Ковалёва, О. Л. Бандман, Н. П. Вашкевича, В. П. Кулагина, Д. В. Пащенко, В. Н. Дубинина, В. В. Топоркова, В. С. Князькова, Y. Gurevich, E. Boerger, M. V. Iordache, P. J. Antsaklis.

Работы ряда других ученых, выполняющих исследования в указанных выше направлениях, приведены в списке литературы.

Одним из примеров успешной реализации глобальных сетевых распределенных вычислительных систем является система BOINC (Berkeley Open

Infrastructure for Network Computing) - открытая инфраструктура для сетевых вычислений, разработанная в лаборатории Space Sciences Laboratory Калифорнийского университета в Беркли. В настоящее время среднесуточное количество компьютеров в системе BOINC превышает 800 тысяч, суммарная производительность превышает 20 петафлопс, а число участников при решении задач в рамках различных проектов достигает 150 тысяч (URL: https://boinc.berkeley.edu). Области приложений включают физику, математику, астрофизику, астрономию, химию, биохимию, молекулярную биологию, изучение климата, науку о Земле, медицинскую физиологию, криптографию, компьютерную инженерию, сейсмологию, исследование окружающей среды и др. В системе организуются волонтерские вычисления на добровольной основе, однако возможно также и построение корпоративных распределенных вычислительных систем на базе локальных сетей. Система имеет простую клиент-серверную архитектуру, реализованную в рамках кроссплатформенного сетевого приложения.

Проводятся интенсивные исследования в области построения и развития других грид-сетей, концептуально подобных BOINC. Например, широко известен проект LCG (LHC Computing Grid) - грид, спроектированный в CERN и предназначенный для обработки больших объёмов данных, содержащий 170 вычислительных центров из 36 стран (URL: https://home.cern/about/computing/ worldwide-lhc-computing-grid). Похожие проекты реализуются в университетах и других научных организациях России, Китая, Чехии, Великобритании, Испании, Нидерландов, США, Польши, Германии и других стран.

В числе наиболее известных - вычислительные проекты, использующие ресурсы обычных компьютеров: MD@home, MoneyBee, RSAttack 576, SETI@home, Seventeen Or Bust, Folding@home, GIMPS, grid.org, Lifemapper, climateprediction.net, distributed.net, Distributed Folding, ECC2-109, Fermat Search, Find-a-Drug. Они предназначены для решения разнообразных задач, таких как моделирование теплового движения молекул, анализ биржевых котировок при помощи технологий нейронных сетей, тестовый «взлом» многобитного ключа для алгоритма шифрования, обработки данных, полученных с радиотелескопа, решение задач в области теории чисел, поиск новых лекарственных соединений, составление электронного атласа живой природы Земли, анализ климатических моделей, моделирование и определение жизнеспособности белковых структур, поиск делителей для чисел Ферма, поиск лекарств от рака, СПИДа, атипичной пневмонии и других заболеваний (сведения с сайта: URL: https://parallel.ru/meta/internet.html). Сетевые приложения в подобных системах, как правило, построены на основе относительно простых архитектур типа «кли-

ент-сервер» или «мастер-слуга». В первом случае приложения-клиенты передают данные на сервер для обработки, а во втором - приложение-мастер передает данные для вычисления на множестве приложений-слуг. В рамках развития распределенных систем и вычислений актуально решение проблем, связанных с организацией взаимодействий с облачными системами, а также с внешним или внутренним аудитом. На одном из первых мест находится проблема обеспечения безопасности вычислений и хранения данных. Многим пользователям может потребоваться и организация виртуальных топологий для распределенных параллельных вычислений, а не только простой иерархической или клиент-серверной архитектуры. Актуально использование мобильных беспроводных сетей и сети Internet в качестве инфраструктуры для распределенных вычислений.

Компания Sun Microsystems, слившаяся со временем с корпорацией Oracle, провозгласила в свое время в качестве девиза концепцию «The Network is the Computer» («Сеть - это компьютер»). Получили широкую известность ее ранние технологии, в той или иной степени поддерживающие данную концепцию: Network File System, Java, OpenSolaris, а также основанные на Java технологии построения распределенных вычислительных систем Remote Method Invocation, Jini, JavaSpaces, Java Management Extensions, Jiro, JXTA (Juxtapose). В настоящее время слоган «The Network is the Computer» фактически заменен понятием «Network Computing».

Известны работы сибирских ученых России (г. Новосибирск, Академгородок) [141 - 147], предложивших концепцию программируемой архитектуры для параллельных однородных вычислительных систем (ОВС). Фактически, была реализована концепция «ОВС - это компьютер». В отличие от данной концепции, в настоящей работе за основу взята концепция, выдвинутая фирмой Sun Microsystems «Сеть - это компьютер», воплощенная при помощи языка JAVA и основанных на нем приложений. Однако язык JAVA не учитывает распределенную архитектуру сети в целом, что затрудняет реализацию сложных распределенных приложений.

Существует большое число фирм и организаций, занимающихся созданием распределенных сетевых приложений. Интенсивно развиваются современные технологии Cloud Computing, Grid Computing, Global Computing, Community Computing и другие технологии распределенных систем и вычислений, являющиеся, по существу, развитием концепции «The Network is the Computer», что свидетельствует об актуальности выбранного направления исследования в области проектирования РВС с облачной сетевой архитектурой, формируемой по требованию клиента, на основе парадигмы передачи сообщений.

Проблемная ситуация заключается в необходимости развитии методов управления потоками сообщений, реализующих межпроцессные связи по управлению и данным, а также обеспечивающих удаленный доступ к ресурсам сети при оперативной организации предопределенных и произвольных распределенных топологий РВС, реализуемых в облачно-сетевой инфраструктуре на основе естественных для компьютерных сетей механизмов передачи сообщений. Для исследования и разработки методов, моделей и алгоритмов управления информационными потоками в вычислительных системах, создаваемых на основе концепции «вычислительная сеть - это компьютер», необходимо провести анализ тенденций интеграции описанных выше технологий и выработать предложения по проектированию системной и функциональной архитектуры для облачно-сетевых распределенных вычислительных систем.

Целью исследования является совершенствование методов управления потоками сообщений при организации распределенных вычислений и обмене данными в облачно-сетевых и мобильных РВС с переменной структурой.

Для достижения цели научного исследования были поставлены следующие основные задачи:

- провести анализ современного состояния и развития предметной области с целью поиска новых методов проектирования системной и функциональной архитектуры РВС, которая может предоставляться пользователю в виде коммунальной облачно-сетевой (cloud-grid) услуги с требуемыми функциональными возможностями;

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

- разработать новую методику синтеза системной и функциональной архитектур РВС, развертываемых в облачно-сетевой инфраструктуре по запросу пользователя;

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

- исследовать приоритетные режимы обслуживания запросов пользователей и обосновать выбор той или иной дисциплины обслуживания при доступе к системе баз данных;

- обосновать новую организацию облачных сервисов для обслуживания динамических групп пользователей в среде компьютерной TCP/IP сети облачно-сетевой РВС;

- разработать алгоритмы и программы реализации эффективного вложения концептуальных графов системной архитектуры, распределенных алгоритмов и распределенных сетей Петри в физическую архитектуру TCP/IP и мобильных сетей.

Объектом исследования являются облачно-сетевые РВС, а также РВС, создаваемые на основе мобильных беспроводных сетей.

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

Методы исследования. Для решения поставленных задач используются концептуальные, поведенческие и гибридные (концептуально-поведенческие) модели, формализованные логико-алгебраические операционные модели, а также элементы алгебры алгоритмов, сетей абстрактных машин и сетей Петри.

Научная новизна исследования заключается в следующем:

1. На основе проведенного анализа современного состояния и развития архитектуры РВС, которая должна предоставляться пользователю в виде коммунальной услуги с требуемыми функциональными возможностями, предложена парадигма облачно-сетевой архитектуры NCaaSoD (Network Computing as a Service on Demand - сетевые вычисления как сервис по требованию пользователя), отличающаяся формируемой по запросу пользователя функциональной и системной архитектурой, и позволяющая ускорить оперативное создание виртуальной облачно-сетевой (cloud-grid) вычислительной среды.

2. Предложены концептуальные модели управления передачей сообщений при организации архитектуры, вычислительных процессов, управлении доступом к ресурсам и обмене данными в РВС типа NCaaSoD с переменной структурой, реализуемой в облачно-сетевой среде, отличающиеся поведенческим и исполнимым характером, и позволяющие при реализации ускорить подготовку запросов клиентов на задание виртуальных топологий и функциональных архитектур.

3. Предложена новая методика синтеза системной и функциональной архитектур РВС типа NCaaSoD, отличающаяся тем, что в ее основу положено использование концептуально-поведенческих, логико-алгебраических операционных моделей и механизмов логического вывода, и позволяющая осуществить корректный переход от функциональной архитектуры РВС к ее системной архитектуре, обладающей повышенной гибкостью в обеспечении требований клиента на основе виртуализации и консолидации ресурсов облачно-сетевой среды.

Применение методики позволяет в 2 - 5 раз сократить сроки проектирования сетевого программного обеспечения РВС.

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

5. Методом статистического имитационного моделирования исследованы отличающиеся от известных приоритетные режимы обслуживания запросов пользователей облачной подсистемы DBaaSoD (реплицированные базы данных как сервис), являющейся важной разновидностью архитектуры NCaaSoD и позволяющие в случае приоритетного обслуживания update-запросов на корректировку содержимого баз данных сократить время ожидания для них примерно в 2 - 4 раза по сравнению с query-запросами к единичным базам данных в зависимости от интенсивности поступления Xq query-запросов. При бесприоритетном режиме условия обслуживания update-запросов ухудшаются и время ожидания в очереди для них увеличивается примерно в 2 - 6 раз по сравнению с query-запросами в зависимости от интенсивности поступления Xq query-запросов.

6. Разработана архитектура реализованной в среде компьютерной TCP/IP сети облачно-сетевой РВС типа DBaaSoD для управления доступом к системе баз данных, отличающаяся новой организацией облачных сервисов для обслуживания динамических групп пользователей, что позволяет повысить надежность и масштабируемость облачной многопользовательской системы обмена данными (МСОД) за счет введения менеджеров групп пользователей (МГП) и установления связей между МГП и внешними независимыми аудиторами.

7. Разработаны алгоритмы, позволяющие, в отличие от известных, обеспечить при программной реализации эффективное вложение концептуальных графов системной архитектуры, распределенных алгоритмов и распределенных сетей Петри в физическую архитектуру TCP/IP и мобильных сетей.

Практическая значимость результатов исследования заключается в следующем:

1. Предложенная парадигма облачно-сетевой архитектуры NCaaSoD позволяет ускорить процесс оперативного проектирования функциональной и системной архитектуры РВС, соответствующей запросу пользователя, и сократить накладные расходы на оперативное создание виртуальной вычислительной среды за счет активного использования функциональных возможностей облачно-сетевых вычислений на основе передачи сообщений.

2. Предложенные концептуальные модели управления передачей сообщений при организации архитектуры, вычислительных процессов, управлении доступом к ресурсам и обмене данными в РВС типа NCaaSoD с переменной структурой, позволяют унифицировать реализацию виртуальных топологий и функциональных архитектур в облачно-сетевой среде.

3. Предложенная новая методика синтеза системной и функциональной архитектур РВС типа NCaaSoD позволяет, по экспертной оценке, (акт прилагается в диссертации) в 2 - 5 раз сократить сроки проектирования сетевого программного обеспечения РВС.

4. Предложенные формализованные спецификации для процессов управления потоками сообщений в мобильной беспроводной сети MANET, управляющей участком роботизированного гибкого автоматизированного производства, позволяют доказать практическую применимость методики синтеза системной и функциональной архитектур РВС на базе мобильных беспроводных сетей при создании сетевого приложения на уровне middleware.

5. Предложенные приоритетные режимы обслуживания запросов пользователей облачной подсистемы DBaaSoD, являющейся важной разновидностью архитектуры NCaaSoD, позволяют в случае приоритетного обслуживания up-date-запросов на обновление содержимого баз данных сократить время ожидания для них примерно в 2 - 4 раза по сравнению с query-запросами к единичным базам данных в зависимости от интенсивности поступления Xq query-запросов.

6. Предложенная реализация в среде компьютерной TCP/IP сети облачно-сетевой РВС типа DBaaSoD для управления доступом к системе баз данных позволяет использовать облачные сервисы для обслуживания динамических групп пользователей, повысить надежность и масштабируемость облачной многопользовательской системы обмена данными за счет введения менеджеров групп пользователей и установления связей между ними и внешними независимыми аудиторами.

7. Разработанные инструментальные программы, зарегистрированные Федеральной службой по интеллектуальной собственности Российской Федерации, позволяют реализовать эффективное вложение концептуальных графов системной архитектуры, распределенных алгоритмов и распределенных сетей Петри в физическую архитектуру TCP/IP и мобильных сетей путем выделения отношений между концептами из концептуальных графов для передачи полученной информации о системной и функциональной архитектуре облачно-сетевой РВС типа NCaaSoD провайдеру облачного сервиса.

Результаты исследования внедрены в учебном процессе и научно-исследовательской работе кафедры «Вычислительная техника» Пензенского государственного университета при проведении учебных занятий с магистрантами и бакалаврами по направлению «Информатика и вычислительная техника»; часть работы внедрена в рамках федеральной целевой программы «Исследования и разработки по приоритетным направлениям развития научно-технического комплекса России на 2014-2020 годы» (Соглашение № 14.574.21.0045 от 19.06.14, ЦГ№ КГ'МЕЕ157414Х0045). Результаты исследования внедрены также на кафедре «Вычислительные машины и системы» Пензенского государственного технологического университета при проведении учебных занятий с магистрантами и бакалаврами по направлению «Информатика и вычислительная техника». Акты о внедрении представлены в приложении Б.

Достоверность и обоснованность результатов работы определяются корректным использованием строгих и апробированных методов исследования: концептуальных, структурных и алгоритмических основ проектирования распределенных вычислительных систем; подтверждаются практическим применением полученных результатов при разработке функционально-структурной организации распределенных вычислительных систем с задаваемой пользователем архитектурой; воспроизводимостью, повторяемостью и непротиворечивостью данных, полученных в ходе экспериментальной проверки результатов исследований; актами о внедрении, апробацией на международных научно-технических конференциях, полученными свидетельствами о государственной регистрации программ для ЭВМ.

Соответствие паспорту специальности. Результаты исследований соответствуют пункту 1 «Разработка научных основ создания вычислительных машин, комплексов и компьютерных сетей, исследование общих свойств и принципов функционирования вычислительных машин, комплексов и компьютерных сетей»; пункту 4 «Разработка научных методов и алгоритмов организации параллельной и распределенной обработки информации, многопроцессорных, многомашинных и специальных вычислительных систем» и пункту 5 «Разработка научных методов и алгоритмов создания структур и топологий компьютерных сетей, сетевых протоколов и служб передачи данных в компьютерных сетях, взаимодействия компьютерных сетей, построенных с использованием различных телекоммуникационных технологий, мобильных и специальных компьютерных сетей, защиты компьютерных сетей и приложений» паспорта научной специальности 05.13.15 «Вычислительные машины, комплексы и компьютерные сети».

Основные результаты, выносимые на защиту:

1. Парадигма облачно-сетевой архитектуры NCaaSoD (Network Computing as a Service on Demand - сетевые вычисления как сервис по требованию пользователя), позволяющая организовать сетевые вычисления в РВС с архитектурой, формируемой по запросу пользователя, и ускорить оперативное создание виртуальной вычислительной среды.

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

3. Новая методика синтеза системной и функциональной архитектур РВС типа NCaaSoD, позволяющая осуществить корректный переход от функциональной архитектуры РВС к ее системной архитектуре, обладающей повышенной гибкостью в обеспечении требований клиента на основе виртуализации и консолидации ресурсов облачно-сетевой среды.

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

5. Приоритетные режимы обслуживания запросов пользователей облачной подсистемы DBaaSoD (реплицированные базы данных как сервис), являющейся важной разновидностью архитектуры NCaaSoD, позволяющие в случае приоритетного обслуживания update-запросов на корректировку содержимого баз данных сократить время ожидания для них по сравнению с query-запросами к единичным базам данных.

6. Архитектура реализованной в среде компьютерной TCP/IP сети облачно-сетевой РВС типа DBaaSoD для управления доступом к системе баз данных, позволяющая повысить надежность и масштабируемость облачной многопользовательской системы обмена данными за счет введения менеджеров групп пользователей и установления связей между менеджерами и внешними независимыми аудиторами.

7. Алгоритмы и программное обеспечение, позволяющие обеспечить при программной реализации вложение концептуальных графов системной архитектуры, распределенных алгоритмов и распределенных сетей Петри в физическую архитектуру TCP/IP и мобильных сетей.

Апробация результатов исследования. Результаты исследования регулярно докладывались автором на международных конференциях [15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 32]. На XIII Международной конференции «Новые информационные технологии и системы» НИТИС-2016 (23 - 25 ноября 2016 г., г. Пенза, ПГУ) доклад автора диссертации «New trends in cloud computing» отмечен в числе лучших.

Список литературы диссертационного исследования кандидат наук Джафар Мустафа Садек Джавар, 2019 год

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

1. Cloud Computing. Principles, Systems and Applications / Antonopoulos N., Gillam L. (Eds). Springer. London, Dordrecht, New York, Heidelberg, 2010. - 379 p.

2. Handbook of Cloud Computing / Furht B., Escalante A. (Eds). Springer. New York, Dordrecht, Heidelberg, London, 2010. - 634 p.

3. Foster I., Zhao Y., Raicu I, Lu S. Cloud computing and grid computing 360-degree compared // Grid Computing Environments Workshop (GCE'08), 2008, pp. 1-10.

4. Apache CloudStack: Open Source Infrastructure as a Service Cloud Computing Platform / Kumar R., Jain K., Maharwal H., Jain N., Dadhich A. // International Journal of advancement in Engineering technology, Management and Applied Science (IJAET-MAS). Vol. 1, Issue. 2, 2014, pp. 111-116.

5. Grid Networks. Enabling Grids with Advanced Communication Technology / Tra-vostino F., Mambretti J., Karmous-Edwards G. (Eds). John Wiley & Sons, 2006. - 340 p.

6. Foster I., Kesselman C., Tuecke S., The Anatomy of the Grid: Enabling Scalable Virtual Organizations // International J. Supercomputer Applications. Vol. 15, No. 3, 2001, pp. 200-222.

7. Foster I., Kesselman C., Nick J., Tuecke S. The Physiology of the Grid: An Open Grid Service Architecture for Distributed Systems Integration. - 30 p. [Электронный ресурс]. Режим доступа свободный. URL: https://www.dcc.fc.up.pt/~ines/au-las/1314/CG/papers/physiology.pdf. Дата доступа: 10.05.2018.

8. Advances in Grid Computing / Edited by Zoran Constantinescu. Published by InTech, Janeza Trdine 9, 51000 Rijeka, Croatia, 2011. - 272 p.

9. Демичев А. П., Ильин В. А., Крюков А. П. Введение в грид-технологии / Препринт НИИЯФ МГУ 11/832. - 2007. - 87 с.

10. A Review and Classification of Grid Computing Systems / Manoj Kumar Mishra, Yashwant Singh Patel, Moumita Ghosh, G. B. Mund // International Journal of Computational Intelligence Research, ISSN 0973-1873, Vol. 13, Number 3, 2017, pp. 369-402.

11. The Grid. Blueprint for a new computing infrastructure / Foster I., Kesselman C. (Eds). San Francisco: Morgan Kaufman, 1999. - 677 p.

12. Exploring weak scalability for FEM calculations on a GPU-enhanced Cluster // Goddeke D., Strzodka R., Mohd-Yusof J., McCormick P., Buijssen S., Grajewski M., Tureka S. / Parallel Comput. 33, 2007, pp. 685-699.

13. Chao-Tung Yang, Chih-Lin Huang, Cheng-Fang Lin. Hybrid CUDA, OpenMP, and MPI parallel programming on multicore GPU clusters // Computer Physics Communications, 1(182), 2011, - pp. 266-269.

14. Rabenseifner R., Hager G., Jost G. Hybrid MPI/OpenMP parallel programming on clusters of multi-core SMP nodes // Proceedings of the 17th Euromicro International

Conference on Parallel, Distributed and Network-Based Processing, PDP 2009, Weimar, Germany, 18-20 Febuary 2009, pp. 1-10.

15. Mustafa Sadeq Jaafar. Design and Implementation of Special Protocols for Mobile Ad-Hoc Networks // Articles Collection of the 25-th Scientific and Practical Conference "Actual Problems of Science and Education". Publishing House of PSU, 2014, pp. 3-9. (Сборник статей «Актуальные вопросы науки и образования», изд-во Пенз. гос. ун-та, 2014, с. 3-9).

16. Mustafa Sadeq Jaafar. On Modification ACK-Based Scheme using FSA for Ad-Hoc Networks // Proceedings of the Eleventh International Conference of Science and Technology "New Information Technologies and Systems", Penza, Penza State University, Russia, November 25-27, 2014, pp. 334-340. (Труды IX Международной конференции «Новые информационные технологии и системы», Россия, Пенз. гос. ун-т, 25-27 ноября, 2014, с. 334-340).

17. Mustafa Sadeq Jaafar. IT Auditing Based on Public Verifiability and the Cloud's Dynamics and Data Storage Security using Multiple TPA's // Proceedings of the XIX-th International Conference "University Education", Penza, Penza State University, Russia, April 9-10, 2015, pp. 198-202. (Труды XIX Международной конференции «Университетское образование», Россия, Пенз. гос. ун-т, 9-10 апреля, 2015, с. 198202).

18. Mustafa Sadeq Jaafar. Reconfigurable formal models for MANET and cloud computing / Mustafa Sadeq Jaafar, S. A. Zinkin // Proceedings of the XII-th International Conference of Science and Technology "New Information Technologies and Systems", Penza, Penza State University, Russia, 2015, pp. 141-149. (Сборник научных статей XII Международной научно-технической конференции «Новые информационные технологии и системы». - Пенза, 2015. - С. 141-149).

19. Mustafa Sadeq Jaafar. The auditing based on the public verifiability and the cloud's data dynamics and storage security using multiple third party auditors / Mustafa Sadeq Jaafar, S. A. Zinkin // Proceedings of the XX-th International Conference "University Education", Penza, Penza State University, Russia, 2016, pp. 108-111. (Университетское образование (МКУ0-2016): сб. ст. XX Междунар. науч.-метод. конф. - Пенза: Изд-во ПГУ, 2016. - С. 108-111).

20. Mustafa Sadeq Jaafar. The auditing based on the cloud's data dynamics and storage security using multiple third party auditors / Mustafa Sadeq Jaafar, S. A. Zinkin // Современные технологии в науке и образовании (СТН0-2016): сб. тр. Междунар. науч.-техн. и науч.-метод. конф. Т2. - Рязань: Рязан. гос. радиотехн. ун-т, 2016. -С. 158-161.

21. Mustafa Sadeq Jaafar. New trends in cloud computing / Mustafa Sadeq Jaafar, S. A. Zinkin // Proceedings of the XIII-th International Conference of Science and Technology "New Information Technologies and Systems", Penza, Penza State University, Russia, 2016, pp. 96-103. (Сборник научных статей XIII Международной научно-

технической конференции «Новые информационные технологии и системы». -Пенза, 2016. - С. 96-103).

22. Mustafa Sadeq Jaafar. Dynamically changeable formal models for networking and computing / Mustafa Sadeq Jaafar, S. A. Zinkin // Proceedings of the XIII-th International Conference of Science and Technology "New Information Technologies and Systems", Penza, Penza State University, Russia, 2016, pp. 87-94. (Сборник научных статей XIII Международной научно-технической конференции «Новые информационные технологии и системы». - Пенза, 2016. - С. 87-94).

23. Mustafa Sadeq Jaafar. Reconfigurable network models for distributed computing systems / Mustafa Sadeq Jaafar, S. A. Zinkin, D. V. Pashchenko // Proceedings of the Fourteenth International Conference of Science and Technology "New Information Technologies and Systems" (NITIS-2017). Penza, Russsia, November 22-24, 2017. - P. 92-104. (Новые информационные технологии и системы: сб. науч. статей XIV Междунар. науч.-техн. конф., г. Пенза, 22-24 ноября 2017 г. - Пенза: Изд-во ПГУ, 2017, с. 92-104).

24. Mustafa Sadeq Jaafar. The Implementation of Global Computing Through the Mapping of Object-Oriented Petri Nets into the Architecture of Distributed Computing Systems / Mustafa Sadeq Jaafar, S. A. Zinkin // Proceedings of the Fourteenth International Conference of Science and Technology "New Information Technologies and Systems" (NITIS-2017). Penza, Russsia, November 22-24, 2017. - P. 105-116. (Новые информационные технологии и системы: сб. науч. статей XIV Междунар. науч.-техн. конф., г. Пенза, 22-24 ноября 2017 г. - Пенза: Изд-во ПГУ, 2017, с. 105-116.)

25. Mustafa Sadeq Jaafar. Directly executable formal models of middleware for MANET and Cloud Networking and Computing. D. V. Pashchenko, Mustafa Sadeq Jaafar, S. A. Zinkin, D. A. Trokoz, T. U. Pashchenko and M. P. Sinev // Proceedings of the 4th International Conference on Science & Engineering in Mathematics, Chemistry and Physics (SciTech 2016) Bandung, Indonesia, April 23-24, 2016. / In Journal of Physics: Conference Series 710 (2016) 012024 doi:10.1088/1742-6596/710/1/012024, ScieTech 2016, IOP Publishing, pp. 1-12.

26. Мустафа Садек Джафар. Интеграция методов концептуального и поведенческого моделирования дискретно-событийных систем: I. Синтез и анализ концептуальной модели / Мустафа Садек Джафар, С. А. Зинкин, Д. В. Пащенко, У. Н. Пучкова // Кибернетика и программирование, 2016, № 6. - С. 83-95.

27. Мустафа Садек Джафар. Интеграция методов концептуального и поведенческого моделирования дискретно-событийных систем: II. Логико-алгебраические операционные модели и инфокоммуникационные технологии / Мустафа Садек Джафар, С. А. Зинкин, Д. В. Пащенко, У. Н. Пучкова // Кибернетика и программирование, 2017, № 1. - С. 75-93.

28. Mustafa Sadeq Jaafar. The Auditing Based on the Public Variability, the Cloud's Data Dynamics and Discrete-Event Simulation of a Distributed Resource in Computer Network / Mustafa Sadeq Jaafar, S. A. Zinkin, D. V. Pashchenko // Academic Forum

EMC-2015. Scientific Publication. - Taganrog: Publishing House of SFU, 2015. - 116 p, ISBN 978-5-9275-1581-3, pp. 49-60.

29. Мустафа Садек Джафар. Программа экспертного моделирования на основе концептуальных графов / С. А. Зинкин, П. К. Чечель, У. К. Аюпов, Мустафа Садек Джафар, Д. В. Пащенко, Д. А. Трокоз, А. В. Дубравин. - Свидетельство о государственной регистрации программы для ЭВМ. Номер и дата поступления заявки: № 2017610279, 09.01.2017. Номер регистрации (свидетельства): RU 2017612771. Дата регистрации: 02.03.2017. Дата публикации: 02.03.2017. Правообладатель: ФГБОУ ВО «Пензенский государственный университет».

30. Mustafa Sadeq Jaafar, Sawant H. K. ACK Based Scheme for Performance Improvement of Adhoc Network // International Journal of Advances in Engineering & Technology, (IJAET). Vol. 3, Issue 2, May 2012, pp. 280-286.

31. Mustafa Sadeq Jaafar, Sawant H. K. Design and Development of ACK-Based Scheme Using FSA for Ad-hoc Networks // International Journal of Modern Engineering Research, (IJMER). Vol. 2, Issue 2, Mar-Apr 2012, pp. 102-106.

32. Мустафа Садек Джафар, Зинкин С. А. О развитии концепции «Сеть - это компьютер» // Новые информационные технологии и системы: сб. науч. статей XV Междунар. науч.-техн. конф., г. Пенза, 20-21 ноября 2018 г. - Пенза: Изд-во ПГУ,

2018. - С. 183-190.

33. Мустафа Садек Джафар, Зинкин С. А. Развитие информационно-коммуникационных инфраструктур распределенных вычислительных систем на основе концепции «Сеть - это компьютер» // Известия Юго-Западного государственного университета. - 2018. - Т. 22. - №4 (79). - С. 75-93.

34. Мустафа Садек Джафар. Исследование и организация приоритетных режимов в сетевой распределенной вычислительной системе с архитектурой в виде облачного сервиса // Известия Юго-Западного государственного университета. -

2019. - Т. 23. - №2 (83). - С. 143-167.

35. Мустафа Садек Джафар. Организация функционирования распределенных вычислительных систем с переменной архитектурой в виде облачного сервиса, формируемого по запросу клиента (реализация изменяемой системной архитектуры) / Мустафа Садек Джафар, С. А. Зинкин, Н. С. Карамышева // В журнале: «XXI век: итоги прошлого и проблемы настоящего плюс». - 2018. - Т. 7. - № 4 (44). - С. 54-60.

36. Мустафа Садек Джафар Н. С. Организация функционирования распределенных вычислительных систем с переменной архитектурой в виде облачного сервиса, формируемого по запросу клиента (концептуальные графы распределенных алгоритмов) / Мустафа Садек Джафар, С. А. Зинкин, Н. С. Карамышева // В журнале: «XXI век: итоги прошлого и проблемы настоящего плюс». - 2018. - Т. 7. -№ 4 (44). - С. 136-146.

37. Mustafa Sadeq Jaafar. Efficient Solving of Boundary Value Problems Using Radial Basis Function Networks Learned by Trust Region Method / M. M. Alqezweeni, V. I.

Gorbachenko, M. Zhukov, Mustafa Sadeq Jaafar // International Journal of Mathematics and Mathematical Sciences. Vol. 2018, Research Article ID 9457578, 2018, pp. 1-4.

38. Mustafa Sadeq Jaafar. Application of parametric identification method and radial basis function networks for solution of inverse boundary value problems / V. I. Gor-bachenko, M. M. Alqezweeni ; Mustafa Sadeq Jaafar, et al // Published in: 2017 Annual Conference on New Trends in Information & Communications Technology Applications (NTICT). INSPEC Accession Number: 17027835, DOI: 10.1109/NTICT.2017.7976151. Publisher: IEEE, 2017, pp. 18-21.

39. Mustafa Sadeq Jaafar. Cloud Data Security and Secure Data Sharing Methods// International Journal of Computer Science and Information Security. Vol. 15. No. 9. Paper ID 31081760, 2017, pp. 263-271.

40. Мустафа Садек Джафар. Реализация сетей Петри в сетях TCP/IP / Д. В. Пату-нин, С. А. Зинкин, Н. Н. Коннов, Мустафа Садек Джафар, Д. В. Пащенко. - Свидетельство о государственной регистрации программы для ЭВМ. Номер и дата поступления заявки: № 2018664008, 05.12.2018. Номер регистрации (свидетельства): RU 2018666655. Дата регистрации: 19.12.2018. Дата публикации: 19.12.2018. Правообладатель: ФГБОУ ВО «Пензенский государственный университет».

41. Мустафа Садек Джафар. Концептуальные представления и модификации сетей Петри для приложений в области синтеза функциональной архитектуры распределенных вычислительных систем с переменной структурой / С. А. Зинкин, Мустафа Садек Джафар, Н. С. Карамышева // В журнале: «Известия Юго-Западного государственного университета». - 2018. - Т. 22. - № 6(81). - С. 143-167.

42. Kahanwal B., Singh T. P. The Distributed Computing Paradigms: P2P, Grid, Cluster, Cloud, and Jungle // International Journal of Latest Research in Science and Technology. ISSN (Online): 2278-5299. Vol. 1, Issue 2, 2012, pp. 183-187.

43. Jungle Computing: Distributed Supercomputing beyond Clusters, Grids, and Clouds / Frank J. Seinstra, Jason Maassen, Rob V. van Nieuwpoort, Niels Drost, Timo van Kessel, Ben van Werkhoven, Jacopo Urbani, Ceriel Jacobs, Thilo Kielmann, Henri E. Bal. Department of Computer Science, Vrije Universiteit, De Boelelaan 1081A, 1081 HV Amsterdam, The Netherlands, 2010, pp. 1-31.

44. Kumar R. Comparison between Cloud Computing, Grid Computing, Cluster Computing and Virtualization // International Journal of Modern Computer Science and Applications (IJMCSA). Vol. 3, Issue No.1, January, 2015, pp. 42-47.

45. Cluster computing and applications / M. Baker, A. Apon, R. Buyya, H. Jin. In A. Kent & J. Williams (Eds). Encyclopedia of Computer Science and Technology, 2002, pp. 87-125.

46. Ibis: Computing in the Jungle. [Электронный ресурс]. Режим доступа свободный. URL: https://www.cs.vu.nl/ibis/. Дата доступа: 31.01.2019.

47. Mittal G., Kesswani N., Goswami K. A Survey of Current Trends in Distributed, Grid and Cloud Computing // International Journal of Advanced Studies in Computer Science and Engineering (IJASCSE). Vol. 2, No. 3, 2013, pp. 1-6.

48. Sadashiv N., Kumar S. M. D. Cluster, Grid and Cloud Computing: A Detailed Comparison // The 6th International Conference on Computer Science & Education (IC-CSE 2011), August 3-5, 2011. SuperStar Virgo, Singapore. 2011, pp. 477-482.

49. Jaiswal U. C. Study and Applications of Cluster Grid and Cloud Computing // International Journal of Engineering Research and Development. e-ISSN: 2278-067X, p-ISSN: 2278-800X. Vol. 3, No. 1, 2012, pp. 45-50.

50. Kaur K., Rai A. K. A Comparative Analysis: Grid, Cluster and Cloud Computing // International Journal of Advanced Research in Computer and Communication Engineering. Vol. 3, No. 3, 2014, pp. 5730-5734.

51. Samah Mawia Ibrahim Omer, Amin Babiker A. Mustafa, Fatema Abdallah Elmahdi Alghali. Comparative study between Cluster, Grid, Utility, Cloud and Autonomic computing // IOSR Journal of Electrical and Electronics Engineering (IOSR-JEEE). e-ISSN: 2278-1676, p-ISSN: 2320-3331. Vol. 9, Issue 6, Ver. III, 2014, pp. 6167.

52. Prathibha D. A., Latha B., Sumathi G. Issues in adapting cluster, grid and cloud computing for HPC applications // International Journal of Conceptions on Computing and Information Technology. Vol. 2, No. 1, 2014, pp. 12-16.

53. Cloud Computing: Principles, Systems and Applications, series Computer Communications and Networks / B. Amedro, F. Baude, D. Caromel, C. Delbe, I. Filali, F. Huet, E. Mathias, O. Smirnov. Springer, 2010, pp. 163-178.

54. Chourasiya N. L., Lature D., Kumavat A., Kalaskar V., Thaware S. Privacy-Preserving Public Auditing for Secure Cloud Storage // International Journal of Engineering Research and General Science (IJERGS). Vol. 3, No. 2, 2015, pp. 744-748.

55. Kumarga N. P., Sireesha D. Ensuring Data Integrity in Cloud Computing // International Journal of Computer Science and Network Security (IJCSNS). Vol. 14, No. 9, 2014, pp. 34-38.

56. Wasnik N. P., Bartere M. M. Privacy Preserving Auditing For Cloud Storage // International Journal of Science and Research (IJSR). Vol. 4, No. 5, 2015, pp. 25572560.

57. Bhagyashri1 S., Gurav Y. B. Privacy-Preserving Public Auditing For Secure Cloud Storage // IOSR Journal of Computer Engineering (IOSR-JCE). e-ISSN: 2278-0661, p-ISSN: 2278-8727, Volume 16, No. 4, Ver. III (Jul - Aug. 2014), pp. 33-38.

58. Sowparnika M., Dheenadayalu R. Improving data integrity on cloud storage services // International Journal of Engineering Science Invention ISSN (Online): 2319 -6734, ISSN (Print): 2319 - 6726. Vol. 2, No.2, 2013, pp. 49-55.

59. Kshirsagar1 V. M., Gulhane V. S. A Review on Third Party Auditing by using KERBEROS System for Secure Cloud Storage // International Journal of Application or Innovation in Engineering & Management (IJAIEM) Vol. 3, No. 3, 2014, pp. 426-432.

60. Maher Alharby. Third-Party based Data Auditing Service (TP-DAS). University of Manchester. School of Computer Science, 2015, pp. 1-88.

61. Wagh R. J., Dharmik R. C. Enhancing the Data Security and Integrity on Cloud Using Multiple TPA Architecture // Proceedings of 22nd IRF International Conference, 22nd March 2015, pp. 21-23.

62. Inbarani W. S., Moorthy G. S., C. Kumar Charlie Paul. An Approach for Storage Security in Cloud Computing - A Survey // International Journal of Advanced Research in Computer Engineering & Technology (IJARCET). Vol. 2, No. 1, January 2013, pp. 174-179.

63. Public Data Auditing with Constrained Auditing Number for Cloud Storage / Yang G., Xia H., Shen W., Jiang X., Yu J. // International Journal of Security and Its Applications (IJSIA).Vol. 9, No. 9, 2015, pp. 21-32.

64. Kumar S., Vijaykumar L. Empowering Auditability of Public and Data Dynamics for Depot Protection in Cloud // International Journal of Engineering and Computer Science. Vol. 2, No. 10, 2013, pp. 2936-2943.

65. Vanitha M., Sivakumaran Ar., Priyadharshini L. A Study on Secure Storage of Dynamic Audit Services in Cloud // International Journal of Advanced Research in Electrical, Electronics and Instrumentation Engineering (IJAREEIE). Vol. 1, No.1, 2012, pp. 58-62.

66. gLite - Lightweight Middleware for Grid Computing. [Электронный ресурс]. Режим доступа свободный. URL: http://glite.web.cern.ch/glite. Дата доступа 10.05.2018.

67. Nithya Rekha S., Chandrasekar C. Performance Analysis of Probabilistic Rebroad-casting in Grid FSR for MANET // International Journal of Computer Science Issues (IJCSI). Vol. 9, Issue 2, March 2012, pp. 293-300.

68. Enabling Public Verifiability and Data Dynamics for Storage Security in Cloud Computing / Q. Wang, C. Wang, J. Li, K. Ren, and W. Lou // Proc. 14th European Symp. Research in Computer Security (ESORICS '09), 2009, pp. 355-370.

69. Wang C., Wang Q., Ren K., Lou W. Ensuring Data Storage Security in Cloud Computing // 17th International Workshop on Quality of Service, 2009, pp. 1-9.

70. Rao P. S., Rao K. P. Implement Public Audit ability and Data Dynamics with Security in Cloud Computing // International Journal of Modern Engineering Research (IJMER). Vol. 3, No. 6, 2013, pp. 3786-3791.

71. Bardiya P. D., Ramteke P. L. Research Study of Techniques for Securing Cloud // International Journal of Advanced Research in Computer Engineering & Technology (IJARCET). Vol. 4, No. 10, 2015, pp. 3744-3750.

72. Suri P. K., Mittal S. A Comparative Study of various Computing Processing Environments: A Review // International Journal of Computer Science and Information Technologies (IJCSIT). Vol. 3 (5), 2012, pp. 5215-5218.

73. Mittal G., Kesswani N, Goswami K. A Survey of Current Trends in Distributed, Grid and Cloud Computing // International Journal of Advanced Studies in Computer Science and Engineering (IJASCSE). Vol. 2, Issue 3, 2013, pp. 1-6.

74. Kumar B. S., Rani V. U., Mustafa Saad. Public Integrity Auditing for Dynamic Data Sharing With Multiuser Modification // International Journal on Recent and Innovation Trends in Computing and Communication. Vol. 5. No. 6, 2017, pp. 856-859.

75. Provable data possession at untrusted stores / Ateniese G., Burns R., Curtmola R., Herring J., Kissner L., Peterson Z., Song D. // Proc. of CCS'07. New York, NY, USA: ACM, 2007, pp. 598-609.

76. Juels A., Kaliski D. S. Pors: proofs of retrievability for large files // Proc. of CCS'07. New York, NY, USA: ACM, 2007, pp. 584-597.

77. Mona: Secure Multi-Owner Data Sharing for Dynamic Groups in the Cloud / Xuefeng Liu, Yuqing Zhang, Boyang Wang, Jingbo Yan // IEEE Transactions on Parallel and Distributed Systems. Vol. 24, no. 6, june 2013, pp. 1181-1191.

78. OddCI: On-Demand Distributed Computing Infrastructure / Costa R., Brasileiro F., Filho G. L., Sousa D. M. // Proceedings of the 2nd Workshop on Many-Task Computing on Grids and Supercomputers (MTAGS'09), November 16th, 2009, Portland, Oregon, USA, Association for Computing Machinery, 2009, pp. 1-10.

79. Distributed Virtual Machines: A System Architecture for Network Computing // Sirer E. G., Grimm R, GregoryA. J., Anderson N., Bershad B. N. [Электронный ресурс]. Режим доступа свободный. URL: http : //www.cs.cornell .edu/peopl e/egs/pa-pers/kimera-tr98-09-01 .pdf. Дата доступа 31.01.2019.

80. Kaur P., Rani R. Distributed and Cloud Computing Architecture // Imperial Journal of Interdisciplinary Research (IJIR). Vol. 3, Issue 2, 2017, pp. 1119-1123.

81. Chen Rui, Meng Xiao-jing. Modeling of UDP Hole Punching in P2P Network Using Petri Net // International Proceedings of Economics Development and Research. Vol. 49, 2012, pp. 150-154.

82. Park H., Ratzin R. I., Schaar M. Peer-to-Peer Networks: Protocols, Cooperation and Competition // Source Title: Streaming Media Architectures, Techniques, and Applications: Recent Advances, 2011. - 33 p.

83. MPI: A Message-Passing Interface Standard. Version 3.1. Message Passing Interface Forum, June 4, 2015. - 836 p. [Электронный ресурс]. Режим доступа свободный. URL: https://www.mpi-forum.org/docs/mpi-3.1/mpi31-report.pdf. Дата доступа 31.01.2019.

84. Hybrid MPI and OpenMP Parallel Programming / Rabenseifner R., Hager G., Jost G., Keller R. // In: Mohr B., Träff J. L., Worringen J., Dongarra J. (Eds). Recent Advances in Parallel Virtual Machine and Message Passing Interface. EuroPVM/MPI 2006. Lecture Notes in Computer Science, vol. 4192. Springer, Berlin, Heidelberg, 2006, pp. 11-11.

85. Venkata M. G., Bridges P. G. MPI/CTP: A Reconfigurable MPI for HPC Applications // In: Mohr B., Träff J. L., Worringen J., Dongarra J. (Eds). Recent Advances in Parallel Virtual Machine and Message Passing Interface. EuroPVM/MPI 2006. Lecture Notes in Computer Science, vol. 4192. Springer, Berlin, Heidelberg, 2006, pp. 96-104.

86. Grudenic I., Bogunovic N. Modeling and Verification of MPI Based Distributed Software // In: Mohr B., Träff J. L., Worringen J., Dongarra J. (Eds). Recent Advances in Parallel Virtual Machine and Message Passing Interface. EuroPVM/MPI 2006. Lecture Notes in Computer Science, vol. 4192. Springer, Berlin, Heidelberg, 2006, pp. 123132.

87. Frattolillo F. Running PVM Applications on Multidomain Clusters // In: Mohr B., Träff J. L., Worringen J., Dongarra J. (Eds). Recent Advances in Parallel Virtual Machine and Message Passing Interface. EuroPVM/MPI 2006. Lecture Notes in Computer Science, vol. 4192. Springer, Berlin, Heidelberg, 2006, - pp. 166-173.

88. Reliable Orchestration of Distributed MPI-Applications in a UNICORE-Based Grid with MetaMPICH and MetaScheduling / Bierbaum B., Clauss C., Eickermann T., Kirtchakova L., Krechel A., Springstubbe S. et al. // In: Mohr B., Träff J. L., Worringen J., Dongarra J. (Eds). Recent Advances in Parallel Virtual Machine and Message Passing Interface. EuroPVM/MPI 2006. Lecture Notes in Computer Science, vol. 4192. Springer, Berlin, Heidelberg, 2006, - pp. 174-183.

89. The New Multidevice Architecture of MetaMPICH in the Context of Other Approaches to Grid-Enabled MPI / Bierbaum B., Clauss C., Poppe M., Lankes S., Bemmerl T. // In: Mohr B., Träff J. L., Worringen J., Dongarra J. (Eds). Recent Advances in Parallel Virtual Machine and Message Passing Interface. EuroPVM/MPI 2006. Lecture Notes in Computer Science, vol. 4192. Springer, Berlin, Heidelberg, 2006, pp. 184-193.

90. Wong A. K. L., Goscinski A. M. Using an Enterprise Grid for Execution of MPI Parallel Applications - A Case Study // In: Mohr B., Träff J. L., Worringen J., Dongarra J. (Eds). Recent Advances in Parallel Virtual Machine and Message Passing Interface. EuroPVM/MPI 2006. Lecture Notes in Computer Science, vol. 4192. Springer, Berlin, Heidelberg, 2006, pp. 194-201.

91. Feng Liu, Haitao Wu, Xiaochun Lu, Xiyang Liu. Parallel Distributed Acceleration Based on MPI and OpenMP Technology // International Journal of Grid Distribution Computing. Vol. 8, No.6, 2015, pp.171-184.

92. CharGer Manual v3.5b1 2005-11-30, pp. 1-58. [Электронный ресурс]. Режим доступа свободный. URL: http : //charger. sourceforge. net/. Дата доступа 31.01.2019.

93. Delugah H. CharGer - A Conceptual Graph Editor written by Harry Delugah [Электронный ресурс]. Режим доступа свободный. URL: http : //www. cs. uah. edu/~del ugach/CharGer/ Дата доступа 31.01.2019.

94. Forouzan B. A. TCP/IP Protocol Suite. McGraw-Hill, 2009. - 1024 p.

95. Misra S., Goswami S. Network Routing: Fundamentals, Applications, and Emerging Technologies. Wiley, 2017. - 536 p.

96. Poulton N. Data Storage Networking. Publisher: Sybex, 2014. - 573 p.

97. Behrooz Parhami. Introduction to Parallel Processing. Algorithms and Architectures. New York, Boston, Dordrecht, London, Moscow. Kluwer Academic Publishers, 2002. - 532 p.

98. Handbook of Wireless Networks and Mobile Computing / Edited by Ivan Stoj-menovic. John Wiley & Sons, Inc., 2002. - 630 p.

99. An Efficient Algorithm for Resource Allocation in Parallel and Distributed Computing Systems / S. F. El-Zoghdy, M. Nofal, M. A. Shohla, A. El-sawy // International Journal of Advanced Computer Science and Applications (IJACSA). Vol. 4, No. 2, 2013, pp. 251-259.

100. Kshemkalyani A. D., Singhal M. Distributed Computing: Principles, Algorithms, and Systems. Cambridge University Press, March 2011. - 756 p.

101. Md. Firoj Ali, Rafiqul Zaman Khan. Distributed Computing: An Overview // Int. 11Journ. Advanced Networking and Applications. Vol. 07, Issue 01, 2015, pp. 26302635.

102. Fokkink Wan. Distributed Algorithms. An Intuitive Approach. The MIT Press Cambridge, Massachusetts; London, England, 2013. - 231 p.

103. Suomela J. Distributed Algorithms. Aalto University, Finland, 23 September 2016. - 181 p.

104. Rashid Bin Muhammad. Lecture Notes: Distributed Algorithms. Kent State University, USA, 2009. - 37 p. URL: http: //www.personal. kent.edu/~rmuhamma/

105. Aspnes J. Notes on Theory of Distributed Systems. CPSC 465/565: Fall 2017. 2018-02-16. - 434 p. URL: http://www.cs.yale.edu/homes/aspnes/clas-ses/465/notes.pdf.

106. Tanenbaum A. S., Maarten Van Steen. Distributed Systems: principles and paradigms. 2nd Edition. - Pearson Education, Inc., 2007. - 669 p.

107. Information Storage and Management. 2nd Edition. John Wiley & Son, 2012. -528 p.

108. Distributed and Cloud Computing From Parallel Processing to the Internet of Things / Kai Hwang, Geoffrey C. Fox, Jack J. Dongarra. Elsevier, 2012. - 648 p.

109. Nicola R., Gorla D., Pugliese R. Global computing in a dynamic network of tuple spaces // Science of Computer Programming 64, 2007, pp. 187-204.

110. Nicola R., Loreti M. Modelling global computations with KLAIM // Phil. Trans. R. Soc. A 366, 2008, pp. 3737-3745.

111. Schelfthout K., Holvoet T. Coordination Middleware for Decentralized Applications in Dynamic Networks // 2nd International Doctoral Symposium on Middle-ware'05, November 28 - December 2, 2005, Grenoble, France, Article 8.

112. Chiu-Ching Tuan, Yi-Chao Wu. Grid Header Election by Predetermining in Mobile Ad-Hoc Networks // Journal of Applied Science and Engineering. Vol. 15, No. 1, 2012, pp. 69-78.

113. Imran Ihsan, Muhammad Abdul Qadir, Nadeem Iftikhar. Mobile Ad-Hoc Service Grid - MASGRID // International Journal of Electrical, Robotics, Electronics and Communications Engineering. Vol. 1, No. 5, 2007, pp. 778-781.

114. Bhaskaran R., Madheswaran M. Performance Analysis of Congestion Control in Mobile Ad-hoc Grid Layer // International Journal of Computer Applications. Vol. 1, No. 20, February, 2010, pp. 102-110.

115. Li J., Khan S., Li Q. An efficient event delivery scheme in mobile ad hoc communities // Int. J. Communication Networks and Distributed Systems. Vol. 10, No. 1, 2013, pp.25-39.

116. Joshi K. C. Cloud Computing: In Respect to Grid and Cloud Approaches // International Journal of Modern Engineering Research (IJMER). Vol. 2, Issue. 3, May-June 2012, pp. 902-905.

117. An Approach to Ad hoc Cloud Computing / Kirby G., Dearle A., Macdonald A., Fernandes A. // Distributed, Parallel, and Cluster Computing, 2010, pp. 1-6.

118. Dataflow Processing and Optimization on Grid and Cloud Infrastructures /M. Tsan-garis, G. Kakaletris, H. Kllapi, G. Papanikos, F. Pentaris, P. Polydoras, E. Sitaridi, V. Stoumpos, Y. Ioannidis // Bulletin of the IEEE Computer Society Technical Committee on Data Engineering, 2009, pp. 1-8.

119. Алгеброалгоритмические модели и методы параллельного программирования / Андон Ф. И., Дорошенко А. Е., Цейтлин Г. Е., Яценко Е. А. Академперио-дика, 2007. - 634 c.

120. Глушков В. М., Цейтлин Г. Е., Ющенко Е. Л. Алгебра. Языки. Программирование. Изд. 3, перераб. и доп. Наукова думка, 1989. - 376 с.

121. Зинкин С. А. Организация управления сетями хранения и обработки данных на основе непосредственной интерпретации логико-алгебраических спецификаций // Известия высших учебных заведений. Поволжский регион. Технические науки, № 4, 2012. - С. 3-16.

122. Механов В. Б., Зинкин С. А., Карамышева Н. С. Абстрактное и структурное проектирование сетей хранения данных: от сценариев к логико-алгебраическим спецификациям // Информатизация образования и науки. - 2013, № 2. - C. 68-84.

123. Вашкевич Н. П., Зинкин С. А., Карамышева Н. С. Облачная платформа для реализации агентно-ориентированных метакомпьютерных систем // Вестник Поволжского государственного технологического университета. Серия «Радиотехнические и инфокоммуникационные системы». - № 3. - 2013. - С. 17-24.

124. Механов В. Б., Зинкин С. А., Карамышева Н. С. Эволюционирующие агентно-ориентированные сети фунциональных операторов // Информатизация образования и науки. - № 4. - 2013. - С. 95-112.

125. Волчихин В. И., Дубравин А. В., Зинкин С. А. Абстрактный и структурный синтез распределенных систем обработки данных на основе мультипарадигмаль-ного подхода // Известия высших учебных заведений. Поволжский регион. Технические науки. - №1. - 2015. - С. 60-80.

126. Дубравин А. В., Зинкин С. А. Элементы концептуального распределенного программирования в сетях // Университетское образование (МКУО-2015) : сб. ст. XIX Междунар. науч.-метод. конф., посвящ. 70-летию Победы в Великой Отечественной войне (г. Пенза, 9-10 апреля 2015 г.): - Пенза: Изд-во ПГУ, 2015. - Т. 1. - С. 222-225.

127. Dubravin A. V., Zinkin S. A., Paschenko D. V. Formal and conceptual definitions of the hybrid model of distributed computings in networks // IEEE Proceedings of the International Siberian Conference on Control and Communications, "SIBCON 2015". Omsk State Technical University, Russian Federation, 21-23 May. - 2015. - P. 376381.

128. Шеланков О. Е., Зинкин С. А. Формирование событийных фреймов и сетей для представления декларативно-процедурных знаний о функционировании сложных систем с мобильными и стационарными объектами // Вопросы радиоэлектроники. Серия «Системы отображения информации и управления спецтехникой (СОИУ)». Вып. 2. - 2015. - С. 22-31.

129. Document Implementation of the interface for sending messages in agent-oriented cloud/grid systems based on formalized specifications / Pashchenko D., Zinkin S., Dubravin A., Karamysheva N. // IEEE Proceedings of the International Siberian Conference on Control and Communications (SIBCON 2016). Moscow, Russia, 12-14 May, 2016. - P. 173-178.

130. Вашкевич Н. П., Зинкина Н. С. Активные инфологические модели обработки данных на основе сетей иерархических фреймов // Вопросы радиоэлектроники. Серия «Электронная вычислительная техника». - Вып. 4, 2009. - С. 54-63.

131. Hughes C., Hughes T. Parallel and Distributed Programming Using C++. Addison-Wesley Professional, 2004, 720 p.

132. Harzallah M. Incorporating IDEF3 into the Unified Enterprise Modelling Language // Proceedings of the 2007 Eleventh International IEEE EDOC Conference Workshop, 2007, pp. 133-140.

133. Kim C.-H., Yim D.-S., Weston R. H. An Integrated use of IDEF0, IDEF3 and Petri net methods in support of business process modelling // Proceedings of the Institution of Mechanical Engineers. Part E: Journal of Process Mechanical Engineering. Vol. 215, 2001, pp. 317-330.

134. Jeong K. Y., Cho H. B., Phillips D. T. Integration of queuing network and IDEF3 for business process analysis // Business Process Management Journal. Vol 14, Issue 4, 2008, pp. 471-482.

135. Murata T. Petri Nets: Properties, Analysis and Applications // Proceedings of the IEEE. Vol. 77, No. 4, April 1989, pp. 541-580.

136. Компилятор логико-алгебраических выражений / Дубравин А. В., Пащенко Д. В., Трокоз Д. А., Коннов Н. Н., Чечель П. К., Зинкин С. А., Воронков В. В. Номер регистрации (свидетельства): RU 2017612847. Дата регистрации: 03.03.2017. Дата публикации: 03.03.17. Правообладатель: ФГБОУ ВО «Пензенский государственный университет».

137. Курносов М. Г. Алгоритмы вложения параллельных программ в иерархические распределённые вычислительные системы // Вестник СибГУТИ, № 2, 2009. - С. 1-26.

138. Курносов М. Г., Пазников А. А. Эвристические алгоритмы отображения параллельных MPI-программ на мультикластерные вычислительные и Grid-системы // Вычислительные методы и программирование, 2013. Т. 14. - С. 1-10.

139. Bokhari S. H. On the mapping problem // IEEE Transactions on Computers. -1981. Vol. 30, №3. - P. 207-214.

140. Тарков М. С. Вложение структур параллельных программ в структуры живучих распределённых вычислительных систем // Автометрия. Том 39, № 3, 2003. -С. 84-96.

141. Киселев Е. А., Корнеев В. В. Оптимизация отображения программ на вычислительные ресурсы // Программная инженерия, 2015, № 8. - С. 3-8.

142. Монахов О. Г. Программная система ТОПАС для отображения параллельных программ на архитектуру вычислительных систем. Фонд алгоритмов и программ. Сибирское отделение Российской академии наук. Тип разработки: программа. Регистрационный номер в ФАП: PR12008. Дата регистрации в ФАП: 2012-06-13. Заявитель: Институт вычислительной математики и математической геофизики СО РАН. Новосибирск, 2012. URL: http: //fap .nsc.ru/node/3369.

143. Евреинов Э. В. Однородные вычислительные системы, структуры и среды. -М.: Радио и связь, 1981. - 208 с.

144. Евреинов Э. В., Хорошевский В. Г. Однородные вычислительные системы -Новосибирск: Наука. Сибирское отделение, 1978. - 319 с.

145. Корнеев В. В. Архитектура вычислительных систем с программируемой структурой. Новосибирск: Наука, 1985. - 164 с.

146. Корнеев В. В. Вычислительные системы. - М.: Гелиос АРВ, 2004. - 512 с.

147. Миренков Н. Н. Параллельное программирование для многомодульных вычислительных систем. - М.: Радио и связь, 1989. - 319 с.

148. Монахов О. Г., Монахова Э. А. Параллельные системы с распределённой памятью: управление ресурсами и заданиями. - Новосибирск: Изд-во ИВМиМГ СО РАН, 2001. - 168 с.

149. Хорошевский В. Г. Архитектура вычислительных систем. - М. : МГТУ им.

H. Э. Баумана, 2008. - 520 с.

150. Гергель В.П., Фурсов В. А. Лекции по параллельным вычислениям. - Самара: Изд-во Самар. гос. аэрокосм. ун-та, 2009. - 164 с.

151. Архитектуры и топологии многопроцессорных вычислительных систем /А. В. Богданов, В. В. Корхов, В. В. Мареев, Е. Н. Станкова. - М.: ИНТУИТ.РУ, «Интернет-Университет Информационных Технологий», 2004. - 176 с.

152. Радченко Г. И. Распределенные вычислительные системы. - Челябинск: Фотохудожник, 2012. - 184 с.

153. Каляев И. А. Реконфигурируемые мультиконвейерные вычислительные структуры. Ростов-на-Дону: ЮНЦ РАН, 2003. - 320 с.

154. Капитонова Ю. В., Летичевский А. А. Математическая теория проектирования вычислительных систем. Изд-во: "Главная редакция физико-математической литературы издательства "Наука". - 1988. - 296 с.

155. Лавров С. С. Программирование. Математические основы, средства, теория. Изд-во: БХВ-Петербург, Санкт-Петербург, 2001. - 317 с.

156. Ковалёв С.П. Формальный подход к разработке программных систем. Учеб. пособие. Новосиб. гос. ун-т. Новосибирск: НГУ, 2004. - 180 с.

157. Дубинин В.Н., Зинкин С.А. Сетевые модели распределенных систем обработки, хранения и передачи данных. Пенза, Приволжский Дом Знаний. 2013. -452 с.

158. Вашкевич Н. П., Бикташев Р. А. Недетерминированные автоматы и их использование для реализации систем параллельной обработки информации. -Пенза: Изд-во ПГУ, 2016. - 394 с.

159. Aho A. V., Ullman J. D. The Theory of Parsing, Translation and Compiling. Vol.

I. Prentice-Hall, Englewood Cliffs, 1973. - 562 p. (Издание на русском языке: Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции. Том 1. Синтаксический анализ. - М: Мир, 1978. - 613 с.)

160. Методы параллельного микропрограммирования / Под ред. О. Л. Бандман. -Новосибирск: Наука, 1981. - 182 с.

161. Gurevich Y. Abstract State Machines: An Overview of the Project // Foundations of Information and Knowledge Systems. Lect. Notes Comput. Sci., vol. 2942, 2004, pp. 6-13.

162. Boerger, E. Unifying View of Models of Computation and System Design Frameworks // Annals of Pure and Applied Logic. Vol. 133, 2005, pp. 149-171.

163. Зинкин С. А. Сети абстрактных машин высших порядков в проектировании систем и сетей хранения и обработки данных (механизмы интерпретации и варианты использования) // Известия высших учебных заведений. Поволжский регион. Технические науки. - 2007. - № 4. - С. 37-51.

164. Зинкин С. А. Сети абстрактных машин высших порядков в проектировании систем и сетей хранения и обработки данных (базовый формализм и его расширения) // Известия высших учебных заведений. Поволжский регион. Технические науки. - 2007. - № 3. - С. 13-22.

165. Зинкин С. А. Элементы новой объектно-ориентированной технологии для моделирования и реализации систем и сетей хранения и обработки данных // Информационные технологии. - 2008. - № 10. - С. 20-27.

166. Юдицкий С. А., Магергут В. З. Логическое управление дискретными процессами. Модели, анализ и синтез. - М.: Машиностроение, 1987. - 178 с.

167. Petri C.A. 1962: Kommunikation mit Automaten. English Translation, 1966: Communication with Automata, Technical Report RADC-TR-65-377, Rome Air Dev. Center, New York.

168. Wang Jiacun. Petri Nets for Dynamic Event-Driven System Modeling / Published in Handbook of Dynamic System Modeling. Department of Software Engineering. Monmouth University, West Long Branch, NJ 07764, 2007, pp. 1-17.

169. Peterson J. L. Petri Net Theory and the Modeling of Systems. N.J.: Prentice-Hall, 1981. - 288 p.

170. W. M. P. van der Aalst. A class of Petri nets for modeling and analyzing business processes // Computing Science Reports 95/26, Eindhoven University of Technology, Eindhoven, 1995, pp.1-25.

171. Hruz B., Zhou M. C. Modeling and Control of Discrete-event Dynamic Systems with Petri Nets and Other Tools. Springer-Verlag, London, 2007. - 351 p.

172. Iordache M. V., Antsaklis P. J. Supervisory Control of Concurrent Systems. A Petri Net Structural Approach. - Boston: Birkhauser, 2006. - 281 p.

173. On Modification in Petri Nets / R. Jahns, M. Becker, T. Bessey, H. Szczerbicka // Journal Proc. Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS), 2002. - 5 p.

174. Valk R. Self-modifying Nets // Report Bericht Nr. 34, IFI-HH-B-34/77, from the Institute of Informatics, University of Hamburg, Schluterstrasse 70, Hamburg 13, D-2000, West Germany, July 1977, 36 p.

175. Temporized Colored Petri Nets with Changeable Structure (TCPN-CS) for the Performance Modeling of Dynamic Production Systems / Jiang Z., Zuo M. J., Fung R. Y. K., Tu P. Y. // International Journal of Production Research 38, No. 8, 2000, pp. 19171945.

176. Holloway L. E., Krogh B. H., Giua A. A Survey of Petri Net Methods for Controlled Discrete Event Systems // Discrete Event Dynamic Systems: Theory and Applications, 7, Kluwer Academic Publishers, Boston. Manufactured in The Netherlands, 1997, pp. 151-190.

177. Krogh B. H. Controlled Petri nets and maximally permissive feedback logic // Proc. 25th Annual Allerton Conference, University of Illinois, Urbana, 1987, pp. 317-326.

178. Ichikawa A., Hiraishi K. Analysis and control of discrete event systems represented by Petri nets // Discrete Event Systems: Models and Applications, (Varaiya, P., and Kurzhanski, A. B., eds.), Lecture Notes in Control and In-formation Sciences, vol. 103, New York: Springer Verlag, 1988, pp. 115-134.

179. Omar Yaqub, Lingxi Li. Modeling and Analysis of Connected Traffic Intersections Based on Modified Binary Petri Nets // Hindawi Publishing Corporation, International Journal of Vehicular Technology. Vol. 2013, Article ID 192516, 2013. - 10 p.

180. Jianxin Liao, Yuting Zhang, Xiaomin Zhu. An Inter-Working Petri Net Model between SIMPLE and IMPS for XDM Service // Chapter from the book "Petri Net, Theory and Applications", pp. 73-90. Downloaded from URL: http://www.intechopen.com/books/petri net theory and applications. Source: Petri Net, Theory and Applications, Book edited by: Vedran Kordic, ISBN 978-3-902613-127, 534 p., February 2008, I-Tech Education and Publishing, Vienna, Austria.

181. Petri Net Transformations / H. Ehrig, K. Hoffmann, J. Padberg, C. Ermel, U. Prange, E. Biermann, T. Modica // Chapter from the book "Petri Net, Theory and Applications", pp. 1 - 16. Downloaded from URL: http: //www.intechopen.com/books/pe-tri net theory and applications. Source: Petri Net, Theory and Applications, Book edited by: Vedran Kordic, ISBN 978-3-902613-12-7, 534 p., February 2008, I-Tech Education and Publishing, Vienna, Austria.

182. Petri Nets Fundamental Models, Verification and Applications / Edited by Michel Diaz. John Wiley & Sons, 2009. - 585 p.

183. Svadova M., Hanzalek Z. Matlab Toolbox for Petri Nets. [Электронный ресурс]. Режим доступа свободный. URL1: https: //simonline.akade-mitelkom.ac.id/dosen/riset/smartgrid/Bukan/Hanzalek01 a.pdf, URL2: http://www.aca-demia.edu/7645464/MATLAB TOOLBOX FOR PETRI NETS. Дата доступа 31.01.2019.

184. Petri Nets Tools Database Quick Overview. [Электронный ресурс]. Режим доступа свободный. URL: http: //www.informatik.uni-hamburg.de/TGI/Pe-triNets/tools/quick. Дата доступа 31.01.2019.

185. Aho A. V., Hopcroft J. E., Ullman J. D. The Design and Analysis of Computer Algorithms. Addison-Wesley Publishing Company, 1976. - 470 p. (Издание на русском языке: Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов. - М.: Мир, 1979. - 536 с.)

186. Ullman J. D. Computational aspects of VLSI. Computer Science Press, 1984. - 496 c. (Издание на русском языке: Ульман Дж. Д. Вычислительные аспекты СБИС. -М.: Радио и связь, 1990. - 480 с.)

187. Gavrilov G. P., Sapozenko A. A. Selected Problems in Discrete Mathematics. -M.: Mir Publishers, 1989. - 414 p. (Оригинал на русском языке: Гаврилов Г. П.,

Сапоженко А. А. Задачи и упражнения по дискретной математике. - М.: Физмат-лит, 2005. - 416 с.)

188. Шоломов Л. А. Основы теории дискретных логических и вычислительных устройств. - М.: Наука, 1980. - 400 с.

189. Котов В. Е., Сабельфельд В. К. Теория схем программ. - М.: Наука, 1991. -248 с.

190. Malcev A. I. Algebraic Systems. Springer-Verlag, 1973. - 329 p. (Оригинал на русском языке: Мальцев А.И. Алгебраические системы. - М.: Наука, 1970. - 393 с.)

191. Plotkin B. I. Universal algebra, algebraic logic, and databases. Dordrecht - Boston: Kluwer Academic Publishers, 1994. - 453 p. (Оригинал на русском языке: Плоткин Б.И. Универсальная алгебра, алгебраическая логика и базы данных. - М.: Наука, 1991. - 448 с.)

192. Brauer W. Automaten Theorie. B. G. Teubner Stuttgart, 1984. - 392 p. (Издание на русском языке: Брауэр В. Введение в теорию конечных автоматов. - М.: Радио и связь, 1987. - 392 с.)

193. Cooke, D. J., Bez H. E. Computer Mathematics. Cambridge University Press, Cambridge, 1984. - 384 p. (Издание на русском языке: Кук Д., Бейз Г. Компьютерная математика. - М.: Наука, 1990. - 384 с.)

194. Поликарпова Н. И., Шалыто А. А. Автоматное программирование. - СПб.: Изд-во Санкт-Петербургского государственного университета информационных технологий, механики и оптики, 2008. - 167 с.

195. Туккель Н. И., Шалыто А. А. От тьюрингова программирования к автоматному // Мир ПК, 2002. № 2. - C. 144-149.

URL: http ://is. ifmo. ru/works/turing/

196. Трахтенброт Б. А., Бардзинь Я. М. Конечные автоматы (Поведение и синтез). - М.: Наука, 1970. - 400 с.

197. Бухараев Р. Г. Основы теории вероятностных автоматов. - М.: Наука, 1985. -288 с.

198. Миронов А. М. Основные понятия теории вероятностных автоматов // Интеллектуальные системы. Теория и приложения. - М.: Т. 19, № 4, 2015. - С. 75-116.

199. Зинкина Н. С., Щекин Р. В. Программа для моделирования систем логического управления с интенсивно используемой базой знаний // Институт научной информации и мониторинга РАО. Объединенный фонд электронных ресурсов «Наука и образование», № ОФЭРНиО 17006 от 18.04.2011, № ЦИТиС 50201150550 от 27.04.2011.

200. Tauseef Aized. Flexible Manufacturing System: Hardware Requirements // In: Future Manufacturing Systems/ Edited by Tauseef Aized. Publisher: Sciyo, 2010, pp. 116. URL: http://cdn.intechopen.com/pdfs-wm/12118.pdf.

201. Filote C., Ciufudean C. Discrete Event Models for Flexible Manufacturing Cells // In: Future Manufacturing Systems/ Edited by Tauseef Aized. Publisher: Sciyo, 2010, pp. 17-38. URL: http://cdn.intechopen.com/pdfs-wm/12119.pdf.

202. Rodríguez D. R., Pérez M., Blanco J. M. Improvement in the Optimization of Flexible Manufacturing Cells Modelling with Discrete Event Dynamics Systems: Application to a Real Factory Problem // In: 23rd European Modeling and Simulation Symposium (EMSS 2011) Rome, Italy, 12 - 14 September 2011, pp. 619-625. URL: http://toc.proceedings.com/20411webtoc.pdf.

203. Робототехника и гибкие автоматизированные производства. - В 9 кн. Кн. 6. Техническая имитация интеллекта/ В. М. Назаретов, Д. П. Ким; под ред. И. М. Макарова. - М.: Высш. шк., 1986. - 144 с.

204. Многоуровневое структурное проектирование программ. Теоретические основы, инструментарий/ Е. Л. Ющенко, Г. Е. Цейтлин, В. П. Грицай, Т. К. Терзян. - М.: Финансы и статистика, 1989. - 208 с.

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

системы DBaaSoD в облачной среде NCaaSoD

Данное приложение - мультибазовая система DBaaSoD, функционирующая в облачной среде NCaaSoD, разработано в результате внедрения результатов диссертационной работы автора во время обучения в аспирантуре ФГБОУ ВО «Пензенский государственный университет» при чтении пробных лекций и проведении ряда лабораторных занятий в бакалавриате и магистратуре по дисциплинам «Программирование сетевых приложений», «Основы интеллектуальных систем» и «Интеллектуальные системы». В том числе внедрены концепции автора: отображение архитектуры NCaaSoD в архитектуру TCP/IP сети, концептуальные и логико-алгебраические модели систем типа NCaaSoD, программа обработки XML-представлений концептуальных графов и программа-парсер, позволяющая разбивать исходное клиентское приложение на фрагменты, работающие в облачной среде, что подтверждается актом о внедрении.

Разработано клиентское и серверное приложения, работающие с использованием протоколов TCP/UDP, а также приложение-парсер, которое может изменять код клиентского и серверного приложения, отвечающий за ip-адресацию в сети. Серверное приложение должно работать с несколькими базами данных. Доступ к базам данных должен осуществляться в двух видах: открытый на просмотр без пароля и по паролю на просмотр и обновление. Полномочия должны задаваться с клиентского приложения. Пользовательский интерфейс построен на основе меню и панели инструментов. Операционная система - MS Windows. Среда программирования - Qt. Язык программирования - C++.

На рисунке А1 показана UML-диаграмма кооперации приложения.

О

о

Администратор сервера

О

Клиент 1

Клиент п

Рисунок А1 - ЦМЬ-диаграмма кооперации

Результатом работы является комплекс, состоящий из трех приложений: клиента, сервера и программы-парсера, находящегося на компьютере провайдера облачного сервиса. Программы клиента и сервера осуществляют обмен данными между собой с доступом к БД, а парсер позволяет легко изменять части программ, связанные с 1р-адресами для предоставления услуг по размещению программ в облаке и созданию многомашинных вычислений в облачной среде.

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

Взаимодействие с пользователем построено на использовании кнопок, выпадающих списков и текстовых полей для ввода. В зависимости от нажатых кнопок выполняются те или иные действия. Программа-клиент имеет возможность выбора

портов и ip-адреса, куда будут посылаться запросы на данные по протоколу TCP и для проверки соединения по протоколу UDP. После успешного соединения с сервером есть возможность выбирать таблицы и столбцы, данные которых необходимо получить. Программа-сервер имеет возможность выбора портов для про-слушки. После выбора файлов баз данных и нажатия на кнопку "Начать работу" сервер будет обрабатывать запросы в автоматическом режиме.

На рисунке A2 показана UML-диаграмма вариантов использования про-граммы-парсера.

Рисунок А2 - иМЬ-диаграмма вариантов использования программы-парсера

Программа-парсер имеет возможность выбора файла 1р-адресов и портов в сети провайдера, записанных в формате ]боп, файла с кодом клиентского и серверного приложения, а также выбора папки, куда поместятся выходные файлы проектов.

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

На рисунке А3 изображена иМЬ-диаграмма состояний программы-клиента.

Запуск . программы

Ожидание выбора элемента управления

Ожидание нажатия на кнопку подключения

Попытка подключения

Кнопка не нажата

Неудача

Загрузка таблиц

Ожидание нажатия кнопки отправки запроса

Кнопка нажата

Кнопка не нажата

Отправка запроса

Ожидание ответа

Выбран пункт выхода из программы

Рисунок А3 - иМЬ-диаграмма состояний программы-клиента На рисунке А4 изображена иМЬ-диаграмма состояний программы-сервера.

Запуск программы

Ожидание выбора БД и установки портов

Нажата кнопка начала

Л

Прослушка портов

Пришел входящий запрос

Выбран пункт выхода из программы

Установка типа запроса и обращение к БД

Получение ответа от БД Отправка ответа пользователю

#

Рисунок А4 - иМЬ-диаграмма состояний программы-сервера На рисунке А5 изображена иМЬ-диаграмма состояний программы-парсера.

При запуске программы-клиента на экране появляется окно с элементами настроек портов, выбора ip-адреса и всплывающими списками для выбора различных типов запроса. После нажатия на кнопку "Connect" приложение попытается подсоединиться к серверу по заданному в текстовом поле адресу сервера и номеру порта. На выбранный в поле записи числа UDP порт раз в 2 секунды начнут посылаться UDP пакеты для проверки соединения с сервером. Если в течение 6 секунд не придет ни одного ответа от сервера, сервер будет считаться недоступным и пользователь получит соответствующее сообщение. Если подсоединение к серверу прошло успешно, то программа сама загрузит список таблиц БД и выведет их в соответствующий выпадающий список.

После выбора необходимых столбцов и таблиц, а также выбора типа запроса, пользователь может нажать на кнопку "Send" в правой или левой части программы. Если пользователь нажал на левую кнопку, программа отошлет запрос с выбранными параметрами на сервер и будет ждать ответа, а если на правую - программа сначала потребует ввести пароль и, если он верный, отошлет текст запроса на изменение данных в БД.

При запуске программы-сервера пользователю будет предложено выбрать пути к базам данных и номера портов TCP и UDP для прослушивания, после чего по нажатию на кнопку старт произойдет попытка прослушивания портов, и в случае возникновения ошибки пользователь получит соответствующее сообщение.

При запуске программы-парсера пользователю будет необходимо выбрать несколько файлов: файл ip-адресов и портов, которые будут помещены в исходные коды программ, после чего в соответствующем окне будет показано содержимое файла, исходные файлы клиентской и серверной программы, которые будут подвернуты изменению, а также выходная папка. После выбора данных файлов необходимо нажать на кнопку "Create projects" и программа изменит файлы исходного кода клиентского и серверного приложения в соответствии с файлом ip-адресов, после чего создаст проекты в выходной папке.

После запуска приложения-клиент пользователь может подключиться к серверу по его ip-адресу и номеру TCP порта. Проверка соединения будет осуществляться по номеру UDP порта. Если соединение установлено, выпадающие списки с названиями таблиц и столбцов для каждой таблицы заполнятся автоматически. При выборе каждого из них можно регулировать выбираемую таблицу и столбец в ней для запроса. В правой части программы расположена группа переключателей, отвечающая за выбор вида запроса на изменение к БД. В текстовом поле "where" можно написать условие для изменяемых элементов таблицы. После нажатия на кнопку "Send" следует ввести пароль и после проверки сформированный запрос отошлется на сервер, после чего результат запроса будет показан в нижнем поле программы. Описание всех событий клиента выполнено в таблице Т1. Таблица Т1 - описание состояний программы-клиента

Событие Действие пользователя Действие программы

Подключение Нажата кнопка "Connect" Ожидание ответа от сервера

Показ окна Нажатие на кнопку Оповещение пользователя о неудачном соедине-

"You are disconnected "ОК" нии с сервером

from host"

Показ текста - Оповещение пользователя об удачном соедине-

"You are connected to host" нии с сервером

Отправка за- Нажата кнопка Ожидание ответа на запрос от сервера

проса серверу "Send" в левой части экрана

Показ ре- - Ожидание действий пользователя после получе-

зультата за- ния ответа от сервера

проса в тек-

стовом поле

внизу окна

Показ формы Нажата кнопка Ожидание ввода пароля пользователя

ввода пароля "Send" в правой части экрана

Выход Нажата кнопка "Exit" Выход из приложения

После запуска сервера пользователь может выбрать путь к восьми базам данных путем нажатия на кнопку "Change", после чего путь к файлам БД выведется в

текстовое поле. После установки нужных значений портов в полях "Прослушиваемый порт TCP" и "Прослушиваемый порт UDP" пользователю следует нажать на кнопку старт, и сервер войдет в состояние ожидания соединений на выбранные порты. Описание всех событий сервера выполнено в таблице Т2.

Таблица Т2 - описание состояний программы-сервера

Событие Действие Пользователя Действие программы

Выбор файла Нажата одна из Ожидание выбора пользователем файла БД

БД восьми кнопок "Change"

Изменение зна- Ввод значений в чис- Ожидание выбора пользователем прослушивае-

чений полей ловые поля портов мых портов

ввода для пор-

тов

Начало прослу- Нажата кнопка Начало работы сервера

шивания пор- "Start"

тов

Получение за- - Запрос к БД

проса от кли-

ента

Запрос к БД вы- - Отправка ответа клиенту

полнен

Выход Нажата кнопка "Exit" Выход из приложения

После запуска парсера пользователю будет необходимо нажать на кнопку "Change" возле текстового поля "File with ip addresses" и выбрать файл ip-адресов и портов, которые будут помещены исходные коды программ клиента и сервера, после чего в соответствующем окне "Content" будет показано содержимое файла.

После этого нужно нажать кнопки "Change" возле текстовых полей "Client source file" и "Server source file" и выбрать соответствующие исходные файлы клиентской и серверной программы, которые будут подвернуты изменению, а также выбрать имя выходной папки в текстовом поле "Destination folder". После выбора данных файлов необходимо нажать на кнопку "Create projects" и программа изменит файлы исходного кода клиентского и серверного приложения в соответствии с файлом ip-адресов, после чего создаст проекты в выходной папке.

Описание всех событий парсера показано в таблице Т3. Таблица Т3 - описание состояний программы-парсера

Событие Действие Пользователя Действие программы

Выбор файла 1р Нажата кнопка Ожидание выбора пользователем файла ip адресов

адресов "change"у текстового поля "File with ip addresses" и заполнение таблицы "Content"

Выбор файла Нажата кнопка Ожидание выбора пользователем .cpp файла кли-

исходного кода "Change" у тексто- ентской программы

клиента вого поля "Client source file"

Выбор файла Нажата кнопка Ожидание выбора пользователем .cpp файла сер-

исходного кода "Change" у тексто- верной программы

сервера вого поля "Server source file"

Выбор выход- Нажата кнопка Ожидание выбора пользователем папки, куда бу-

ной папки "Change" у тексто- дут помещены измененные проекты клиентской и

вого поля "Destination folder" серверной программ

Изменение Нажата кнопка "Cre- Изменение проектов и запись в выходную папку

файлов проекта ate projects"

клиента и сер-

вера

Выход Нажата кнопка "Exit" Выход из приложения

Диаграмма активности программы-парсера приведена на рисунке A6.

Ожидание действия пользователя

Нажата ' 'Change' ' для файла клиента, клиента, Сервера или Нажата кнопка ' 'Change' ' выходной папки?

у файла ip адресов? нет

да

да

Считывание файла

Изменение соответствующего текстового поля

Заполнение таблицы "Content"

Нажата кнопка ' 'Create projects"?

да

Изменение файлов проектов в соответствии с файлом ip-адресов

Запись файлов в выходную папку

Нажата кнопка "Exit"?

Рисунок A6 - UML-диаграмма активности программы-парсера

При запуске клиента появляется графическое окно, которое включает кнопки "Connect", "Send", выпадающие списки "Select cols" и "From table", группу переключателей "Operation", текстовые поля "Where" и "Values" а также поля ввода чисел "TCP port number" и "UDP port number".

Для установки соединения с сервером клиент должен знать его ip адрес, номера TCP и UDP портов. После ввода необходимых значений клиент должен нажать на кнопку "Connect" и подождать приблизительно 5-6 секунд. Если по истечении этого времени было показано сообщение "You are disconnected from host", то необходимо изменить настройки в полях, при необходимости проверить соединение и повторить вышеуказанные действия. После успешного подключения к серверу статус надписи изменится на "You are connected to host", а все выпадающие списки будут заполнены значениями. Чтобы выбрать нужную колонку таблицы и саму таблицу, нужно выбрать соответствующие названия в выпадающих списках и при необходимости написать условие в текстовом поле "Where". Затем необходимо нажать на кнопку "Send" и ждать ответа в нижней части формы.

Для отправки запроса на модификацию данных пользователю необходимо выбрать операцию модификации, и, если выбрана операция "Update", заполнить текстовое поле "Values" обновляемыми столбцами. После этого при необходимости пользователь может написать условие для изменения таблиц в поле "Where" и нажать на кнопку "Send". Если в открывшуюся форму введен правильный пароль, приложение отправит текст запроса и покажет результат его выполнения в нижней части окна.

При запуске сервера также появляется окно формы, которое содержит 8 кнопок "Change" и кнопку "Start", 8 полей ввода текста "Path to DB" и поля ввода чисел "TCP port" и "UDP port".

Чтобы выбрать нужную БД, пользователь должен нажать на кнопку "Change", после чего будет предложено выбрать необходимую БД из окна обозревателя файлов или вписать путь вручную. Далее нужно настроить порты TCP и UDP для прослушивания и нажать кнопку "Start". После выполненных действий,

если порты удалось прослушать, сервер начнет работать автоматически. Если порты прослушать не удалось, появится соответствующее окно, после чего следует изменить значения портов для прослушивания.

При запуске парсера пользователю будет необходимо нажать на кнопку "Change", находящуюся возле текстового поля "File with ip addresses" и выбрать файл ip-адресов и портов, которые будут помещены в исходные коды программ клиента и сервера, после чего в соответствующем окне "Content" будет показано содержимое файла. После нажатия кнопок "Change" возле текстовых полей "Client source file" и "Server source file" будут выбраны файлы клиентской и серверной программы, которые будут подвернуты изменению. После выбора данных файлов необходимо нажать на кнопку "Create projects" и программа изменит файлы исходного кода клиентского и серверного приложения в соответствии с файлом ip-адресов, после чего создаст проекты в выходной папке.

Результатом работы является комплекс, состоящий из трех приложений: клиента, сервера и программы-парсера, находящегося на компьютере провайдера облачного сервиса. Программы клиента и сервера осуществляют обмен данными между собой с доступом к БД, а парсер позволяет легко изменять части программ, связанные с ip-адресами для предоставления услуг по размещению программ в облаке и созданию многомашинных вычислений в облачной среде.

Далее показаны диалоговые окна, иллюстрирующие некоторые особенности работы сетевого приложения DBaaSoD.

Окно программы-клиента

Сообщение об отключении от сервера

Результат запроса на выборку

Запрос пароля для выполнения запроса на обновление

Окна программы-парсера

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

«УТВЕРЖДАЮ» Ректо^ЩЖ^Ж) «Пензенский

шверситет»

. Гуляков _ ^ еля 2019 г.

акт

о внедрении в учебный процесс и НИР результатов диссертационной работы на соискание ученой степени кандидата технических наук ДЖАФАРА Мустафы Садека Джафара на тему: «УПРАВЛЕНИЕ ПОТОКАМИ СООБЩЕНИЙ В ВЫЧИСЛИТЕЛЬНЫХ СЕТЯХ И СИСТЕМАХ С ПЕРЕМЕННОЙ СТРУКТУРОЙ»

Комиссия в составе декана факультета вычислительной техники доктора технических наук, профессора Фионовой Л. Р., заведующего кафедрой «Вычислительная техника» доктора технических наук Митрохина М. А., кандидата технических наук, профессора кафедры «Вычислительная техника» Коннова Н. Н., установила, что полученные в диссертационной работе ДЖАФАРА Мустафы Садека Джафара (научный руководитель - доктор технических наук, профессор кафедры «Вычислительная техника» Зинкин С.А.) научные результаты внедрены в учебный процесс бакалавров и магистрантов по направлению «Информатика и вычислительная техника» по дисциплинам «Основы интеллектуальных систем», «Методы моделирования» и «Программирование сетевых приложений» (для бакалавров), «Интеллектуальные системы» (для магистрантов). В том числе внедрены концепции автора: отображение облачно-сетевой архитектуры приложений в архитектуру ТСР/1Р сети, концептуальные и логико-алгебраические модели, программа обработки ХМЬ-представлений концептуальных графов и программа-парсер, позволяющая разбивать исходное сетевое приложение на фрагменты, работающие в облачной среде. Внедрены при проведении занятий прошедшие государственную регистрацию программы «Программа экспертного моделирования на основе концептуальных графов» и «Реализация сетей Петри в сетях ЭВМ», разработанные при непосредственном участии автора диссертации. Концепции реализации сетевых приложений для беспроводных сетей внедрены в рамках федеральной целевой программы «Исследования и разработки по приоритетным направлениям развития научно-технического комплекса России на 2014-2020 годы» (Соглашение № 14.574.21.0045 от 19.06.14, ШИ: 11РМЕР157414X0045).

Декан факультета вычислительной техники,

д. т.н., профессор С^^

Зав. кафедрой «Вычислительная техника»

д.т.н.

Профессор кафедры «Вычислительная техника»

к. т. н.

Л. Р. Фионова

М. А. Митрохин

Н. Н. Коннов

«УТВЕРЖДАЮ» Проректор по научной работе

об использовании результатов диссертационной работ] Джафара на тему: «Управление потоками сообщений в вь

АКТ

переменной структурой», представленной на соискание ученой степени кандидата технических наук по специальности 05.13.15 - Вычислительные машины, комплексы и компьютерные сети.

г- Пенза « $ » Д^лгЛ 2019 г.

Комиссия в составе: начальника учебно-методического управления, к.т.н., доцента Семочкиной И.Ю., декана факультета автоматизированных информационных технологий, к.т.н., доцента Ремонтова А.П., зав. кафедрой «Вычислительные машины и системы», д.т.н., профессора Сальникова И.П., зам. зав. кафедрой «Вычислительные машины и системы» по научной работе, к.т.н., доцента Мартышкина Л.И. составила настоящий акт о том, что полученные в диссертационной работе ДЖАФАРА Мустафы Садека Джафара (научный руководитель - доктор технических наук, профессор кафедры «Вычислительная техника» Пензенского государственного университета Зинкин С.А.) научные и практические результаты внедрены на кафедре «Вычислительные машины и системы» в рамках учебного процесса, в части организации и моделирования процессов управления потоками сообщений и данных в облачно-сетевых распределенных вычислительных системах по направлениям подготовки бакалавров 09.03.01 - «Информатика и вычислительная техника» и 09.03.04 -«Программная инженерия», магистров по направлениям 09.04.01 - «Информатика и вычислительная техника» и 09.04.04 - «Программная инженерия» по дисциплинам «Локальные вычислительные сети», «Высокопроизводительные вычислительные системы», «Сети и телекоммуникации», «Высокопроизводительные вычислительные системы и параллельные вычисления», «Интернет-технологии и локальные вычислительные сети», «Распределенные информационные системы». Применение методик из диссертации, на основе экспертной оценки, позволяет в 2 - 5 раз сократить сроки проектирования сетевого программного обеспечения распределенных информационно-вычислительных систем. Настоящим подтверждается внедрение результатов работы в учебном процессе кафедры «Вычислительные машины и системы» на практических занятиях и дипломном проектировании.

Начальник учебно-методического управления, к.т.н., доцент

Семочкина И.Ю.

Декан факультета автоматизированных информационных технологий, к.т.н., доцент

Ремонтов А.П.

Зав. кафедрой «Вычислительные машины и системы», д.т.н., профессор

Сальников И.И.

Зам. зав. кафедрой «Вычислительные машины и системы», по научной работе, к.т.н., доцент

Мартышкин А.И.

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

РОССИЙСКАЯ ФЕДЕРАЦИЯ

RU

2017612771

ФЕДЕРАЛЬНАЯ СЛУЖБА

ПО ИНТЕЛЛЕКТУАЛЬНОЙ СОБСТВЕННОСТИ

(12) ГОСУДАРСТВЕННАЯ РЕГИСТРАЦИЯ ПРОГРАММЫ ДЛЯ ЭВМ

Номер регистрации (свидетельства): 2017612771

Дата регистрации: 02.03.2017

Номер и дата поступления заявки: 2017610279 09.01.2017

Дата публикации: 02.03.2017

Контактные реквизиты: Кабинет интеллектуальной собственности, ул. Красная, 40, г. Пенза, 440026, ([phone], [e-mail]

Авторы:

Зинкин Сергей Александрович (ЬШ), Чечель Павел Константинович (ЬШ), Аюпов Усман Кярибович (1*11), Джафар Мустафа Садек Джафар (10), Пащенко Дмитрий Владимирович (ЬШ), Трокоз Дмитрий Анатольевич (1Ш), Дубравин Алексей Викторович (1Ш)

Правообладатель: федеральное государственное бюджетное образовательное учреждение высшего образования « Пензенский государственный университет» (ЬШ)

Название программы для ЭВМ: ПРОГРАММА ЭКСПЕРТНОГО КОНЦЕПТУАЛЬНЫХ ГРАФОВ