Модели верификации планов ликвидации аварий на угольных шахтах

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

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2012
Автори:	Казимир, В.В., Серая, А.А.
Формат:	Стаття
Мова:	Russian
Опубліковано:	Інститут проблем математичних машин і систем НАН України 2012
Назва видання:	Математичні машини і системи
Теми:	Моделювання і управління
Онлайн доступ:	http://dspace.nbuv.gov.ua/handle/123456789/83975
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Модели верификации планов ликвидации аварий на угольных шахтах / В.В. Казимир, А.А. Серая // Мат. машини і системи. — 2012. — № 1. — С. 129-138. — Бібліогр.: 12 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

id	irk-123456789-83975
record_format	dspace
spelling	irk-123456789-839752015-07-02T03:01:50Z Модели верификации планов ликвидации аварий на угольных шахтах Казимир, В.В. Серая, А.А. Моделювання і управління Предлагаются имитационные модели, разработанные в системе моделирования 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. 2012 Article Модели верификации планов ликвидации аварий на угольных шахтах / В.В. Казимир, А.А. Серая // Мат. машини і системи. — 2012. — № 1. — С. 129-138. — Бібліогр.: 12 назв. — рос. 1028-9763 http://dspace.nbuv.gov.ua/handle/123456789/83975 004.94 ru Математичні машини і системи Інститут проблем математичних машин і систем НАН України
institution	Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection	DSpace DC
language	Russian
topic	Моделювання і управління Моделювання і управління
spellingShingle	Моделювання і управління Моделювання і управління Казимир, В.В. Серая, А.А. Модели верификации планов ликвидации аварий на угольных шахтах Математичні машини і системи
description	Предлагаются имитационные модели, разработанные в системе моделирования Enet Modeling System (EMS) на основе мощного формального аппарата Е-сетей, которые позволяют прогнозировать возможные варианты развития технологических процессов на угольной шахте, а также выполнять верификацию планов ликвидации аварий.
format	Article
author	Казимир, В.В. Серая, А.А.
author_facet	Казимир, В.В. Серая, А.А.
author_sort	Казимир, В.В.
title	Модели верификации планов ликвидации аварий на угольных шахтах
title_short	Модели верификации планов ликвидации аварий на угольных шахтах
title_full	Модели верификации планов ликвидации аварий на угольных шахтах
title_fullStr	Модели верификации планов ликвидации аварий на угольных шахтах
title_full_unstemmed	Модели верификации планов ликвидации аварий на угольных шахтах
title_sort	модели верификации планов ликвидации аварий на угольных шахтах
publisher	Інститут проблем математичних машин і систем НАН України
publishDate	2012
topic_facet	Моделювання і управління
url	http://dspace.nbuv.gov.ua/handle/123456789/83975
citation_txt	Модели верификации планов ликвидации аварий на угольных шахтах / В.В. Казимир, А.А. Серая // Мат. машини і системи. — 2012. — № 1. — С. 129-138. — Бібліогр.: 12 назв. — рос.
series	Математичні машини і системи
work_keys_str_mv	AT kazimirvv modeliverifikaciiplanovlikvidaciiavarijnaugolʹnyhšahtah AT seraâaa modeliverifikaciiplanovlikvidaciiavarijnaugolʹnyhšahtah
first_indexed	2023-10-18T19:27:55Z
last_indexed	2023-10-18T19:27:55Z
_version_	1796147031512711168

Модели верификации планов ликвидации аварий на угольных шахтах

Репозитарії

Схожі ресурси