Искусственный интеллект и принятие решений
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Правила для авторов

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Искусственный интеллект и принятие решений:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Искусственный интеллект и принятие решений, 2015, выпуск 1, страницы 45–56 (Mi iipr314)  

Интеллектуальные системы и технологии

Анализ и верификация моделей процессов в сложных динамических системах

А. П. Еремеев, Ю. И. Королев

Национальный исследовательский университет «Московский энергетический институт»
Аннотация: В работе рассматриваются вопросы моделирования процессов в современных сложных динамических системах. Обосновывается потребность в учете темпоральных (временных) зависимостей между объектами таких систем на этапе моделирования. В качестве инструмента моделирования предлагается модификация раскрашенных сетей Петри с поддержкой темпоральной интервальной логики Аллена. Предложенный в работе подход позволяет адекватно моделировать процессы, протекающие в сложных динамических системах, а также проводить верификацию таких моделей. Он ориентирован на использование в интеллектуальных системах поддержки принятия решений реального времени.
Ключевые слова: искусственный интеллект, принятие решений, реальное время, динамическая система, темпоральная логика, моделирование процессов, сеть Петри.
Реферативные базы данных:
Тип публикации: Статья
Образец цитирования: А. П. Еремеев, Ю. И. Королев, “Анализ и верификация моделей процессов в сложных динамических системах”, Искусственный интеллект и принятие решений, 2015, № 1, 45–56
Цитирование в формате AMSBIB
\RBibitem{EreKor15}
\by А.~П.~Еремеев, Ю.~И.~Королев
\paper Анализ и верификация моделей процессов в сложных динамических системах
\jour Искусственный интеллект и принятие решений
\yr 2015
\issue 1
\pages 45--56
\mathnet{http://mi.mathnet.ru/iipr314}
\elib{https://elibrary.ru/item.asp?id=25000278}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/iipr314
  • https://www.mathnet.ru/rus/iipr/y2015/i1/p45
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Искусственный интеллект и принятие решений
    Статистика просмотров:
    Страница аннотации:22
    PDF полного текста:10
    Список литературы:1
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024