Модели верификации планов ликвидации аварий на угольных шахтах
Предлагаются имитационные модели, разработанные в системе моделирования Enet Modeling System (EMS) на основе мощного формального аппарата Е-сетей, которые позволяют прогнозировать возможные варианты развития технологических процессов на угольной шахте, а также выполнять верификацию планов ликвидации...
Gespeichert in:
| Veröffentlicht in: | Математичні машини і системи |
|---|---|
| Datum: | 2012 |
| Hauptverfasser: | Казимир, В.В., Серая, А.А. |
| Format: | Artikel |
| Sprache: | Russisch |
| Veröffentlicht: |
Інститут проблем математичних машин і систем НАН України
2012
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/83975 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Модели верификации планов ликвидации аварий на угольных шахтах / В.В. Казимир, А.А. Серая // Мат. машини і системи. — 2012. — № 1. — С. 129-138. — Бібліогр.: 12 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineÄhnliche Einträge
Учет неопределенности информации при составлении планов ликвидации аварий угольных шахт
von: Кокоулин, И.Е.
Veröffentlicht: (2009)
von: Кокоулин, И.Е.
Veröffentlicht: (2009)
Системы верификации на основе реконфигурируемых устройств
von: Палагин, А.В., et al.
Veröffentlicht: (2004)
von: Палагин, А.В., et al.
Veröffentlicht: (2004)
Реализация процесса верификации для разработки надежного программного обеспечения
von: Скляр, В.В., et al.
Veröffentlicht: (2006)
von: Скляр, В.В., et al.
Veröffentlicht: (2006)
Модели систем поддержки принятия решений при управлении предприятием
von: Азарова, А.О., et al.
Veröffentlicht: (2005)
von: Азарова, А.О., et al.
Veröffentlicht: (2005)
Агентные модели операций
von: Литвинов, В.В., et al.
Veröffentlicht: (2014)
von: Литвинов, В.В., et al.
Veröffentlicht: (2014)
Иерархические Е-сети как средство моделирования дискретно-непрерывных технологических процессов
von: Серая, А.А.
Veröffentlicht: (2013)
von: Серая, А.А.
Veröffentlicht: (2013)
Вопросы предупреждения аварий, связанных со взрывами метана в угольных шахтах
von: Минеев, С.П.
Veröffentlicht: (2018)
von: Минеев, С.П.
Veröffentlicht: (2018)
Изоляция воздухоподающего ствола при ликвидации аварии
von: Минеев, С.П., et al.
Veröffentlicht: (2016)
von: Минеев, С.П., et al.
Veröffentlicht: (2016)
Разработка, верификация и сценарные эксперименты в агрегированной модели трофодинамики крупного водоема
von: Яцишин, А.В., et al.
Veröffentlicht: (2019)
von: Яцишин, А.В., et al.
Veröffentlicht: (2019)
Алгоритм имитации Петри-объектной модели
von: Стеценко, И.В.
Veröffentlicht: (2012)
von: Стеценко, И.В.
Veröffentlicht: (2012)
Фрагментарные модели для некоторых экстремальных задач на графах
von: Козин, И.В., et al.
Veröffentlicht: (2014)
von: Козин, И.В., et al.
Veröffentlicht: (2014)
Гидровибрационные механизмы для ликвидации аварий в скважинах
von: Калиниченко, О.И., et al.
Veröffentlicht: (2012)
von: Калиниченко, О.И., et al.
Veröffentlicht: (2012)
Адаптация метеорологической модели WRF для прогнозирования полей ветра вокруг Ривненской АЭС
von: Халченков, А.В., et al.
Veröffentlicht: (2015)
von: Халченков, А.В., et al.
Veröffentlicht: (2015)
Нелинейная несепарабельная задача рационального распределения многомерного ресурса при многономенклатурном производстве
von: Раскин, Л.Г., et al.
Veröffentlicht: (2014)
von: Раскин, Л.Г., et al.
Veröffentlicht: (2014)
Использование вычислительной гидродинамической модели OpenFoam для оценки влияния загрязненных зданий на прилегающие территории
von: Халченков, А.В., et al.
Veröffentlicht: (2014)
von: Халченков, А.В., et al.
Veröffentlicht: (2014)
Розподілене моделювання в EMS на основі архітектури HLA
von: Казимир, В.В., et al.
Veröffentlicht: (2011)
von: Казимир, В.В., et al.
Veröffentlicht: (2011)
Ядерная безопасность при ликвидации последствий тяжелой аварии на ЧАЭС
von: Высотский, Е.Д., et al.
Veröffentlicht: (2017)
von: Высотский, Е.Д., et al.
Veröffentlicht: (2017)
Математические модели в автоматизированных системах управления режимами обжатий на толстолистовых станах
von: Иевлев, Н.Г.
Veröffentlicht: (2017)
von: Иевлев, Н.Г.
Veröffentlicht: (2017)
Особенности математической модели дискретного SM-преобразования
von: Мартынюк, Т.Б., et al.
Veröffentlicht: (2010)
von: Мартынюк, Т.Б., et al.
Veröffentlicht: (2010)
Программные архитектуры экспертных систем в системах диагностики установок электронно-лучевой сварки
von: Литвинов, В.В., et al.
Veröffentlicht: (2005)
von: Литвинов, В.В., et al.
Veröffentlicht: (2005)
Новый ударный инструмент для ликвидации аварий при колонковом бурении
von: Гошовский, С.В., et al.
Veröffentlicht: (2010)
von: Гошовский, С.В., et al.
Veröffentlicht: (2010)
Оценивание параметров уравнения регрессии по нечетким исходным данным
von: Серая, О.В., et al.
Veröffentlicht: (2011)
von: Серая, О.В., et al.
Veröffentlicht: (2011)
Математические модели оптимального планирования геологоразведочных работ
von: Литвиненко, А.Е., et al.
Veröffentlicht: (2008)
von: Литвиненко, А.Е., et al.
Veröffentlicht: (2008)
К разработке плана предупреждения аварий на урановых шахтах
von: Шевченко, В.Г., et al.
Veröffentlicht: (2012)
von: Шевченко, В.Г., et al.
Veröffentlicht: (2012)
Алгоритм паралельного виконання та синхронізації Е-мережі
von: Литвинов, В.В., et al.
Veröffentlicht: (2005)
von: Литвинов, В.В., et al.
Veröffentlicht: (2005)
Использование параллельных вычислений в метеорологической модели WRF
von: Ковалец, И.В., et al.
Veröffentlicht: (2011)
von: Ковалец, И.В., et al.
Veröffentlicht: (2011)
Технологический аспект инноваций на угольных шахтах
von: Сапицкая, И.К.
Veröffentlicht: (2006)
von: Сапицкая, И.К.
Veröffentlicht: (2006)
Оптимизация инвестиций предприятий в компьютерной модели рыночной экономики
von: Косолап, А.И., et al.
Veröffentlicht: (2011)
von: Косолап, А.И., et al.
Veröffentlicht: (2011)
Математические модели стратегий технического обслуживания современной авионики
von: Мачалин, И.А.
Veröffentlicht: (2005)
von: Мачалин, И.А.
Veröffentlicht: (2005)
Создание блочных моделей систем и процессов с использованием метода группового учета аргументов
von: Литвинов, В.В., et al.
Veröffentlicht: (2012)
von: Литвинов, В.В., et al.
Veröffentlicht: (2012)
Оценка уровня виртуальной интеллектуальности прикладной программно-технической системы на основе анализа эргономической модели
von: Литвинов, В.А., et al.
Veröffentlicht: (2008)
von: Литвинов, В.А., et al.
Veröffentlicht: (2008)
Усвоение данных измерений в эйлеровой численной гидродинамической модели атмосферного переноса
von: Ковалец, И.В.
Veröffentlicht: (2011)
von: Ковалец, И.В.
Veröffentlicht: (2011)
Технология добычи метана из песчаников на угольных шахтах
von: Клец, А.П., et al.
Veröffentlicht: (2012)
von: Клец, А.П., et al.
Veröffentlicht: (2012)
Сценарный подход к моделированию функциональных задач на компьютерном моделирующем комплексе
von: Додонов, А.Г., et al.
Veröffentlicht: (2015)
von: Додонов, А.Г., et al.
Veröffentlicht: (2015)
Уникальная технология ликвидации подводных аварий нефте-, газопроводов, разработанная украинскими учеными
Veröffentlicht: (2011)
Veröffentlicht: (2011)
Уникальная технология ликвидации подводных аварий нефте-, газопроводов, разработанная украинскими учеными
Veröffentlicht: (2011)
Veröffentlicht: (2011)
Уникальная технология ликвидации подводных аварий нефте-, газопроводов, разработанная украинскими учеными
Veröffentlicht: (2011)
Veröffentlicht: (2011)
Многопараметрическое адаптивное управление технологическим процессом электронно-лучевой сварки
von: Литвинов, В.В., et al.
Veröffentlicht: (2013)
von: Литвинов, В.В., et al.
Veröffentlicht: (2013)
Семантика и прагматика НЕ-факторов в концептуальной модели экспертных знаний
von: Ильина, Е.П.
Veröffentlicht: (2007)
von: Ильина, Е.П.
Veröffentlicht: (2007)
Выбор весовых функций в методе Петрова-Галеркина для интегрирования двумерных нелинейных уравнений типа Бюргерса
von: Молчанов, А.А., et al.
Veröffentlicht: (2012)
von: Молчанов, А.А., et al.
Veröffentlicht: (2012)
Ähnliche Einträge
-
Учет неопределенности информации при составлении планов ликвидации аварий угольных шахт
von: Кокоулин, И.Е.
Veröffentlicht: (2009) -
Системы верификации на основе реконфигурируемых устройств
von: Палагин, А.В., et al.
Veröffentlicht: (2004) -
Реализация процесса верификации для разработки надежного программного обеспечения
von: Скляр, В.В., et al.
Veröffentlicht: (2006) -
Модели систем поддержки принятия решений при управлении предприятием
von: Азарова, А.О., et al.
Veröffentlicht: (2005) -
Агентные модели операций
von: Литвинов, В.В., et al.
Veröffentlicht: (2014)