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

• Абдуллах Лутфи Салех Мохсен
• кандидат наук
• 2019

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

ОГЛАВЛЕНИЕ

Введение

1 Современные методы моделирования, идентификации и управления технологией

1.1 Современные методы проектирования, идентификации и управления сложными производственными системами

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

1.3 Методы и модели оптимизации хранения данных

1.4 Оптимизация схем хранения технологических данных

1.5 Методы преобразования запросов баз данных

1.6 Автоматизированный анализ затрат на производство продукции

1.7 Методология расчета затрат на производство

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

2.1. Формирование модулей (клеток) сложных производственных систем

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

2.3 Описание одномерной двунаправленной итеративной сети многостадийного производственного процесса

2.3.1 Описание одномерной двунаправленной итеративной сети

2.3.2 Движение металла между агрегатами

3 Моделирование баз данных многостадийных производственных систем

3.1. Формализация списка определений терминов производства на основе итеративных сетей

3.2. Объектно-ролевая модель и модель «сущность-связь» итеративной сети металлургического производства

3.3 Разработка решений по информационному обеспечению АС проектирование внутри машинной информационной базы

3.4 Оптимизация запросов разработанной базы данных итеративной сети

3.4.1 Описание отношений информационной базы итеративных сетей

3.4.2 Оптимизация преобразования реляционного выражения

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

4 Анализ экономических показателей сложных производственных процессов

4.1 Методика определения затрат на производство продукции

4.2 Модель определения расхода ресурсов с использованием матрицы затрат

4.3 Расчет технологических параметров по агрегатам и переделам

4.3.1 Расчет параметров горячей прокатки определение энергозатрат на нагрев слябов

4.3.2 Расчет энергетических характеристик процесса прокатки

4.3.3 Расчет затрат на травление металла

4.3.3.1 Расчет параметров травления по маркам и типоразмерам

4.3.3.2 Расчет суммарных затрат на травление

4.4 Расчет затрат по стану холодной прокатки

4.4.1 Расчет работы деформации по клетям и по стану

4.4.2 Расчёт параметров холодной прокатки

4.4.3 Расчёт работы трения и затрат на смазочно-охлаждающую жидкость и валки

4.4.4 Расчёт энергозатрат на отжиг в колпаковых печах

4.4.5 Расчёт затрат на топливо

4.4.6 Расчёт остальных затрат на отжиг в колпаковых печах

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

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

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

5.3 Структура программного обеспечения системы информационного обеспечения многостадийных производств

5.4 Анализ результатов экспериментальной проверки АС. Формулировка выводов о работоспособности и эффективности применения АС

5.5 Построение диаграммы сущность-связь и ее спецификации

ЗАКЛЮЧЕНИЕ

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

Приложения

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

ВЕДЕНИЕ

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

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

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

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

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

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

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

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

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

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

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

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

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

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

4. Модификация методов определения затрат для любого типоразмера и любой марки стали с разнесением их по агрегатам и операциям.

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

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

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

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

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

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

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

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

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

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

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

повысить качество и эффективность реализации информационной системы с максимальной достоверностью данных.

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

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

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

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

Апробация работы. Полученные результаты исследований докладывались и обсуждались: 3rd. International Academic Conference «Applied and Fundamental Studies» (St. Louis, Missouri, USA, 2013), на научной конференции по проблемам технических наук» (Липецк, 2014), областной научно-практической конференции «Актуальные проблемы естественных наук и их преподавания» Липецк,2013 практической конференции «фундаментальные и прикладные исследования в современном мире» (г. Санкт-Петербург, 2015), международной научно-технической конференции «Современная наука: теоретический и практический взгляд» (Уфа 2015), VI международной научно-практической конференции «Наука и образование в XXI веке» (Тамбов 2013), международной научно-практической конференции «Новые технологии в научных исследованиях, проектировании, управлении, производстве» (Воронеж 2017).

Публикации. По теме диссертации опубликовано 32 научных работы, в том числе: 3 статьи в ведущих реферируемых научных журналах, рекомендованных в Перечне ВАК, 7 -в изданиях, входящих в международные системы цитирования Scopus, 5 свидетельств о государственной регистрации программы для ЭВМ, из которых в автореферат включено 20 работ.

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

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

Глава 1. СОВРЕМЕННЫЕ МЕТОДЫ МОДЕЛИРОВАНИЯ, ИДЕНТИФИКАЦИИ И УПРАВЛЕНИЯ ТЕХНОЛОГИЕЙ

1.1. Современные методы проектирования, идентификации и управления сложными производственными системами

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

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

Важным методом проектирования, анализа и оптимизации систем управления технологическими процессами выступает имитационное моделирование. Методы имитационного включают программное, статистическое, динамическое, вероятностное и автоматное моделирование [3-4].

Моделирование представляет собой процесс создания модели реальной системы, и проведения экспериментов на этой модели для исследования поведения системы [5- 6].

Моделирование является мощным инструментом исследования, включает алгоритмизацию объектов, построение моделей, анализ элементов системы, и межэлементных отношений [7-8].

Основные фазы моделирование [9]:

- выбор объекта моделирования и требований к моделируемому объекту;

- анализ объекта и исследование его свойств;

- формирование обобщенной модели всей системы и моделей ее компонентов;

- оценка адекватности модели, разработка моделирующих алгоритмов.

Анализа производственных комплексов осуществляется изучение отдельных подсистем для выявления системных связей объекта [10-11].

При моделировании различных классов систем применяются отдельных виды объектов. Алгоритмы, использующие объектно-ориентированный или системный подход, учитывают детерминистический или стохастический характер поведения объектов [12-16].

Выбор проектных решений для систем управления включает последовательное сокращение рассматриваемых вариантов и отбрасывание неконкурентоспособных альтернатив [14, 17, 18].

Для контроля и управления технологическими процессами в промышленности используются методы идентификации моделей исследуемых процессов [19-20].

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

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

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

идентификацию технологии. Основные методы контроля и исследования качества производимой продукции приведены в работах [26-27]. Аналитический обзор систем автоматизации, контроля и управления качеством продукции в металлургии представлен в работе [28].

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

Синтез эффективных решений при проектировании технологических процессов выполняется на основе системного анализа с применением частных критериев и моделей [31].

1.2. Дискретные пространственно-временные модели

Системы, характеризующиеся дискретной обработкой технологической информации с фиксированным тактом дискретности, относятся к «многоактным дискретным системам». Такие системы характеризуются спецификой, связанной со структурным представлением процессов, математическим описанием и компьютерной реализацией модели [32]. Задача синтеза сложно-структурированных дискретных систем управления на основе идентификационного подхода, в котором учитываются характеристики качества процесса, управления представлена в [33]. Для синтеза сложно-структурированных систем, используются гибкие дискретные системы, которые делятся на основные подсистемы [20, 21, 34, 35]:

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

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

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

Все более широко используется клеточная интерпретация дискретно-аргументных систем [36]. Основанное на этой интерпретации представление дискретно - аргументы систем называется «линейными клеточными машинами» [37].

В качестве элементарных клеток используются клетки с памятью. Такие системы в обзоре именуются «линейными последовательностно-клеточными машинами» [37].

Особенность клеточной интерпретации состоит в том, что дискретно-аргументы модели могут быть представлены в виде клеточных конфигураций. При этом используются два вида простейших клеток: клетки без памяти (комбинационная цепь) и клетки с памятью (дискретно-временная динамическая система). Такие клетки являются элементарными «дискретно - аргументными блоками» в структурной теории дискретно-аргументах систем [38]. В [38] под «элементарным распределенным блоком» понимается распределенная система, для которой представлен в явном виде аналитический или алгоритмический оператор, однозначно соотносящий любому входному сигналу определенный выходной сигнал.

Сложная система описывается с помощью автоматов, которые перерабатывают дискретную информацию и изменяют внутренние состояния клеток в определенные моменты времени [39-40]. Автомат (клетка) определяется как устройство, на которое поступают входные

сигналы, а на выходе формируется набор выходных сигналов. Конечный автомат содержит конечное множество внутренних состояний входных и выходных сигналов. Решение задач синтеза конечных автоматов решается методами, описанными в работах [40-41].

На этих принципах основана «модель ближайшего соседа» [41]. Развитие теории сигналов и сложных систем на конечных множествах учитывает то, что для существующих дискретных методов анализа сигналов ограничением является недостаточная память и необходимость извлечения из блока памяти значений сигналов в любой последовательности. Именно в силу ограниченности памяти является важным применение конечности множества значений аргумента. С возможностью извлечения из имеющегося блока памяти значений сигнала в любой последовательности связан фундаментальный для рассматриваемой теории подход, состоящий в наделении конечного множества значений аргумента структурой конечной группы. Основы данного подхода освещены и обоснованы в [42]., где отмечено, что использование такого подхода делает теорию сигналов и систем на конечных множествах новым направлением общей теории сигналов и систем.

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

На практике решается задача смешанного управления в тех случаях, если заданы входы и состояния исследуемой системы. «Симметричные модели с конечными носителями» формируют задачи, состояние системы которых задано на определенном множестве. Аргументами данных систем выступают пространственные или временные переменные [45]. Для таких систем ставятся задачи: «смешанного управления в локальной формулировке». При этом «локальность» отражает «детализацию на уровне координат векторов входного воздействия и состояния» [46-47].

Смешанное управление соотносятся с принципом блочного управления, где применяются «блоки векторов состояния и управления» [48-49].

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

определяются номером рассматриваемых клеток

s е Z:

- и временем

t е Zn

При этом состояние клетки s в любой момент времени t: < (t,s). Клетка сети имеет внешние входы u(t,s) и выходы y(t, s), а также внутренние входы x(t,s - 1) и внутренние выходы x(t,s).

Рис. 1.1. Одномерная однонаправленная линейная итеративная сеть

Уравнения одномерной однонаправленной линейной итеративной сети имеют вид:

ftt, s) = -1, s) + ^ = Hft(t -1, s) + G

x(t, s) У (t, s)

x(t, s -1) u(t, s) x(t, s -1) u(t, s)

(1.1)

,t, s e Z

0

В [50] представлены сети, состоящие из линейных автоматов, позволяющие находить неизвестные последовательности сигналов,

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

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

В [36] рассмотрено сведение решетчатых моделей на многомерных решетках к моделям на одномерных решетках и наоборот.

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

Рис.1.2. Решетчатая система как одномерная циклическая сеть

Сигналы такой сети определяются номером клетки - ■ Л ) и временем г ■= Такие модели под названием «решетчатые системы» рассмотрены в [36], где предложено описание их динамики.

х(г+1,5) = ^р(ст) х(г, ^ -а) + ^^(в)ы(г, э -в)

стeZ0( N) вeZ(1( N)

= -ст) + -в)и(г ,в) =

стeZ0(N) веЕ0(Ю

= (Ф ®, х)(?, э)+(¥ ®, п)(г, э). С формальной точки зрения описание [55, 56] является более общим, чем, например, [2,9], так как его слагаемые представляют собой ^свертки [30]: некоторые важные свойства при этом сохраняются, например, линейность и -стационарность. С точки зрения содержательной интерпретации такие модели можно трактовать (заменяя время t на другую пространственную переменную p, отличную от s) и как «бесконечные вправо цепочки из клеток», представляющих {ш}-цепи: пример такой трактовки представлен на Рис 1.3.

Рис.1.3. Решетчатая система, состоящая из циклических цепей

1.3. Методы и модели оптимизации хранения данных.

При разработке производственных систем важной является задача, связанная с оптимизацией хранения данных. Решения таких задач опираются на модели описания исследуемых объектов. Основные модификации моделей приведены ниже (рис.1.4), [57].

Рис. 1.4. Модели и структуры данных

1. БЯ модель.

БЯ модель (модель «сущность-связь») состоит из основных элементов: сущностей и связей между ними [58, 59]. Такого типа модели усовершенствовались в работах [60, 61, 62].

Сущностью (объектом) выступает определенный объект, который можно идентифицировать [63]. Объекты делятся на слабые и правильные. Слабый объект находится в зависимости от других объектов и не может существовать без них. Правильным является объект, который не является слабым. Атрибутом (свойством) объекта выступает определенная характеристика. Любое свойство принимает значения из множества заданных допустимых значений. Каждое свойство является «простым или составным, ключевым, однозначным или многозначным, отсутствующим, базовым или производным». Отношением (связью) является определенная ассоциация

объектов [63]. Объекты, входящие в заданное отношение, выступают участниками отношения. Число объектов в отношении выступает степенью отношения. В модели «сущность-связь» применяются отношения степени 2. В модели «сущность-связь» реализуются отношения: "один к одному", "один ко многим" и "многие ко многим [64].

В отношении «один-к-одному» (1:1) в любой момент времени отдельному элементу сущности A соотносится один элемент сущности B или он отсутствует. Сущности обозначаются прямоугольниками, а связи - ромбами.

В отношении «один-ко-многим» (1: N каждому элементу сущности A соотносится N элементов сущности B.

В отношении «многие-ко-многим» (М: К) любому элементу сущности A соотносится N элементов сущности B и наоборот.

Модель «сущность-связь» выступает как концептуальная модель. Она не отражает особенности рассматриваемой СУБД. Из нее получают основные модели данных («иерархическую, сетевую, реляционную, объектно-ориентированную»).

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

Рис.1.5. ER-диаграмм, введя для изображения характеристики

2. Модель ЯМ/Т [60,65, 66, 67, 68].

В такой модели нет различий между объектами и отношениями. В них отношение выступает как частный случай объекта. В ЯМ/Т модели целостные и структурные аспекты являются более широкими. В реляционной модели вместе с базовыми операторами имеются дополнительные операторы.

В ЯМ/Т модели объекты делятся на три категории: ядра, характеристики и соединения. Ядра - независимые объекты, из которых «состоит база данных» [60]. Характеристики - предназначены для описания объектов, существующих вне зависимости от описываемых объектов. Рассматриваемый объект является ядром, характеристикой или соединением. Соединения представляют отношения типа «многие-ко-многим» для нескольких объектов.

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

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

1. Чилингаров, К. Technologies. Использование новых возможностей для решения задач планирования и управления производством / К. Чилингаров // САПР и графика. - 2001. - № 11. - С. 39-41.

2. Корнеев, А.М. Методы идентификации сквозной технологии производства металлопродукции: монография / А.М. Корнеев. - Липецк: ЛГПУ, 2009. - 286 с.

3. Емельянов, А.А. Имитационное моделирование экономических процессов / А.А Емельянов, Е.А. Власова, Р.В. Дума. - М.: Финансы и статистика, 2002. - 368 с.

4. Клейнен, Дж. Статистические методы в имитационном моделировании: в 2-х вып. / Дж. Клейнен; пер. с англ. Ю.П. Адлера и др.; под ред. и с предисл. Ю.П. Адлера, В.Н. Варыгина. - М.: Статистика, 1978. - Вып. 1. - 252 с.; Вып. 2. - 368 с.

5. Бусленко, Н.П. Моделирование сложных систем / Н.П. Бусленко. - М.: Наука, 1978. - 399 с.

6. Корнеев, А.М. Синтез структурных элементов сложных пространственно -распределенных производственных систем и определение их основных характеристик / А.М. Корнеев, Т.В. Мирошникова, Т.А. Сметанникова // Вестник Воронежского института ФСИН России. - 2011. - № 2. - С. 83-89.

7. Кельтон, В. Имитационное моделирование. Классика CS / В. Кельтон, А. Лоу. -СПб: Питер, 2004. - 848 с.

8. Шеннон, Р. Имитационное моделирование систем - искусство и наука / Р. Шеннон; пер. с англ. - М.: Мир, 1978. - 422 с.

9. Колесов, Ю.Б. Объектно-ориентированное моделирование сложных динамических систем / Ю.Б. Колесов. - СПб: Изд-во СПбГПУ, 2004. - 239 с.

10. Каштанов, В.А. Алгоритм вычисления характеристик безотказности резервированной системы / В.А. Каштанов, А.И. Медведев // Вопросы теории безопасности и устойчивости систем. - Вып. 4. - М.: Вычислительный центр РАН, 1999. - С. 3-13.

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

12. Лифшиц, А.Л. Статистическое моделирование систем массового обслуживания / А.Л. Лифшиц, Э.А. Мальц. - М.: Советское радио, 1978. - 248 с.

13. Трахтенгерц, Э.А. Компьютерная поддержка принятия решений / Э.А. Трахтенгерц. - М.: СИНТЕГ, 1998 - 376 с.

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

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

16. Блюмин, С.Л. Рандомизированное моделирование технологических зависимостей: учебное пособие / С.Л. Блюмин, П.В. Самордин. - Липецк: ЛГТУ, 1995. - 67с.

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

18. Инвестиционное проектирование: практическое руководство по экономическому обоснованию инвестиционных проектов / Под ред. С.И. Шумилина. - М.: ЗАО «Финстатинформ», 1999. - 240 с.

19. Корнеев, А.М., Малыш В.Н., Сметанникова Т.А. Использование итеративных цепей для описания многостадийных пространственно-распределенных производственных систем // Вестник Российского университета дружбы народов. Серия: Инженерные исследования. - 2012. - № 2. - С. 7.

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

21. Рожков, И.М. Математические модели для выбора рациональной технологии и управления качеством стали / И.М. Рожков, С.А. Власов, Г.Н. Мулько. - М.: Металлургия, 1990. - 184 с.

22. Цыпкин, Я.З. Информационная теория идентификации / Я.З. Цыпкин. - М: ФИЗМАТЛИТ, 1995. - 336 с.

23. Илюшин, В.Б. Идентификация математических моделей систем управления и функционального контроля с применением вероятностного критерия / В.Б. Илюшин. - М: ИЦ ГОУ МГТУ «Станкин», «Янус-К», 2007. - 122 с.

24. Кидяев, С.В. Концептуальные особенности формирования корпоративной информационной системы металлургического предприятия / С.В. Кидяев, Ю.А. Чертов // Сталь. - 2006. - № 10. - С. 69-75.

25. Осовский, С. Нейронные сети для обработки информации / С. Осовский. - М.: Финансы и статистика, 2002. - 344 с.

26. Асаи, К. Прикладные нечеткие системы / К.Асаи и др.; пер. с япон. - М.: Мир, 1993. - 368 с.

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

28. Плинер, Ю.Л. Метрологические проблемы аналитического контроля качества металлопродукции / Ю.Л. Плинер, И.М. Кузьмин. - М: Металлургия, 1989. -215 с.

29. Салихов, З.Г. Системы оптимального управления сложными технологическими объектами / З.Г. Салихов, Г.Г. Арунянц, А.Л. Рутковский. - М.: Теплоэнергетик, 2004. - 496 с.

30. Юкаева, В.С. Принятие управленческих решений / В.С. Юкаева, Е.В. Зубарева, В.В. Чувикова. - М.: Дашков и Ко, 2010. - 324 с.

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

32. Ивченко, Г.И. Теория массового обслуживания / Г.И. Ивченко, В.А. Каштанов, И.Н. Коваленко. - М.: Высш. школа, 1982. - С. 256.

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

34. Блюмин, С.Л. Соотношение типа Кэли-Гамильтона в теории дискретно-аргументных систем / С.Л. Блюмин // Автоматика и телемеханика. - 1981. - № 9. - С. 133-142.

35. Антушев, Г.С. Методы параметрического синтеза сложных технических систем. - М.: Наука, 1989. - 87 с.

36. Kohavi, Z. Switching and finite automata theory // Z. Kohavi. - Tata: McGraw-Hill, 1987. - 658 р.

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

38. Блюмин, С.Л. Линейные клеточные машины: подход пространства состояний / С.Л. Блюмин, Р.Г. Фараджев // Автоматика и телемеханика. - 1982. - № 2. - С. 125-162.

39. Бутковский, А.Г. Структурная теория распределенных систем / А.Г. Бутковский. - М.: Наука, 1977. - 320 с.

40. Хопкрофт, Д. Введение в теорию автоматов, языков и вычислений / Д. Хопкрофт, Р. Мотвин, Д. Ульман; пер. с англ. - М.: Вильямс, 2002. - 528 с.

41. Даджон, Д. Цифровая обработка многомерных сигналов / Д. Даджон, Р. Мерсеро. - М.: Мир, 1998. - 376 с.

42. Трахтман, А.М. Основы теории дискретных сигналов на конечных интервалах / А.М. Трахтман, В.А. Трахтман. - М.: Советское радио, 1975. - 208 с.

43. Советов, Б.Я. Моделирование систем / Б.Я. Советов, С.А. Яковлев. - М.: Высшая математика, 1985. - 271 с.

44. Вунш, Г. Теория систем / Г. Вунш - М.: Советское радио, 1978. - 288 с.

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

46. Блюмин, С.Л. Метод назначаемых траекторий и обобщенное обращение в задачах управления линейными матричными системами / С.Л. Блюмин, С.П. Миловидов. - Липецк: ЛГТУ, 1994. - 90 с.

47. Блюмин, С.Л. Псевдообращение / С.Л. Блюмин, С.П. Миловидов. - Липецк: ЛипПИ, 1990. - 80 с.

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

49. Крутько, П.Д. Обратные задачи динамики управляемых систем. Линейные модели / П.Д. Крутько. - М.: Наука, 1987. - 304 с

50. Сперанский, Д.В. Об одной задаче для сетей из линейных автоматов без потери информации / Д.В. Сперанский, И.Д. Сперанский // Автоматика и телемеханика. - 1999. - № 1. - С. 140-147.

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

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

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

53. Kam, T. Synthesis of finite state machines: functional optimization / T. Kam. -Springer, 1996. -282 р.

54. Выхованец, В.С. Теория автоматов / В.С. Выхованец. - Тирасполь: РИО ПГУ, 2001. - 87 с.

55. Кузнецов, Л.А. Синтез интегрированной системы управления производством / Л.А. Кузнецов, A.M. Корнеев, В.В. Поляков, Д.А. Немой // Известия ВУЗов. Черная металлургия. - 2002. - № 5. - С. 48-53.

56. Pakin, S. Chapter 1. High performance interconnects for massively parallel systems;

I.5 Future Directions // Attaining High Performance Communications: A Vertical Approach / S. Pakin, A. Gavrilovska. - Boca Raton (Florida): CRC Press, 2009. - P. 20-21.

57. Карпова, Т.С. Базы данных: модели, разработка, реализация. - СПб.: Питер, 2001. - 304 с.

58. Bellamkonda, S. Enhanced Subquery Optimizations in Oracle / S. Bellamkonda, R. Ahmed, A. Witkowski et al. // Proceedings of the 35th international conference on Very large data base. - 2009. - № 2. - Is. 2. - P. 1366-1377.

59. Michael, H. The Semantic Data Model: a Modeling Mechanism for Data Base Applications." In: Proc. ACM SIGMOD Int'l. Conf. on Management of Data. Austin, Texas. -1978. - pp. 26-36.

60. Ozsu, M.N. Principles of Distributed Database Systems. Second Edition / M.N. Ozsu, P. Valduriez. - New Jersey: Prentice Hall International, 1999. - 66 p.

61. Motzkin, D. Database Performance Optimization / D. Motzkin // AFIPS Conf. Proc.: Nat. Comput. Conf., Chicago, III, July 15-18, 1985. - Reston, 1985. - P. 555-566.

62. Paramanik, S. Use of graph-theoretic models for optimal relational database accesses to perform join / S. Paramanik, D. Ittner // ACM Transactions on Database systems. -1985. - № 10. - P. 57-74.

63. Nakano, R. Translation with optimization from relational calculus to relational algebra having aggregate functions / R. Nakano // ACM Transactions on Database Systems. - 1990. - № 15. - P. 518-557.

64. Chen, P.P.S. The entity-relationship model - towards a unified view of data / P.P.S. Chen // ACM Transactions on Database Systems. - 1976. - № 1. - P. 9-36.

65. Smith, J.M. Database abstractions: aggregation and generalization / J.M. Smith, D.C.P. Smith // ACM Transactions on Database Systems. - 1977. - № 2. - P. 105133.

66. Codd, E.F. Extending the database relational model to capture more meaning / E.F. Codd // ACM Transactions on Database Systems. -1979. - № 4. - P. 397-434.

67. Мейер, М. Теория реляционных баз данных / М. Мейер. - М.: Мир, 1987. - С. 29-31.

68. Sellis, T.K. Multiple-query optimization / T.K. Sellis // ACM Transactions on Database Systems. - 1988. - № 1. - P. 23-52.

69. Хомоненко, А.Д. Базы данных / Под ред. проф. А.Д. Хомоненко / А.Д. Хомоненко, В.М. Цыганков, М.Г. Мальцев. - СПб.: КОРОНА принт, 2000. -416 с.

70. Elmasri, R. The category concept: An extension to the entity-relationship model / Elmasri R., Weeldreyer J., Hevner A. // Data & Knowledge Engineering. - 1985. - № 1. - P. 75-116.

71. Hohenstein, U. Three-Level-Specification of Databases using an extended Entity-Relationship Model / U. Hohenstein, L. Neugebauer, G. Saake // Informationsbedarfsermittung und - analyse fur den Entwurf von Informatonssystemen. - Berlin, 1987. - P. 58-88.

72. Gogolla, M. Towards a semantic view of an extended entity-relationship model / M. Gogolla, U. Hohenstein // ACM Transactions on Database Systems. - 1991. - № 16. - P. 369-416.

73. Akoka, J. Entity-relationship and object-oriented model automatic clustering / J. Akoka, I. Comyn-Wattiau // Data & Knowledge Engineering. - 1996. - № 20. - P. 87-117.

74. Hofstede, A.H.M. Expressiveness in conceptual data modeling / A.H.M. ter Hofstede, van der Weide // Data & Knowledge Engineering. - 1993. - № 10. - P. 65-100.

75. Shoval, P. Binary-relationship integration methodology / P. Shoval, S. Zohn // Data & Knowledge Engineering. - 1991. - № 6. - P. 225-250.

76. Nijssen, G.M. Conceptual Schema and Relational Database Design: a fact oriented approach / G.M. Nijssen, T.A. Halpin. - Prentice-Hall, Sydney, Australia, 1989. - P. 21-37.

77. Bommel, P. Semantics and verification of object-role models / van Bommel P., ter Hofstede A.H.M., van der Weide // Information Systems. - 1991. - № 16. - P. 471495.

78. Halpin, T.A. Fact-Oriented Modelling for Data Analysis / T.A. Halpin, M.E. Orlowska // Journal of Information Systems. - 1992. - № 2. - P. 1-23.

79. Chaudhari, S. An Overview of Query Optimization in Relational Systems / S. Chaudhari // Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems. - New York: SIGMOD, 1998. - P. 3443.

80. Hall, P.A.V. Optimization of single expressions in a relational data base system / P.A.V. Hall // IBM Journal of Research and Development. - 1976. - № 20. - № 3. -P. 244-257.

81. Ахтырченко, К.В. Распределенные объектные технологии в информационных системах / К.В. Ахтырченко, В.В. Леонтьев // СУБД № 5-6. - Москва, 1997. - С. 52-64.

82. Barber, B. The use of the CCTA risk analysis and management methodology CRAMM. MEDINF092. - North Holland, 1992. - P. 1589-1593.

83. Тиори, Т. Проектирование структур баз данных: в 2-х кн. / Т. Тиори, Дж. Фрай; пер. с англ. - М.: Мир, 1985. - 287 с.

84. Troyer, O.M.F. A formalization of the Binary Object-Role Model based on logic / O.M.F. de Troyer // Data & Knowledge Engineering. - 1996. - № 19. - P. 1-37.

85. Chaudhuri, S. Including Group-By in Query Optimization / S. Chaudhuri, K. Shim // Proceedings of the 20th International Conference on Very Large Data Bases, Morgan Kaufmann, San Mateo, USA, 1994. - San Francisco: Morgan Kaufmann Publishers Inc., 1994. - P. 354- 366.

86. Ramakrishnan, R. Database System Management / R. Ramakrishnan, J. Gehrcke. -Singapore: The McGraw-Hill Book Co, 2000. - 906 p.

87. Bronts, G.H.W.M. A Unifying Object Role Modelling Approach / G.H.W.M. Bronts, S.J. Brouwer, C.L.J. Martens et all. // Information Systems. 1995. - № 20. - P. 213235.

88. Hofstede, A.H.M. Formal definition of a conceptual language for the description and manipulation of information models / ter Hofstede A.H.M., Proper H.A., van der Weide // Information Systems. - 1993. - № 18. - P. 489-523.

89. Proper, H.A., van der Weide. EVORM: A Conceptual Modelling Technique for Evolving Application Domains / H.A. Proper, van der Weide. // Data & Knowledge Engineering. - 1994. - № 12. - P. 313-359.

90. Creasy, P.N. A Generic Model for 3-Dimentional Conceptual Modelling / P.N. Creasy, H.A. Proper // Data & Knowledge Engineering. - 1996. - № 20. - P. 119162.

91. Shoval, P. Database reverse engineering: From the Relational to the Binary Relationship model / P. Shoval, N. Shreiber // Data & Knowledge Engineering. -1993. - № 10. - P. 293-315.

92. Tresch, M. Object Management and Application Database Evolution / M. Tresch, M.H. Scholl // International Conference on the Entity-Relationship Approach, vol. 645 of Lecture Notes in Computer Science. - Karlsruhe, Germany, 1992. - P. 298320.

93. Ullman, J.D. Implementation of logical query languages for databases / J.D. Ullman // ACM Transactions on Database Systems. - 1985. - № 10. - P. 289-321.

94. Parker, D. Algorithmic for a Result on Multivalued Dependencies / D. Parker, C. Delobel // Proceedings of the 5th International Conference on Very Large Data Bases. - Rio de Janeiro, Brazil, 1979. - P. 56-57.

95. Aho, A.V. Efficient optimization of a class of relational expressions / A.V. Aho, Y. Sagiv, J.D. Ullman // Database Systems. - 1979. - № 4. - P.389.

96. Nicola, J. Mutual Dependencies and Some Results on Undecomposable Relations / J. Nicolas // Proc. 4th Intern. Conf.- Berlin, FDR, 1978. - P. 13.

97. Jagannathan, D. Database System Based on the Semantic Data Model / Jagannathan D. et al. // Proc. Intern. Conf. on Management Data. - Chicago, 1988. - P. 201-220.

98. Raju, K.V.S.V.N. Fuzzy functional dependencies and lossless join decomposition of fuzzy relational database systems / K.V.S.V.N. Raju, A.K. Majumdar // ACM Transactions on Database Systems. - 1988. - № 13. - P. 129-166.

99. Ладыженский, Г. Системы управления базами данных - коротко о главном / Г. Ладыженский // СУБД № 2. - Москва, 1995, С.34-39.

100. Ульман, Дж. Введение в системы баз данных / Дж. Ульман, Дж. Уидом. - М.: Лори, 2000. - 374 с.

101. Babb, E. Joined normal form: a storage encoding for relational databases / E. Babb // ACM Transactions on Database Systems. - 1982. - № 7. - P. 588-614.

102. Джексон, Г. Проектирование реляционных баз данных для использования с микро-ЭВМ / Г. Джексон; пер. с англ. - М.: Мир, 1991. - 252 с.

103. Lien, Y.E. Hierarchical schemata for relational databases / Y.E. Lien // ACM Transactions on Database Systems. - 1981. - № 6. - P. 48-69.

104. Lorentzos, N.A. Functional requirements for historica and interval extensions to the relational model / N.A. Lorentzos, Y. Manolopoulos // Data & Knowledge Engineering. - 1995. - № 17. - P. 59-86.

105. Mineau, G.W. Conceptual modeling for data and knowledge management / G.W. Mineau, R. Missaoui, R. Godinx // Data & Knowledge Engineering. - 2000. - № 33.

- P. 137-168.

106. Ganter, B. Formal Concept Analysis Methods for Dynamic Conceptual Graphs / B. Ganter, S. Rudolph // vol. 2120 of Lecture Notes in Artificial Intelligence, 2001. - P. 143.

107. Dibie-Barthelemy, J. Refinement of Conceptual Graphs / J. Dibie-Barthelemy, O. Haemmerle, S. Loiseau // vol. 2120 of Lecture Notes in Artificial Intelligence, 2001.

- P. 216.

108. Ozsoyoglu, Z.M. Reduced MVDs and minimal covers / Z.M. Ozsoyoglu, L.Y. Yuan // ACM Transactions on Database Systems. - 1987. - № 12. - P. 377-394.

109. Dey, D. Improving database design through the analysis of relationships / D. Dey, V.C. Storey, T.M. Barron // ACM Transactions on Database Systems. - 1999. - № 24. - P.203.

110. Zaniolo, C. On the design of relational database schemata / C. Zaniolo, M.A. Meklanoff // ACM Transactions on Database Systems. - 1981. - № 6. - P. 1-47.

111. Кузнецов, О.П. Дискретная математика для инженера / О.П. Кузнецов, Г.М. Адельсон-Вельский. - М.: Энергоатомиздат, 1988. - 480 с.

112. Дейт, К. Дж. Введение в системы баз данных / К.Дж. Дейт; пер. с англ. - К.: Диалектика, 1998. - 784 с.

113. Whang, K.Y. Query optimization in memory-resident domain relational calculus database system / K.Y. Whang, R. Krishnamurthy // ACM Transactions on Database Systems. - 1990. - № 15. - P. 67-95.

114. Мейер, Д. Теория реляционных баз данных / Д. Мейер; пер. с англ. М.К. Валиева. - М.: Мир, 1987. - 608 с.

115. Delobel, C. Multivalued Dependencies in a Relational Database and Theory of Boolean Switching Functions / C. Delobel.// № 142. - France, 1978. - P. 28.

116. Blankinship, R. An iterative method for distributed database optimization / R. Blankinship, A.R. Hevner, S.B. Yao // Data & Knowledge Engineering. - 1996. - № 21. - P. 1-30.

117. Chaudhuri, S. Optimization of queries with user-defined predicates / S. Chaudhuri, K. Shim // ACM Transactions on Database Systems. - 1999. - № 24. - P. 177-228.

118. Hellerstein, J.M. Optimization techniques for queries with expensive methods / J.M. Hellerstein // ACM Transactions on Database Systems. - 1998. - № 23. - P. 113157.

119. Meersman, R. The RIDL Conceptual Language. Research report, International Centre for Information Analisys Services / R. Meersman. - Brussels, Belgium, 1982. - P. 101-107.

120. Kim, S.K. Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints / S.K. Kim, D.A Carrington // vol. 2272 of Lecture Notes in Computer Science. - Grenoble, France, 2002. - P. 497.

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

122. Кузнецов, Л.А. Система расчета затрат на производство проката / Л.А. Кузнецов, А.М. Корнеев, Д.Г. Евсюков и др. // Известия высших учебных заведений. Черная металлургия. - 1998. - № 9. - С. 72-76.

123. Лебедев, Ю.Г. Сервисные металлоцентры: выигрыш при жесткой конкуренции на рынке металлов // Металлоснабжение и сбыт. - 1997. - № 2. - С. 22-27

124. Кузнецов, Л.А. Современный подход к управлению металлургической технологией / Л.А. Кузнецов // Производство проката. - 1999. - № 9. - С. 27-34; 2000. - № 3. - С. 34-40.

125. Об утверждении Положения о составе затрат по производству и реализации продукции (работ, услуг), включаемых в себестоимость продукции (работ, услуг), и о порядке формирования финансовых результатов, учитываемых при налогообложении прибыли: постановление Правительства РФ от 05.08.1992 № 552 (ред. от 31.05.2000) // Собрание актов Президента и Правительства РФ. -1992. - № 9. - ст. 602.

126. Марьин, Н.К. Учет затрат и калькуляция себестоимости в черной металлургии / Н.К. Марьин, В.П. Белянский. - М.: Металлургия, 1987. - 222 с.

127. Аптекарь, С.С. Планирование и анализ стоимостных показателей на металлургическом предприятии / С.С. Аптекарь. - М.; Металлургия, 1986. - 178 с.

128. Лебедев, Ю.Г. Методика выделения и оценки временной составляющей затрат / Ю.Г. Лебедев, И.А. Ларионова, А.Д. Руденко // Известия ВУЗов. Черная металлургия. - 2001. - № 8. - С.73-75.

129. Юзов, О.В. Экономические аспекты развития черной металлургии в России в 2001-2002 гг. / О.В. Юзов, А.М. Седых // Сталь. - 2002. - № 12. - С. 66-68.

130. Бродов, А.А. Некоторые аспекты развития черной металлургии России / А.А. Бродов, П.П. Макаров, В.А. Штанский // Сталь. - 2001. - № 6. - С.102-103.

131. Кустарев, В.П. Автоматизированное управление затратами на предприятии / В.П. Кустарев. - Л.: Машиностроение, 1990. - 226 с.

132. Гордиенко, В.О. ИСУП Магнат / В.О. Гордиенко // Корпоративные системы. -2001. - № 9. - С. 84-87.

133. Киселев, К.П. Информационный продукт ИСУП Магнат / К.П. Киселев, Е.Л. Дождикова // Экономика и Жизнь. - 2003. - №10. - С. 12-15.

134. Корнеев, А.М. Расчет затрат на производство металлопродукции / А.М. Корнеев, Т.В. Мирошникова. - Липецк: ЛИРО, 2008. - 57 с.

135. Наростин, В.К. Автоматизированная система «Парус» / В.К. Наростин, Р.П. Лукин // Торговая газета. - 2001. - № 63. - С. 3.

136. Лабзунов, П.М Организация управления затратами в условиях рыночной экономики России // Экономист. - 2002. - №9. - С. 36-39.

137. Корнеев, А.М. Основы квалиметрии. Управление качеством продукции / А.М. Корнеев, В.К. Федюкин. - М.: Информационно-издательский дом «Филинъ», 2004. - 296 с.

138. Ковалев, В.В. Финансовый анализ: Управление капиталом. Выбор инвестиций. Анализ отчётности / В.В. Ковалев. - М.: Финансы и статистика, 1997. - 144 с.

139. Тюрин, Ю.Н. Анализ данных на компьютере / Ю.Н. Тюрин, А.А. Макаров; под. ред. В.Э.Фигурнова. - М.: ИНФРА-М, 1995. - 384 с.

140. Кузнецов, Л.А. Выбор автоматизированной системы оценки показателей технологичности конструкций / Л.А. Кузнецов, Л.С. Абдуллах // Материалы семинара «проблемы российской науки. Научные и педагогические КАДРЫ ИННОВАЦИОННОЙ РОССИИ». - ЛГТУ, 2013. - С. 103-107.

141. Abdullah, L.S. Design Complex Production Systems and the determination / L.S. Abdullah // Вопросы образования и науки в XXI веке: сб. науч. тр. по мат-лам Междунар. науч.-практ. конф. 29 апреля 2013 г.: Часть 1. - Тамбов, 2013. - С. 69.

142. Корнеев, А.М. Алгоритмы проектирования технологии системы управления технологическим процессом / А.М. Корнеев, Л.С. Абдуллах, Т.А. Сметанникова // Актуальные проблемы естественных наук и их преподавания: материалы областной научно-практической конференции. - Липецк: ЛГПУ, 2013. - С. 7178.

143. Корнеев, А.М. Проектирование сложных производственных систем и определение их основных характеристик / А.М. Корнеев, Л.С. Абдуллах // Перспективы развития науки и образования: сб. науч. тр. по мат-лам Междунар. науч.-практ. конф. 30 мая 2013 г.: Часть 1. - Тамбов, 2013. - С. 82-84.

144. Корнеев, А.М. Автоматизированная система проектирования технологических процессов и генерации технологической информации / А.М. Корнеев, Л.С. Абдуллах // Theoretical & Applied Science. - 2013. - № 10. - С. 41-44.

145. Korneev, A.M. Structural cell-hierarchical identification of complex spatially distributed production systems / A.M. Korneev, L.S. Abdullah, T.A. Smetannikova // Proceedings of the 3rd International Academic Conference. August 30-31, 2013. - St. Louis, Missouri, USA. - P. 75-79.

146. Korneev, A.M. Сontrol appropriate tolerances multivariate quality / A.M. Korneev, L.S. Abdullah, S.Y. Retivykh et all. // International Academy of Theoretical & Applied Sciences. «Economy, technology, education and prospects for 2014». -Malmo, Sweden. - 2014. - № 1. - P. 27- 31.

147. Корнеев, А.М. Моделирование сложных производственных систем с помощью вероятностных автоматов / А.М. Корнеев, Л.С/ Абдуллах, Т.А. Сметанникова // Вести высших учебных заведений Черноземья. - 2014. - № 1. - С. 39-43.

148. Корнеев, А.М. Огруктурное моделирование дискретных клеточно-иерархических систем / А.М. Корнеев, Л.С. Абдуллах, Т.А. Сметанникова // Научный журнал «Фундаментальные исследования». 2014. - № 6 - С. 467-471.

149. Корнеев, А.М. Структурное моделирование сложных пространственно-распределенных систем / А.М. Корнеев, Л.С. Абдуллах, Т.А. Сметанникова // Материалы научной конференции по проблемам технических наук. - Липецк: ЛГТУ, 2014. - С. 78-82.

150. Korneev, A.M. Simulation of difficult industrial systems in the form of the probable automatic Machine / A.M. Korneev, L.S. Abdullah, T.A. Smetannikova // Metallurgical and Mining Industry. - 2015. - Vol. 7. - Is. 2. - P. 257-261.

151. Korneev, A.M. Modeling the objective function of a multistage organizational system / A.M. Korneev, L.S. Abdullah // Journal Metallurgical and Mining Industry. - 2015. - Vol. 1. - Is. 1. - P. 14-17.

152. Korneev, A.M. Identification of complex production systems with using iterative networks / A.M. Korneev, L.S. Abdullakh, A.B. Antar et all. // International Journal of Engineering and Technology (UAE). - 2018. - № 7. - P. 37-39.

153. Korneev, A.M. Аutomated system for the design process and the generation of technological information / A.M. Korneev, L.S. Abdullah // International Scientific Journal, Theoretical & Applied Science. «Advances in techniques & technologies», Milan, Italy. - 2013. - №10. - P. 41- 44.

154. Abdullah, L.S. Technological Development of Production Processes / L.S. Abdullah // Международная научно-практическая конференция «Наука и образование в XXI веке», 30 сентября 2013 г.: Часть 2. - Тамбов, 2013. - О. 42-47.

155. Abdullah, L.S. Design of complex systems CAD - CAM - CAE with Using an object-oriented method // Современная наука: теоретический и практический взгляд, 29-30 октября 2013, г.Уфа. - Уфа: РИЦ БашГУ, 2013. - С. 50-55.

156. Korneev, A.M. Criterion For Assessing The Effectiveness of Functioning of Complex Systems Based on The Use The Amount of Information / A.M. Korneev, L.S. Abdullah, T.A. Smetannikova // International Journal of Applied Engineering Research. - 2015.- Vol. 10. - № 11. - Р. 27981-27985.

157. Корнеев, А.М. Генерация массивов технологических факторов с использованием наивного байесовского классификатора / А.М. Корнеев, Л.С. Абдуллах // Материалы международной научно-практической конференции 15 сентября 2015 г. - Самара: АЭТЕРНА, 2015. - С. 114-117.

158. Корнеев, А.М. Оптимизация структуры базы данных многостадийных производственных систем / А.М. Корнеев, Л.С. Абдуллах, В.А. Лысиков // Сборник научных трудов по итогам XI международной научно-практической конференции «Новые технологии в научных исследованиях, проектировании, управлении, производстве», Воронеж, 7-10 ноября 2017 г. - Воронеж, 2017. - С. 300-305.

159. Korneev, A.M. Optimization structure database of complex systems / A.M. Korneev, A.K. Pogodaev, L.S. Abdullakh et all. // International Journal of Engineering and Technology (UAE). - 2018. - № 7. - Р. 133-135.

160. Корнеев, А.М. Комплекс численных методов решения задач оптимизации режимов функционирования сложных производственных систем / А.М. Корнеев, Л.С. Абдуллах, Т.А. Сметанникова // Научный журнал «Евразийский Союз Ученых (ЕСУ). - 2014. - № 9. - С. 6-8

161. Корнеев, А.М. Расчет затрат для кислородно-конвертерного производства / А.М. Корнеев, Л.С. Абдуллах // Фундаментальные и прикладные и исследования в современном мире. Материалы X Международной научно-практической конференции. - СПб., 2015. - С. 52-57.

162. Корнеев, А.М. формирование замкнутых множеств параметров сложной формы и деревьев перспективных подмножеств / А.М. Корнеев, Л.С. Абдуллах, Т.А. Сметанникова // Современные проблемы науки и образования. - 2015. - № 1. -С. 158-163.

163. Korneev, A.M. Study of the trilinear neighborhood model process of formation temperature's coiling hot-rolled strip / A.M. Korneev, A.M. Shmyrin, L.S. Abdullah et all. // International Journal of Electrical and Computer Engineering. - 2016. - Vol. 6. - № 3. - Р. 1371-1374.

164. Korneev, A.M. Мethods of assess the impact of technological variables complex spatial-distributed systems on costs / A.M. Korneev, L.S. Abdullah, A.M. Shmyrin et all. // Global Journal of Engineering Science and Researches. - 2017. - Vol. 4. № 1. - P. 51-56.

165. Korneev, A.M. Дeterministic mathematical model of matrix'sstress-strain state of with continuous and discontinuous fibers / A.M. Korneev, O.P. Buzina, A.V. Sukhanov, L.S. Abdullah, I.A. Shipulin // Global Journal of Engineering Science and Researches. - 2017. - Vol. 4. - № 1. - P. 62-68.

166. Korneev, A.M. Analysis of economic indicators of complex production processes / A.M. Korneev, L.S. Abdullakh. // International Journal of Engineering and Technology (UAE). - 2018. - № 7. - P. 7-9.

167. Корнеев, А.М. Система коррекции технологии с использованием дискретных пространственных моделей / А.М. Корнеев, Л.С. Абдуллах, Т.А. Сметанникова // ГАНУ «Центр информационных технологий и систем органов исполнительной власти». - Зарегистрирована в государственном информационном фонде № 50201450711. - 31.10.2014.

168. Корнеев, А.М. Система поисковой оптимизации сложных производственных процессов / А.М. Корнеев, Л.С. Абдуллах, Т.А. Сметанникова // ГАНУ «Центр информационных технологий и систем органов исполнительной власти». -Зарегистрирована в государственном информационном фонде. - № 50201450712. - 31.10.2014.

169. Корнеев, А.М. Автоматизированная система выбора оптимальных режимов производства / А.М. Корнеев, Л.С. Абдуллах, Т.А. Сметанникова и др. // Свидетельство о государственной регистрации программы для ЭВМ. -2015615820.

170. Корнеев, А.М. Автоматизированная система выбора оптимальной технологии в сложных системах на основе расчета лучшего технологического пространства в виде фигуры неправильной формы, а также построения 2№квадродеревьев оптимальных технологических границ / А.М. Корнеев, Л.С. Абдуллах, Т.А. Сметанникова и др. // Свидетельство о государственной регистрации программы для ЭВМ. - 2015615665.

ПРИЛОЖЕНИЯ

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

31.10.2014

50201450711

И141021134215 5013 Информационная 5418 Исходящий карта АИП номер, дата

7992 Инвентарный номер ФАП

ИКАП

7839 Тип ЭВМ

50

615

5436 Инвентарный номер ВНТИЦ

7902 Тип и версия ОС

5715 Инструментальное ПО

7848 Оперативная память

IBM PC/AT

WINDOWS 8

Visual Studio 2012

2097152

7965 Разновидность ПС 46 Программный модуль 55 Программа 64 Пакет программ 19 Комплект программ

7884 Объем программы

7947 Описание программы 7956 Описание применения 7974 РТО

73 Библиотека программ

5679 Код программы по ЕСПД

82 Программная система 91 Программный комплекс 28 Информационная структура 37 Прочее

.02069875.00615-01

87040

7362 Срок окончания разработки

4956 Распространение ПП 35 Организация-разработчик ¡44 ¡Организация, ведущая ФАП

21.10.2014

4511 Сертификация 34 Сертифицирована кз_1несертифицирована

Сведения об организации, представляющей АИП во ВНТИЦ

2457 Код ОКПО 2934 Телефон 2394 Телефакс 2754 Город

02069875 [phone] [phone] Липецк

1332 Сокращенное наименование министерства(ведомства) 2403 Код ВНТИЦ

Минобрнауки РФ 0203023580343

2151 Полное наименование организации

I осударсгвенное образовательное учреждение высшего профессионального образования «Липецкий государственный технический | университет». Липецкое отделение ОФАГ1

2358 Сокращенное наименование организации 2655 Адрес организации

ФГБОУ ВПО ЛГТУ, ФАП-Липецк

398600 Липецк, ул. Московская, д.30

Сведения об орга н и з а и и и - р а з р а б о т ч и к е

2988 Телефон 3087 Телефакс 2781 Город

[phone] [phone] Липецк

2187 Наименование организации

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

2385 Сокращенное наименование организации

ФГБОУ ВПО ЛГТУ

2682 Адрес организации

398600 Липецк, ул. Московская, д.30

6183 Авторы (разработчики ПС) Корнеев A.M., Абдуллах Л.С., Сметанникова Т.А.

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

9117 Реферат_

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

Условия эксплуатации:

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

ПО способно работать на операционных системах Windows 8, Windows RT на архитектурах процессоров х86, хб4, ARM. Для корректной работы рекомендуется 2048 мегабайт оперативной памяти. Тип распространения - локальный, либо публичный магазин приложений «Windows Store».

Vuopi. Кариесе Inôpcit Мастиславович (RV). Левин Александр Павлович (RI ). Шуллах Лутфи С алел (RL), Сметами икона Татьяна Андреевна (RH

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

УТВЕРЖДАЮ

Директор ремонтного комплекса ОАО« К»

A.B. Попов « & » ,f 2014 г.

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

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

Комиссия в составе представителей ОАО «Новолипецкий металлургический комбинат» начальника Ремонтного производства Васильева Д.С., начальника МЦМО РП Костина P.A., заместителя начальника ПАУ Осекова А.Н. и Липецкого государственного технического университета директора института машиностроения, доцента, к.т.н. Корнеева A.M., аспирантов Абдуллаха Л.С., Сметанниковой Т.А., составила настоящий акт в том, что в условиях ОАО «Новолипецкий металлургический комбинат» проведена апробация работы системы исследования экономических и технологических показателей производства спортивных мишеней. В результате промышленной апробации автоматизированной системы исследования экономических и технологических показателей производства спортивных мишеней подтверждена высокая эффективность использования данной системы. Разработанная система позволяет получить более полную информацию о реальных затратах по всему ассортименту. Внедрение автоматизированной системы обеспечит регулярный пересчет коэффициентов затрат ресурсов на тысячу единиц продукции с высокой точностью и оперативностью, а также расчет материальных затрат при различных вариантах производственных планов.

от Липецкого государственного от ОАО «НЛМК»

УТВЕРЖДАЮ

Директор ремонтного комплекса

ОАО «НЛ1УЙ6>

Ci/f> A.B. Попов

« £ » '' _2014 г.

АКТ

приемки в промышленную эксплуатацию системы автоматизированного проектирования технологии производства металлопродукции

Приемная комиссия ОАО «Новолипецкий металлургический комбинат» в составе:

председателя начальника Ремонтного производства Васильева Д.С. и членов начальника МЦМО РП Костина P.A.

с участием представителей Липецкого государственного технического университета, директора института машиностроения, доцента, к.т.н. Корнеева A.M., аспирантов Абдуллаха Л.С., Сметанниковой Т.А., рассмотрела внедренную в опытную эксплуатацию в ОАО «Новолипецкий металлургический комбинат» систему автоматизированного проектирования технологии производства металлопродукции, реализующую следующие функции:

1- статистический анализ применяемых технологий,

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

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

4- прогноз значений характеристик качества готовой продукции после каждого передела,

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

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

металлопродукции в промышленную эксплуатацию в условиях

ОАО «Новолипецкий металлургический комбинат».

электрик МЦМО РП заместителя начальника ПАУ

Долгов С.В. Осекова А.Н.

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

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

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

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

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

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

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

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

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

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

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

Научный руководитель : ■_ И.В.Ефремов

* *

УТВЕРЖДАЮ

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

енк'ий осуларственныи

¿скин >ниверстс1»

Качановскин Ю II. ^ 2« 18 г.

СПРАВКА

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

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

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

• методы и алгоритмы моделирования многостадийных производственных процессов с помощью одномерных двунаправленных линейных сетей и описание характеристик клеток итеративной сети;

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

-Ше//

• методы определения sa : рат на производство дня любого типоразмера и

любой марки стали с разнесением их по агрегатам и операциям:

• методы и алгоритмы моделирования технологических параметром но агрегатам и переделам и формирование матриц коэффициентов пропорциональности для технологических параметров реализуемых видоп продукции;

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

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

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

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

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