Модели верификации планов ликвидации аварий на угольных шахтах
Предлагаются имитационные модели, разработанные в системе моделирования 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Схожі ресурси
-
Топологические и структурные свойства многофакторных планов экспериментов
за авторством: Радченко, С.Г.
Опубліковано: (2013) -
Системы верификации на основе реконфигурируемых устройств
за авторством: Палагин, А.В., та інші
Опубліковано: (2004) -
Иерархические Е-сети как средство моделирования дискретно-непрерывных технологических процессов
за авторством: Серая, А.А.
Опубліковано: (2013) -
Агентные модели операций
за авторством: Литвинов, В.В., та інші
Опубліковано: (2014) -
Реализация процесса верификации для разработки надежного программного обеспечения
за авторством: Скляр, В.В., та інші
Опубліковано: (2006)