О верификации динамических свойств систем взаимодействующих агентов
Обзор результатов авторов по проблеме верификации динамических свойств систем взаимодействующих интеллектуальных агентов. Анализ динамических свойств в терминах некоторых вариантов временной логики первого порядка. Агенты и многоагентные системы.
Подобные документы
Изучение сложности верификации динамических свойств мультиагентных систем, состоящих из вероятностных интеллектуальных агентов. Вероятностные мультиагентные системы, их множества. Каналы связи и передача сообщений. Вероятностные логические программы.
статья, добавлен 19.01.2018Исследование программной системы, предназначенной для моделирования и верификации вероятностных многоагентных систем. Вероятностные темпоральные логики ветвящегося и линейного времени. Алгоритм верификации полиномиальной сложности. Язык программ агентов.
статья, добавлен 19.01.2018Знакомство с задачами распределенного взаимодействия и управления в сетях динамических систем. Мультиагентные системы как сложные системы, функционирующие с помощью нескольких интеллектуальных агентов. Анализ особенностей программного мобильного агента.
статья, добавлен 20.08.2018Понятие интеллектуального агента (ИА) как одного из основных в области искусственного интеллекта (ИИ). Место и значение исследований систем взаимодействующих ИА, называемых многоагентными системами. Обучающиеся автономные интеллектуальные агенты.
статья, добавлен 28.05.2017Критерии классификации агентов, связанные с полярными шкалами "естественное–искусственное" и "материальное–идеальное". Направления развития многоагентных систем. Задача разработки искусственных организаций и сообществ, состоящих из виртуальных агентов.
статья, добавлен 17.01.2018Анализ непараметрических моделей и формализация схем приложений динамических характеристик при получении явных моделей объектов разной структуры. Оценка адекватности воспроизведения свойств объекта в пределах точности заданных динамических характеристик.
статья, добавлен 25.08.2016Синтез замкнутой системы автоматического управления с пи-регулятором при наличии и отсутствии запаздывания в канале регулирования. Анализ динамических свойств объекта во временной и частотной областях, построение амплитудно- и фазочастотной характеристик.
курсовая работа, добавлен 16.06.2013Преобразование структурной схемы системы автоматического управления. Определение передаточной функции и динамических характеристик корректирующего звена. Построение динамических характеристик систем. Определение устойчивости по критерию Михайлова.
курсовая работа, добавлен 31.07.2012Предопределенные контексты интерпретации, используемые при построении моделей динамических систем. Модель системы светофора, представленная на языке описания контекстных систем CML. Абстрактные машины, задающие формальную семантику языка программирования.
статья, добавлен 28.10.2018- 10. Исследование характеристик динамических звеньев линейных систем автоматического управления (САУ)
Экспериментальное исследование временных частотных характеристик динамических звеньев линейных систем автоматического управления и определение их параметров. Апериодические звенья первого и второго порядка, реальное интегрирующее и дифференцирующее звено.
лабораторная работа, добавлен 26.02.2015 Анализ подходов к верификации систем на примере политик безопасности компьютерных сетей. Разработка моделей реализации модуля верификации с применением исчисления событий и абдуктивного вывода, и модуля, использующего технологию верификации на модели.
статья, добавлен 17.01.2018Рассмотрение динамических и частотных характеристик систем автоматического управления. Методика построения корневых годографов для анализа и синтеза линейных систем управления. Исследование динамических систем управления в пространстве состояний.
учебное пособие, добавлен 04.04.2014- 13. Параметрический синтез систем наблюдения динамических сцен на основе принципа доминантной информации
Анализ приложения принципа доминантной информации к параметрическому синтезу систем наблюдения различных динамических сцен. Анализ системы наблюдения с матричными фотоприемниками как кодера источника позволяет оптимизировать дискретизацию и квантование.
статья, добавлен 02.04.2019 Теоретические аспекты математических основ моделирования. Общие сведения о динамических системах. Описание программного пакета WinSet: окно программы и приемы работы с графическими построениями для отображений и систем ОДУ. Типы данных Mathlab.
дипломная работа, добавлен 28.12.2010Структура и правила работы информационных систем. Специфические свойства современных систем защиты. Сущность и основные преимущества использования технологии мобильных агентов. Анализ компонентов систем защиты, реализованных в виде мобильных агентов.
статья, добавлен 17.04.2015Систематизация состава линейных операторов, близких к ганкелевому, на основе признаков их симметрий. Разработка аналитических и численных методов поиска собственных и сингулярных функций выделенных систематизированных операторов динамических систем.
автореферат, добавлен 15.02.2018Рассмотрение последовательных вероятностных мультиагентных систем. Вычисление семантики вероятностной логической программы. Глобальное поведение ВМАС. Определение Марковских процессов принятия решений. Верификация динамических свойств вероятностных МАС.
статья, добавлен 18.01.2018Анализ методов планирования поведения интеллектуальных агентов и подходов по созданию многоагентных систем. Разработка методики оценки эффективности использования интеллектуальной автоматизированной системы обработки информации в обучающей системе.
автореферат, добавлен 02.07.2018Рассмотрение характеристики мультиагентных систем. Описание методики и способов взаимодействия их агентов. Установление связи между понятиями, используемыми в теории интеллектуальных систем и терминами объектно-ориентированного программирования.
статья, добавлен 11.04.2016Разработка программной системы интеграции динамических моделей, неоднородных по своим математическим свойствам или по требованиям к шагу по времени. Применение интегральной модели к гетерогенным физиологическим моделям (пищеварения и почечного выделения).
статья, добавлен 16.09.2018Соотношение понятий "информация" и "данные". Сущность динамических структур данных, их классификация. Массив как базовая структура. Направления анализа полученных результатов. Положительные стороны использования программистом динамических величин.
курсовая работа, добавлен 15.04.2013Поведение динамических систем с применением методов инновационного хромоматематического моделирования. Закономерности изменения входных значений для аттрактора Лоренца на незначительное количество пунктов в случаях двумерного и трехмерного построения.
статья, добавлен 24.05.2018Подходы к верификации протоколов безопасности. Определение набора свойств, подлежащих проверке. Графический вывод шаблонов трассировки. Симметричное и асимметричное шифрование криптографических данных. Верификационные средства логического вывода.
статья, добавлен 10.04.2019Интерфейс среды Dreamweaver (PHP, ASP, XML). Обзор популярных интернет-технологий создания динамических сайтов. Методика выбора оптимального средства разработки. Разработка динамических веб-страниц на базе различных технологий средствами Dreamweaver.
дипломная работа, добавлен 02.10.2013- 25. Методы взаимодействия и координации в мультиагентных системах на основе нечеткой логики высшего типа
Разработка динамической архитектуры мультиагентных систем на основе нечеткой логики высшего типа, позволяющая более информативно представить степень неопределенности системы нечетких правил при спецификации поведения интеллектуальных агентов и систем.
статья, добавлен 28.02.2016