Показати скорочений опис матеріалу
dc.contributor.author | Казимир, В. В. | |
dc.contributor.author | Серая, А.А. | |
dc.date.accessioned | 2016-02-16T08:28:14Z | |
dc.date.available | 2016-02-16T08:28:14Z | |
dc.date.issued | 2012 | |
dc.identifier.uri | http://ir.stu.cn.ua/123456789/9003 | |
dc.description | Казимир, В. В. Модели верификации планов ликвидации аварий на угольных шахтах / В. В. Казимир, А. А. Серая // Математичні машини і системи. – 2012. - № 1. – С. 129 - 138. | en_US |
dc.description.abstract | Предлагаются имитационные модели, разработанные в системе моделирования E- net Modeling System (EMS) на основе мощного формального аппарата Е-сетей, которые позволяют прогнозировать возможные варианты развития технологических процессов на угольной шахте, а также выполнять верификацию планов ликвидации аварий. | en_US |
dc.language.iso | ru | en_US |
dc.subject | угольная шахта | en_US |
dc.subject | планы ликвидации аварий | en_US |
dc.subject | Е-сети | en_US |
dc.subject | система моделирования EMS | en_US |
dc.subject | coal mine | en_US |
dc.subject | emergency control plans | en_US |
dc.subject | E-nets | en_US |
dc.subject | EMS modeling system | en_US |
dc.title | Модели верификации планов ликвидации аварий на угольных шахтах | en_US |
dc.type | Article | en_US |