| DC Field | Value | Language |
|---|
| dc.contributor.author | Королев, Ю. И. | - |
| dc.date.accessioned | 2015-04-18T08:17:46Z | |
| dc.date.accessioned | 2017-07-18T09:10:18Z | - |
| dc.date.available | 2015-04-18T08:17:46Z | |
| dc.date.available | 2017-07-18T09:10:18Z | - |
| dc.date.issued | 2015 | - |
| dc.identifier.citation | Королев, Ю. И. Верификация моделей процессов в динамических системах по методу model checking / Ю. И. Королев // Открытые семантические технологии проектирования интеллектуальных систем = Open Semantic Technologies for Intelligent Systems (OSTIS-2015) : материалы V междунар. науч.-техн. конф. (Минск, 19-21 февраля 2015 года)/ редкол. : В. В. Голенков (отв. ред.) [и др.]. – Минск : БГУИР, 2015. – С. 545-548. | ru_RU |
| dc.identifier.isbn | 978-985-543-034-7 | - |
| dc.identifier.uri | https://libeldoc.bsuir.by/handle/123456789/4155 | - |
| dc.description.abstract | Рассматриваются средства моделирования процессов в сложных динамических системах в плане их использования в интеллектуальных системах поддержки принятия решений реального времени. В качестве формального аппарата предлагается использовать сети Петри специального типа – раскрашенные (colored) сети Петри реального времени с поддержкой темпоральной логики Аллена. Обуславливается необходимость верификации моделей, разработанных с помощью данного формализма, предлагается использование метода верификации Model Checking. Работа выполнена при финансовой поддержке РФФИ и Фонда содействия
Инновациям. | ru_RU |
| dc.language.iso | ru | ru_RU |
| dc.publisher | БГУИР | ru_RU |
| dc.subject | материалы конференций | ru_RU |
| dc.subject | Оstis | ru_RU |
| dc.subject | intelligent decision support system | ru_RU |
| dc.subject | process modeling | ru_RU |
| dc.subject | Petri nets | ru_RU |
| dc.subject | temporal logic | ru_RU |
| dc.subject | system verification | ru_RU |
| dc.subject | интеллектуальная система поддержки принятия решений | ru_RU |
| dc.subject | моделирование процессов | ru_RU |
| dc.subject | сети Петри | ru_RU |
| dc.subject | темпоральная логика | ru_RU |
| dc.subject | верификация систем | ru_RU |
| dc.title | Верификация моделей процессов в динамических системах по методу model checking | ru_RU |
| dc.title.alternative | Verification of models of processes in dynamic systems using model checking method | ru_RU |
| dc.type | Article | ru_RU |
| local.description.annotation | In the paper the tools of modeling processes in complex dynamic systems are considered in terms of their use in intelligent decision support systems real time. A special type of Petri nets - real-time colored Petri net with support of Allen temporal logic is proposed to use as a basic formalism. | - |
| Appears in Collections: | OSTIS-2015
|
