|
Искусственный интеллект и принятие решений, 2015, выпуск 1, страницы 45–56
(Mi iipr314)
|
|
|
|
Интеллектуальные системы и технологии
Анализ и верификация моделей процессов в сложных динамических системах
А. П. Еремеев, Ю. И. Королев Национальный исследовательский университет «Московский энергетический институт»
Аннотация:
В работе рассматриваются вопросы моделирования процессов в современных сложных динамических системах. Обосновывается потребность в учете темпоральных (временных) зависимостей между объектами таких систем на этапе моделирования. В качестве инструмента моделирования предлагается модификация раскрашенных сетей Петри с поддержкой темпоральной интервальной логики Аллена. Предложенный в работе подход позволяет адекватно моделировать процессы, протекающие в сложных динамических системах, а также проводить верификацию таких моделей. Он ориентирован на использование в интеллектуальных системах поддержки принятия решений реального времени.
Ключевые слова:
искусственный интеллект, принятие решений, реальное время, динамическая система, темпоральная логика, моделирование процессов, сеть Петри.
Образец цитирования:
А. П. Еремеев, Ю. И. Королев, “Анализ и верификация моделей процессов в сложных динамических системах”, Искусственный интеллект и принятие решений, 2015, № 1, 45–56
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/iipr314 https://www.mathnet.ru/rus/iipr/y2015/i1/p45
|
Статистика просмотров: |
Страница аннотации: | 22 | PDF полного текста: | 10 | Список литературы: | 1 |
|