Модели верификации планов ликвидации аварий на угольных шахтах
Предлагаются имитационные модели, разработанные в системе моделирования 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 назв. — рос. |