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