Автор: В. В. Девятков
Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ
В. В. Девятков
Рассмотрены современные подходы к верификации поведения интеллектуальных агентов. Кратко изложены особенности формальных языков, применяемых для описания спецификаций поведения агентов, и принципы проверки корректности этих спецификаций....
Единое исследовательское пространство имитационного моделирования в среде GPSS Studio
В. В. Девятков
Представлена среда имитационного моделирования GPSS Studio для исследования сложных дискретно–событийных систем. В качестве моделирующего ядра используется язык имитационного моделирования GPSS World. Показаны возможности среды на всех этапах...
Некоторые вопросы развития методологии имитационных исследований
В. В. Девятков
В статье обосновывается необходимость совершенствования методологии проведения имитационных исследований. Рассматриваются направления совершенствования традиционной методологии проведения имитационного исследования сложных систем (ИИСС) на основе...
Имитационная экспертиза: опыт применения и перспективы
В. В. Девятков
Авторами рассматриваются вопросы проведения имитационной экспертизы с помощью специальных компьютерных технологий. Анализируется состояние дел в этом направлении. Проводится классификация видов имитационных экспертиз. Приведены практические...
Мир имитационного моделирования: взгляд из России
В. В. Девятков
В статье дается описание состава, структуры и функций профессионального сообщества в области имитационного моделирования (ИМ). Приводится перечень основных международных и национальных обществ, выпускаемых журналов и проводимых конференций....
