2025-02-22T18:20:12-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-83975%22&qt=morelikethis&rows=5
2025-02-22T18:20:12-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-83975%22&qt=morelikethis&rows=5
2025-02-22T18:20:12-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-22T18:20:12-05:00 DEBUG: Deserialized SOLR response
Модели верификации планов ликвидации аварий на угольных шахтах
Предлагаются имитационные модели, разработанные в системе моделирования Enet Modeling System (EMS) на основе мощного формального аппарата Е-сетей, которые позволяют прогнозировать возможные варианты развития технологических процессов на угольной шахте, а также выполнять верификацию планов ликвидации...
Saved in:
Main Authors: | Казимир, В.В., Серая, А.А. |
---|---|
Format: | Article |
Language: | Russian |
Published: |
Інститут проблем математичних машин і систем НАН України
2012
|
Series: | Математичні машини і системи |
Subjects: | |
Online Access: | http://dspace.nbuv.gov.ua/handle/123456789/83975 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
2025-02-22T18:20:12-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&rows=40&rows=5&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-83975%22&qt=morelikethis
2025-02-22T18:20:12-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&rows=40&rows=5&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-83975%22&qt=morelikethis
2025-02-22T18:20:12-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-22T18:20:12-05:00 DEBUG: Deserialized SOLR response
Similar Items
-
Топологические и структурные свойства многофакторных планов экспериментов
by: Радченко, С.Г.
Published: (2013) -
Системы верификации на основе реконфигурируемых устройств
by: Палагин, А.В., et al.
Published: (2004) -
Иерархические Е-сети как средство моделирования дискретно-непрерывных технологических процессов
by: Серая, А.А.
Published: (2013) -
Агентные модели операций
by: Литвинов, В.В., et al.
Published: (2014) -
Реализация процесса верификации для разработки надежного программного обеспечения
by: Скляр, В.В., et al.
Published: (2006)