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

• Матусов, Константин Николаевич
• кандидат технических наук
• 2003

Оглавление диссертации кандидат технических наук Матусов, Константин Николаевич

ВВЕДЕНИЕ

1. СОВРЕМЕННОЕ СОСТОЯНИЕ УПРАВЛЕНИЯ ДИСКРЕТНЫМИ ТЕХНОЛОГИЧЕСКИМИ СИСТЕМАМИ

1.1. Особенности дискретных технологических систем

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

1.3. Цель и задачи исследования

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

2.1. Системная модель дискретной технологической системы

2.2. Логическая схема построения структуры имитационной модели дискретной технологической системы

2.3. Структура и математическая модель инвариантного модуля 66 Выводы второй главы

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

3.1. Анализ и особенности реализации динамической модели

3.2. Метод построения динамической модели функционирования дискретной системы

3.3. Структурная схема программной реализации имитационной модели 90 Выводы третьей главы

4. РЕАЛИЗАЦИЯ И АПРОБАЦИЯ РЕЗУЛЬТАТОВ ИССЛЕДОВАНИЯ

4.1. Формирование структуры гибкого автоматизированного участка сборки функциональных узлов

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

4.3. Апробация системы в условиях производства 111 ЗАКЛЮЧЕНИЕ 12 0 УСЛОВНЫЕ ОБОЗНАЧЕНИЯ И СОКРАЩЕНИЯ 121 СПИСОК ЛИТЕРАТУРЫ 123 ПРИЛОЖЕНИЕ

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

Актуальность темы. Управление отраслями хозяйства, решение задач проектирования и исследования технических, экономических, организационных и других систем в современных условиях невозможно без привлечения математического моделирования как системной категории. При этом одним из важнейших направлений является имитационное моделирование (ИМ) на ЭВМ.

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

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

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

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

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

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

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

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

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

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

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

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

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

Апробация работы. Основные научные результаты диссертационной работы докладывались и обсуждались на следующих конференциях и семинарах: XXXIX научной конференции (Воронеж, 2000); ХЬ научной конференции (Воронеж, 2001); научно-практической конференции «Актуальные проблемы научно-практических исследований и методологий» (Воронеж, 2002); II Всероссийской научно-технической конференции (Воронеж, 2002); «Интеллектуализация управления в социальных и экономических системах» (Воронеж, 2003); научно-методическом семинаре кафедры КИПР ВГТУ (Воронеж, 2002, 2003).

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

Структура и объем работы. Диссертация состоит из четырех глав, заключения, изложенных на 122 страницах, списка литературы из 153 наименований, содержит 27 рисунков и 7 таблиц.

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

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

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

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

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

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

Заключение диссертации по теме «Автоматизация и управление технологическими процессами и производствами (по отраслям)», Матусов, Константин Николаевич

Выводы третьей главы

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

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

4. РЕАЛИЗАЦИЯ И АПРОБАЦИЯ РЕЗУЛЬТАТОВ ИССЛЕДОВАНИЯ

4.1. Формирование структуры гибкого автоматизированного участка сборки функциональных узлов

Рассмотрим применение разработанной логической схемы построения структуры имитационной модели, инвариантных модулей на примере функционирования ДТС в виде гибкого автоматизированного участка (ГАУ) сборки функциональных устройств (ФУ) цеха по выпуску микро-ЭВМ [43]. Структура ГАУ сборки функциональных устройств представлена на рис. 4.1.

Основная цель ГАУ сборки ФУ - выпуск заданной номенклатуры изделий, заданного объема и качества за плановый промежуток времени, при заданных ограничениях на ресурсы.

В состав основных технологических операций ГАУ сборки ФУ входят гибкие производственные модули (ГПМ) для: формовки выводов; установки ИС в металлокерамическом корпусе; установки DIP и АКС - элементов; установки конденсаторов; установки Р-компонентов; пайки, отмывки, сушки устройств и контроля качества пайки; термоциклирования; выброиспытания; внутрисхемного анализа; внутрисхемного контроля; функционального контроля; электротермотренировки.

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

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

АСС~! АСС-3

П П в магазине

Комплектующие Ш

Установка ИС в МКК Ш

Установка конденсаторов Ш

Установка резисторов из

Установка ИС в МКК иб Установка ИС в МКК

115 Установка ИС в МКК

117 Установка ИС в МКК

Установка ИС в Р!Р корпусе й2 Установка ИС в Э1Р корпусе

РЗ Установка ИС в Р1Р корпусе

Я1 Установка ЭРЭ с од. выв

3 «=1 Выгрузка ФУ

3 Я Ремонт

Приемосдаточные испытания

Электротермотре-ннровка йЗДЯ

Функциональный контроль

I—•

5 а Внутрисхемный контроль

5 « Внутрисхемный анализ

Г'Р1ы | з р Виброиспытания

5 Термоцикли-рование р ^ 1 з р по, I з г5 Установка ЭРЭ с ос. выв ЕЗ

Установка ЭРЭ с ос. выв Е2 р 3 Установка ЭРЭ с ос. выв Е1

Установка 1ЭРЭсод. выв

Я2

АСС-2 ' АСС-4

Рис. 4.1. Структура участка ГАУ сборки функциональных устройств

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

Специфика, описываемого ГАУ сборки ФУ, заключается в следующем: ТО выполняются на автоматизированном специальном технологическом оборудовании; использование автоматизированной транспортной-складской системы; использование унифицированной тары (поддонов), магазинов и кассет для транспортировки, хранения комплектующих и изделий; многономенкла-турность выпускаемых ФУ; большая номенклатура применяемой в ФУ элементной базы и малая повторяемость некоторых элементов; большое разнообразие габаритных размеров ФУ; различная производительность ГПМ; существует вероятность изготовления бракованных изделий; выполнение многочисленных операций тестирования, контроля и ремонта; необходимость проведения регламентных работ, в течение смены, на некоторых типах ГПМ.

На рис. 4.2 представлена структурно-технологическая схема исследуемого производства. Сначала производится комплектование технологических комплектов для сборки изделий и заполнение ими контейнеров, которые затем поступают на склад, а далее по мере необходимости на участок сборки ФУ, который состоит из пятнадцати ГПМ. После сборки изделия отправляются на рабочие технологические комплексы теомоциклирования и виброиспытания. Далее производится контроль, в результате которого брак отправляется на участок ремонта, а исправные изделия - на электротермотренировку. ФУ, прошедшие электротермотренировку, подаются на линию функционального контроля. Исправные изделия, прошедшие функциональный контроль, проходят приемосдаточные испытания, неисправные передаются на ремонт и далее на первичную проверку.

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

Участок оборудован четырьмя ЭВМ, среди которых центральная отслеживает текущее состояние оборудования и в конце смены выводит результаты работы производства для ЛПР по следующим формам:

1) текущее состояние участка сборки функциональных узлов ЭВМ; тип ФУ; код модели ФУ; месячный план; выполнение плана с начала месяца; дневной план; сменный план; выход со склада; выход годных изделий с участка сборки; поступление изделий на упаковку; количество изделий, прошедших ремонт;

2) состояние склада: тип ФУ; код модели; наличие на складе;

3) состояние комнаты термоиспытаний: координаты ячейки (конвейнер, этаж, позиция); тир модели ФУ; код модели; дата и время загрузки и выгрузки из комнаты.

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

Построение имитационной модели функционирования участка сборки ФУ, описанных выше, происходит в несколько этапов:

1) изучение технологического процесса сборки ФУ; анализ применимости радиоэлементов на соответствие требованиям автоматизированной сборки представлен в табл. 4.1; определение основных параметров технологических операций, время обработки одного магазина с ФУ на отдельных операциях (табл. 4.2);

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

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

- производительность 1,5 тыс.элем./час,

- габаритные размеры 1111 min 200x130 мм; тах 410x270 мм,

- возможность выстраивания в автоматическую линию,

ЗАКЛЮЧЕНИЕ

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

2. Разработана системная модель дискретной технологической системы.

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

4. Рассмотрена процедура и алгоритм построения математической модели инвариантного модуля.

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

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

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

УСЛОВНЫЕ ОБОЗНАЧЕНИЯ И СОКРАЩЕНИЯ

ТП - технологический процесс

ДТС - дискретная технологическая система

ГПС - гибкая производственная система

НП - непрерывное производство

ДП - дискретное производство

МТП - маршрутный технологический процесс

ЭС - экспертная система

ССУ - система ситуационного управления

ИИ - искусственный интеллект

АССУТП - автоматизированная система ситуационного управления технологическим процессом

ПС - производственная система

УВМ - управляющая вычислительная машина

РСК - роботизированный склад

ОС - операционная система

ФУ - функциональный узел

АС - автоматизированный склад

АСУ СО - локальная система управления складским оборудованием ГАУ ФУ - гибкий автоматизированный участок сборки функциональных устройств

ГПМ - гибкий производственный модуль

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

ЛПР - лицо, принимающее решение

СП - сети Петри

ИМ - имитационная модель

ПС - примитивные события

НС - непримитивные события

ДС - диалоговая система

ДФ - дерево функций

ЛСА - логическая схема алгоритмов

ТЗ - техническое задание

ЭФ - элементарные функции

МТП - маршрутные технологические процессы

ГАП - гибкое автоматизированное производство

УВМ - управляющая вычислительная машина

ОТК - отдел технического контроля

УВС - управляющая вычислительная система

АРМ - автоматизированное рабочее место

БД - банк данных

ТО - технологическая операция

ЭТО - элементы технологического процесса

АТСС - автоматизированная транспортно-складская система

Список литературы диссертационного исследования кандидат технических наук Матусов, Константин Николаевич, 2003 год

1. Аврамчук Е.Ф., Приваленков Б.П., Фомин Б.Ф. Машинные эксперименты с имитационными моделями АСУ технологических линий дискретного производства / Ленингр.электротехн.ин-т. Л., 1977.

2. Аврамчук Е.Ф., Фомин Б.Ф. Системное моделирование как машинный метод исследования сложных систем управления // Изв. ЛЭТИ. Научн.тр. Л: ЛЭТИ им. В.И. Ульянова (Ленина). 1981. Вып. 287. С. 12-18.

3. Автоматизация дискретного производства / Б.Е.Бонв, Г.И.Бохачев, И.К. Бояджиев и др.; Под общ.ред. Е.И. Семенова, Л.И. Волчкевича. М.: Машиностроение, 1987; София: Техника, 1987. 376 с.

4. Автоматизированный тестовый контроль производства БИС / С.С. Булгаков, Д.Б. Десятов, С.А. Еремин, В.В. Сысоев. М.: Радио и связь, 1992. 192 с.

5. Автоматизированное управление технологическими процессами: Учеб.пособие / Н.С. Зотов, О.В. Назаров, Б.В. Петелин, В.Б. Яковлев, Под ред. Яковлева В.Б. Л.: Издательство Ленинградского университета, 1988. 224 с.

6. Алиев P.A. Производственные системы с искусственным интеллектом / P.A. Алиев, Н.М. Абдикеев, М.М. Шазназаров. М.: Радио и связь, 1990. 264 с.

7. Анализ и обработка данных в диалоговых системах имитации / Под ред.чл.-кор. АН СССР A.A. Вавилова. JL: ЛЭТИ им. В.И. Ульянова (Ленина), 1979. 76 с.

8. Анализ и моделирование производственных систем / Б.Г. Тамм, М.Э. Пуусепп, P.P. Таваст, под общ.ред. Б.Г. Тамма. М.: Финансы и статистика. 1987. 191 с.

9. Арбузов С.П., Степанищев В.А., Голиков В.К. Задачи автоматизации проектирования ГПС. Воронеж, 1987. 19 с. деп. В ЦНИИТЭИ приборостроения 9.11.87.№4015-пр. 87.

10. Автоматизация управления / В.А. Абчук, А.Л. Лифшиц, A.A. Федулов, Э.И. Кутина; Под ред. В.А. Абчука. М.: Радио и связь, 1984. 264 с.

11. Автоматизация управления в гибких производственных системах / Ю.П. Шкуркин,А.З. Брискин, Г.И. Калитин. К.: Техника, 1988. 182 с.

12. Анисимов П.А., Маринук М.Н. Системы оперативного управления дискретными производствами. Кишинев: Штиница, 1984. 174 с.

13. Баер Ж.Л. Методы исследования параллелизма // Системы параллельной обработки. М.: Мир, 1985. С. 80-105.

14. Балашов Е.П. Эволюционный синтез систем. М.: Радио и связь, 1985.328 с.

15. Белман Р., Калаба Р. Динамическое программирование и современная теория управления. М.: Наука, 1969. 120 с.

16. Болотова JI.C. Системы ситуационного управления. Состояние и перспективы развития: В кн.: Моделирование и искусственный интеллект: меж-вуз.сб.науч.тр. / МИРЭА. М., 1988. С. 38-46.

17. Бондаренко A.B. Эвристические подходы к решению задач календарного планирования // Автоматизированные системы управления предприятием. Киев: ИК АН УССР, 1968. С. 28-35.

18. Бусленко Н.П. Моделирование сложных систем. М.: Наука, 1978.400 с.

19. Бусленко Н.П., Калашников В.В., Коаленко И.Н. Лекции по теории сложных систем. М.: Сов.радио, 1973.439 с.

20. Вавилов A.A. Структурный и параметрический синтез сложных систем. Л.: ЛЭТИ им. В.И. Ульянова (Ленина), 1979. 96 с.

21. Вальденберг Ю.С., Дементьев В.А., Левитан Г.И., Марьенко А.Ф. Ситуационное управление технологическими процессами // Вопросы кибернетики. Выпуск 14. Ситуационное управление. Теория и практика. Часть 2. М.: Советское радио. 1975. С. 97-107.

22. Вишняков H.A. Об одном типе ситуационных моделей принятия решений // Вопросы кибернетики. Выпуск 68. Ситуационное управление. Теория и практика. М.: ВИНИТИ, 1980. С. 85-94.

23. Волобоев Б.А. Древовидно-сетевой поход к разработке программного обеспечения // Управляющие системы и машины. 1984. № 3. С. 51-56.

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

25. Гибкие производственные системы изготовления РЭА / А.И. Артемьев, В.П. Ковешников, М.С. Лапин и др. М.: Радио и связь, 1990. 240 с.

26. Гибкие производственные комплексы / Под ред. П.Н. Белянина, В.А. Лещенко. M., 1984. 384 с.

27. Гибкое автоматическое производство / Под ред. С.А. Майорова, Г.В. Орловского, С.Н. Халкионова. 2-е изд.доп. и перераб. Л.: Машиностроение. 1985.454 с.

28. Голиков В.К., Кульнев С.С., Сысоев В.В. Имитационное моделирование транспортно-складской системы ГАП сборки // Тез. докл.научно-технического семинара «Системное проектирование гибких автоматизированных производств». Владимир: ВПИ, 1988. С. 28-29.

29. Голиков В.К., Арбузов С.П., Степанищев В.А. Одношаговый алгоритм управления участком мелкосерийного производства // Специальное математическое и программное обеспечение САПР: Межвуз.сб.науч.тр. Воронеж, 1987. С. 144-147.

30. Голиков В.К., Кульнев С.С., Осис А.И. Анализ возможностей применения сетей Петри для имитационного моделирования сборочного производства // Выбор и принятие решений в САПР. Межвуз.сб.науч.тр. Воронеж: ВТИ, 1989. С. 89-92.

31. Голиков В.К. Исследование динамики особых состояний дискретных систем // Математическое моделирование технологических систем. Воронеж: ВГТА, 1999. Вып. 3. С. 3-9.

32. Голиков В.К., Баркалов В.А., Матусов К.Н. Модель функционирования автоматизированного склада в виде сети Петри // Материалы XXXIX отчетной научной конференции за 2000 год. Воронеж.гос.технол.акад. Воронеж, 2001. Ч. 2. 308 с. С. 59-64.

33. Голиков В.К., Матусов К.Н. Матричная форма представления конфликта в сетях Петри // Материалы XL отчетной научной конференции за 2001 год. Воронеж.гос.технол.акад. Воронеж, 2002. Ч. 2.312 с. С. 21-22.

34. Голиков В.К., Матусов К.Н., Сысоев В.В. Сети Петри в ситуационном управлении и имитационном моделировании дискретных технологических систем / Под общ.ред. В.В. Сысоева. М.: Радиотехника, 2002. 227 с.

35. Довбня Н.М. и др. Роботизированные технологические комплексы в ГПС / Н.М. Довбня, А.Н. Кондратьев, Е.И. Юревич. JL: Машиностроение, Jle-нингр.отд-ние, 1990. 303 с.

36. Дружинин В.В., Конторов Д.С. Системотехника. М.: Радио и связь, 1985.200 с.

37. Емельянов В.А., Облов В.К., Овсянников М.В. Функциональная и организационная структура АСУ ГАПС // Приборы и системы упр. 1984. № 12. С. 1-3.

38. Загадская Л.С., Лозовский B.C., Сокольников А.И., Горячук В.Ф. Реализация базовых процессов в системе ситуационного управления // Вопросы кибернетики. Выпуск 68. Ситуационное управление. Теория и практика. М.: ВИНИТИ, 1980. С. 94-108.

39. Зак Ю.А. Определение порядка выполнения независимых операций на параллельных машинах // Изв. АН СССР: Техн.Кибернетика, 1969. № 2. С. 1520.

40. Захаров В.Н., Поспелов Д.А., Хазацкий В.Е. Системы управления. Задание. Проектирование. Реализация. М.: Энергия, 1977. 423 с.

41. Жолондзь В.А. Использование закономерностей времени и действия в ситуационном управлении дискретными объектами // Вопросы кибернетики. Выпуск 68. Ситуационное управление. Теория и практика. М.: ВИНИТИ, 1980. С. 60-69.

42. Ивашко И.И. Создание и применение средств механизации и автоматизации ПРТС работ // Промышленный транспорт, 1988. № 9.

43. Иглхарт Д.Л., Шедлер Д.С. Регенеративное моделирование сетей массового обслуживания: Пер.с англ. М.: Радио и связь, 1984. 136 с.

44. Ильевский В.З., Беспалова B.C., Стрижков Г.М. Проектирование автоматизированных систем диспетчерского управления. Л.: Машиностроение. Ленингр.отделение, 1981. 160 с.

45. Имитационное моделирование производственных систем / Под ред. A.A. Вавилова. М.: Машиностроение, Берлин: Ферлаг Техник, 1983.416 с.

46. Киндлер Е. Языки моделирования: Пер.с чешек. М.: Энергоатомиздат, 1985.288 с.

47. Клир Дж. Наука о системах: новое измерение науки. Системные исследования // Методологические проблемы. Ежегодник, 1983. М.: Наука, 1983. С. 61-84.

48. Клир Дж. Системология. Автоматизация решения системных задач.

49. Пер. с англ. М.: Радио и связь, 1990. 544 с.

50. Конвей Р., Максвелл В., Миллер JI. Теория расписаний: Пер. с англ. / Под ред. Г.П. Башарина. М.: Наука, 1975. 359 с.

51. Корбут A.A., Финкелынтейн Ю.Ю. Приближенные методы дискретного программирования // Изв. АН СССР: техн.кибернетика, 1963. № 1. С. 165176.

52. Котов В.Е. Сети Петри. М.: Наука, 1984. 158 с.

53. Крейн М., Лемуан О. Введение в регенеративный метод анализа моделей. М.: Наука, 1982. 104 с.

54. Кузьмук В.В. Анализ и синтез управляющих и безопасных сетей петри // Препринт. Ин-т проблем моделирования в энергетике АН УССР. 1987. № 105.С. 1-54.

55. Кульнев С.С., Арбузов С.П., Колбенков A.A., Голиков В.К. Пакет программных модулей для выбора оптимальной структуры ГАЛ // Математическое и машинное моделирование. Материалы научной конференции. Воронеж: ВПИ, 1988. С. 85-87.

56. Лапин М.С., Меткин Н.П. Методология технологического проектирования ГАП сборки и монтажа РЭМ-1 // Современные проблемы проектирования и технологии производства РЭА. Л.: ЛДНТП, 1984. С. 19-25.

57. Лапин М.С., Критский В.М. Основные концепции создания ГПС сборки и монтажа радиоэлектронных модулей первого уровня разукрупнения РЭА // Интегрированные производственные комплексы в радиоэлектронике и приборостроении. Л.: ЛДНТП, 1986. С. 24-28.

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

59. Левиатов А.Ю., Айзикович A.A. Ситуационное управление на предприятии // Изв. АН СССР. Техническая кибернетика, 1973. № 3. С. 9-13.

60. Левиатов А.Ю. Модель объекта в системе ситуационного управления предприятием // Вопросы кибернетики. Выпуск 14. Ситуационное управление. Теория и практика. Часть 1. М.: Сов.радио. 1975.

61. Левиатов А.Ю., Захаров В.Н., Немцов М.П., Почерняев С.В. Информационное обеспечение системы ситуационного обеспечения на предприятии И Вопросы кибернетики. Выпуск 14. Ситуационное управление. Теория и практика. Часть 2. М.: Сов.радио. 1975. С. 152-154.

62. Левиатов А.Ю. Классификатор в системе ситуационного управления на предприятии // Вопросы кибернетики. Выпуск 14. Ситуационное управление. Теория и практика. Часть 2. М.: Советское радио, 1975. С. 148-156.

63. Линский B.C., Кирнеев М.Д. Составление оптимальных расписаний для параллельно действующих процессов // Изв. АН СССР: Техн.кибернетика. 1972. №3. С. 160-167.

64. Логачев В.Г. Технологические основы гибких автоматических производств. Л.: Машиностроение, Ленингр.отделение. 1985. 176 с.

65. Максимей И.В. Имитационное моделирование на ЭВМ. М.: Радио и связь, 1988.232 с.

66. Маликов О.Б. Проектирование автоматизированных складов штучных грузов. Л.: Машиностроение. 1981. 240 с.

67. Маликов О.Б., Малкович А.Р. Склады промышленных предприятий: Справ. / Под общ.ред. О.Б. Маликова. Л.: Машиностроение, Ленингр.отд-ние, 1989. 672 с.

68. Мартин Дж. Планирование развития автоматизированных систем / Пер с англ. М.: Финансы и статистика, 1984. 196 с.

69. Машинный эксперимент, анализ и обработка данных в диалоговых системах имитации: Учебн.пособие / Е.Ф. Аврамчук, A.C. Бачурин, А.Е. Исаев, Т.Л. Качанова и др. / Под ред. чл.-корр. АН СССР A.A. Вавилова. Л.: ЛЭТИ, 1979. 75 с.

70. Месарович М., Такахара Я. Общая теория систем: математические основы / Пер. с англ. М.: Мир, 1978. 341 с.

71. Меткин И.Л., Лапин М.С., Клейменов С.А., Критский В.М. Гибкие производственные системы. М.: Изд.стандартов, 1989. 312 с.

72. Модели оперативного управления в дискретном производстве / Л.И. Смоляр. Серия «Теория и методы системного анализа». М.: Наука, Главная редакция физико-математической литературы, 1978. 320 с.

73. Моделирование дискретных параллельных процессов управления с помощью сетей Петри / В.А. Васильев, В.В. Кузьмук, Г. Майер, С. Фенч // Электронное моделирование, 1986. Т. 8. № 2. С. 10-13.

74. Назаренков В.М., Кульба A.B. Использование модифицированных сетей Петри для имитационного моделирования гибкого автоматизированного производства // Проблемы создания гибких автоматизированных производств. М.: Наука, 1987. С. 56-62.

75. Николаев В.И., Брук В.М. Системотехника: методы и приложения. Л.: Машиностроение, Ленингр.отд-ние, 1985. 199 с.

76. Опыт проектирования и эксплуатации автоматизированных транс-портно-складских комплексов за рубежом // Обзорная информация. Сер. № 4. Материально-техническое снабжение. 1986. Вып. 3.

77. О разработках экспертных систем / Е.В. Маркова // Приборы и системы управления. 1989. № 1. С. 1-3.

78. Основы создания гибких автоматизированных производств / Под ред. Б.Б. Тимофеева. К.: Техника, 1986. 144 с.

79. Панадимитрту X., Стайглиц К. Комбинаторная оптимизация. Алгоритмы сложности: Пер. с англ. М.: Мир, 1985. 512 с.

80. Перегудов Ф.И., Тарасенко Ф.П. Введение в системный анализ: учебн.пособие для вузов. М.: Всш.шк., 1989. 367 с.

81. Перовская Е.И., Фетисов В.А. Автоматизация гибких дискретных систем. JL: Издательство Ленинградского университета, 1989. 160 с.

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

83. Планирование и управление в автоматизированном производстве / В.В. Шкурба, С.А. Белецкий, К.Ф. Ефетова и др. Киев: Наукова Думка, 1985. 224 с.

84. Подвальный С.Л., Бурковский В.Л. Имитационное управление технологическими объектами с гибкой структурой. Воронеж: Изд-во ВГУ, 1988. 168 с.

85. Пожидаев В.Г. Формирование макроописания системы и его использование в ситуационной модели оперативного планирования // Вопросы кибернетики. Выпуск 68. Ситуационное управление. Теория и практика. М.: ВИНИТИ, 1980. С. 131-142.

86. Пономарев В.Ф., Колесников A.B., Кириков И.А. Об одном подходе в семиотическом моделировании состояния транспортных систем // Вопросы киебернетики. Выпуск 68. Ситуационное управление. Теория и практика. М.: ВИНИТИ, 1980. С. 109-130.

87. Поспелов Д.А. Логико-лингвистические модели в системах управления. М.: Энергоиздат, 1981. 232 с.

88. Поспелов Г.С., Поспелов Д.А. Искусственный интеллект — прикладные системы. М.: Знание, 1985. 48 с.

89. Представление и использование знаний: Пер. с япон. / Под ред. X. Уэно, М. Исудзука. М.: Мир, 1989. 220 с.

90. Принципы ситуационного управления / Поспелов Д.А. // Известия АН СССР, Техническая кибернетика, 1970. № 2. С. 10-17.

91. Применение сетей Петри / В.В. Никонов, Ю.Е. Подгур-ский // Зарубежная радиоэлектроника, 1986. № 11. С. 17-37.

92. Рихтер К. Динамические задачи дискретной оптимизации: Пер. с нем. М.: Радио и связь, 1985. 136 с.

93. Розенблюм А.Я. Сети Петри // Изв. АН СССР: Техн.кибернетика, 1983. №5. С. 198-210.

94. Рыбкин Л.В., Кобзарь Ю.В., Демин В.К. Автоматизация проектирования систем управления сетями связи. М.: Радио и связь. 1990. 208 с.

95. Савчук Л.Г., Сирота A.A., Курнаков В.Б. Ситуационное управление аэропортом на уровне диспетчера // Вопросы кибернетики. Выпуск 14. Ситуационное управление. Теория и практика. Часть 2. М.: Советское радио. 1975. С. 140-148.

96. Системное проектирование радиоэлектронных предприятий с гибкой автоматизированной технологией / В.Н. Волкова, А.П. Градов, A.A. Денисов и др.; Под ред. В.А. Мясникова и Ф.Е. Темникова. М.: Радио и связь, 1990. 296 с.

97. Системы управления ГАП в приборостроении / Н.П. Стародуб, В.М. Дани люк, А.П. Галена и др. К.: Техника, 1984.40 с.

98. Слепцов А.И., Юрасов A.A. Автоматизация проектирования управляющих систем гибких автоматизированных производств / Под ред. Б.Н. Малиновского. К.: Техника, 1986. 110 с.

99. Смирнов A.M. Математическая модель объемного календарного планирования технологически зависимых операций // Автоматика и телемеханика. 1985. № 10. С. 109-115.

100. Советов Б.Я., Цехановский В.В. Автоматизированное управление современным предприятием. Л.: Машиностроение. Ленингр.отделение, 1988. 168 с.

101. Советов Б.Я., Яковлев С.А. Моделирование систем: Учеб.для вузов по спец. «Автоматизированные системы обработки информации и управления». 2-е изд., перераб.и доп. М.: Высш.шк., 1998. 319 с.

102. Соломенцев Ю.М., Басин A.M., Климов C.B. Ситуативное проектирование технологических процессов в ГАЛС // Вестник машиностроения, 1984. №3. С. 47-50.

103. Спиваковский А.О., Дьячков В.К. Транспортирующие машины. М.: Машиностроение, 1983. 487 с.

104. Степанищев В.А., Арбузов С.П., Голиков В.К. Одношаговый алгоритм управления участком мелкосерийного производства // Специальное математическое и программное обеспечение САПР: Межвуз.сб.науч.тр. Воронеж,1987. С. 144-147.

105. Степанищев В.А., Сысоев В.В., Голиков В.К. Векторная оптимизация управления ГПС на сетях Петри // Тез.докл.науч.-техн.семинара «Системное проектирование гибких автоматизированных производств». Владимир: ВПИ,1988. С. 33-34.

106. Сысоев В.В. Системное моделирование многоцелевых объектов // Методы анализа и оптимизации сложных систем. М.: ИФТП, 1993. С. 80-88.

107. Сысоев В.В. Некоторые вопросы анализа конфликта в структурном представлении систем. Воронеж: ВГТА. Информационные технологии и системы. № 2, 1977. С. 54-60.

108. Сысоев В.В. Структурные и алгоритмические модели автоматизированного проектирования производства изделий электронной техники. Воронеж: ВТИ, 1993. 207 с.

109. Сысоев В.В. Определение конфликта функционирующих систем // Математическое моделирование технологических систем. Воронеж: ВГТА, 1996. С. 3-9.

110. Сысоев В.В. Автоматизированное проектирование линий и комплексов оборудования полупроводникового и микроэлектронного производства. М.: Радио и связь, 1982. 120 с.

111. Сысоев В.В. Исследование, разработка структурных и алгоритмических моделей автоматизированного проектирования линий, комплектов оборудования полупроводникового и микроэлектронного производства / Дисс.докт.техн.наук. Воронеж, ВТИ. 1984.424 с.

112. Танаев B.C., Шкурба B.B. Введение в теорию расписаний. M.: Наука, 1975. 256 с.

113. Теория расписаний и вычислительные машины / Под ред. Э.Г. Коффмана: Пер. с англ. / Под ред. Б.А. Головкина. М.: Наука. Гл.ред.физ.-мат.лит., 1984. 333 с.

114. Технология системного моделирования / Е.Ф. Аврамчук, A.A. Вавилов, C.B. Емельянов и др. Под общ.ред. C.B. Емельянова и др. М.: Машиностроение. Берлин: Техник, 1988. 520 с.

115. Типовые системы управления автоматизированным складом и транс-портно-накопительными средствами // Ю.Б. Чайковский, Б.В. Шиян, О.П. Кап-пенко, О.Ф. Товпеко // Средства связи. 1985. № 3. С. 63-65.

116. Томпсон Дж., Мут Дж.Ф.Календарное планирование: Пер.с англ. / Под ред. В.В. Головинского. М.: Прогресс, 1966.466 с.

117. Транспортно-накопительные системы для ГПС / В.А. Егоров, В.Д. Лузанов, С.М. Щербаков. Л.: Машиностроение. Ленингр.отд-ние, 1989.293 с.

118. Уотермен Д. Руководство по экспертным системам: Пер. с англ. М.: Мир, 1989. 388 с.

119. Управление ГПС: Модели и алгоритмы / Под ред. C.B. Емельянова. М.: Машиностроение, 1989. 364 с.

120. Филонов Н.Г., Голиков В.К., Сысоев Д.В. Автоматизированная система имитационного моделирования дискретных технологических систем // Материалы Центра научно-технической информации. Воронеж: ЦНТИ, 1988. 2 с.

121. Финкельштейн Ю.Ю. Приближенные методы и прикладные задачи дискретного программирования. М.: Наука, 1976. 264 с.

122. Форд Л.Р., Фалкерсон Д.Р. Потоки в сетях. М.: Мир, 1966. 214 с.

123. Хейсс Рот Ф., Уотермен Д., Ленат Д. Построение экспертных систем. Пер. с англ. М.: Мир, 1987. 430 с.

124. Чоговадзе Г.Г. Автоматизация проектирования систем оперативного управления технологическими процессами. М.: Энергия, 1980. 288 с.

125. Чудаков А.Д. Системы управления гибкими комплексами механообработки. М.: Машиностроение, 1990. 240 с.

126. Шеннон Р. Имитационное моделирование: Искусство и наука. М.: Мир, 1978.418 с.

127. Шрайбер Т. Дж. Моделирование на GPSS: Пер. с англ. / Под ред. М.А. Файнберга. М.: Машиностроение, 1980. 592 с.

128. Экспертные системы и системы ситуационного управления / JI.C. Болотова // Приборы и системы управления. 1989. № 1. С. 6-7.

129. Экспертные системы. Принципы работы и примеры. Пер. с англ. / А. Брукинг, П. Джонс, Ф. Кокс и др.; Под ред. Р. Форсайта. М.: Радио и связь, 1987. 224 с.

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

131. Artificial Intelligence in Manufacturing: Forecast for the Use of Artificial Intellegence in the USA//Robotics, 1986, 2. P. 357-362.

132. Kirutly G. Assessment of the Application of Expert Systems in Flexible Manufacturing // North-Holland Robotics, 1986, 2. P. 313-321.

133. Kocsis J., Fetyiszov V Rugalmas automatizals gyartas: a megbizhatosag becslesde idoleges tobblet eseten // Finommechanika. Mikrotechnika. 1984. № 9.

134. Multi — robot cell controller using an expert systems approach //16 International Symposium on Industrial Robots. 30.09-2.10.1986, Brussels. P. 229-236.

135. Modie C. Z., Ben Arieh D. Strategies for material transportation in computer integrated manufacturingenviroment // Proc. 5 th. Intern. Conf. Flexible Manufacturing Systems, 1986, November. P. 235-246.

136. Sifacis J. Use of Petri nets for performance evaluation // Acta cybernetica. 1979. Vol. 4. № 2. P. 129-147.

137. Sata T. Approaches to higly integrated factory automation // Proceedings of the 6th International IFIP/IFAC Conference "PROLAMAT'85". North-Holland / 1986.

138. Tsushima Isao, Tashiro Tsutomu, Komoda Norihisa, Bada Karushi. "Kafi-coKy A3UAO C3fire, raKKaii poMÖyHcio, Trans. Soc. Instrum. And Contr. Eng." 1985, 21. № 10. P. 1113-1120.