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

  • Милевский, Владислав Анатольевич
  • кандидат технических науккандидат технических наук
  • 1999, Кемерово
  • Специальность ВАК РФ05.13.16
  • Количество страниц 128
Милевский, Владислав Анатольевич. Разработка методов и средств математического моделирования технологических схем с использованием формальных свойств сетей Петри: На примерах систем карьерного транспорта и проветривания угольной шахты: дис. кандидат технических наук: 05.13.16 - Применение вычислительной техники, математического моделирования и математических методов в научных исследованиях (по отраслям наук). Кемерово. 1999. 128 с.

Оглавление диссертации кандидат технических наук Милевский, Владислав Анатольевич

ОГЛАВЛЕНИЕ

Введение . 4 Глава 1.Методы математического моделирования

процессов горного дела

1.1 .Применение теории графов для моделирования технологических

процессов угольной промышленности

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

1.3.Использование сетей Петри для моделирования

технологических процессов

1.3.1.Развития теории сетей Петри

1.3.2.Моделирующие возможности сетей Петри

1.3.3.Применение сетей Петри в горном деле

1.4.Выводы 27 Глава 2.Интегрированная система моделирования и формального

анализа свойств сетей Петри

2.1 .Основные понятия теории сетей Петри. Классификация

2.2.Алгоритмические основы построения системы моделирования 46 2.2. КПоведенческие свойства. Алгоритм построения* '

дерева достижимых состояний

2.2.2.Структурные свойства. Векторный анализ уравнения состояния 49 2.3.Общая структура и функциональные возможности

интегрированной системы

2.4.Особенности реализации модулей анализа сети Петри

2.5.Выводы 67 Глава 3.Анализ функционирования транспортной системы карьера 69 3.1 .Упрощенная модель транспортного потока

3.2.Методика проведения имитационных экспериментов

3.3.Моделирование работы карьера

3.4.Выводы

Глава 4.Математическое моделирование воздухораспределения

шахтной вентиляционной системы сетью Петри

4.1.Представление вентиляционной схемы сетью Петри

4.2.Математическое описание метода решения системы

воздухораспределения. Постановка задачи

4.3.Алгоритм построения системы независимых контуров

4.4.Примеры расчета реальных вентиляционных схем

4.5.Выводы 115 Заключение 117 Литература

Рекомендованный список диссертаций по специальности «Применение вычислительной техники, математического моделирования и математических методов в научных исследованиях (по отраслям наук)», 05.13.16 шифр ВАК

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

Введение

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

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

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

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

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

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

Работа выполнялась в соответствии с заданием задание «Структурные и информационные модели систем угледобычи и процессов функционирования сложных объектов» к плану НИР Института угля и углехимии СО РАН на 1998-2000 годы, проект «Математическое моделирование систем и процессов угледобычи»; Федеральной целевой программой «Государственная поддержка интеграции высшего образования и фундаментальной науки на 1997-2000 годы».

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

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

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

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

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

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

- построить модель сети Петри вентиляционной системы угольной шахты и установить характерные структурные свойства построенной сети;

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

Методы исследований:

- алгоритмизация и программная реализация методов теории сетей Петри при разработке интегрированной системы моделирования и анализа формальных свойств сетей Петри в инструментальной среде программирования Borland Delphi 1.0 под управлением операционной системы MS Windows',

- принципы модульности и структурного подобия теории сетей Петри для моделирования элементов транспортной системы;

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

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

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

Научные положения, защищаемые автором

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

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

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

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

реализуется инвариантная состоянию системы последовательность срабатывания переходов;

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

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

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

Научная новизна работы состоит

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

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

- в разработке базисного набора математических моделей основных элементов транспортной системы: входной поток, выходной поток, буфер; механизма их композиции и структурной синхронизации;

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

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

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

Личный вклад автора состоит

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

V и и 1 и 1

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

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

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

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

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

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

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

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

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

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

- графически отображать динамику работы системы;

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

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

Реализация работы. На основании полученных результатов разработаны методические рекомендации «Интегрированная система моделирования на основе сетей Петри», утвержденные методической комиссией механико-машиностроительного факультета КузГТУ и используемой в учебном процессе на кафедре автомобильных перевозок; учебное пособие «Построение и анализ формальных свойств сетей Петри с использованием интегрированной системы моделирования», утвержденное методической комиссией математического факультета КемГУ и используемой в учебном процессе на кафедре автоматизации исследований и технической кибернетики.

Апробация работы. Основные научные положения и практические результаты работы обсуждались и получили одобрение на II Международной научно-практической конференции «Безопасность жизнедеятельности предприятий в угольных регионах» (Кемерово, 1998 г.), на Международной научно-практической конференции «Наукоемкие технологии угледобычи и углепереработки» (Кемерово, 6-9 октября 1998 г.), на Международной конференции «Экологические проблемы угледобывающей отрасли в регионе при переходе к устойчивому развитию» (Кемерово, 24-25 февраля 1999 г.), на научном семинаре Кемеровского государственного университета (Кемерово, 1999 г.), на научном семинаре Кузбасского государственного технического университета (Кемерово, 1999 г.), на научном семинаре Института угля и углехимии СО РАН (Кемерово, 1999 г.).

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

Объем работы. Диссертация состоит из введения, 4 глав и заключения на 116 стр., содержит 3 таблицы, 32 рисунка, список литературы из 112 наименований.

Похожие диссертационные работы по специальности «Применение вычислительной техники, математического моделирования и математических методов в научных исследованиях (по отраслям наук)», 05.13.16 шифр ВАК

Заключение диссертации по теме «Применение вычислительной техники, математического моделирования и математических методов в научных исследованиях (по отраслям наук)», Милевский, Владислав Анатольевич

4.5. Выводы

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

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

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

- схема описывается 41 позицией и 24 переходами сети Петри, непосредственно задающими матрицу инциденций сети;

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

4. Для построенной модели вентиляционной схемы бремсбергового поля № 41 шахты «Первомайская» решена задача воздухораспределения вентиляционной системы на сетях Петри с использованием разработанного метода определения независимых контуров сети.

Заключение

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

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

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

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

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

И8 способность подбункерного конвейера, время выполнения операций; позициями определяется емкость бункера) и вентиляционной схемы угольной шахты (позиции моделируют горные выработки, переходы - соединения двух и более выработок);

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

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

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

Имитационными экспериментами для модели транспортировки угля от экскаватора к бункеру электровозной откатки и модели работы транспортной системы участка разреза «Кедровский» установлено, что

- переход к цветному расширению сетей Петри в 10-12 раз сократил размерность модели;

- загруженность бункера линейно уменьшается с 90 до 70 тонн при увеличении пропускной способности конвейера с В до 10 тонн и не изменяется, остается равной 70 тонн, при дальнейшем увеличении пропускной способности;

- загруженность бункера не линейно увеличивается с 20 до 80 тонн при увеличении суммарной грузоподъемности с 20 до 230 тонн и остается постоянной, не чувствительной к дальнейшему увеличению суммарной грузоподъемности;

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

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

- схема описывается 41 позицией и 24 переходами сети Петри, непосредственно задающими матрицу инциденций сети;

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

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

Список литературы диссертационного исследования кандидат технических наук Милевский, Владислав Анатольевич, 1999 год

Литература

1. Абрамов Ф.А.,Бойко В.А.Автоматизация проветривания шахт (теоретические основы и технические средства). -Киев:Наук. думка, 1967. -187 с.

2. Абрамов Ф.А.,Тян Р.Б.,Потемкин В.Я.Расчет вентиляционных сетей шахт и рудников. -М.:Недра, 1978. -165 с.

3. Алотин Л.М.,Степанов П.Б.Моделирование и расчет транспортных систем горных предприятий. -Алма-Ата:Наука, 1979. -215 с.

4. Андрияшев М.М.Гидравлические и тепловые расчеты водопроводных линий и сетей. -М.:Изд-во Мин-ва ком.Хоз-ва, 1956. -102 с.

5. Анишев П.А.Редуцируемость сетей Петри//Программирование, 1982. -№4. -С.36-43.

6. Астахов А.С.Оптимальное планирование на ЭВМ в угольной промышленности. -М.:Недра, 1971. -176 с.

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

8. Бандман М.К. и др.Территориально-производственные комплексы: Прогнозирование процесса формирования с использованием сетей Петри. -Новоси-бирск:Наука, 1990. -297 с.

9. Баранов А.О.Расчет параметров технологических процессов подземной добычи руд. -М. :Недра, 1985 -324 с.

10. Басакер Р.,Саати Т.Конечные графы и сети. -М.:Наука, 1975 -260 с.

11. Беллман Р.Введение в теорию матриц. -М.:Наука, 1987 -320 с.

12. Беляков В.Г.,Кондратова Н.А.,Рогаченко П.И.,Ярославцев А.Ф.Математичес-кое моделирование в задачах проектирования САУ шахтным транспортным роботом//Изв.Вузов.Горный журнал, 1992. -№11. - С.31-33.

13. Берж К.Теория графов и ее применение. -М:Наука, 1962. -285 с.

14. Бишеле И.В.,Стариков А.В.Календарное планирование развития горных работ на угольной шахте//Физико-технические проблемы разработки полезных ископаемых, 1971. -№3. - С.86-91.

ш

15. Борисенко Л.Д.,Занина Л.Н.Статистическое моделирование шахтных производственных процессов. -М.:Наука, 1982. -232 с.

16. Борисов С.С.Горное дело. -М.:Недра, 1988. -320 с.

17. Буза М.К.,Кубанский А.Н.Моделирование параллельных программ сетями Петри//Программирование, 1984. -№ 3. - С.34-39.

18. Бурчаков A.C.,Воробьев Б.М.,Малкин А.С.Проектирование и комплексная оптимизация параметров угольных шахт. -М.'.Недра, 1972. -267 с.

19. Бурчаков А.С.,Малкин A.C.,Устинов М.И.Проектирование шахт. -М.:Недра, 1978. -407 с.

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

21. Бырька В.Ф.,Глухенький Л.В.,Фешин Б.Н.Система имитационного моделирования управления горными машинами/УИзв.Вузов.Горный журнал, 1992. -№11. -С.37-39.

22. Васильев В.В.Дузьмук В.В.Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем. -Киев:Наук.думка, 1990. -216 с.

23. Воробьев Б.М. и др.Методы сетевого планирования и управления в угольной промышленности. -М:Недра, 1971. -216 с.

24. Вылегжанин В.Н.,Витковский Э.И.,Потапов В.Н.Адаптивное управление подземной технологией добычи угля. -Новосибирск:Наука, 1987. -231 с.

25. Гайзман Э.И.Моделирование производственных процессов добычи угля. М. .-Недра, 1977. -180 с.

26. Герхардт X.-Д.Комби-сети - обобщение сетей Петри для развития и представления комбинированных математических моделей/Теория сложных систем и методы их моделирования//Труды семинара ВНИИСИ АН СССР. -М., 1983. - С.49-57.

27. Гордеев A.B.,Молчанов А.Ю.Применение сетей Петри для анализа вычислительных процессов и проектирования вычислительных систем: Учеб.пособие. -Спб., 1993. -80 с.

28. Губанов В.А.,Захаров В.В.,Коваленко А.Н.Введение в системный анализ. -Л.:Изд.ЛГУ, 1988. -227 с.

29. Деордица Ю.С.Расчет потокораспределения в инженерных сетях, моделируемых ацикличными графами/УИзв.вузов.Горный журнал, 1984. -№2. - С.37- 42.

30. Евдокимов А.Г.,Дубровский В.В.,Тевяшев А.Д.Потокораспределение в инженерных сетях. -М.:Стройиздат, 1979. -187 с.

31. Есикова Т.Н.Алгоритм построения множества достижимых маркирований для анализа свойств сетей Петри/Юднородные вычисления системы из Микро-ЭВМ(Вычислительные системы).Вып.97. -Новосибирск:ИЭиОПП СО АНСССР, 1983. - С.65-73.

32. Желтова Л.В.,Желтов В.П.Моделирование систем и дискретные математические модели:Текст лекций. -Чебоксары, 1995. -124 с.

33. Захарски М.Комплексное обеспечение проектирования и испытаний механизированных крепей//Изв.Вузов.Горный журнал. -№11, 1992. - С.89-92.

34. Зиновьев Э.В.,Стрекалев А.А.Методы управления сетевыми информационными системами. -Рига:3инатне, 1991. -230 с.

35. Кариман С.А.Моделирование и управление горнорудными предприятиями. -М.:Недра, 1989. -166 с.

36. Кариман С.А.Надежность производственных процессов. -М.:Наука, 1978. -140 с.

37. Кариман С.А.,Брайцев А.В.,Шрамко В.М.Моделирование и оптимизация производственных процессов при добыче угля. -М.:Наука, 1975. -175 с.

38. Конюх В.Л.Дайлаков О.В.,Предпроектный анализ шахтных робототехничес-ких систем, -Н.:Наука, 1991. -183 с.

39. Котов В.Е.Алгебра регулярных сетей//Кибернетика, 1980. -№5. - С. 10-18.

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

41. Кофман А.,Дебазай Г.Сетевые методы планирования и их применение. -М. .-Прогресс, 1968. -420 с.

42. Краснов M.JI.Векторный анализ. -М.:Наука, 1982. -268 с.

43. Красноштейн А.Е.,Файнбург Г.З.Диффузно-сетевые методы расчета проветривания шахт и рудников. -Екатеринбург.УрО РАН, 1992. -242 с.

44. Красноштейн А.Е.,Файнбург Г.З.Метод расчета стационарного распределения концентрации газообразных примесей в вентиляционной сети произвольной сложности//Сб.Вентиляция шахт и рудников. -Л., 1978, -Вып. 5, - С.53-57.

45. Кристофидес Н.Теория графов.Алгоритмический подход. -М.:Мир, 1978. -432 с.

46. Крюкова В.В.Разработка методов и средств математического моделирования и оценки эффективности роботизации горного производства: Автореферат, дис. ... д-ра техн.наук. -Кемерово, 1995. -22 с.

47. Курносов A.M.,Устинов М.И.,Набродов И.П. и др.Методы оптимального проектирования угольных шахт. -М.:Недра, 1974. -368 с.

48. Лейтес З.М.,Сысоева В.А.Методика установления оптимальных технологических схем подземного транспорта с помощью теории графов. -М.:ИГД им. А.А.Скочинского, 1966. -81 с.

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

50. Макаров И.М. и др.Принципы и аппарат моделирования гибких автоматизированных производств//Робототехника и гибкие автоматизированные производства. Кн.5: Моделирование робототехнических систем и гибких автоматизированных производств, -М.:Высш. шк., 1986. - С.107-115.

51. Медведев Б.И.,Павловский В.А.Расчет вентиляционных сетей шахт. -Киев: Техника, 1977. -246 с.

52. Медников Н.П.Моделирование процессов и технологии открытых горных разработок. -М.:Недра, 1984 -290 с.

53. Методы исследования и математическое описание подземных грузопотоков для расчета систем внутришахтного транспорта. -Караганда:КНИУИ, 1971. -48 с.

54. Мохирев Н.Н.Влияние естественной тяги на воздухораспределение в вентиляционной сети//Изв.Вузов.Горный журнал, 1984, -№4, - С.30-33.

55. Мурата Т.Сети Петри: Свойства, анализ, приложения (обзор)//ТИИЭР, 1989. -№4. - С.41-85.

56. Мустель П.И.Расчет вентиляционных сетей.Конспект лекций. -Л.:ЛГУ, 1971. -50 с.

57. Мутанов Г.М.,Вульф В.Р.Определение кратчайших маршрутов движения горнорабочих и горноспасателей//Изв,Вузов.Горный журнал, 1994. -№1. - С.

19-23,

58. Мясников А.А.,Павлов А.Ф.,Бонецкий В.А.Повышение эффективности и безопасности горных работ. -М.:Недра, 1979. -289 с.

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

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

61. Никонов В.В.,Подгурский Ю.Е.Сети Петри.Теория.Применение//Зарубежная радиоэлектроника, 1984. -№ 4, - С.28-59.

62. Новиков Е.Е.,Смирнов В.К.Введение в теорию динамики горно-транспортных машин. -Киев:Наук. думка, 1978. -171 с.

63. Олейниченко P.JI.0 построении правильных сетей Петри//Автоматика и телемеханика, 1982. -№12. - С. 130-139.

64. Ope О.Теория графов. -М:Наука, 1980. -336 с.

65. Остриров В.Н.,Срур Жамиль,Хальфа Карим,Комплексная система поддержки проектирования и анализа электромеханических систем главных приводов экскаваторов-драглайнов//Изв.Вузов.Горный журнал, 1992. -№11. - С. 14-16.

66. Патрушев М.А.,Карнаух Н.В.Устойчивость проветривания угольных шахт. -М.:Недра,1973. -174 с.

67. Петрович С.И.,Запряткин Ю.А.Данапин А.А.Комплексное планирование в АСУ угольной шахтой. -Алма-Ата:Наука, 1978. -188 с.

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

69. Плакс Т.П.Синтез параллельных программ на вычислительных моделях// Программирование, 1977. -№ 4. - С.55-63.

70. Потапов В.Д.Дризов А.Д.Имитационное моделирование производственных процессов в горной промышленности. -М.:Высш. шк., 1981. -191 с.

71. Проблемы технической кибернетики. -Обл., 1992, -77 с.

72. Пучков JI.А.,Бахвалов Л.А.Методы и алгоритмы автоматического управления проветриванием угольных шахт. -М.:Недра, 1992, -39 с.

73. Рахманин М.В.Информационное моделирование технологии открытых горных работ//Изв.Вузов.Горный журнал, 1993. -№3. - С.45-47.

74. Резничеыко С.С.Математическое моделирование в горной промышленности. -М.:Недра, 1981. -216 с.

75. Рогов Е.И.Системный анализ в горном деле. -Алма-Ата:Наука, 1976. -207 с.

76. Рогов Е.И.,Банкин С.С.,Рясков Е.Я.Надежность проветривания угольных шахт. -Алма-Ата:Наука, 1975. -278 с.

77. Розенблюм Л.Я.Сети Петри//Изв. АН СССР. Техн. кибернетика, 1983. -№5. -С. 12-40.

78. Розенблюм Л.Я.,Цирлин Б.С.Конвейеризация сетей Петри//Программирова-ние, 1985. -№1. - С.9-15.

79. Саратовский Э.Г.,Сысоева В.А.Практическое руководство по выбору рациональных организационно-технических параметров внутришахтного транспорта методами математического моделирования. -М.:ИГД им. А.А.Скочинского, 1978. -20 с.

80. Сивов Г.Т.Методы описания функционирования моделей объектов проектирования на основе сетей Петри, ориентированные на параллельную организацию вычислений/./Управление в распределенных информационных систе-мах:Сб.науч.тр. -М.:Наука, 1989. -144 с.

81. Сигорский В.П.Математический аппарат инженера. -Киев:Техника, 1975. -765 с.

82. Справочник по рудничной вентиляции/Под ред. К.З.Ушакова. -М.:Недра, 1977. -435 с.

83. Степанов П.Б.Интерактивная система моделирования выемочно-транспорт-ного комплекса угольной шахты//Изв.Вузов.Горный журнал, 1992. -№11. -С. 19-22.

84. Степанов П.Б.,Юркович Е.М.,Хегай В.А.,Кузин И.А. Разработка методов и средств формализованного описания технологических структур выемочно-транспортного комплекса шахты//Физико-технические проблемы разработки полезных ископаемых, 1989. -№6. - С.71-78.

85. Стрекачинский Г.А.Теория и численные модели вскрытия месторождений. -Новосибирск:Наука, 1983. -237 с.

86. Стрекачинский Г.А.,Ордин А.А.,Федорин В.А.Оптимальное размещение транспортных сетей на поверхности шахт. -Новосибирск:Наука, 1981. -85 с.

87. Тайлаков О.В.Разработка методов имитационного моделирования многомашинных технологий горных работ: Дис. ...канд.техн.наук. -Кемерово, 1991. -138 с.

88. Таль А.А.,Юдицкий С.А.Иерархиия и параллелизм в сетях Петри//Автома-тика и телемеханика, 1982. -№7. - С. 113-122.

89. Таль А.А.,Юдицкий С.А.Сложные автоматные сети с параллелизмом/Математика и телемеханика, 1982. -№9. - С.82-88.

90. Татомир К.И.Расчет сети выработок шахты. -Киев:АН УССР, 1958. -76 с.

91. Техника и технология горноподготовительных работ в угольной промышленности/Под ред. Э.Э.Нильвы. -М..'Недра, 1991. -314 с.

92. Тращенков Н.Ф.,Георгиевский В.В.,Давыдов Е.Г.Расчет вентиляционных сетей с использованием сечений//Технология разработки месторождений полезных ископаемых. -Караганда:КПТИ, 1974. - С.56-61.

93. Тян Р.Б.,Потемкин В.Я.Управление проветриванием шахт. -Киев:Наук, думка, 1977. -163 с.

94. Управление гибкими производственными системами.Модели и алгоритмы/ Под ред. С.В.Емельянова. -М.Машиностроение, 1987. -364 с.

95. Файнбург Г.З.,Волкова М.А.Обобщенный метод последовательных приближений для расчета вентиляционной сети с вентиляторами-эжекторами//Разра-ботка соляных месторождений. -Пермь, 1980. - С.60-64.

96. Хоральский В.П.Использование экспертных знаний при обнаружении аномальных режимов работы технологических аппаратов обогатительной фабрики//Изв.Вузов.Горный журнал, 1992. -№11. - С.74-79.

97. Ху Т.Целочисленное программирование и потоки в сетях. -М.:Наука, 1984 -370 с.

98. Цой С.Автоматическое управление вентиляционными системами шахт. -Алма-Ата:Наука, 1975. -189 с.

99. Цой С.,Рогов Е.И.Основы теории вентиляционных сетей. -Алма-Ата:Наука, 1965. -146 с.

100. Цой С.,Рязанцев Г.К.Принцип минимума и оптимальная политика управления вентиляционными и гидравлическими сетями. -Алма-Ата : Наука, 1968. -153 с.

101. Цой С.,Цхой С.М.Прикладная теория графов. -Алма-Ата:Наука, 1971. -278 с.

102. Цой С.В.,Данилина Г.П.Синтез оптимальных сетей горных выработок. -Алма-Ата.Наука, 1969. -212 с.

103. Червоненко А.Г.,Раздольский А.Г.,Заболотный Ю.В.Динамика протяженных горных транспортных машин. -Киев:Наук.думка, 1983. -191 с.

104. Шевяков JI.Д.Основы проектирования угольных шахт. -М.'.Углетехиздат, 1958. -219 с.

105. Штеле В.И.,Шайхин А.Ж.Геомеханическое обоснование технологических решений при разработке сближенных залежей//Моделирование технологических процессов при подземной разработке рудных месторождений. -Новоси-бирск:ИГД СО АН СССР, 1987. - С. 107-113.

106. Эйдерман Б.А.Методика исследования и выбора параметров забойного конвейера. -М.:Недра, 1976. -146 с.

107. Юдицкий С.А.Конструирование хорошо сформированных сетей Петри из типовых блоков//Автоматика и телемеханика, 1982. -№ 12. - С. 103-109.

108. Murata Tadao.Petry nets and their application//J.Soc.Instrument Control Eng., 1983. -Vol. 22, -13. - P.265-277

109. Ozsu M.T.Modelling and analysis of diistributed database concurrency control algorithms using an extended Petry nets formalism//TEEE Trans.Software Eng., 1985. -Vol. SE-11, -40. - P. 1225-1240.

110. Ozsu M.T.,Weide B.W.Modelling of diistributed database concurrency control mechanisms using an extended Petry nets formalism//3rd intern, conf. distrib. comput. syst. -Oct. 18-20, -Miami Fl; Landendale, Fla, 1982. - P.660-665.

111. Valette R.Analisis of Petiy nets by stepwise refinements//.!.Computer and System Sciences, 1979. -48. - P.35-46.

Ссылки на страницы сайтов сети Internet:

112. http://vvwvv.dsi.miimi.it/Users/Tesi/tiompede/petri/class.htinl

113. http://www.daimi.aau.dk/PetiiNets

114. http://www.stup.ac.rU/KOI/SOFT/DESCRIPT/0007.m.html

115. http://www.daimi.aau.dk/PetiiNets/faq/answers

116. http://www.dsi.unimi.it/Users/Tesi/ti-ompede/peti-i/alfa.html

117. http://www.informatik.uni-hamburg.de/TGl/pnbib

118. http://www.dataspace.com:84/vlib/comp-simulation.html

119. http://piranha.eng.buffalo.edu/simulation

120. http://www.isye.gatech.edu/infonns-sim/

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