Управление режимами функционирования сложных производственных процессов с использованием дискретных итеративных сетей тема диссертации и автореферата по ВАК РФ 05.13.06, кандидат наук Наги Абдулл Мохаммед Мохаммед

• Наги Абдулл Мохаммед Мохаммед
• кандидат наук
• 2019

Оглавление диссертации кандидат наук Наги Абдулл Мохаммед Мохаммед

Оглавление

Введение

1 Современные системы моделирования сложных производственных систем

1.1 Методы математического моделирования и вычислительного эксперимента

1.2 Дискретно-аргументное моделирование систем

1.3 Виды сетей Петри и их характеристики

1.4 Использование сетей Петри при моделировании металлургического производства

1.5 Использование дискретных пространственно-временных моделей при моделировании процесса производства металлопродукции

2 Моделирование сложноструктурированной итеративной сети многостадийного производственного процесса

2.1. Описание многостадийного производственного процесса

2.2 Формирование сложноструктурированной итеративной сети многостадийного производственного процесса

2.3 Описание элементов итеративных сетей

2.4 Представление технологического процесса в виде вероятностного автомата

3 Моделирование сложных производственных процессов с использованием сетей Петри

3.1. Формирование параметров сетей Петри

3.2. Описание переходов сетей Петри

3.3 Описание матриц сетей Петри

3.4 Применение иерархических сетей Петри

4 Моделирование сложных производственных процессов с использованием вероятностных и цветных сетей Петри

4.1 Вероятностные сети Петри

4.2 Хранение истории при помощи цветовой идентификации фишек

4.3 Применение цветных сетей Петри

4.4 Анализ технологических процессов с помощью сетей Петри

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

5.1 Структура автоматизированной системы управления режимами функционирования сложных производственных процессов с использованием дискретных итеративных сетей

5.2 Описание концептуальной модели для базы данных

5.3 Объектно-ориентированное представление сетей Петри

5.4 Классовое представление для изображения технологического процесса в виде цветной и вероятностной сети

5.5 Примеры программной реализации системы

ЗАКЛЮЧЕНИЕ

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

Приложения

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

ВВЕДЕНИЕ

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

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

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

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

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

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

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

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

Теоретико-методологической основой исследований, проведенных в диссертационной работе, послужили труды С.Л. Блюмина, А.М. Шмырина, Т. Саати, В.А. Ирикова, С.В. Емельянова, Н.А. Северцева, М. Месаровича, В. Г. Лазарева, А.Д. Цвиркуна, Дж. Питерсона., И.А. Ломазовой, В.Е. Котова.

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

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

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

Задачи исследований:

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

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

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

3. Разработать алгоритмы моделирования внутренних итеративных цепей одномерной однонаправленной сети многостадийного производственного процесса.

4. Модифицировать методы и алгоритмы исследования сложных промышленных процессов, описываемых вероятностными автоматами, одномерными однонаправленными итеративными сетями и цепями.

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

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

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

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

Тематика работы соответствует следующим пунктам паспорта специальности 05.13.06: п4 «Теоретические основы и методы математического моделирования организационно-технологических систем и комплексов, функциональных задач и объектов управления и их алгоритмизация», п.8. «Формализованные методы анализа, синтеза, исследования и оптимизация

модульных структур систем сбора и обработки данных в АСУТП, АСУП, АСТПП и др.», п. 10 «Методы синтеза специального математического обеспечения, пакетов прикладных программ и типовых модулей функциональных и обеспечивающих подсистему АСУТП, АСУП, АСТПП и др.».

Научная новизна. В диссертации получены следующие результаты, характеризующиеся научной новизной:

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

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

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

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

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

процессов, и позволяющего использовать итеративные цепи и сети, иерархические, вероятностные и цветные сети Петри.

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

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

Реализация и внедрение результатов работы.

Результаты теоретических и практических исследований диссертации прошли промышленную апробацию и внедрены в виде системы управления сложными пространственно-распределенными производственными процессами (ООО «Липецкая трубная компания «Свободный сокол»), системы моделирования и оптимизации технологии производства железобетонных изделий (завод «Стройдеталь»).

Результаты диссертационной работы используются в Липецком государственном техническом университете при подготовке магистрантов по направлению 09.04.01 «Информатика и вычислительная техника», профиль подготовки «Информационное и программное обеспечение автоматизированных систем» по дисциплине «Структурное моделирование сложных процессов и систем», при подготовке бакалавров по направлению 09.03.01 «Информатика и вычислительная техника», профиль подготовки «Автоматизированные системы обработки информации и управления» по дисциплинам «Моделирование производственных процессов», «Теория автоматов».

Апробация работы. Основные положения диссертационной работы докладывались и обсуждались на следующих научно-практических конферениях: научной конференции по проблемам технических наук (Липецк, 2014), «Современная металлургия нового тысячелетия» (Липецк, 2015), международной научно-технической конференции «Проблемы и перспективы развития машиностроения» (Липецк 2016), Proceedings of the Conference «Science in the modern information society XIII» Vol. 1, (North Charleston, SC, USA:CreateSpace,

2017), XI Международной научно-технической конференции «Новые Технологии в Научных Исследованиях, Проектировании, Управлении, Производстве» (Воронеж 2017), XXXVII Международная научно-практическая конференция «Actual scientific research 2018» (Москва 2018), XXIII Международная научно -практическая конференция «Вопросы современных научных исследований» (Омск

2018).

Публикации. По теме диссертации опубликовано 21 научных работы, в том числе: 4 статьи в ведущих реферируемых научных журналах, рекомендованных в Перечне ВАК, 2 статьи в базе данных web of science, 2 свидетельства о государственной регистрации программы для ЭВМ, из которых в автореферат включено 15 работ.

В работах, опубликованных в соавторстве и приведенных в конце автореферата, автору принадлежит: [1,7] - математическое описание функций управления технологическими режимами; [2,5,15] - алгоритмы исследования режимов функционирования многостадийного производственного процесса; [3,8] - реализация алгоритмов моделирования внутренних итеративных сетей; [4,6,14] -описание и реализация функций моделирования сложных технологических процессов с использованием сетей Петри; [9-13] - описание структурных элементов технологической системы и их характеристики.

Структура и объем работы. Диссертация состоит из введения, пяти глав, заключения, списка использованной литературы (136 источников), приложений. Общий объем 163 страниц, включая 78 рисунков и 38 таблиц.

1. Современные системы моделирования сложных производственных

систем

1.1 Методы математического моделирования и вычислительного

эксперимента

В совершенствовании технологии производства необходим постоянный контроль за технологическим процессом и сбор информации о протекании процессов с помощью использования систем слежения. Точность и объективность информации по технологическому процессу, которая заносится в базы данных, позволяет усовершенствовать процесс обработки. Таким образом появляется возможность перейти к формированию самонастраивающихся систем управления технологическим процессом. Такая система контроля обеспечивает обратную связь по отклонению на множестве значений показателей качества [1 - 10].

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

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

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

Основой моделирования выступают принципы системного подхода, применяемого к объектам [17, 18].

Важную роль играет процедура выбора структуры и параметров математических моделей [19].

Для нахождения моделей применяются экспериментальные данные, на основе которых в результате обработки и формируется модель [20-22].

Процесс идентификации объектов проходит несколько стадий.

На первой стадии необходимо выбрать структуру модели на основании собранной информации об изучаемом процессе. На второй стадии необходимо выбрать критерию близости объекта и модели, который опирается на специфику задачи (критерия качества). Последней стадией является определение модели, наиболее оптимальных в соответствии с выбранным критерием близости. Первая задача идентификации является структурной, а последняя - параметрической [23].

Для моделирования сложных производственных процессов применяется «ситуационный подход» [24], который используется при моделировании и управлении сложными объектами. Точное определение ситуации определяется предметной областью и применяемым аппаратом формализации [28]. Как правило полная ситуация формируется в соответствии с представлениями о данной структуре изучаемого объекта, о текущем состоянии системы управления и об используемых стратегиях управления [24]. В итоге любая ситуация представляется набором переменных, характеризующих сложную систему. Однако изучения сложных производственных систем точный математический метод решения заранее неизвестен. Поэтому применяются подходы, основанные на сочетании математических методов с эвристическими элементами и возможностями компьютерного моделирования. В [29, 30] изложены основы структурного проектирования, современных методов системного анализа и проектирования сложных систем. Описываются методы модельных представлений АСУ в процессе их многофункционального синтеза. Рассматриваются концептуальные модели используемых структур систем

автоматизированного управления. В процессе развития систем обработки экспериментальных данных системы АСУТП и АСУП сливаются в единую интегрированную систему управления производственным процессом [31-32]. Осуществляется анализ различных технологических решений с применением имитационных моделей исследуемых объектов. С помощью полученных моделей исследуется влияние технологических факторов на процесс управления, формируются эффективные решения, совершенствующие процесс функционирования металлургических производств [29-34].

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

Так как в сложных производственных системах реализуется многовариантность и стохастичность, то для их исследования используются подходы теории информации. Информационная теория иерархических систем рассмотрена в работах [25, 42-50]. Подходы анализа иерархий, которые включают информационные оценки, формируют путь решения различных многокритериальных задач со сложными иерархическими структурами. Использование таких методов дает возможность применять в иерархии знания, по изучаемой проблеме [25].

В работах [45-47] рассматриваются методы поиска оптимальных иерархических структур и математические модели. Важной областью использования таких подходов выступают задачи формирования иерархической структуры сложной системы управления. Способы иерархического моделирования и их использование при статистическом анализе данных приведены в работах [48-50]. Модели дискретной оптимизации часто используются при поиске оптимальных иерархий [47]. Сложные производственные системы формируют структуру взаимосвязанных объектов. Принципы формализации сложных систем описаны в [23-27], где приведены методы анализа сложных решений, учитывающих зависимости между

используемыми критериями оценки, альтернативами и иными элементами систем. В работах [25-27] описан метод аналитических сетей, выступающий обобщением метода анализа иерархий.

Системы, которые содержат дискретные входы и характеризуются дискретной обработкой технологической информации, относятся к дискретным системам. Такие системы отличаются своим структурным представлением, математическим описанием и компьютерной реализацией [51]. Процесс синтеза сложных дискретных систем управления на основе идентификационного подхода с учетом характеристик качества управления описан в [52].

Для синтеза дискретных систем используются гибкие дискретные системы [11, 35, 53, 54].

1.2 Дискретно-аргументное моделирование систем

Важной проблемой структурного синтеза автоматов выступает определение методов формирования структурных схем автоматов на основе их композиции [55-61]. Канонический подход структурного синтеза использует элементарные автоматы двух классов. Первый класс состоит из элементарных автоматов с памятью. Такие автоматы содержат внутренние состояния, которые являются элементами памяти. Второй класс состоит из автоматов без памяти.

Клетка без памяти (автомат без памяти) (рисунок 1.1) или линейная комбинационная цепь не осуществляет эволюций в пространстве и времени или относительно других аргументов. Она выступает как «чистый преобразователь вход-выход» [62].

У —►

Ь

Рисунок 1.1 - Клетки без памяти (а) и с памятью (Ь)

Вектор входа и е К и вектор выхода у е К связаны линейным преобразованием, которое определяется матрицей над определенным числовым полем К:

у = Ьи. (1.1)

Таким образом, клетка без памяти является функциональной системой. Клетка с памятью (автомат с памятью) или линейная стационарная «дискретно-временная динамическая система», характеризуется уравнениями состояний входов и выходов:

х(г) = Фх(г -1) + х¥и(г), х(0) = х0 ^ 2)

у(г) = Их(г) + ви(г), г еТ = 10 = {0,1,2,...}. (1.3)

Клетка с памятью сложнее клетки без памяти. Пространственная структура такой клетки зашита в матрицах уравнений (1.2, 1.3), а все временные задержки кратны единичной.

Технологический процесс можно описать в виде итеративной цепи (рисунок 1.2) [62]:

Рисунок 1.2 - Представление технологии с помощью итеративной цепи

Одномерные однонаправленные линейные итеративные цепи являются бесконечной цепочкой клеток без памяти, направленной вправо (рисунок 1.3).

Рисунок 1.3 - Одномерная однонаправленная линейная итеративная цепь

Каждой клетке соответствует номер. Клетка с номером £ е 11 = {1,2...} ,

имеет внешний вход и(£) е К1 и внешний выход у(£) е Кт .

Для каждой клетки итеративной цепи существуют внутренние входы — 1) е Кп и выходы х(^) е К". Внутренние выходы клетки с номером £ — 1 представляют собой входы клетки s, а внутренние выходы клетки с номером я - входы клетки £ +1. Благодаря идентичности клеток пространство итеративной сети однородна. Это позволяет нам описать каждую клетку с помощью уравнения:

х( £ ) У( £)

= Ь

Х( £ — 1)

и (£)

1. (1.4)

Разделив матрицу L, получим уравнения состояний и выходов одномерной однонаправленной линейной итеративной цепи:

х(£) = Фх(£ — 1) + ^и(^), X(0) = х0 (1.5)

у($) = — 1) + ви^), £ е I. (1.6)

Если подставить пространственную переменную я вместо переменной времени I, и сопоставить эти уравнения с уравнениями стационарной линейной дискретно-временной системы, то они будут практически идентичны (1.5, 1.6).

«Методы исследования итеративных цепей являются теории дискретно -временных систем» [63].

На рисунке 1.4 отображена одномерные двунаправленные линейные итеративные цепи, которые имеют вид бесконечной в две стороны цепочки клеток без памяти.

Рисунок 1.4 - Одномерная двунаправленная линейная итеративная цепь 1 типа

Особенность двунаправленной цепи ( в отличие от однонаправленной)

состоит в том, что любая клетка б имеет два внутренних входа х (§-1) и х (Б+1),

а ее внутренний выход х (8) подается на клетки 8 +1 и 8 — 1 . На рисунке 1.5

отображена эта разница на шаблонах соседства однонаправленной и двунаправленной цепей (рисунок 1.5).

Рисунок 1.5 - Шаблоны соседства однонаправленной и двунаправленной цепей

Поскольку для клеток цепи характерна идентичность, любую клетку можно описать следующим уравнением:

х ( 5 ) У ( * )

= ь

х ( * -1)" х ( 5 +1) и ( 5 )

,5 еZ

(1.7)

При разделении матрицу L на блоки, получаем уравнение цепи: х(*) = Ф1 х(5 - 1) + Ф2х(5 + 1) + Чи(5),

У(5) = Нх(5 -1) + Щх(5 + 1) + Ои(*), 5 е Z

(1.8)

Изучаемая цепь относится к цепи I типа, а на рисунке 1.6. показана цепь II типа. Каждая клетка 8 имеет внутренние выходы Х1(Б) и Х2(3) направленные на клетки 8 +1 и 8 — 1 .

х1(5) х1(5 -1)

Х2(5) = ь х2 (5 +1) , 5 е Z

_ У(5) _ и(5)

(1.9)

или

X (5) = ФпX (5 -1) + Ф12Х2 (5 + 1) + ^и(5), х2 (5) = Ф21 х1 (5 -1) + Ф22х2 (5 +1) + и(5), 5 е Z

(1.10)

Рисунок 1.6 - Одномерная двунаправленная линейная итеративная цепь II типа

Подобное разбиение вектора состояния на составляющие (в данном случае - составляющая «вправо» х1 и составляющая «влево» х2) используется при описании технологических процессов.

Большое внимание моделям (1.10) уделяется в вычислительной математике, где они интерпретируются как класс разностных схем [ 64].

Двумерные однонаправленные линейные итеративные цепи являются бесконечной вправо и вверх таблицу клеток без памяти (рисунок 1.7).

Рисунок 1.7 - Двумерная однонаправленная линейная итеративная цепь 1 типа

2

Клетки занумерованы парами чисел х( 51, £2) е I. В отличие от одномерной цепи, каждая клетка содержит внутренние входы х(£1 — 1, £2) и х(£1, £2 — 1). Внутренний выход клетки -яС^л £2) подается на две клетки

1 +1 £2) и (¿1, £2 +1) (соответствующий шаблон соседства представлен на рисунке 1.8.

(Я] ~ 7, 52)

С-► •

Т Ь $2 - 1)

Рисунок 1.8 - Шаблон соседства двумерной однонаправленной цепи

Клетки <А,0) и (0,s2) (краевые) содержат внутренние выходы л:0(^1,0) и х0(0, s2). Поскольку клетки идентичны (цепь пространственная и однородная) и любую можно описать уравнением

х(^ -1, л2)

= Ь

S2 -1)

> , ^2 ^

(1.11)

так, что уравнение цепи:

Х(*1, ) = Ф1 Х(*1 - 1 ) + Ф2Х(^1, - 1) + (, ), У , ) = Н1 Х^1 - 1 ) + Н2Х^1, - 1) + ^2й, )

(1.12)

где (, ^2) е = , ^2 .

Окрестностные модели, основой которых являются методы теории систем [43,90-92], были рассмотрены в научных работах [19,65-89]. Они являются обобщением дискретных моделей [90].

Симметричная линейная окрестностная модель для состояния и входа (1.13) и линейная смешанная модель для состояния, входа и выхода (1.14) [19,71] - представители простейшего класса окрестностных моделей.

аеОх[а]

РеОу[а]

(1.13)

^ ™х[а,а]Х[а] + ^ ш„[а,Р]У[Р] + ^ шу[а,у]У[у] = 0,

аеОх[а]

РеОу[а]

ГеОу[а]

(114)

где , У[а] Е Ят, У [а] ЕЯ4 - состояние, вход и выход в узле системы; wx[a, а] е Ясхп, wv[a, р] Е исхт , шу[а, у] еЯсхц - матрицы-параметры; Ох[а], Оу[а], Оу[а] - окрестность узла а по состоянию, входном и выходному воздействию соответственно; а,а,р,у Е А , А ={а1,а2,^,аы} - конечное множество значений дискретного аргумента системы |А|=Ж

На рисунке 1.9 отображена схема связи различных классов исследуемых дискретных моделей [93].

Рисунок 1.9 - Схема связи классов дискретных моделей

1.3 Виды сетей Петри и их характеристики

Статистические сведения о протекании многоэтапного производства можно представить в виде сети Петри [62,94-96]. Сети Петри представляют собой математический аппарат, позволяющий моделировать динамические дискретные системы. Если имеющиеся показатели процесса рассматривать как многомерный вектор, множество которых разбито на несколько классов, то на каждом этапе производства формируются наборы описаний производственного процесса. Моделируется переход процесса из одного класса в другой при завершении очередного этапа.

В ряде источников можно встретить следующую Классификация сетей Петри приведена на рисунке 1.10 [97, 98].

Рисунок 1.10 - Вариант классификации сетей Петри

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

Разновидностями такой сети являются:

• безопасная сеть Петри. Описание сетей Петри, в которых каждая вершина может содержать не более одной метки (К £ {0,1}), а также все дуги имеют единичный вес;

• ординарная сеть Петри. Ее особенность заключается в том, что все дуги имеют кратность равную 1 [94].

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

Список литературы диссертационного исследования кандидат наук Наги Абдулл Мохаммед Мохаммед, 2019 год

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

1. Волосов, С.С. Управление качеством продукции средствами активного контроля [Текст] / С.С. Волосов, З.Ш. Гейлер. - М.: Издательство стандартов, 1989. - 264 с.

2. Жадан, В.Т. Совершенствование технологии прокатки на основе комплексных критериев качества [Текст] / В.Т. Жадан, В.А. Маневич - М.: Металлургия, 1989. - 96 с.

3. Белянский А.Д., Кузнецов Л.А., Франценюк И.В. Тонколистовая прокатка. Технология и оборудование. - М.: Металлургия, 1994. - 380 с.

4. Райбман, Н.С. Построение моделей процессов производства [Текст] / Н. С. Райбман, В. М. Чадеев. - 1975. - 376 с.

5. Пупков, К.А. Теория оптимизации систем автоматического управления [Текст] / К.А. Пупков, Н.Д. Егупов. - М: МГТУ им. Н.Э. Баумана, 2004. - 744 с.

6. Вихров, Н.М. Управление и оптимизация производственно-технологических

процессов [Текст] / Н.М. Вихров [и др.]. - СПб.: Энергоатомиздат, 1995. - 301 с.

7. Ивахненко, А.Г. Моделирование сложных систем по экспериментальным данным [Текст] / А.Г. Ивахненко, Ю.П. Юрачковский. - М.: Радио и связь, 1986. -118 с.

8. Блюмин, С.Л. Оптимальное моделирование технологических связей [Текст]: Учебное пособие/ С.Л. Блюмин, А.К. Погодаев, В.В. Барышев. - Липецк: ЛипПИ, 1993. - 68 с.

9. Блохин В. Г. Современный эксперимент: подготовка, проведение, анализ результатов [Текст] / Блохин В.Г., Глудкин О. П., Гуров А. И., Ханин М. А.; Под ред. О. П. Глудкина, - М.: Радио и связь, 1997. - 232 с.

10. Кабанова, О.В. Статистические методы построения физико-химических моделей металлургических процессов [Текст] / О.В. аова, Ю.А. Максимов, Л.П. Рузинов. - М.: Металлургия, 1989. - 216 с.

11. Юрков, Н.К. Модели и алгоритмы управления интегрированными производственными комплексами [Текст]: Монография / Н.К. Юрков. - Пенза: Информационно-издательский центр ПГУ, 2003. - 198 с.

12. Марчук, Г.И. Адаптивная АСУ производством (АСУ «Сигма») [Текст] / Г.И. Марчук, А.Г. Аганбегян, И.М. Бобко / Под ред. Г.И. Марчука. - М.: Статистика, 1981. - 176 с.

13. Антонов, Н.В. Адаптивное управление в технических системах [Текст]: учебное пособие / Н.В. Антонов, И.Ю. Тюкин. - СПб.: Издательство С. -Петербургского Университета, 2001. - 244 с.

14. Ириков, В.А. Распределенные системы принятия решений. Теория и приложения [Текст] / В.А. Ириков, В.Н. Тренев. - М.: Наука, Физматлит., 1999. -288 с.

15. Гилев, С.Е. Распределенные системы принятия решений в управлении региональным развитием [Текст] / С.Е. Гилев, С.В. Леонтьев, Д.А. Новиков. - М.: ИПУ РАН, 2002. - 52 с.

16. Игнатьев, М.Б. Модели и системы управления комплексными экспериментальными исследованиями [Текст] / М.Б. Игнатьев, В.А. Путилов, Г.Я. Смольков. - М.: Наука, 1986. - 232 с.

17. Прангишвили, И.В. Системный подход и общесистемные закономерности Серия "Системы и проблемы управления" [Текст] / И.В. Прангишвили. - М.: СИНТЕГ, 2000. - 528 с.

18. Прангишвили, И.Н. Энтропийные и другие системные закономерности. Вопросы управления сложными системами [Текст] / И.Н. Прангишвили. - М.: Наука, 2003. - 428 с.

19. Блюмин С.Л., Шмырин А.М., Шмырина О.А. Билинейные окрестностные системы. - Липецк: ЛЭГИ, 2006. - 131 с.

20. Льюнг Л. Идентификация систем. Теория для пользователя. - М.: Наука, 1991. - 432 с.

21. Черноруцкий И.Г. Методы оптимизации в теории управления. - СПб. : Питер, 2004. - 256 с.

22. Эйкхофф П. Основы идентификации систем управления. - М. : Мир, 1975.

- 648 с.

23. Блюмин, С.Л. Модели и методы принятия решений в условиях неопределенности [Текст] / С.Л. Блюмин, А.И. Шуйкова. - Липецк: ЛЭГИ, 2001.

- 139 с.

24. Поспелов, Д.А. Ситуационное управление: теория и практика [Текст] / Д.А. Поспелов. - М.: Наука, 1986. - 288 с.

25. Саати, Т. Принятие решений. Метод анализа иерархий [Текст] / Т. Саати. -М.: Радио и связь, 1993. - 320 с.

26. Саати, Т.Л. Принятие решений при зависимостях и обратных связях: Аналитические сети [Текст] / Т.Л. Саати. - М.: Издательство ЛКИ, 2008. - 360 с.

27. Саати, Т. Аналитическое планирование. Организация систем [Текст] / Т. Саати, К. Кернс. - М: Радио и связь, 1991. - 224 с.

28. Мелихов, А.Н. Ситуационные советующие системы с нечеткой логикой [Текст] / А.Н. Мелихов, Л.С. Берштейн, С.Я. Коровин. - М.: Наука, 1990. - 272 с.

29. Липаев, В.В. Системное проектирование сложных программных средств для информационных систем [Текст] / В.В. Липаев. - М.: СИНТЕГ, 2002. - 268 с.

30. Никаноров, С.П. Введение в концептуальное проектирование АСУ: Анализ и синтез структур [Текст] / С.П. Никаноров, Н.К. Никитина, А.Г. Теслинов. - М: Концепт, 2007. - 234 с.

31. Авдеев, В.А. САПР объектов металлургического производства. Металлургический завод и его системный анализ для проектирования [Текст] / В.А. Авдеев, Б.И. Кудрин. - М.: Гипромез, 1992. - 104 с.

32. Смирнов, В.С. Методы и модели управления проектами в металлургии [Текст] / В.С. Смирнов [и др.] - М.: СИНТЕГ, 2001. - 176 с.

33. Управление проектами [Текст]: справочное пособие / В.Д. Шапиро [и др.]; под ред. В.Д. Шапиро. - СПб.: «ДваТри», 1996. - 610 с.

34. Авдеев, В.А. ГИПРОМЕЗ: проектирование и инжиниринг в черной металлургии [Текст] / В.А. Авдеев [и др.] - М.: Металлургия, 1996. - 160 с.

35. Ильин, Н.И. Управление проектами [Текст] / Н.И. Ильин [и др.] - СПб.: «ДваТрИ», 1996. - с.610.

36. Многокритериальные задачи принятия решений [Текст] / Под ред. Д.М. Гвишиани, С.В. Емельянова. - М.: Машиностроение, 1978. - 192 с.

37. Орлов, А.И. Принятие решений. Теория и методы разработки управленческих решений [Текст]: Учебное пособие для вузов / А.И. Орлов. - М.: ИКЦ МарТ, 2005. - 496 с.

38. Нейлор, Т. Машинные имитационные эксперименты с моделями экономических систем [Текст] / Т. Нейлор. Пер. с англ. - М.: Мир, 1975. - 500 с.

39. Власов, С.А. Состояние разработок и перспективы развития имитационных систем для анализа функционирования и автоматизированного проектирования производства (на примере металлургии и ма-шиностроения) [Текст] / С.А. Власов, Й. Шплихал. // В кн. Моделирование и идентификация производственных систем. - М.: Институт проблем управления, 1988. - с. 5-17.

40. Хованов, Н.В. Математические модели риска и неопределенности [Текст] / Н.В. Хованов. - С-Петербург: Изд. Санкт-Петербурского Университета, 1998. -204 с.

41. Смирнов, B.C. Методы и модели управления проектами металлургических объектов [Текст] / B.C. Смирнов, Е.С. Ваулииский, С.А. Власов - М.: Институт проблем управления, 1998. - 53 с.

42. Цвиркун, А.Д., Акинфиев В.К. Структура многоуровневых и крупномасштабных систем: синтез и планирование развития [Текст] / А.Д. Цвиркун. -М.: Наука, 1993. - 157с.

43. Месарович М., Такахара Я. Общая теория систем: математические основы. - М.: Мир, 1978. - 312 с.

44. Месарович, М. Теория иерархических многоуровневых систем [Текст] / М. Месарович, Д. Мако, И. Такахара. - М.: Мир, 1974. - 344 с.

45. Воронин, А.А. Оптимальные иерархические структуры [Текст] / А.А. Воронин, С.П. Мишин. - М.: ИПУ РАН, 2003. - 214 с.

46. Мишин, С.П. Оптимальные иерархии управления в экономических системах [Текст] / С.П. Мишин. - М.: ПМСОФТ, 2004. - 190 с.

47. Губко, М.В. Математические модели оптимизации иерархических структур [Текст] / М.В. Губко. - М.: ЛЕНАНД, 2006. - 264 с.

48. Royle, J. Andrew Hierarchical Modeling and Inference in Ecology: The Analysis of Data from Populations [Текст] / J. Andrew Royle, Robert M. Dorazio. -Metapopulations and Communities. - Academic Press, - 2008. р. 464.

49. Banerjee, Sudipto Hierarchical modeling and analysis for spatial data [Текст] / Sudipto Banerjee, Bradley P. Carlin, Alan E. Gelfand. - Chapman & Hall/CRC, 2004 -р. 452.

50. Clark, James Samuel. Hierarchical modelling for the environmental sciences: statistical methods and applications [Текст] / James Samuel Clark, Alan E. Gelfand. -Oxford University Press, 2006 - р. 205.

51. Перов, В.П. Статистический синтез монотактных дискретных следящих систем [Текст] / В.П. Перов, И.В. Щербакова // Автоматика и телемеханика. -1999. - №1. - С. 77-89.

52. Бунич, А.Л. Синтез и применение дискретных систем управления с идентификатором [Текст] / А.Л. Бунич, Н.Н. Бахтадзе. - М.: Наука, 2003. - 232 с.

53. Северцев, Н.А. Надежность сложных систем в эксплуатации и обработке [Текст] / Н.А. Северцев. - М.: Высшая школа, 1989. - 431 с.

54. Каштанов, В.А. Теория надежности сложных систем [Текст] / В.А. Каштанов,

A.И. Медведев. - М.: Наука, Физматлит, 2010. - 608 с.

55. Лазарев, В. Г. Проектирование дискретных устройств автоматики [Текст] /

B.Г. Лазарев, Н.П. Маркин, Ю.В. Лазарев. - М.: Радио и связь, 1985. - 168 с.

56. Лазарев, В.Г. Построение программируемых управляющих устройств [Текст] / В.Г. Лазарев, Е. И. Пийль, Е.Н. Турута. - М.: Энергоатомиздат, 1984. - 192 с.

57. Лазарев, В.Г. Синтез управляющих автоматов [Текст] / В.Г. Лазарев, Е. И. Пийль. - M.: Энергоатомиздат, 1989. - 328 с.

58. Захаров, Н.Г. Синтез цифровых автоматов [Текст]: Учебное пособие / Н.Г. Захаров, В.Н. Рогов. - Ульяновск: УлГТУ, 2003. - 134 с.

59. Kam, Timothy. Synthesis of finite state machines: functional optimization [Текст] / Timothy Kam. - Springer, 1996. - р. 282.

60. Villa, Tiziano. Synthesis of finite state machines: logic optimization [Текст] / Tiziano Villa, Timothy Kam, Robert K. Brayton. - Kluwer Academic, 1997. - р. 381.

61. Kohavi, Zvi. Switching and finite automata theory [Текст] / Zvi Kohavi. - Tata McGraw-Hill, 1987. - р. 658.

62. Блюмин С.Л., Корнеев А.М. Дискретное моделирование систем автоматизации и управления [Текст]: Монография; Липецкий эколого-гуманитарный институт. - Липецк: ЛЭГИ, 2005, - 124 с.

63. Блюмин, С. Л. Преобразование сигналов и анализ систем [Текст]: учеб.пособие / С.Л. Блюмин, Л.А. Кузнецов, Ю.П. Качановский. - Воронеж: Вор-ПИ-ЛипПИ, 1990. - 78 с.

64. Воеводин, А. Ф. Численные методы расчета одномерных систем [Текст]/ А. Ф. Воеводин, С. М. Шугрин. - Новосибирск: Наука, 1981. - 208 с.

65. Блюмин С.Л., Шмырин А.М., Шмырин Д.А. Алгоритм управления симметричными системами // Современные проблемы информатизации: Тез. докл. II Республиканской электронной на учн. конф. - Воронеж: ВПУ, 1997. - С. 56-57.

66. Блюмин С.Л., Шмырин А.М. , Шмырин Д.А. Алгоритмы смешанного управления симметричными системами // Современные сложные системы управления: Междунар. науч.-техн. конф. - Липецк: ЛГТУ, 2002. - С. 23-26.

67. Блюмин С.Л., Шмырин А.М. , Шмырин Д.А. Задача управления смешанными системами // Современные методы в теории краевых задач(Понтрягинские чтения - VIII): Тез. докл. III Воронежской весенней матем. школы.- Воронеж: ВГУ, 1997. - С. 24.

68. Блюмин С.Л., Шмырин А.М., Шмырина О.А. Идентификация и управление окрестностными системами // Идентификация систем и задачи управления: Тр. 4 междунар. конф. SICPRO-05. - М. : ИПУ, 2005. - С. 343-351.

69. Блюмин С.Л., Томилин А.А. Методика моделирования организационной структуры при помощи симметричных окрестностных моделей // Управление большими системами. - Вып. 17. - М. : ИПУ РАН, 2007. - С. 29-39.

70. Блюмин С.Л., Шмырин А.М. Моделирование полилинейных окрестностных систем // Системы управления и информационные технологии. - 2005.- № 1. - С. 4-7.

71. Блюмин С.Л., Шмырин А.М. Окрестностей системы. - Липецк: ЛЭГИ, 2005. - 132 с.

72. Блюмин С.Л., Шмырин А.М. Оптимальное управление смешанными окрестностными системами // Современные методы теории функций и смежные проблемы: Тез. докл. Воронежской зимней матем. школы. -Воронеж: ВГУ, 1999. - С. 42.

73. Блюмин С.Л., Шмырин А.М., Шмырина О.А. Представления нелинейных нечетко-окрестностных систем // Проблемы управления. - 2005. - №2.- С. 3740.

74. Блюмин С.Л., Шмырина О.А. Симметричные, смешанные и билинейные окрестностные модели // Экономика и управление, математика: Сб. науч. тр. - Липецк: ЛЭГИ, 2002. - С. 44-48.

75. Блюмин С.Л., Шмырин А.М., Шмырин Д.А. Смешанное управление смешанными системами: Учебное пособие. - Липецк: ЛГТУ, 1998. - 80 с.

76. Карабутов Н.Н., Шмырин А.М. Информационные аспекты идентификации окрестностных и нечетко-окрестностных систем // Идентификация сис-тем и задачи управления: Тр. 5-й междунар. конф. SICPRO-06. - М.: ИПУ, 2006. -С. 244-254.

77. Карабутов Н.Н., Шмырин А.М. , Шмырина О.А. Окрестностные и не-четко-окрестностные модели пространственно-распределенных систем // Приборы и системы. Управление, контроль, диагностика. - 2005. - № 12. - С. 19-22.

78. Томилин А.А. Особенности аппарата формирования организационных структур на основе окрестностно-временных моделей // III Всерос. молодежная 118конф. по проблемам управления(ВМКПУ'2008): тр. под ред. Д.А. Новикова, З.К. Авдеевой. - М. : ИПУ РАН. - 2008. - С. 209-210.

79. Томилин А.А. Использование окрестностно-временного моделирова-ния в задачах формирования организационных структур // Управление больши-ми системами. - Вып. 18. - М. : ИПУ РАН, 2007. - С. 91-106.

80. Томилин А.А. Использование окрестностно-временных моделей для оптимизации организационных структур // Системы управления и информационные технологии. - 2007. - №4. - С. 14-18.

81. Шмырин А.М., Шмырина О.А. Линеаризация, идентификация и управление окрестностными системами // Системы управления и информационные технологии. - 2005. - № 3. - С. 40-44.

82. Шмырин А.М. Нечетко-окрестностные нелинейные системы в координатной форме // Современные проблемы математики, механики, информатики: тез. докл. международ. конф. - Тула: ТулГУ, 2003. - С. 346-347.

83. Шмырин А.М. Нечетко-окрестностные системы // Проблемы непрерывного образования: проектирование, управление, функционирование: матер. междунар. научн.-методич. конф. - Липецк: ЛГПУ, 2003. - С. 69-72.

84. Шмырин А.М. Новое направление в теории систем: окрестностные полилинейные нечёткие системы // Системы управления и информационные тех-нологии. - 2007. - №1. - С. 30-34.

85. Шмырин А.М., Пименов В.А., Шмырин Д.А. Оптимальное смешанное управление / А.М. Шмырин, // Системы управления и информационные техно-логии: межвуз. сб. научн. тр. - Воронеж: ВГТУ, 1998. - С. 185-190.

86. Шмырин А.М. Смешанное управление окрестностными системами // Системы управления и информационные технологии. - 2007. - № 1. - С. 26-30.

87. Blyumin S.L., Shmyrin A.M.Nonlinear neighborhood modelsZ/Нелинейное моделирование и управление: матер. междунар. семинара. -Самара, 2000.-С. 17-18.

88. BlyuminS.L., Shmyrin A.M. Nonlinear Neighborhood Systems // Int. Conf. on Dynamical Modelling andStability Investigation. - Kiev, Ukraine, 1999.

89. Shmyrina O.A.Forecasting of the Material's Characteristics Using the Distributed Neighborhood's Models // Interactive Systems and Technologies: The Problems of Human-Computer Interaction. Proceeding of the International Conference. Ulyanovsk. - 2005. - V. 2. -P. 13-15.

90. Калман Р., Фалб П., Арбиб М. Очерки по математической теории систем. - М: Мир, 1971. - 400 с.

91. Bondia J., Pico J. Analysis of linear systems with fuzzy parametric uncertainty // FuzzySets and Systems. - 2003. - V. 135, № 1. - P. 81-121.

92. Zadeh L.A. From Circuit Theory to System Theory // Proc IRE. - 1962. - № 50. -P. 856-865.

93. Блюмин С.Л., Шмырин А.М., Седых И.А. Сети Петри с переменной недетерминированностью как окрестностные системы // Системы управления и информационные технологи. - 2008. - №3. 2 (33). - С. 228-233.

94. Котов В.Е. Сети Петри. - М: Наука. Главная редакция физико-математической литературы, 1984. - 160с.

95. Лескин А.А., Мальцев П.А., Спиридонов А.М. Сети Петри в моделировании и управлении. - Л.: Наука, 1989. - 133с.

96. Питерсон Дж. Теория сетей Петри и моделирование систем. - М.: Мир,1984.-263 с

97. Средства описания информационных потоков в динамических моделях медицинских программно-аппаратных систем, [Электронный ресурс] Web: http://www.tscience.org/arxivDOI/2014/07(15)/PDF/07(15)_2.pdf

98. Моделирование сложных объектов в режиме реального времени на основе сетей Петри, [Электронный ресурс] Web: http://www.vestnik.adygnet.rU/files/2013.1/2406/simankov2 2013 1.pdf

99. Kuzmuk V.V., Supronenko O.O. Modified Petri net and parallel process simulation device. K.:Maklaut, 2010. 260p.

100. Силич В.А. Реинжиниринг бизнес-процессов / В.А. Силич, М.П. Силич. -Томск: Том. гос.ун-т систем управления и радиоэлектроники, 2007. - 200 с.

101. Применение микропроцессорных средств в системах передачи информации / Б.Я. Советов, О.И. Кутузов, Ю.А. Головин, Ю.В. Аветов. - М. : Высш. шк., 1987. - 256 с.

102. Шакирова Н.Ф. Моделирование сетями Петри поведения игроков на финансовом рынке //Исследовано в России. - М.: МФТИ, 2006 [Электронный ресурс]. - Режим доступа: http://zhurnal.ape.relarn.ru/articles/2002/185.pdf.

103. Ломазова И.А. Вложенные сети Петри для адаптивного управления потоками работ // Параллельные вычисления и задачи управления: тр. III Междунар. конф. 2-4 октября 2006 г. - М.: ИПУ РАН, 2006. - С. 1300-1308.

104. Petri Net Model View of Decision-Making: an Operational Management Analysis / A. Mehrez, M. Muzumdar, W. Acar, G. Weinroth // OMEGA. The International Journal of Management Science. - 1995. - Vol. 23, № 1. - P. 63-79.

105. Борисов В.В., Круглов В.В., Федулов А.С. Нечеткие модели и сети.-М.:Горячая линия-Телеком, 2007. - 284 с.

106. Леоненков А.В. Нечеткое моделирование в среде MATLAB и fuzzyTECH.

- СПб.: БХВ-Петербург, 2005. - 736 с.

107. Ломазова И.А. Вложенные сети Петри: моделирование и анализ систем с распределенной структурой.-М.: Научный мир, 2004. - 208с.

108. Фильтрация и стохастическое управление в динамических системах: сб. науч. тр. / Под ред. К. Т. Леондеса. - М.: Мир, 1980. - 407 с.

109. Кузнецов, Л. А. Расчет себестоимости трансформаторной стали с учетом незавершенного производства [Текст] / Л.А. Кузнецов [и др.] // Современные системы управления предприятием: сб. трудов междунар. науч.-техн. конф. -Липецк, 2001. - C. 119-121.

110. Кузнецов, Л. А. Система расчета затрат на производство проката [Текст] / Л.А. Кузнецов, В.А. Бреус, А.М. Корнеев // Сталь. - 1995. - №3. - С. 63-64.

111. Кузнецов, Л. А. Система расчета затрат на производство проката [Текст] / Л.А. Кузнецов [и др.] // Известия вузов. Черная металлургия. - 1998. - № 9. - С. 72-76.

112. Кузнецов, Л. А. Расчет коэффициентов трудоемкости для определения себестоимости производства трансформаторной стали [Текст] / Л.А. Кузнецов [и др.] // Вестник ЛГТУ-ЛЭГИ - 2001. - № 1. - C. 134-139.

113. Блюмин, С. Л. Использование Сетей Петри при расчете себестоимости продуктов металлургического производства [Текст] / С.Л. Блюмин, Ю.В. Машковцев // Известия вузов. Черная металлургия. - 1995. - № 10.- С. 74-77.

114. Грегори, Р. Безошибочные вычисления [Текст] / Р. Грегори, Е. Кришнамурти.

- М.: Высшая математика, 1988. - 208 с.

115. Иванов Н. Н. / Н.Н. Иванов// Автоматика и телемеханика. - 1991. - №7.- С. 125-130.

116. Корнеев А.М., Аль-Сабри Г.М., Наги А.М., Аль-Сайди Ф.А. Адаптация технологических режимов в сложных производственных системах // Вести высших учебных заведений Черноземья. 2015.-№1-С.48-53.

117. Корнеев А.М., Сметанникова Т.А., Аль-Сабри Г.М., Наги А.М. Стратегия поиска оптимальных технологических режимов в дискретных клеточно-иерархических системах // Современные проблемы науки и образования. - 2015. -№ 2-2.

118. Корнеев А.М., Наги А.М.М., Сметанникова Т.А., Моделирование сложных производственных систем с использованием итеративных сетей; // Фундаментальные исследования. - 2016. № 5-2. С. 260-263.

119. A. M. Korneev., A. M. Nagi., A. M. Vasyukov., T. Smetannikova., S. D. Antar., Describing Discrete Cell-Hierarchical Systems Using Iterative Networks //International Journal of Advanced Biotechnology and Research. -2017. -Vol. 8 (4). -pp. 459-462.

120. A. M. Korneev., A. M. Nagi., S. L. Blyumin, A. M. Nagi, S. D. Antar and V. V. Omelyanchuk., Modelling Processes of Functioning of Complex Multistage Production System/ // International Journal of Advanced Biotechnology and Research. -2018. -Vol. 9 (1). -pp. 1332-1337.

121. Korneev A.M., Al-Saeedi F.A., Al-Sabry G.M., Smetannikova T.A., Nagi A.M. Discrete modeling of complex manufacturing systems // International Scientific Journal, Theoretical & Applied Science. «Economy, technology, education and prospects for 2014», Malmo, Sweden. - №1, 2014. с. 32- 35.

122. Korneev AM, Al-Saeedi FA, Al-Sabry G.M, Nagi A.M. Blocks of structural modeling and search optimization discrete cell-hierarchical systems using computer information processing techniques. // International Scientific Journal, Theoretical & Applied Science. «Modern Mathematics in Science», Caracas, Venezuela, №6, 2014 с. 14-17.

123. Korneev A.M, Al-Saeedi FA, Al-Sabry G.M, Nagi AM. Building a Managing system of complex production processe// International Scientific Journal, Theoretical & Applied Science. «Modern Mathematics in Science», Martigues, France. №9, 2014 с. 50-53.

124. Korneev A.M, Al-Saeedi F.A, Al-Sabry G.M, Smetannikova T.A, Nagi A.M. Modeling of complex technological processes via polynomial zhegalkin// International Scientific Journal, Theoretical & Applied Science. « technologies in science» Birmingham, United Kingdom. №12, 2014 с. 90-93.

125. Корнеев А.М., Наги А.М, Аль-Сайди .А, Аль-Сабри Г.М. Построение системы управления сложными производственными процессами// материалы научной конференции по проблемам технических наук, Липецк 07 ноября 2014. Стр. 116-119.

126. Корнеев А.М., Наги А.М., Аль-Сабри Г.М. Построение управляющих автоматов для технологии // Современная металлургия нового тысячелетия: сб.научных трудов международной научно-практической конференции. - часть 2 -Липецк, ЛГТУ, 2015, с.99-103.

127. Корнеев А.М., Наги А.М., Моделирование сложных технологических процессов с использованием сетей Петри // Современные наукоемкие технологии. - 2016. - № 9-3. - С. 410-414;

128. Korneev A.M, Al-Saeedi F.A, Al-Sabry G.M, Nagi A.M. The analysis of technological trajectories based on the tree construction // International Scientific Journal, Theoretical & Applied Science. «Modern Mathematics in Science», Martigues, France. №9, 2014 с. 46-49.

129. A.M.M. Nagi, M.A.S. Redhwan. Description multistage process using Petri nets // Проблемы и перспективы развития машиностроения: сб. научных трудов международной научно-технической конференции. - часть 2 - Липецк, ЛГТУ, 2016, с.22-26.

130. Andrey M. Korneev, Abdullh M. Nagi, Tatyana T. Smetannikova, Shukri D. Antar, Modeling of Complex-structured Systems Using Petri Nets // Science in the modern information society XIII: Proceedings of the Conference. North Charleston, 34.10.2017, Vol. 1 —North Charleston, SC, USA:CreateSpace, 2017, (ISBN: 978-1-97822-955-2).p.74-77 p.

131. Корнеев А. М., Наги А.М. Моделирование сложноструктурированных систем с использованием сетей Петри // Новые Технологии в Научных Исследованиях,

Проектировании, Управлении, Производстве: сб. трудов XI Международной научно-технической конференции. - НТ-2017, 9-10 ноября, Воронеж, Россия, Том 2, с. 72-74.

132. Korneev A.M., Nagi A.M., Smetannikova T.A., Modeling of complex-structured iterative net of multi-stage production process // XXXVII Международная научно-практическая конференция: «Actual scientific research 2018» (27 апреля 2018г. г. Москва.). Издательство «Олимп», 2018. -С. 125 -127.

133. Korneev A.M., Nagi A. M., Smetannikova T. A. Formation of complex structured iterative net of multistage production process // XXIII Международная научно -практическая конференция «Вопросы современных научных исследований» (04 мая, 2018 г, г. Омск), издание «Вестник современных исследований» №5-1 (20), 2018, С. 453-456.

134. Корнеев А.М., Васюков А.М., Ал-Сайди Ф.А., Аль-Сабри Г.М., Наги А.М. Свидетельство о государственной регистрации программы для ЭВМ. № 2015615894 «Проекта системы коррекции технологии с использованием дискретных пространственных моделей». 26 мая 2015.

135. Корнеев А.М., Наги А.М., Сметанникова Т. А., Абдуллах Л.С. Свидетельство о государственной регистрации программы для ЭВМ. № 2016612181«Автоматизированной системы описания технологии с помощью итеративных сетей». 10 августа 2016г.

136. Корнеев А.М., Наги А.М., Аль-Сабри Г.М. Система анализа экономических показателей при производстве металлопродукции. Зарегистрировано в государственном информационном фонде неопубликованных документов. ФГАНУ «Центр информационных технологий и систем органов исполнительной власти». № 50201550122; 23.4.2015.

ПРИЛОЖЕНИЯ

Свидетельства о государственной регистрации программы для ЭВМ

помощью итеративных сетей»

(Ш1), АбдуллахЛутфи Салех (Я11)

Заявка № 2016612181

Дата поступления 15 марта 2016 Г. Дата государственной регистрации

по интеллектуальной собственности

ФВД13РА1ЩШШ

шшшшш®

СВИДЕТЕЛЬСТВО

о государственной регистрации программы для ЭВМ

№ 2016618961

«Автоматизированная система описания технологии с

Правообладатель: Федеральное государственное бюджетное

образовательное учреждение высшего образования «Липецкий

государственный технический университет» (ЛГТУ) (КИ)

славович (Ки), Наги Абдулл

Авторы: Корнеев Андреи

Мохаммед Мохаммед (Я11), Сметанникова Татьяна Андреевна

Реестре программ для эвм 10 августа 2016 г

Руководитель Федеральной службы

Г.П. Ивлиев

Акты промышленной апробации работы

ТЕХНИЧЕСКИЙ АКТ

ПРОМЫШЛЕННОЙ АПРОБАЦИИ СИСТЕМЫ

управления сложными пространственно-распределенными производственными процессами.

В условиях ООО "Липецкая трубная компания " Свободный сокол" осуществлено внедрение в опытную эксплуатацию системы управления сложными пространственно-распределенными производственными процессами, разработанной директором института машиностроения, профессором кафедры АСУ, д.т.н. Корнеевым A.M., Аль-Саиди Ф.А., Аль-Сабри Г.М., Наги A.M..

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

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

Рассмотрев программную реализацию системы и мнение технологического персонала об эксплуатации системы, комиссия отмечает:

• Основные теоретические результаты проверены на основе вычислительных и натурных экспериментов, подтверждающих их достоверность.

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

• Часть результатов может быть передана в промышленное внедрение на реальных объектах.

От Липецкого государственного От ООО "Липецкая трубгая компания

технического университета "Свободный,сокйл"

Научный руководитель :

та машиностроения, д.т.н. >рнеев A.M.

Справка об использовании в учебный процесс

УТВЕРЖДАЮ

Первый проректор ФГБОУ ВО

СПРАВКА

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

Настоящей справкой удостоверяется, что результаты диссертационной работы на соискание ученой степени кандидата наук по специальности 05.13.06 «Автоматизация и управление технологическими процессами и производствами (промышленность)» используются в учебном процессе федерального государственного бюджетного образовательного учреждения высшего образования «Липецкий государственный технический университет» в рамках образовательной программы при подготовке магистрантов по направлению 09.04.01 «Информатика и вычислительная техника», профиль подготовки «Информационное и программное обеспечение автоматизированных систем» по дисциплине «Структурное моделирование сложных процессов и систем», при подготовке бакалавров по направлению 09.03.01 «Информатика и вычислительная техника», профиль подготовки «Автоматизированные системы обработки информации и управления» по дисциплинам «Моделирование производственных процессов», «Теория автоматов».

В учебном процессе используются следующие разработки:

■ методы и алгоритмы описания многостадийных производственных процессов, обоснование подходов к структурной организации системы;

■ методы и алгоритмы формирования внутренних итеративных цепей одномерной однонаправленной сети многостадийного производственного процесса;

■ методы и алгоритмы исследования сложных . производственных процессов, отличающиеся использованием вероятностных автоматов и

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

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

Начальник отдела по науке

ПА. Кровопусков

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

А.В. Галкин

И.о. заведующего кафедрой автоматизированных систем управления к.т.н.