Модели и алгоритмы сборки многокомпонентных систем на основе алгебраических структур тема диссертации и автореферата по ВАК РФ 05.13.01, кандидат наук Кулясов Павел Сергеевич

• Кулясов Павел Сергеевич
• кандидат наук
• 2020

Оглавление диссертации кандидат наук Кулясов Павел Сергеевич

Список сокращений

ВВЕДЕНИЕ

ГЛАВА 1. АНАЛИТИЧЕСКИЙ ОБЗОР МЕТОДОВ И АЛГОРИТМОВ КОМПОНЕНТНОЙ СБОРКИ ИНФОРМАЦИОННЫХ СИСТЕМ

1.1 Особенности проектирования современных информационных систем

1.2 Подходы к разработке информационных систем

1.2.1 Концепция открытых систем

1.2.2 Прикладные модели открытых информационных систем

1.2.3 Онтологическое моделирование

1.3 Компонентная сборка информационных систем

1.4 Подходы к обеспечению производительности алгоритмов

синтеза информационных систем

1.5 Выводы по главе

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

2.1 Основные понятия и определения теории графов,

множеств и абстрактной алгебры

2.1.1 Основные понятия теории графов

2.1.2 Упорядоченные множества и алгебраические решетки

2.2 Алгебраическая модель многокомпонентной системы

2.2.1 Операции над интерфейсами

2.2.2 Индексирование интерфейсов

ГЛАВА 3. ТЕХНОЛОГИЯ ИНДЕКСИРОВАНИЯ, СБОРКИ И РЕКОНФИГУРИРОВАНИЯ МКС

3.1 Основные этапы технологии

3.2 Критерии эффективности реконфигурирования МКС

3.3 Алгоритм генерации индексных структур на базе алгебраических решеток

3.4 Алгоритм отображения индексных структур из алгебраической в

онтологическую форму

3.5 Алгоритм поиска по индексной структуре

ГЛАВА 4. ПРАКТИЧЕСКАЯ РЕАЛИЗАЦИЯ И ЭКСПЕРИМЕНТ

4.1 Методика компонентной сборки ОПВО

4.1.1 Элементы и процессы ОПВО

4.1.1.1 Элементы ОПВО

4.1.1.2 Процессы ОПВО

4.1.2 Модель компонентного представления ОПВО

4.1.3 Построение индексной структуры интерфейсов ОПВО

4.1.4 Построение онтологического представления ОПВО

4.1.5 Основные этапы методики компонентной сборки ОПВО

4.1.6 Фильтрация ОПВО как многокомпонентной структуры

4.1.7 Пример использования методики

4.2 Фильтрация интернет-контента

4.3 Структурная оптимизация имитационной модели

4.4 Экспериментальная проверка разработанных алгоритмов

4.4.1 Время построения индексной структуры

4.4.2 Время поиска

4.5 Перспективы развития результатов диссертации

Заключение

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

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

Список сокращений

ИС - информационная система

ОИС - открытая информационная система

ОПВО - образовательная программа высшего образования

МКС - многокомпонентная система

IEEE - Institute of Electrical and Electronics Engineers

ВВЕДЕНИЕ

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

Актуальность исследования

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

Применение общих принципов открытых информационных систем (ОИС) позволяет представить сложные системы в виде совокупности компонентов, обладающих стандартизированными интерфейсами, что обеспечивает расширяемость по модулям и масштабируемость, и решает проблемы обеспечения гетерогенности, но при этом не решает проблемы взаимодействия компонентов в условиях неопределенности. Проблемы развития ОИС являются актуальными, что подтверждается их включением в «Программу фундаментальных исследований государственных академий наук на 2013-2020 гг.» (распоряжение Правительства РФ от 3 декабря 2012г. №2237-р).

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

А.Я. Олейников, В.А. Сухомлин, В.К. Батоврин, А.В. Бойченко, М. Ю. Брауде-Золотарев, Е.Е. Журавлев, А.С. Королев, K. Blind, G. Booch, Corey D. Schou, K. Jakobs, и другие.

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

Цель и задачи диссертационной работы

Сокращение времени сборки и реконфигурирования многокомпонентных систем в условиях неопределенности.

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

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

- разработка алгебраической модели многокомпонентной системы,

формализующей операции над интерфейсами;

- разработка технологии индексирования, сборки и реконфигурирования

многокомпонентных систем;

- разработка алгоритма генерации индексной структуры интерфейсов;

- разработка алгоритма поиска по индексной структуре;

- программная реализация разработанных алгоритмов;

- экспериментальная проверка полученных результатов.

Объектом исследований являются многокомпонентные системы.

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

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

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

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

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

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

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

- алгоритм отображения индексных структур из алгебраической в онтологическую форму;

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

1. Алгебраическая модель многокомпонентной системы.

2. Технология индексирования, сборки и реконфигурирования многокомпонентных систем.

3. Алгоритмический комплекс сборки и реконфигурирования многокомпонентных систем.

4. Критерии эффективности реконфигурирования МКС. Практическая значимость результатов диссертационной работы.

Результаты работы могут быть использованы при проектировании открытых информационных систем. На основе разработанных модели и алгоритмов построена методика, которая рекомендована к применению при проектировании и разработке образовательных программ высшего образования.

Реализация и внедрение работы. Теоретические и прикладные результаты диссертационной работы внедрены:

1. В ФГБОУ ВО Нижегородский государственный технический университет им. Р.Е. Алексеева при проектировании и разработке образовательных программ высшего образования на базе автоматизированной информационной системы «Сервис «Конструктор образовательных программ».

2. В ООО «Сетевые экспертные системы» при разработке платформы фильтрации интернет-контента.

3. В учебном процессе ФГБОУ ВО Нижегородского государственного технического университета им. Р.Е. Алексеева при проведении учебного курса «Открытые информационные системы» при подготовке магистров по направлению 09.04.01 «Информатика и вычислительная техника», магистерские программы «Теоретическая информатика» и «Диагностические и информационно-поисковые системы».

4. Разработана программа «Конфигурируемый генератор графовых моделей», зарегистрированная в Роспатенте под № 2020613930 от 24 марта 2020 г.

Апробация результатов работы. Основные положения и результаты диссертационной работы докладывались и обсуждались на следующих конференциях: «Congress on Coastal and Marine Sciences, Engineering, Management and Conservation MEDCOAST» (XIV international scientific congress, Marmaris, Turkey, 2019), «Информационные технологии в науке, управлении, социальной сфере и медицине» (V междунар. науч. конф., г. Томск, 2018), «Инновационные технологии в образовательной деятельности» (всеросс. науч.-метод. конф., г. Н.Новгород, 2019, 2020), «Информационные системы и технологии» (XXV, XXVI междунар. науч.-техн. конф., г. Нижний Новгород, 2019, 2020), «Конгресс по интеллектуальным системам и информационным технологиям IS&IT» (г. Таганрог, 2019, 2020), «Новые информационные технологии и системы» (XVI междунар. науч.-техн. конф., г. Пенза, 2019).

Публикации. Основное содержание диссертационной работы отражено в 13 печатных работах, в том числе 3 представлены в научных изданиях, рекомендуемых ВАК Министерства образования и науки РФ, 1 в издании Scopus; 4 работ в сборниках трудов международных конференций, 1 свидетельство о регистрации программы для ЭВМ.

Свидетельства о регистрации полезных моделей и программ для

ЭВМ.

1. А.С. Рассадин, П.С. Кулясов, Д.В. Жевнерчук. Свидетельство РФ на программу для ЭВМ «Конфигурируемый генератор графовых моделей» № 2020613930 от 24 марта 2020 г.

Структура и объем работы. Диссертация изложена на 142 страницах машинописного текста (146 с. с приложениями). Работа иллюстрирована 79-ю рисунками (83-мя с учетом приложений), 18-ю таблицами (18-ю с учетом приложений), содержит 1 приложение. Библиография включает 69 отечественных, 28 иностранных источников, 13 нормативных и иных документов.

ГЛАВА 1. АНАЛИТИЧЕСКИЙ ОБЗОР МЕТОДОВ И АЛГОРИТМОВ КОМПОНЕНТНОЙ СБОРКИ ИНФОРМАЦИОННЫХ СИСТЕМ

В первой главе приводится историческая справка, характеристика и анализ современного состояния научных отечественных и зарубежных работ в области проектирования информационных систем, тенденций и перспектив развития методов и технологий компонентной сборки ИС. Сформулирована научная задача, на решение которой направлена диссертационная работа.

1.1 Особенности проектирования современных информационных систем Многокомпонентная система представляет собой подмножество более общего класса информационных систем.

В настоящее время существует ряд эффективных методик, технологий и подходов к управлению развитием информационных систем в рамках определенных направлений деятельности и сфер приложения [28,29,42,45,50,71] (рис. 1.1). Некоторые из них приобрели статус международных, государственных, корпоративных стандартов.

Рис. 1.1 - Основные технологии и стандарты проектирования ИС

- MRP (Material Requirements Planning) - система планирования потребностей в материалах, одна из наиболее популярных в мире логистических концепций [23]. Подход был разработан в США в середине 1950-х годов, однако широкое распространение получил с развитием вычислительной техники, начиная с 1970-х годов.

- CRP (Capacity Requirements Planning) - планирование производственных мощностей, необходимых организации для удовлетворения меняющихся требований к своей продукции [101].

- MRPII (Manufacture Resource Planning) - производственное планирование, обеспечивающее как операционное, так и финансовое планирование производства. Обеспечивает более широкий охват ресурсов предприятия, чем MRP. MRP II задаёт принципы детального планирования производства предприятия, включающая учёт заказов, планирование загрузки производственных мощностей, планирование потребности во всех ресурсах производства (материалы, сырьё, комплектующие, оборудование, персонал), планирование производственных затрат, моделирование хода производства, его учёт, планирование выпуска готовых изделий, оперативное корректирование плана и производственных заданий [107]. Стандартизовано ISO.

- ERP (Enterprise Resource Planning) - финансово-ориентированное планирование ресурсов предприятия, необходимых для получения, изготовления, отгрузки и учёта заказов потребителей на основе интеграции всех отделов и подразделений компании [102]. В качестве характеристической особенности ERP-стратегии отмечается принципиальный подход к использованию единой транзакционной системы для подавляющего большинства операций и бизнес-процессов организации [29,60], вне зависимости от функциональной и территориальной разобщённости мест их возникновения и прохождения, обязательность сведения всех операций в единую базу для последующей обработки и получения в реальном времени сбалансированных планов.

Модульный принцип организации позволяет внедрять ERP-системы поэтапно, последовательно переводя в эксплуатацию один или несколько функциональных модулей, а также выбирать только те из них, которые актуальны для организации. Кроме того, модульность ERP-систем позволяет строить решения на основе нескольких ERP-систем, выбирая из каждой лучшие в своём классе модули. Разбивка по модулям и их группировка различная, но у большинства основных поставщиков выделяются группы модулей: финансы, персонал, операции. Концепция ERP сформулирована в 1990 году аналитиком Gartner как видение развития методик MRP II и CIM.

- SCM (Supply Chain Management) - управление цепочками поставок. Управленческая концепция и организационная стратегия, заключающаяся в интегрированном подходе к планированию и управлению всем потоком информации о сырье, материалах, продуктах, услугах, возникающих и преобразующихся в логистических и производственных процессах предприятия, нацеленном на измеримый совокупный экономический эффект (снижение издержек, удовлетворение спроса на конечную продукцию) [72].

- CRM (Customer Relationship Management) - управление взаимоотношениями с заказчиками. Модель, основанная на теории, что центром всей философии бизнеса является клиент, а главными направлениями деятельности компании являются меры по обеспечению эффективного маркетинга, продаж и обслуживания клиентов [30]. Поддержка этих бизнес-целей включает сбор, хранение и анализ информации о потребителях, поставщиках, партнёрах, а также о внутренних процессах компании. Функции для поддержки этих бизнес-целей включают продажи, маркетинг, поддержку потребителей.

- ERPII (Enterprise Resource and Relationship Processing) - управление ресурсами и взаимоотношениями предприятия. ERP II является очередным этапом в эволюции систем планирования ресурсов [61].

Начиная с планирования потребности материалов для дискретного производство (MRP), система планирования расширялась вначале до планирования всех материальных ресурсов производства (MRPII), а затем и любых других ресурсов предприятия (ERP). При этом методология планирования стала применяться и для непрерывного производства.

- Workflow - технология, управляющая потоком работ. Это система обеспечения выполнения задач, поставленных перед исполнителями в рамках процессного управления [108]. Особенностью систем workflow является отделение правил, по которым должны выполняться бизнес-процессы, от прикладных систем. Таким образом, workflow позволяют оперативно модифицировать правила выполнения бизнес-процессов без перестройки прикладного программного обеспечения или корпоративной базы данных. Система workflow может работать с любыми бизнес-процессами организации, которые выделены, структурированы, и правила выполнения которых можно сформулировать. Каждая система workflow решает не только задачи обеспечения выполнения бизнес-процессов, но и возможности описания процессов, т.е. разработки моделей. При этом workflow не накладывает никаких ограничений на степень детализации описания бизнес-процессов. Кроме того, workflow интегрируют используемые в бизнес-процессе приложения.

- OLAP (Online Analytical Processing) - технология обработки данных, заключающаяся в подготовке суммарной (агрегированной) информации на основе больших массивов данных, структурированных по многомерному принципу. OLAP-структура, созданная из рабочих данных, называется OLAP-куб. OLAP-куб содержит базовые данные и информацию об измерениях (агрегаты). Куб потенциально содержит всю информацию, которая может потребоваться для ответов на любые запросы.

- Project Management - управление проектами. Поддерживается рядом международных стандартов (такими как, например, международные

стандарты ISO 10006:2003 Quality management systems, ISO 21500:2012 Guidance on project management, а также национальные стандарты, в России - ГОСТ Р ИСО 10006-2005 «Системы менеджмента качества. Руководство по менеджменту качества при проектировании», ГОСТ Р ИСО 21500-2014 Руководство по проектному менеджменту).

- CALS (Continuous Acquisition and Lifecycle Support) - непрерывная информационная поддержка поставок и жизненного цикла [51]. Описывает совокупность принципов и технологий информационной поддержки жизненного цикла продукции на всех его стадиях [58].

Для анализа основных достоинств и недостатков существующих в настоящее время подходов, методов и инструментов проектирования и реализации информационных систем необходимо выделить систему требований к ним. В [57] приводится следующая формулировка: «Требование -это условие или возможность, которой должна соответствовать система». В IEEE Standard Glossary of Software Engineering Terminology [85] данное понятие трактуется следующим образом:

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

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

- документированное представление условий или возможностей для пунктов 1 и 2.

Среди основополагающих нормативных документов в области работы с требованиями можно выделить следующие: 1. Международные

- IEEE 1362 «Concept of Operations Document».

- IEEE 1233 «Guide for Developing System Requirements Specifications».

- IEEE Standard 830-1998 «IEEE Recommended Practice for Software Requirements Specifications».

- IEEE Standard Glossary of Software Engineering Terminology/IEEE Std 610.12-1990.

2. Российские ГОСТ

- ГОСТ 34.601-90. Информационная технология. Автоматизированные системы. Стадии создания.

- ГОСТ 34.602-89. Информационная технология. Техническое задание на создание автоматизированной системы.

- ГОСТ 19.201-78. Единая система программной документации. Техническое задание. Требования к содержанию и оформлению. Существующие классификации требований описаны в работах [47,56].

Все требования могут быть разделены на требования к информационной системе как к конечному результату и на требования к организации работ по созданию информационной системы. В первой группе выделяют уровни бизнес-процессов, пользователей и функционирования. Вторая группа определяет системные требования. К. Вигерс формулирует данный термин, как «высокоуровневые требования к продукту, которые содержат многие подсистемы, то есть системе» [22,56]. При этом под системой понимается программная, программно-аппаратная, либо человеко-машинная система, являющаяся сложной, структурированной системой. Системные требования являются подмножеством функциональных требований к продукту. INCOSE (International Council on Systems Engineering) даёт более детальное определение системы: «комбинация взаимодействующих элементов, созданная для достижения определенных целей; может включать аппаратные средства, программное обеспечение, встроенное ПО, другие средства, людей, информацию, техники (подходы), службы и другие поддерживающие элементы». Этот же подход прослеживается в стандарте ГОСТ Р ИСО/МЭК 12207/99 [27]: работы, связанные с системой в целом и с программным обеспечением выделяются в отдельные группы в целях удобства оперирования.

К. Вигерс [22] выделяет следующие основные группы нефункциональных требований:

- внешние интерфейсы (External Interfaces);

- атрибуты качества (Quality Attributes);

- ограничения (Constraints).

Среди внешних интерфейсов в большинстве современных ИС наиболее важным является интерфейс пользователя (User Interface, UI). Кроме того, выделяются интерфейсы с внешними устройствами (аппаратные интерфейсы), программные интерфейсы и интерфейсы передачи информации (коммуникационные интерфейсы).

Основные атрибуты качества:

- применимость;

- надежность;

- производительность;

- эксплуатационная пригодность.

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

В спецификациях Rational Unified Process при классификации требований используется модель FURPS+ со ссылкой на стандарт IEEE Std 610.12.1990 [85]. Акроним FURPS обозначает следующие категории требований:

- Functionality (функциональность);

- Usability (применимость);

- Reliability (надежность);

- Performance (производительность);

- Supportability (эксплуатационная пригодность).

Символ «+» расширяет FURPS-модель, добавляя к ней: ограничения проекта, требования выполнения, требования к интерфейсу, физические требования.

В настоящее время на первом месте стоит тенденция к интеграционным процессам в системах информационной поддержки [76]. Зачастую такой подход диктуется государственным законодательством и определяется стратегическими профилями. С другой стороны стратегические направления деятельности отличаются высокой частотой изменений бизнес-процессов [29], что сказывается на необходимости постоянного изменения соответствующих средств информационной поддержки в условиях ограничения временного фактора, т.е. модификации ИС должны производится в экстремально сжатые сроки. В последнее время бизнес-логику системы реализуют в виде облачной архитектуры [65], что предполагает организацию доступа к нему с клиентских систем, обладающих в общем случае произвольной архитектурой. Охват вычислительных ресурсов в масштабах глобальных сетей и Интернет обуславливает гетерогенность вычислительных систем по серверным и клиентским платформам [65], в качестве которых могут быть внешние системы различного предназначения. Решения в большинстве случаев разрабатываются не с нуля, а посредством обеспечения взаимодействия ранее созданных информационных систем.

Таким образом, дополнительно можно выделить четыре группы требований к современным информационным системам:

1. Адаптация в условиях стохастической природы изменения целей и задач при ограничении времени.

2. Высокая степень гетерогенности по платформам и службам.

3. Поддержка территориальной распределенности и мобильности компонент.

4. Возможность использования в качестве компонента в комплексных информационных системах.

В системе этих требований многокомпонентные системы рассматриваются с позиций открытых систем [16,33,67].

Существует ряд определений открытости применительно к информационным системам:

• «Система, которая состоит из компонентов, взаимодействующих друг с другом через стандартные интерфейсы» (Жан-Мишель Корну, французская ассоциация пользователей, UNIX (AFUU) , 1992 г).

• «Исчерпывающий и согласованный набор международных стандартов информационных технологий и профилей функциональных стандартов, которые специфицируют интерфейсы, службы и поддерживающие форматы, чтобы обеспечить интероперабельность и мобильность приложений, данных и персонала» (IEEE POSIX 1003.0).

• «Раздел стандартизации в области информационных технологий, который связан с обеспечением совместимости разнородных программно-аппаратных средств».

• «Открытая система - это система, которая способна взаимодействовать с другой системой посредством реализации международных стандартных протоколов. Открытыми системами являются как конечные, так и промежуточные системы. Однако открытая система не обязательно может быть доступна другим открытым системам. Эта изоляция может быть обеспечена или путем физического отделения или путем использования технических возможностей, основанных на защите информации в компьютерах и средствах коммуникаций» (NIST, Национальный институт стандартов и технологий).

В документе [87] выделены следующие основные свойства открытых систем:

1. Интероперабельность - это способность систем обмениваться информацией друг с другом и совместно использовать информацию, которой они обмениваются.

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

3. Масштабируемость - это обеспечение работы в широком диапазоне параметров, определяющих технические и ресурсные характеристики системы и/или поддерживающей среды.

На основе проведенного обзора существующих подходов к проектированию информационных систем можно сделать выводы о том, что для удовлетворения информационной системой требованиям 1-4 (стр.17) необходимо обеспечить ее открытость, т.е. реализацию таких свойств как интероперабельность [15], мобильность данных, приложений и персонала, совместимость программно-аппаратных средств, причем открытость достигается с помощью некоторым образом сформированной системы интерфейсов, служб, протоколов и поддерживающих их форматов.

1.2 Подходы к разработке информационных систем 1.2.1 Концепция открытых систем

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

Первые шаги в направлении открытых систем были сделаны, когда возникла проблема переносимости (мобильности) программ и данных между компьютерами с различной архитектурой. Частичному решению этой проблемы способствовали ранние стандарты языков Фортран, Кобол, Algol, APL и др. [78, 104,106], которые были приняты многими производителями различных платформ, и позже национальными и международными организациями по стандартизации. Из-за ряда ограничений, которые были сделаны в пользу мобильности, эти языковые средства отличались функциональной неполнотой.

Список литературы диссертационного исследования кандидат наук Кулясов Павел Сергеевич, 2020 год

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

1. Кулясов, П.С. Обобщенный алгоритм компонентной сборки образовательных программ высшего образования / П.С. Кулясов // Научно-технический вестник Поволжья. - Казань. - 2019. - № 11 - С. 2427.

2. Кулясов, П.С. Моделирование и оптимизация адаптивных многокомпонентных систем на базе алгебраических структур / Д.В. Жевнерчук, П.С. Кулясов // Моделирование, оптимизация и информационные технологии. - Воронеж. - 2020 - № 1(8). Доступно по: https://moit.vivt.ru/wp-content/uploads/2020/02/ZhevnerchukKulyasov_1_20_1.pdf DOI: 10.26102/2310-6018/2020.28.1.005.

3. Кулясов, П.С. Генерация индексных структур на базе алгебраических решеток и их онтологическое представление / П.С. Кулясов // Научно-технический вестник Поволжья. - Казань. - №3. - 2020. - С. 49-53.

4. Kulyasov, P.S. Identification or result processing systems for ecosystem monitoring / L.S. Lomakina, D.V. Zhevnerchuk, A.S. Surkova, A.S. Zakharov, O.S. Rassadin, O.K. Kanev, K.M. Noskov, P.S. Kulyasov, D.S. Martynov // Proceedings of the Fourteenth International MEDCOAST Congress on Coastal and Marine Sciences, Engineering, Management and Conservation (MEDCOAST'19), 2019. - Volume 1. P. 101-112.

5. Кулясов, П.С. Анализ существующих подходов и перспектив развития интеллектуальных методов управления адаптивными траекториями обучения / П.С. Кулясов, Д.В. Жевнерчук // Информационные технологии в науке, управлении, социальной сфере и медицине, V международная научная конференция - Томск - ФГАОУ ВО НИ ТПУ, 2018. С. 206-210.

6. Кулясов, П.С. Образовательная программа как адаптивная открытая информационная система / Д.В. Жевнерчук, П.С. Кулясов // Инновационные технологии в образовательной деятельности,

всероссийская научно-методическая конференция - Н.Новгород -ФГБОУ ВО НГТУ им. Р.Е. Алексеева, 2019. С. 12-15.

7. Кулясов, П.С. Фреймы для построения и поддержки систем документов аккредитации вуза / П.В. Мисевич, П.С. Кулясов // Информационные системы и технологии. ИСТ-2019: сборник материалов XXV международной научно-технической конференции - Н.Новгород -ФГБОУ ВО НГТУ им. Р.Е. Алексеева, 2019. С. 890-893.

8. Кулясов, П.С. Онтологическое проектирование адаптивных образовательных программ / П.С. Кулясов, Д.В. Жевнерчук // Конгресс по интеллектуальным системам и информационным технологиям «IS&IT'19» - Таганрог, 2019. Том 2. С. 31-38.

9. Кулясов, П.С. Компонентное моделирование образовательных программ высшего образования / П.С. Кулясов // Новые информационные технологии и системы. Сборник научных статей XVI Международной научно-технической конференции. Пенза: Изд-во ПГУ, 2019. С. 69-73.

10. Кулясов, П.С. Концептуальная модель образовательной программы высшего образования как открытой информационной системы / П.С. Кулясов // Инновационные технологии в образовательной деятельности, всероссийская научно-методическая конференция - Н.Новгород -ФГБОУ ВО НГТУ им. Р.Е. Алексеева, 2020. С. 35-37.

11. Кулясов, П.С. Классификация интерфейсов многокомпонентной системы на основе алгебраического подхода / П.С. Кулясов // Информационные системы и технологии. ИСТ-2020: сборник материалов XXVI международной научно-технической конференции - Н.Новгород -ФГБОУ ВО НГТУ им. Р.Е. Алексеева, 2020. С. 419-423.

12. Кулясов, П.С. Подходы к верификации учебных планов как многокомпонентных интероперабельных структур на основе технологий распределенного реестра / А.Л. Егоров, П.С. Кулясов, Д.В. Жевнерчук // Конгресс по интеллектуальным системам и информационным технологиям «IS&IT'20» - Таганрог, 2020. Том 2. С. 41-47.

13. Свидетельство РФ на программу для ЭВМ Конфигурируемый генератор графовых моделей / Рассадин А.С., Кулясов П.С., Жевнерчук Д.В. (Россия); заявитель Рассадин А.С., Кулясов П.С., Жевнерчук Д.В. - № 2020613930; заявл. 16.03.2020; дата регистрации 24.03.2020.

14. Ахо, А.В., Хопкрофт, Д.Э., Ульман, Д.Д. Структуры данных и алгоритмы. Пер. с англ. М.: Вильямс, 2003. - 384 с.

15. Батоврин, В.К. Обеспечение интероперабельности - основная тенденцияв развитии открытых систем [Текст] / В.К. Батоврин, Ю.В. Гуляев, А.Я. Олейников // Информационные технологии и вычислительные системы: №5. - Москва: Отделения нанотехнологий и информационных технологий Российской академии наук, 2009. - С. 7-15.

16. Батоврин, В.К. Построение профиля информационных, вычислительных и телекоммуникационных ресурсов для обеспечения фундаментальных исследований [Текст] / В.К. Батоврин [и др.] // Журнал радиоэлектроники: №11. - Москва: ИРЭ им. Котельникова РАН. - 2001.7 с.

17. Бениаминов, Е.М. Алгебраические методы в теории баз данных и представлении знаний. М.: Научный мир, 2003. - 184 с.

18. Биркгоф, Г. Теория решеток. М.: Наука, 1984. - 284 с.

19. Блох, А.Ш. Граф-схемы и их применение. Минск: изд-во Вышейшая школа, 1975. - 302 с.

20. Бойченко, А.В. Основы открытых информационных систем 2-е издание, переработанное и дополненное [Текст]/ А.В.Бойченко; под ред. Кондратьева В.К - М.: Издательский центр АНО «ЕОАИ» - 2004. - 128 с.

21. Бурбаки, Н. Теория множеств. М.: Мир, 1965. - 456 с.

22. Вигерс, К.И. Разработка требований к программному обеспечению [Текст]/ К.И. Вигерс. - Microsoft Press - 2004. - 575 с.

23. Гаврилов, Д.А. Управление производством на базе стандарта MRP II. 2-е изд. СПб.: Питер, 2005. - 416 с.

24. Гладун, А.Я. Онтологии в корпоративных системах. Часть 2 [Электронный ресурс] / А.Я. Гладун, Ю.В. Рогушина // Корпоративные системы: №1, 2006. - Режим доступа: http://www.management.com.ua/ims/ims116.html, свободный. - Загл. с экрана.

25. Глазунов, В.Н. Поиск принципов действия технических систем М.: 1990.

26. Голдовский, Б.И., Вайнерман, М.И. Рациональное творчество. М.: Речной транспорт, 1990.

27. ГОСТ Р ИСО/МЭК 12207/99. Государственный стандарт РФ. Информационная технология. Процессы жизненного цикла информационных систем. М., 1999.

28. Грекул, В.И. Проектирование информационных систем / В.И. Грекул, Г.Н. Денищенко, Н.Л. Коровкина - 2-е изд., испр. — Интернет-университет информационных технологий - ИНТУИТ.ру, 2010. - 200 с.

29. Григорьев, М.В., Григорьева, И.И. Проектирование информационных систем. Учебное пособие для вузов. М.: Юрайт, 2019. - 318 с.

30. Гринберг, П. CRM со скоростью света. СПб: Символ Плюс, 2007. -528 с.

31. Гудман, С., Хидетниеми, С. Введение в разработку и анализ алгоритмов. Пер. с англ. М.: Мир, 1981. - 368 с.

32. Гуляев, Ю.В. Методология стандартизации для обеспечения интероперабельности информационных систем широкого класса. Аналитический обзор [Текст] // Ю.В. Гуляев, Е.Е. Журавлёв, А.Я. Олейников / Журнал электроники. - №3. - 2012. - №2. - 40с. -Режим доступа: http://jre.cplire.ru/iso/mar12/2/text.pdf

33. Гуляев, Ю.В. Открытые системы: от принципов к технологии [Текст]/Ю.В. Гуляев, А.Я. Олейников // Информационные технологии и вычислительные системы: №3 - Москва: Отделения нанотехнологий и информационных технологий Российской академии наук, 2003. - С. 4-12.

34. Гэри, М., Джонсон, Д. Вычислительные машины и труднорешаемые задачи М.: Мир, 1982.

35. Дейт, К.Дж. Введение в системы баз данных. 8-е издание. М.: Вильямс, 2006. - 1328 с.

36. Добров, Б.В. Лингвистическая онтология по естественным наукам и технологиям для приложений в сфере информационного поиска [Электронный ресурс] / Б.В. Добров, Н.В.Лукашевич, 2005. - Режим доступа http://fccl.ksu.ru/issue_spec/docs/oent-kgu.doc, свободный. - Загл. с экрана.

37. Дубов, Ю.А. и др. Многокритериальные модели формирования и выбора вариантов систем. М.: Наука, 1986.

38. Жевнерчук, Д.В. Обобщенный метод синтеза многокомпонентных интероперабельных структур на основе онтологии и недетерминированного конечного автомата // Информационные технологии. - №2 - том 25 - 2019 - С. 67-74.

39. Жевнерчук, Д.В. Онтологический каркас поддержки профилирования вычислительных систем [Текст] / Д.В. Жевнерчук // Системы управления и информационные технологии: №2.1(56) - Воронеж: ВГТУ, 2014. -С. 187-190.

40. Жевнерчук, Д.В. Принципы блочно-иерархической организации открытых информационных систем. Методика // Д.В. Жевнерчук / Н.Новгород: НГТУ им. Р.Е. Алексеева. - 2017 г. - С. 10. - Режим доступа. - печатный вариант находится на кафедре «Вычислительные системы и технологии» Института радиоэлектроники и информационных технологий.

41. Жевнерчук, Д.В. Семантическое моделирование открытых информационных систем [Текст]: учеб. пособие / Д.В. Жевнерчук, Л.С. Ломакина, А.С. Суркова // Изд-во. Нижегородского гос. техн. унив. им. Р.Е. Алексеева. - 2018. - 144 с.

42. Заботина, Н.Н. Проектирование информационных систем: Учеб. пособие. М.: Инфра-М, 2013. - 331 с.

43. Закревский, А.Д. Алгоритмы синтеза дискретных автоматов. М.: Наука, 1971.

44. Информационные технологии. Системы промышленной автоматизации и их интеграция. Интероперабельность. Основные положения // ГОСТ Р 55062 - 2012.

45. Исаев, Г.Н. Проектирование информационных систем. М.: Изд-во «Омега-Л», 2013. - 424 с.

46. Кандырин, Ю.В., Шкурина Г.Л. Процедуры генерации и выбора при проектировании технических объектов. Волгоград, 1999.

47. Коберн, А. Современные методы описания функциональных требований к системам [Текст] / А. Коберн - М.: Изд-во «Лори», 2002. -263 с.

48. Коваль, С.А. Безэкземплярные и экземплярные онтологии [Текст] / С.А. Коваль // XXXVI междунар. филолог. конф.: сборник материалов, -СПбГУ, 2007. - Режим доступа http://skowal.narod.ru/research/ontology2007, свободный. - Загл. с экрана.

49. Когаловский, М.Р., Калиниченко, Л.А. Концептуальное моделирование в технологиях баз данных и онтологические модели // Труды симпозиума «Онтологическое моделирование», г. Звенигород, 1920 мая 2008 г. - М.: ИПИ РАН, 2008 - 303 с.

50. Козленко, Л. Проектирование информационных систем [Электронный ресурс] / Л. Козленко // КомпьютерПресс: Т.9.3 - М.: ООО КомпьютерПресс, 2001. - Режим доступа http://www.iteam.ru/publications/it/section_53/article_1232, свободный. -Загл. с экрана.

51. Колтунова, Е. Требования к информационной системе и модели жизненного цикла [Электронный ресурс] / Е. Колтунова - Режим доступа http://www.carabisolutions.sp.ru, свободный. - Загл. с экрана.

52. Кофман, А. Введение в теорию нечетких множеств. М.: Радио и связь, 1982. - 432 с.

53. Кулиничев, А.А. Концептуальные «Каркасы» онтологий в поддержке принятия решений в условиях неопределенности [Электронный ресурс] /А.А. Кулиничев, - Режим доступа http://www.masters.donntu.edu.ua/2013/fknt/büykn/Hbrary/4.htm, свободный. - Загл. с экрана.

54. Курейчик, В.М., Курейчик, Л.В. Построение онтологии для поиска нетривиальных знаний // Информатика, вычислительная техника и инженерное образование, 2015. - №4(24). - С. 1-13.

55. Лапшин, В.А. Онтологии в компьютерных системах. М.: Научный мир, 2010. - 247 с.

56. Леффингуелл, Д. Принципы работы с требованиями к программному обеспечению [Текст]/ Д. Леффингуелл, Д. Уидриг - М.: Изд-во Вильямс, 2002. - 448 с.

57. Новиков, Л. Введение в Rational Unified Process [Электронный ресурс] / Л.Новиков - Режим доступа http://www.interface.ru/rational/interface/151199/rup/main.htm, свободный. -Загл. с экрана.

58. Норенков, И.П. Основы автоматизированного проектирования. Учебник для вузов. 2-е изд. перераб. и доп. М.: Изд-во МГТУ им. Н.Э. Баумана, 2002. - 336 с.

59. Одрин, В.М., Картавов, С.С. Морфологический анализ систем. Киев: Нукова Думка, 1977.

60. Олейник, П.П. Корпоративные информационные системы. СПб.: Питер, 2012. - 176 с.

61. Олейник, П.П. Основные стандарты корпоративных информационных систем: MPS, MRP, MRP II, ERP, CSRP, ERP II. Lap Lambert Academic Publishing, 2011. - 84 c.

62. Радченко, Г.И. Распределенные вычислительные системы / Г.И. Радченко / Издат-во Южно-Уральского государственного университета - 2011. - 176 с.

63. Скворцов, Н.А., Ступников, С.А. Использование онтологии верхнего уровня для отображения информационных моделей // Труды 10-й Всероссийской научной конференции «Электронные библиотеки: перспективные методы и технологии, электронные коллекции» (RCDL'2008). - Дубна: ОИЯИ, 2008. - с. 122-127.

64. Скорняков, Л.А. Элементы теории структур. М.: Изд-во Наука, главная редакция физико-математической литературы, 1970. - 148 с.

65. Советов, Б.Я., Водяхо, А.И., Дубенецкий, В.А., Цехановский, В.В. Архитектура информационных систем: учебник. М.: Издательский центр «Академия», 2012. - 288 с.

66. Сухомлин, В.А. Концепция Глобальной информационной инфраструктуры ^11) и ее стандартизация / В.А. Сухомлин // Информационные технологии и вычислительные системы: №3, 1997, С. 33-56.

67. Сухомлин, В.А. Методологический базис открытых систем / А.В. Сухомлин // Открытые системы: №4, 1996. - С. 48-51.

68. Уилсон, Р. Дж. Введение в теорию графов, 5-е изд.: Пер. с англ. СПб.: Диалектика, 2019. - 240 с.

69. Харари, Ф. Теория графов. М.: Мир, 1973. - 302 с.

70. Хаусдорф, Ф. Теория множеств. М.: ОНТИ, главная редакция технико-теоретической литературы, 1937. - 305 с.

71. Чистов, Д.В., Мельников, П.П., Золотарюк, А.В., Ничепорук, Н.Б. Проектирование информационных систем. Учебник и практикум. М.: Юрайт, 2019. - 258 с.

72. Шапиро, Дж. Моделирование цепи поставок. СПб: Питер, 2006. -720 с.

73. Ashenhurst, R. L. Ontological Aspects of Information Modelling. // Minds and Machines, No6, 1996. p. 287-394.

74. Batovrin, V.K. Profile design of open information system environment [Text] / V.K. Batovrin, V.V. Vasyutovich // Inform. Tekhnol. Vychisl. Sist.:No3, 2003.- pp. 19-27.

75. Borst, W. N., Akkermans, J. M., Top, J. L. Engineering Ontologies // International Journal of Human-Computer Studies, No46, 1997. p. 365-406.

76. Chen, D. Architectures for enterprise integration and interoperability: Past, present and future [Text] / Chen, D., Doumeingts, G., Vernadat, F. // Computers in Industry: 59(7), 2008. - P. 647-659.

77. Chen, D., Doumeingts, G. European initiatives to develop interoperability of enterprise applications-basic concepts, framework and rodmap / Chen, D., Doumeingts, G. // Annual Reviews in Control, Volume 27, Issue 2, 2003. - P. 153-162.

78. Dershem, H. Programming Languages: Structures and Models [Text] / Dershem, H. Jipping M - PWS Publishing Co., Boston,1995. - P. 412.

79. Ding, Y. The role of ontologies in eCommerce [Text] / Y. Ding // SteffenStaab, Rudi Studer (ed.), Handbook of Ontologies, 2004. - P. 22-47.

80. European Interoperability Framework for Pan-European E-government Services. Draft for Public Comments - As Basis for EIF 2.0 - 15/07/2008. http://ec.europa.eu/idabc/servlets/Doc?id=31597.

81. Guarino, N. Formal ontology in information systems // Proceedings of FOIS'98, Trento, Italy, 6-8 June 1998. Amsterdam, IOS Press, 1998. - 3-15 p.

82. Guarino, N. Understanding, Building, and Using Ontologies [El res] / N. Guarino - Access http://ksi.cpsc .ucalgary.ca/KAW/KAW96/guarino/guarino.html.

83. Humm, B., Schreier, U., Siedersleben, J. Model-Driven Development -Hot Spots in Business Information Systems // European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA 2005) -P. 103-114.

84. Integration Definition for Function Modeling (IDEF0). Software Standard, Modeling Techniques. - National Institute of Standards and Technology, 1993.

85. IEEE Std 610.12-1990 Standard Glossary of Software Engineering Terminology. The Institute of Electrical and Electronics Engineers, New York, USA, 1990.

86. ISO/IEC 2382-1:1993. Information technology - Vocabulary - Part 1: Fundamental terms, 1993.

87. ISO/IEC 7498:1996, Information processing systems - Open Systems Interconnection-Basic Reference Model [ITU-T Rec. X.200 (1994)].

88. ITU-T Rec. 902|ISO/IEC 10746-2:1995, Reference Model for Open Distributed Processing - Reference Model: Foundation. ITU-T Rec.903

89. ISO/IEC 10746-3:1995, Reference Model for Open Distributed Processing - Reference Model: Architecture.

90. ISO/IEC 11072:1992, Information Technology - Computer Graphics -Computer Graphics Reference Model.

91. ISO/IEC DIS 14662, Information technology - Open-edi reference model.

92. ISO/IEC 8613/1:1994, Information technology - Open Document Architecture (ODA) and Interchange Format - Introduction and general principles. [ITU-T Rec. T.411(1993)].

93. ISO 9001:1994 Quality systems - Model for quality assurance in design, development, production, installation and servicing.

94. ISO 9002:1994 Quality systems - Model for quality assurance in production, installation and servicing.

95. Kalyanpur, A. OWL: Capturing Semantic Information using a Standardized Web Ontology Language [El res.] / Kalyanpur, A. [et al.] // Multilingual Computing & Technology Magazine, Vol. 15, issue 7, Nov 2004. - Access http://www.mindswap.org/papers/MultiLing.pdf.

96. Kosanke, K. ISO Standards for Interoperability: a comparison in konstantas / P. Bourrires, M. Leonard & N. Boudjilda (Eds.), Interoperability of Enterprise Software and Applications / London: Springer-Verlag, 2006. - P. 55-64.

97. Kureychik, V.M., Safronenkova, I.B.: Automated classification cadsystem tasks using domain ontology. In Conference on Artificial Intelligence «CAI-2016», vol. 2, pp. 216-223, Universum, Smolensk (2016).

98. Margolis, B., Sharpe, J. SOA for the Business Developer: Concepts, BPEL, and SCA. MC Press, 2007.

99. Martin, J., Leben, J. DECnet Phase V: An OSI Implementation. Digital Press, 1992. - 572 p.

100. Noy, N., McGuinness, D. L. Ontology Development 101: A Guide to Creating Your First Ontology // Stanford Knowledge Systems Laboratory Technical Report KSL-01-05 and Stanford Medical Informatics Technical Report SMI-2001-0880, March 2001. // URL:http://protege.stanford.edu/publications/ontology_development/ontolo

101. Oden, H.W., Langenwalter, G.A., Lucier, R.A. Handbook of Material and Capacity Requirements Planning. 1st Edition. McGraw-Hill, 1993.

102. O'Leary, D.L. Enterprise resource planning systems. Cambridge University Press, 2000. - 232 p.

103. Schmidt, D.C. Model-Driven Engineering // IEEE Computer. - 39(2). -2006. - P. 25-31.

104. Sebesta, R., Concepts of Programming Languages, 4th edition, Benjamin Cummings, Redwood City, CA, 1996 - 435 p.

105. Sharman, R., Kishore, R., Ramesh, R. Ontologies. A Handbook of Principles, Concepts and Applications in Information Systems. New York: Springer Science, 2007. - 923 p.

106. Shoham, Y. Agent Oriented Programming// Artificial Intelligence. - 1993. - Vol.60, No1. - P. 51-92.

107. Waldner, J.-P. CIM: Principles of Computer-Integrated Manufacturing. John Wiley & Sons, 1992.

108. The Workflow Handbook / edited by L. Fischer. Future Strategies Inc., Lighthouse Point, FL, USA, 2002. - 428 p.

109. Wand, Y., Weber, R. An ontological model of an information system. IEEE Transactions of Software Engineering (TSE), 16(11). - P. 1282-1292.

110. Weber, R. Ontological foundations of information systems. Monograph. Melbourne: Coopers & Lybrand, 1997. - 212 p.

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

Рис. А.1 - Акт о внедрении в ФГБОУ ВО Нижегородского государственного технического университета им. Р.Е. Алексеева при проектировании и разработке образовательных программ высшего образования

сетевые

экспертные

системы

12 марта 2020 г.

Акт о внедрении

результатов диссертации Кулясова Павла Сергеевича

«Модели и алгоритмы сборни многокомпонентны* систем, на основе алгебре ическнх структур», представ,плиний на сйнсиание ученой степени кандидата технически» наук

Настоящим актом подтверждается, что рекомендации и прикладные результаты, представленные в работе, использовались в ООО «Сетевые экспертные системы» при модернизации платформы фильтрации интернет-контента.

На основании предложенных в диссертации моделей и обобщенных алгоритмов индексирования многокомпонентных структур, была разработана спецификация описания фильтров Интернет-контента, а также требований, предъявляемых к контент-фильтру, в виде многокомпонентных структур.

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

Рис. А.2 - Акт о внедрении в ООО «Сетевые экспертные системы» при разработке платформы фильтрации интернет-контента

Исполнительный директор

ООО «Сетевые экспертные системы»

ООО *Сыевыс экспертные системып

ЁйЛЭй, 11 и ж ним Навгорад,

ул. Академика Сахарова, д. 4, оф. 507 !] этаж|

Телефон: *7 320 18-84

минобрнауки России

федеральное государственное йюжстнос образовательное учреждение выешм-о образования a F 3 и-жсторолск и й государстненный технический университет им. Р.Е. Алексея" (НГТУ)

УТВЕРЖДАЮ

Первый проректор - проектор № образовательной Дйггетлос

АКТ

Í

Г. ИШЖНЛН Новгород

«внедрении реэульт&пн диссертационной работы Куляеова I lamia Сергеевича

Результаты диссертации Кулясопа Павла Сергеевича (научный руководитель д.т.н., доцсртт Жевнерчух Д.В.), на тему «Модели и алгоритмы с(юрки нногокомлонентнык систем на основе алгебраических структур», представленной на соискание ученой степени кандидата технических наук, внедрены в учебный процесс Нижегородского государственного технического университета им. Р.Е. Алексеева па кафедре «Вычислительные системы и технологии». Результаты диссертации используются при проведении учебного курса «Открытые информационные системы» при подготовке магистров по направлению «Информатика и вычислительная техника», магистерские программы «Теоретическая информатика» и «Диагностические и и i]форДО11но!11 ro-noi 1С кобыс с и стемы».

Заведующий кафедрой

Рис. А.3 - Акт о внедрении в учебный процесс ФГБОУ ВО Нижегородского государственного технического университета им. Р.Е. Алексеева

«Вычислительные системы и тккнпптттм

Д.Т.Н.

Рис. А.4 - Свидетельство о государственной регистрации программы