Модели верификации планов ликвидации аварий на угольных шахтах
Предлагаются имитационные модели, разработанные в системе моделирования Enet Modeling System (EMS) на основе мощного формального аппарата Е-сетей, которые позволяют прогнозировать возможные варианты развития технологических процессов на угольной шахте, а также выполнять верификацию планов ликвидации...
Saved in:
| Published in: | Математичні машини і системи |
|---|---|
| Date: | 2012 |
| Main Authors: | , |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут проблем математичних машин і систем НАН України
2012
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/83975 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Модели верификации планов ликвидации аварий на угольных шахтах / В.В. Казимир, А.А. Серая // Мат. машини і системи. — 2012. — № 1. — С. 129-138. — Бібліогр.: 12 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1860267818320134144 |
|---|---|
| author | Казимир, В.В. Серая, А.А. |
| author_facet | Казимир, В.В. Серая, А.А. |
| citation_txt | Модели верификации планов ликвидации аварий на угольных шахтах / В.В. Казимир, А.А. Серая // Мат. машини і системи. — 2012. — № 1. — С. 129-138. — Бібліогр.: 12 назв. — рос. |
| collection | DSpace DC |
| container_title | Математичні машини і системи |
| description | Предлагаются имитационные модели, разработанные в системе моделирования Enet Modeling System (EMS) на основе мощного формального аппарата Е-сетей, которые позволяют прогнозировать возможные варианты развития технологических процессов на угольной шахте, а также выполнять верификацию планов ликвидации аварий.
Пропонуються імітаційні моделі, розроблені в системі моделювання E-net Modeling System (EMS) на основі потужного формального апарата Е-мереж, що дозволяють прогнозувати можливі варіанти розвитку технологічних процесів на вугільній шахті, а також виконувати верифікацію планів ліквідації аварій.
Simulation models developed on E-net Modeling System (EMS) on the base of powerful formal apparatus E-nets allow predicting possible variants of technological process development of coal mines and perform the verification of the emergency control plans are proposed.
|
| first_indexed | 2025-12-07T19:03:23Z |
| format | Article |
| fulltext |
© Казимир В.В., Серая А.А., 2012 129
ISSN 1028-9763. Математичні машини і системи, 2012, № 1
УДК 004.94
В.В. КАЗИМИР, А.А. СЕРАЯ
МОДЕЛИ ВЕРИФИКАЦИИ ПЛАНОВ ЛИКВИДАЦИИ АВАРИЙ НА УГОЛЬНЫХ
ШАХТАХ
Анотація. Пропонуються імітаційні моделі, розроблені в системі моделювання E-net Modeling
System (EMS) на основі потужного формального апарата Е-мереж, що дозволяють прогнозувати
можливі варіанти розвитку технологічних процесів на вугільній шахті, а також виконувати ве-
рифікацію планів ліквідації аварій.
Ключові слова: вугільна шахта, плани ліквідації аварій, Е-мережі, система моделювання EMS.
Аннотация. Предлагаются имитационные модели, разработанные в системе моделирования E-
net Modeling System (EMS) на основе мощного формального аппарата Е-сетей, которые позволя-
ют прогнозировать возможные варианты развития технологических процессов на угольной шах-
те, а также выполнять верификацию планов ликвидации аварий.
Ключевые слова: угольная шахта, планы ликвидации аварий, Е-сети, система моделирования
EMS.
Abstract. Simulation models developed on E-net Modeling System (EMS) on the base of powerful formal
apparatus E-nets allow predicting possible variants of technological process development of coal mines
and perform the verification of the emergency control plans are proposed.
Keywords: coal mine, emergency control plans, E-nets, EMS modeling system.
1. Введение
Угольная шахта – сложная производственная система с особо опасными условиями экс-
плуатации, где существуют не только случайные изменения геологических и других при-
родных условий, но и нарушения правил безопасного ведения горных работ, отказ техни-
ки, нарушения технологии и другие нежелательные явления. Установлено [1], что даже
незначительного дефекта электрооборудования (искрения) или местного повышения тре-
ния конвейерной ленты может быть достаточно для взрыва метановоздушной или пылеме-
тановоздушной смеси, что, в свою очередь, приводит к резонансным авариям. Исходя из
этого, можно констатировать, что поддержание оборудования, работающего в подземных
условиях, в постоянном работоспособном состоянии является сложной научно-
технической проблемой.
Отличительной особенностью проводимых в настоящее время мероприятий по
обеспечению надёжности функционирования угольной шахты является отсутствие сис-
темного подхода [2]. В связи с этим крайне актуальной задачей является создание высоко-
технологичной компьютеризированной системы безопасности, которая позволит не только
предотвращать, но и моделировать возможные аварийные ситуации, связанные с функцио-
нированием угольной шахты как на стадии разработки планов ликвидации аварий (ПЛА),
так и в режиме реального времени в ходе выполнения технологических процессов. Только
с помощью встроенных средств моделирования можно сделать вывод, насколько система
безопасности соответствует выдвигаемым к ней требованиям, провести тестирование ее
работы не только в нормальном режиме функционирования, но и в аварийных ситуациях.
Целью данной статьи является разработка моделей, которые позволят прогнозиро-
вать возможные варианты развития ситуаций в угольной шахте или на отдельных ее уча-
стках, а также выполнять верификацию ПЛА.
130 ISSN 1028-9763. Математичні машини і системи, 2012, № 1
2. Анализ существующих систем безопасности
На сегодняшний день в Украине широко применяются системы безопасности угольных
шахт, которые частично позволяют контролировать состояние среды и оборудования. Рас-
смотрим наиболее распространённые из них.
В [3] в качестве системы безопасности угольных шахт предлагается использовать
унифицированную телекоммуникационную автоматизированную противоаварийную сис-
тему (УТАС). Система УТАС предназначена для комплексного обеспечения безопасности
шахт путем контроля и управления параметрами машин и окружающей среды в горных
выработках шахт, автоматизированного управления машинами и технологическими ком-
плексами, а также передачи данных о состоянии горношахтного оборудования и атмосфе-
ры выработок диспетчеру на поверхность. Задачами системы УТАС при ее использовании
на угольных шахтах являются:
1) контроль параметров шахтной атмосферы и микроклимата;
2) контроль состояния основного и вспомогательного технологического оборудова-
ния;
3) автоматизированное управление горными машинами и комплексами;
4) управление технологическими процессами;
5) контроль состояния систем электроснабжения, гидроснабжения, пневмоснабже-
ния и управление ими.
Таким образом, УТАС является достаточно проработанной, современной автомати-
зированной системой управления. Тем не менее, она не позволяет моделировать возмож-
ные варианты развития ситуаций в угольной шахте при различных условиях, что не позво-
ляет ее применять для отработки ПЛА.
В [4] учитываются недостатки системы УТАС и предлагается на ее основе создать
систему нового технического уровня – имитационную систему промышленной безопасно-
сти угольных шахт (ИСТБУШ), которая будет обладать:
– возможностью контроля и прогноза выбросоопасности;
– возможностью имитационных испытаний шахты или ее отдельных участков на
стадии проектирования и на стадиях ввода в эксплуатацию новых горизонтов, механизи-
рованных комплексов и другого оборудования;
– возможностью контроля и управления всеми процессами в угольной шахте в ре-
жиме реального времени с использованием рациональной схемы расстановки датчиков для
сбора первичной информации.
Кроме того, одной из отличительных особенностей ИСТБУШ является возможность
управления, контроля и учета ведения горных работ без участия человека. Однако данная
система также не позволяет проводить верификацию ПЛА на этапе проектирования систе-
мы безопасности с помощью специально разработанных моделей.
3. Базовая модель
Детальный анализ причин и предпосылок всей статистики на шахтах угледобывающей
промышленности [5] показывает, что подавляющее большинство всех аварий происходило
при возникновении предаварийного состояния шахтной атмосферы, вызванного ростом
концентрации метана и угольной пыли в течение «достаточно длительного» времени. На
таком фоне появление высокотемпературного источника (прежде всего искры производст-
венного происхождения) приводило к взрыву с вероятностью, зависящей от времени и
степени критичности концентрации метана и угольной пыли.
Для прогнозирования возникновения такой предаварийной ситуации в [6] предло-
жена математическая модель, основанная на использовании теории однородных марков-
ских процессов. Согласно выводам этой теории, вероятности нахождения системы во всех
ISSN 1028-9763. Математичні машини і системи, 2012, № 1 131
Рис. 1. Модель с указанными
переходами между
состояниями угольной шахты
возможных ее состояниях в текущий момент времени t удовлетворяют линейной системе
дифференциальных уравнений Колмогорова [7]:
( ) ( ) ( ) nitPtP
dt
tdP
k
n
k
kii
n
i
ij
i ,,0,
00
K=+−= ∑∑
==
λλ , (1)
где i – номер состояния, ( )tPi – вероятность нахождения в i -том состоянии, ijλ – интен-
сивность потока из i -того состояния изучаемой системы, kiλ – интенсивность потоков,
входящих в i -тое состояние. При интегрировании уравнений (1) задаются начальные ус-
ловия в форме ( ) 00 ipP = . В любой момент времени должны выполняться условия
( ) 1
1
=∑
=
tP
n
i
i .
В рассматриваемом подходе интенсивности ijλ (табл. 1) задаются для конкретной
шахты из статистики прошлых наблюдений и экспериментальных исследований взрыва в
специальных лабораториях во взрывных камерах.
Таблица 1. Значения интенсивностей
Интенсивность ijλ 01λ 02λ 13λ 23λ 10λ 20λ
Значение 6 0.5 1 3 0.5 5
На рис. 1 приведена упрощенная модель расчета в
виде графа, которая используется для прогнозирования
развития ситуации в шахте, основываясь на заданных
выше параметрах. Модель учитывает наличие метана и
искры в атмосфере угольной шахты для четырех состоя-
ний: 1) нет метана и нет искры (состояние 0Q ); 2) есть
метан, нет искры (состояние 1Q ); 3) нет метана, есть ис-
кра (состояние 2Q ); 4) есть метан и есть искра (состояние
3Q ).
Данный подход нашел свое применение, однако он
имеет существенное ограничение, связанное с тем, что
систему дифференциальных уравнений Колмогорова воз-
можно решить лишь для стационарных процессов, когда
интенсивности перехода состояний не изменяются во времени. Но для угольной шахты в
большой степени характерны проявления как раз нестационарного протекания процессов,
вызванные внезапными выбросами большого количества метана, возгорания оборудова-
ния, резкими изменениями режимов вентиляции и, наконец, запланированными действия-
ми по предотвращению аварий. В подобных случаях данный подход становится непригод-
ным. Поэтому даже для такой общей модели возникает проблема прогноза в критических
условиях, управления на основе ПЛА и контроля предаварийной ситуации при внешних
динамических воздействиях. Решить данную проблему возможно путем применения вме-
сто аналитических моделей, построенных на основе уравнений Колмогорова, имитацион-
ных моделей, для которых условие стационарности не будет являться обязательным огра-
ничением.
3. Предлагаемый подход к построению моделей процессов в шахтах
Для создания имитационных моделей процессов функционирования угольных шахт будем
использовать специально разработанную распределенную web-систему имитационного
132 ISSN 1028-9763. Математичні машини і системи, 2012, № 1
моделирования E-net Modeling System (EMS)[8], которая предоставляет возможность мо-
делирования в рамках распределенной архитектуры High Level Architecture (HLA)[9] на
основе мощного формального аппарата Е-сетей[10] и иерархичного агрегатного подхода
[11].
3.1. Имитационное решение базовой модели
Детально рассмотрим использование EMS для моделирования развития предаварийной
ситуации и оценки вероятности появления аварии в условиях рассмотренной выше базовой
модели на основе формального аппарата Е-сетей.
Е-сеть определяется пятеркой:
>=< oOITPE µ,,,, , (2)
где },{ RS PPP = – конечное непустое множество позиций, состоящее из непересекающихся
подмножеств SP – простых позиций и RP – решающих позиций, ∅∅∅∅====RS PP I ; множе-
ство простых позиций может содержать подмножество входных позиций Sin PP ⊆ и под-
множество выходных позиций, которые называются граничными, допускается ∅=inP и
∅=outP , ∅=outin PP I ;
T – конечное непустое множество переходов, которое может состоять из переходов
типов }"","","","","","","{" QFQLYXjFT TTTTTTT , ∅=PT I . С переходами сети ассоцииро-
ваны следующие функции:
1) r – решающая функция перехода;
2) τ – функция задержки перехода;
3) z –функция преобразования перехода.
Решающая функция
,...}3,2,1{: →RPr (3)
ассоциируется с решающими позициями, которые не содержат меток и управляют работой
связанных с ними переходов типов }"","{" YX TT посредством вычисления значений так на-
зываемых решающих функций ,...}3,2,1{: →RPr . Решающая функция может быть рассчи-
тана, в том числе, и с учетом значений атрибутов меток и переменных сети, то есть
RSIp PpPqVdfqr ∈∈= ,),,()( . Значение решающей функции определяет направление пе-
ремещения метки при срабатывании перехода. Границы возможных значений решающих
функций зависят от числа позиций, инцидентных переходу, по умолчанию 0)(0 =qr .
Функция задержки вычисляет время задержки τ на переходе на основании значе-
ний атрибутов меток, находящихся в позициях сети, а также значений переменных сети, то
есть SIp PpVdft ∈= ),,()(τ . Как частный случай, по умолчанию может быть задано нулевое
время задержки. В общем виде функцию задержки можно представить в виде отображе-
ния
+ℜ→T:τ , (4)
где T – множество переходов сети, +ℜ – множество положительных действительных чи-
сел, включая ноль.
Функция преобразования перехода
δ→Tz : (5)
ISSN 1028-9763. Математичні машини і системи, 2012, № 1 133
задает последовательность операций tMpp PPpVdVd IUU ∈→ },{}{:δ , которые выпол-
няются над переменными сети и атрибутами меток при перемещении их из входных пози-
ций в выходные позиции перехода. При задании стандартной функции преобразования 0z ,
которая выполняется по умолчанию, значения атрибутов меток не изменяются.
{ }1,0: →×TPI – входящая функция, которая задает отображение позиций в
переходы, то есть определяет для каждого Tt ∈ множество его входных позиций ( )tI . Если
существует дуга, которая ведет из Pp ∈ в Tt ∈ , то ( ) 1, =tpI , в противном случае
( ) 0, =tpI ;
{ }1,0: →×TPO – исходящая функция, которая задает отображение переходов сети в
позиции, то есть определяет для каждого Tt ∈ множество его выходных позиций ( )tO .
Если существует дуга, которая ведет из Tt ∈ в Pp ∈ , то ( ) 1, =tpO , в противном случае
( ) 0, =tpO ;
}1,0{:0 →PM – функция начальной маркировки, задающая присутствие или отсут-
ствие меток в позициях и определяющая динамические свойства Е-сети.
Основные свойства Е-сетей, которые, фактически, определяют их как класс вычис-
лительных сетей, заключаются в расширенных возможностях использования маркеров по-
зиций и переходов. Каждой метке, которая находится в позиции Е-сети, ставится в соот-
ветствие кортеж числовых атрибутов, который определяет информационную составляю-
щую метки ),...,,...,,( 21 iNijiii ddddd = , где ijd – значение j -го атрибута i -й метки. Во время
перемещения меток по сети значения их атрибутов могут изменяться. При использовании
Е-сети метки могут перемещаться из входных позиций переходов в выходные, меняя мар-
кировку сети.
Важной особенностью предлагаемого аппарата для создания имитационных моде-
лей является способность прогнозирования развития ситуации в будущем и (в случае веро-
ятности аварии) принятие решений о ее недопущении уже в текущий момент времени.
С использованием аппарата Е-сетей разработанная в EMS модель развития предава-
рийной ситуации имеет вид, представленный на рис. 2.
Рис. 2. Е-сетевая имитационная модель предаварийного состояния на шахте,
разработанная в системе EMS
Функции переходов данной модели имеют определение, которое приведено ниже.
Переход Q0 – инициализирует состояние шахты 0Q – нет метана и нет искры.
134 ISSN 1028-9763. Математичні машини і системи, 2012, № 1
Переход R0 – определяет, в зависимости от интенсивности потока, в какое состоя-
ние ( 1Q или 2Q ) должна перейти система в следующий момент времени с помощью ре-
шающей функции, использующей переменные модели t01, t02:
V['t01'] = EXPONENTIAL(0.17);
V['t02'] = EXPONENTIAL(2);
IF (V['t01']<V['t02']) RETURN 0; // переход в состояние 1Q
ELSE RETURN 1; // переход в состояние 2Q
Переход T01 – определяет время задержки, необходимое для перехода системы в
состояние 1Q из состояния 0Q . Функция задержки перехода:
RETURN V['t01'];
Переход T02 – определяет время задержки, необходимое для перехода системы в
состояние 2Q из состояния 0Q . Функция задержки перехода:
RETURN V['t02'];
Переход Q1 – инициализирует состояние шахты 1Q – есть метан, нет искры.
Переход Q2 – инициализирует состояние шахты 2Q – нет метана, есть искра.
Переход R1 – определяет, в зависимости от интенсивности потока, в какое состоя-
ние ( 0Q или 3Q ) должна перейти модель из состояния 1Q в следующий момент времени с
помощью решающей функции и переменных модели t10, t13:
V['t10'] = EXPONENTIAL(2);
V['t13'] = EXPONENTIAL(1);
IF (V['t10']<V['t13']) RETURN 0; // переход в состояние 0Q .
ELSE RETURN 1; // переход в состояние 3Q .
Переход T10 – определяет время задержки, необходимое для перехода системы в
состояние 0Q из состояния 1Q . Функция задержки перехода:
RETURN V['t10'];
Переход T02 – определяет время задержки, необходимое для перехода системы в
состояние 3Q из состояния 1Q . Функция задержки перехода:
RETURN V['t13'];
Переход R2 – определяет, в зависимости от интенсивности потока, в какое состоя-
ние ( 0Q или 3Q ) должна перейти модель из состояния 2Q в следующий момент времени с
помощью решающей функции и переменных модели t20, t23:
V['t20'] = EXPONENTIAL(0.2);
V['t23'] = EXPONENTIAL(0.33);
IF (V['t20']<V['t23']) RETURN 1;// переход в состояние 0Q .
ELSE RETURN 0; // переход в состояние 3Q .
Переход T20 – определяет время задержки, необходимое для перехода системы в
состояние 0Q из состояния 2Q . Функция задержки перехода:
RETURN V['t20'];
Переход T23 – определяет время задержки, необходимое для перехода системы в
состояние 3Q из состояния 2Q . Функция задержки перехода:
RETURN V['t23'];
Переход Q3 – инициализирует состояние шахты 3Q – есть метан и есть искра – ава-
рийная ситуация.
Переход Р моделирует начальные условия протекания процесса, которые задаются
соответствующими начальными вероятностями каждого из рассматриваемых состояний.
ISSN 1028-9763. Математичні машини і системи, 2012, № 1 135
Данные вероятности разыгрываются случайным образом, формируя начальное положение
меток при каждом условном прогоне модели:
V['X'] = UNIFORM(0,1);
IF (V['X']>=0.3) RETURN 0;
IF (V['X']<0.3 && V['X']>=0.2) RETURN 1;
IF (V['X']<0.2 && V['X']>=0.1) RETURN 2;
IF (V['X']<0.1) RETURN 3;
В один момент времени система может находиться только в одном из четырех со-
стояний, в каждое из которых система может прийти как в процессе функционирования,
так и при старте каждого нового прогона. Использование экспоненциального распределе-
ния вероятностей времени задержки на переходах обеспечивает выполнение условия мар-
ковости, характерного для аналитической модели.
Результаты моделирования, полученные для четырех состояний системы, представ-
лены на рис. 3–6.
Рис. 3. Результаты моделирования
для состояния 0Q
Рис. 4. Результаты моделирования
для состояния 1Q
Рис. 5. Результаты моделирования
для состояния 2Q
Рис. 6. Результаты моделирования
для состояния 3Q
Здесь в качестве начальных вероятностей состояний использованы их значения, в
точности соответствующие условиям, описанным в [6], и представленные в виде табл. 2.
Таблица 2. Значения начальных вероятностей
Вероятность ijp 00p 01p 02p 03p
Значение 0,7 0,1 0,11 0,09
136 ISSN 1028-9763. Математичні машини і системи, 2012, № 1
Рис. 7. Графики построенных решений системы
уравнений Колмогорова (1) для развития
предаварийного состояния на шахте
Таким образом, вероятнее всего, что в момент запуска система будет находиться в
состоянии 0Q – нет метана и нет искры, что соответствует нормальному режиму работы
угольной шахты.
Как видно из результатов моделирования, вероятность аварийного состояния 3Q
растет от начального значения 0,09 до значения 0,52 к моменту времени 1=t . Рассчитаем
доверительный интервал для полученного значения на основе данных 30 прогонов, ис-
пользуя критерий Стьюдента:
1. ( )
=
0,52 0,53; 0,49; 0,5; ,48;0,46;,49;0,48;00,52;0,5;00,48;0,52; 0,46; 0,49; 0,51;
0,5; 0,46; 0,55; 0,52; 0,47; 0,46; 0,48; 0,53; 0,47; 0,51; 0,49; 0,48; 0,45; 0,52; 0,5;
Qp 3 .
2. Найдем математическое ожидание a для полученного множества значений:
∑
=
=
n
i
ia
n
a
1
1
, (6)
где a – математическое ожидание, ia – элемент множества, n – количество прогонов
(элементов множества).
494,0=a .
3. Рассчитаем дисперсию 2σ :
( )
1
1
2
2
−
−
=
∑
=
n
aa
n
i
i
σ , (7)
где 2σ – дисперсия, a – математическое ожидание, n – количество прогонов.
0006,02 =σ ; 0,025== 0007,0σ .
4. Зададим доверительную вероятность 9,0=γ , при которой, согласно распределе-
нию Стьюдента, коэффициент 7,1=γt .
5. Рассчитаем доверительный интервал полученного значения:
n
t
σγ γ=∆ , (8)
где γ∆ – точность, γt – коэффициент, σ – среднеквадратическое отклонение, n –
количество прогонов.
05,0=∆γ .
Таким образом, в результате
моделирования вероятность аварий-
ного состояния 3Q составляет 0,52
±0,05.
Сравним полученные резуль-
таты с аналитическими (рис. 7), по-
лученными в [6].
Как видно из рис. 7, вероят-
ность системы находится в аварий-
ном состоянии, к моменту времени
1=t составляет 0,57. Таким образом,
отклонение полученных нами дан-
ных составляет 5%. Следовательно,
разработанная модель является аде-
кватной и может использоваться для прогноза аварийных ситуаций.
ISSN 1028-9763. Математичні машини і системи, 2012, № 1 137
Рис. 8. Результаты моделирования для состояния 3Q
после изменения значения интенсивностей 1301 ,λλ
3.2. Моделирование нестационарных процессов функционирования угольной шахты
Рассмотрим применение разработанной модели развития предаварийного состояния на
шахте для нестационарного режима функционирования.
Предположим, что в момент 40=t необходимо резко изменить режим вентиляции
шахты с целью недопущения появ-
ления метана в выработке выше кри-
тической нормы.
С помощью функций преоб-
разования на переходах Е-сетевой
модели изменим значения интенсив-
ностей 1301 ,λλ в момент времени
4,0=t . Результаты моделирования
представлены на рис. 8.
Как видно из результатов, ра-
бота системы стабилизируется, а ве-
роятность возникновения аварийно-
го состояния значительно уменьша-
ется.
Таким образом, благодаря
использованию гибкого аппарата Е-
сетевых моделей появляется возможность получения прогноза развития ситуации для не-
стационарных процессов функционирования угольной шахты. В частности, может быть
оценена эффективность действий по снижению вероятности возникновения аварии, преду-
смотренных верифицируемым ПЛА.
4. Выводы
Предложенный подход к моделированию технологических процессов угольных шахт по-
зволяет учитывать нестационарный характер протекающих процессов и снижать вероят-
ность возникновения аварий в угольных шахтах благодаря использованию мощного и в то
же время простого для восприятия аппарата Е-сетей, реализованного в системе моделиро-
вания EMS.
Данный подход и рассмотренные инструментальные средства в дальнейшем могут
быть использованы как для моделирования системы противоаварийной защиты шахты, так
и для построения моделей различных воздействий на данную систему, с целью выявления
ее особенностей и характеристик, а также верификации планов ликвидации аварий, в том
числе и с помощью методов полунатурного моделирования.
СПИСОК ЛІТЕРАТУРИ
1. Системы безопасности шахт Украины, их возможности и перспективы / Ю.И. Шульга, В.Г. Зда-
новский, Н.В. Кривцов [и др.] // Проблеми охорони праці в Україні: зб. наук. праць. – 2010. – Вип.
18. – С. 3 – 11.
2. Алексеев А.М. Принятие решений при ликвидации аварий на шахтах и рудниках [Электронный
ресурс] / А.М. Алексеев, А.Н. Коваленко. – Режим доступа: http://www.nbuv.gov.ua/portal/natural/
Npdntu_ikot/2008/08aamasr.pdf.
3. Ігнатович М.В. Перспективи впровадження автоматизованої протиаварійної системи УТАС /
М.В. Ігнатович, В.Г. Здановський // Інформаційний бюлетень з промислової безпеки. – 2009. – № 4
(16). – С. 19 – 21.
4. Мещанинов С.К. Имитационная система промышленной безопасности угольных шахт (ИС-
ПБУШ) / С.К. Мещанинов, В.И. Король // Науковий вісник НГУ. – 2010. – № 1. – С. 19 – 22.
138 ISSN 1028-9763. Математичні машини і системи, 2012, № 1
5. Нецепляев М.И. Борьба со взрывами угольной пыли в шахтах // Нецепляев М.И., Любимова
А.И., Петрухин П.М. – М.: Недра, 1992. – 298 с.
6. Писаренко В.Г. Актуальные направления развития интеллектуализированной робототехники для
снижения аварийности на шахтах / В.Г. Писаренко, Ю.В. Писаренко // Искусственный интеллект. –
2009. – № 3. – С. 308 – 316.
7. Клейнрок Л. Теория массового обслуживания // Клейнрок Л. – М.: Машиностроение, 1979. –
425 с.
8. Казимир В.В. Розподілена система імітаційного моделювання EMS / В.В. Казимир, Г.А. Сіра,
І.І. Мушкетик // Вісник Чернігівського державного технологічного університету. – 2011. – № 3. –
С. 144 – 153.
9. Fujimoto R.M. Distributed Simulation Systems / Fujimoto R.M. – NY.: A Wiley-Interscience publica-
tion, 2000. – 303 p.
10. Казимир В.В. Модельно-ориентированное управление интеллектуальными производственными
системами: дис. … доктора техн. наук: 05.13.06 / Казимир Владимир Викторович. – К., 2006. –
301 с.
11. Казимир В.В. Розподілене моделювання в EMS на основі архітектури HLA / В.В. Казимир,
Г.А. Сіра // Математичні машини і системи. – 2011. – № 4. – С. 125 – 135.
12. Nutt G.J. Evaluation Nets for Computer Systems Performance Analysis / G.J. Nutt // FJCC, AFIPS
PRESS. – 1972. – Vol. 41, Pt. 1. – P. 279 – 286.
Стаття надійшла до редакції 07.12.2011
|
| id | nasplib_isofts_kiev_ua-123456789-83975 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1028-9763 |
| language | Russian |
| last_indexed | 2025-12-07T19:03:23Z |
| publishDate | 2012 |
| publisher | Інститут проблем математичних машин і систем НАН України |
| record_format | dspace |
| spelling | Казимир, В.В. Серая, А.А. 2015-07-01T13:17:46Z 2015-07-01T13:17:46Z 2012 Модели верификации планов ликвидации аварий на угольных шахтах / В.В. Казимир, А.А. Серая // Мат. машини і системи. — 2012. — № 1. — С. 129-138. — Бібліогр.: 12 назв. — рос. 1028-9763 https://nasplib.isofts.kiev.ua/handle/123456789/83975 004.94 Предлагаются имитационные модели, разработанные в системе моделирования Enet Modeling System (EMS) на основе мощного формального аппарата Е-сетей, которые позволяют прогнозировать возможные варианты развития технологических процессов на угольной шахте, а также выполнять верификацию планов ликвидации аварий. Пропонуються імітаційні моделі, розроблені в системі моделювання E-net Modeling System (EMS) на основі потужного формального апарата Е-мереж, що дозволяють прогнозувати можливі варіанти розвитку технологічних процесів на вугільній шахті, а також виконувати верифікацію планів ліквідації аварій. Simulation models developed on E-net Modeling System (EMS) on the base of powerful formal apparatus E-nets allow predicting possible variants of technological process development of coal mines and perform the verification of the emergency control plans are proposed. ru Інститут проблем математичних машин і систем НАН України Математичні машини і системи Моделювання і управління Модели верификации планов ликвидации аварий на угольных шахтах Моделі верифікації планів ліквідації аварій на вугільних шахтах Models of the verification emergency control plans on coal mines Article published earlier |
| spellingShingle | Модели верификации планов ликвидации аварий на угольных шахтах Казимир, В.В. Серая, А.А. Моделювання і управління |
| title | Модели верификации планов ликвидации аварий на угольных шахтах |
| title_alt | Моделі верифікації планів ліквідації аварій на вугільних шахтах Models of the verification emergency control plans on coal mines |
| title_full | Модели верификации планов ликвидации аварий на угольных шахтах |
| title_fullStr | Модели верификации планов ликвидации аварий на угольных шахтах |
| title_full_unstemmed | Модели верификации планов ликвидации аварий на угольных шахтах |
| title_short | Модели верификации планов ликвидации аварий на угольных шахтах |
| title_sort | модели верификации планов ликвидации аварий на угольных шахтах |
| topic | Моделювання і управління |
| topic_facet | Моделювання і управління |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/83975 |
| work_keys_str_mv | AT kazimirvv modeliverifikaciiplanovlikvidaciiavariinaugolʹnyhšahtah AT seraâaa modeliverifikaciiplanovlikvidaciiavariinaugolʹnyhšahtah AT kazimirvv modelíverifíkacííplanívlíkvídacííavaríinavugílʹnihšahtah AT seraâaa modelíverifíkacííplanívlíkvídacííavaríinavugílʹnihšahtah AT kazimirvv modelsoftheverificationemergencycontrolplansoncoalmines AT seraâaa modelsoftheverificationemergencycontrolplansoncoalmines |