О верификации динамических свойств систем взаимодействующих агентов
Обзор результатов авторов по проблеме верификации динамических свойств систем взаимодействующих интеллектуальных агентов. Анализ динамических свойств в терминах некоторых вариантов временной логики первого порядка. Агенты и многоагентные системы.
Подобные документы
Анализ основных подходов к исследованию бот-сетей и механизмов защиты от них, основанных на их представлении в виде команд интеллектуальных агентов и применении методов агентно-ориентированного моделирования. Анализ формальной модели бот-сетей и защиты.
статья, добавлен 18.01.2018- 27. Математическое моделирование и численное прогнозирование характеристик природных динамических систем
Разработка общей схемы методологии численного прогнозирования характеристик природных динамических систем, на ее основе - методологии численного прогнозирования геофлюидального давления. Формирование прогноза значений целевых характеристик системы.
автореферат, добавлен 14.02.2018 Параллельная организация моделирования динамических задач большой размерности, их описание системами обыкновенных дифференциальных уравнений. Пути сокращения трудоемкости численной реализации динамических моделей. Размещение элементов матриц в памяти.
статья, добавлен 25.10.2016Изучение понятия и функций динамических звеньев, которые являются основными составными частями алгоритмических структур непрерывных систем управления. Основы моделирования в среде Simulink. Добавление текстовых надписей. Удаление и соединение блоков.
контрольная работа, добавлен 11.11.2013Математическое конструирование непрерывных динамических систем управления. Решение задачи минимизирования критерия качества с помощью метода прогонки. Интерпретация с точки зрения динамического программирования. Принцип максимума оптимального управления.
задача, добавлен 26.03.2020Анализ методики формирования динамических характеристик интеллектуальных информационных агентов в условиях активной инфокоммуникационной среды. Особенность описания работы приложения. Исследование основного окна программы с результатами тестирования.
отчет по практике, добавлен 05.12.2017Особенность изучения модифицированного метода Эйлера интегрирования дифференциальных уравнений первого порядка и способа достижения требуемой точности получаемого приближенного решения. Составление блок-схемы алгоритма вычисления поставленной задачи.
лабораторная работа, добавлен 11.02.2016Функциональные задачи интеллектуальных систем анализа изображений. Области применения, классификация систем распознавания лиц (2D-; 3D-(трехмерная) идентификация). Алгоритмизация верификации лиц по 68 "волшебным точкам", описание математического аппарата.
статья, добавлен 14.02.2022Классификация звеньев по виду дифференциального уравнения или передаточной функции. Изучение Simulink - программы для имитационного моделирования и анализа динамических систем, входящей в состав MATLAB. Разработка одноконтурной АСР с помощью блоков.
лабораторная работа, добавлен 08.10.2015Анализ вопросов управления работой команды интеллектуальных агентов. Подход к обеспечению работы команды агентов в условиях временных ограничений (в реальном времени), основанный на комбинировании моделей приближенных вычислений и anytime-алгоритмов.
статья, добавлен 16.01.2018- 36. Использование системы наглядной компьютерной алгебры для анализа свойств математических объектов
Использование решетчатых моделей систем для анализа свойств математических объектов. Разработка программного комплекса, позволяющего проводить анализ свойств объектов: разбиений натуральных чисел, упорядоченных алфавитов и последовательностей Фибоначчи.
статья, добавлен 28.01.2020 Построение моделей организационных и социально-экономических систем в виде интеллектуальных активных систем на базе применения парадигмы синергетического искусственного интеллекта. Модель нечеткого описания ситуации выбора агентов и активной системы.
статья, добавлен 18.01.2018Разработка многоагентной системы. Программные модели на языке Jack. Анализ инструментальных средств построения агентно-ориентированных систем. Многоагентная модель процесса обучения студентов на кафедральном уровне. Проектирование динамических систем.
статья, добавлен 19.01.2018Анализ опыта верификации и валидации информационно-измерительных и управляющих систем для АЭС. Разработка проектных решений по системе внутриреакторного контроля. Характеристика информационных и программных средств для отдельных модулей атомной станции.
автореферат, добавлен 02.08.2018Система "Miracle" как универсальный программный инструментарий для создания интеллектуальных приложений. Архитектура комплекса инструментальных программных средств для создания динамических интеллектуальных систем. Реализация на суперкомпьютере.
статья, добавлен 17.01.2018Математическое описание линейных систем. Временные и частотные характеристики звенев и систем. Пакет программ Mathcad фирмы MathSoft, состав главного меню. Формирование документов Mathcad. Определение корней характеристического уравнения системы.
методичка, добавлен 01.06.2016Характеристика параллельных распределительных систем в вычислительных процессах. Применение компонентной сети Петри, используя бисимуляционную эквивалентность полученных моделей Крипке. Методы и способы спецификации и верификации параллельных процессов.
научная работа, добавлен 28.02.2016Исследование динамических характеристик целевых групп социальных сетей. Методы и модели анализа эволюционных характеристик социальных графов большой размерности. Синтезирование алгоритма анализа динамических характеристик целевых групп социальных сетей.
статья, добавлен 08.03.2019Использование сети Петри для формализации процессов взаимодействия программных агентов адаптивного пользовательского интерфейса. Преимущества применения подобного подхода для описания сложных динамических процессов взаимодействия компонентов системы.
статья, добавлен 19.01.2018Понятие интеллектуальных информационных систем, их основные функции, цели и задачи. Характеристика и свойства некоторых систем искусственного интеллекта: на основе нейрокомпьютерных технологий, на основе генетических алгоритмов и на базе нечеткой логики.
лекция, добавлен 13.08.2013Сущность, понятие и предназначение динамических и статистических программных объектов. Использование стека для анализа и вычисления арифметического выражения в постфиксной форме. Характеристика и особенности процесса использования динамических переменных.
методичка, добавлен 10.09.2015Базы данных научной информации. Исследование существующих подходов к визуальному моделированию сложных динамических систем. Обзор программ для символьной математики. Универсальные пакеты для научных исследований. Анализ методов статистических испытаний.
доклад, добавлен 18.03.2013Обзор грузовых тележек с осевой нагрузкой 25 и 27 ТС России. Параметры характеризующие показатели динамических качеств грузового вагона. Программы для динамического моделирования движения вагонов и определения ПДК. Описание программного комплекса MEDYNA.
курсовая работа, добавлен 11.12.2021Классы экспертных систем и их различие по сложности и типу решаемых задач: анализ или синтез. Структура статистических и динамических экспертных систем. Назначение и необходимость подсистем моделирования внешнего мира и связи с внешним окружением.
реферат, добавлен 03.05.2012Понятие и сущность языка Си. Реализация списков с помощью цепочек динамических объектов. Стандартные функции для работы с динамической памятью. Операции со списками, представление их цепочками звеньев, вычисление свойств и характеристик, удаление.
реферат, добавлен 17.06.2011