О верификации динамических свойств систем взаимодействующих агентов
Обзор результатов авторов по проблеме верификации динамических свойств систем взаимодействующих интеллектуальных агентов. Анализ динамических свойств в терминах некоторых вариантов временной логики первого порядка. Агенты и многоагентные системы.
Подобные документы
Обеспечение безопасности взаимодействия пользователей, процессов и систем как одна из актуальных задач защиты информации в информационно-телекоммуникационных сетях. Общая характеристика методов и средств верификации криптографических протоколов.
статья, добавлен 24.03.2019Возможность применения Dreamweaver для реализации Web–технологий при разработке динамических сайтов. Изображение поля ввода названия Web-страницы в инструментарии документа. Создание списков, расположенных в редакторе свойств. Вставка изображения.
курсовая работа, добавлен 22.01.2015Указатели как одно из наиболее мощных свойств языка программирования. Описание функции, которая меняет местами первый и предпоследний элемент непустой очереди. Определение количества изолированных вершин неориентированного графа, выведение их списка.
дипломная работа, добавлен 11.07.2010Общее понятие и классификация систем по происхождению и характеру функционирования. Составляющие системы: элементный состав и структура как система связей между этими элементами. Характеристика статических и динамических структур, их функции и применение.
контрольная работа, добавлен 28.06.2012Роль математического моделирования при решении задач управления, на базе которого производится анализ и синтез системы управления. Идентификация, общие понятия, модели. Классификация методов идентификации. Идентификация динамических и нелинейных систем.
реферат, добавлен 05.06.2017Раскрытие состава алгебраического подхода к анализу проблемы автоматического управления интервально-заданными объектами. Анализ интервальных динамических свойств и построение системы управления многомерным объектом с использованием программы Delphi.
дипломная работа, добавлен 02.10.2013Проблематика развития системы 3D визуализации медицинской информации. Моделирование информационной системы 3D визуализации в пульмонологии. Проектирование сценария построения многомерных моделей сложных динамических объектов по медицинским данным.
дипломная работа, добавлен 27.09.2017Сущность DLL как динамических библиотек, позволяющих многократное использование различных программных приложений. Характеристика двух механизмов связывания в среде Windows. Описание функций LoadIcon, LoadLibrary, PostMessage, ExitProcess, их параметры.
курсовая работа, добавлен 10.02.2015Расширение методологии проектирования интеллектуальных программных агентов для крупномасштабных гетерогенных сетей. Методика заполнения параметрического пространства расширенной объектно-ориентированной модели интеллектуального программного агента.
статья, добавлен 06.05.2018Изучение потребительских свойств информационных систем автоматизации управленческого учета. Анализ основных критериев дифференциации потребностей предприятий в подобной системе. Расчет функциональных возможностей программ, имеющихся на российском рынке.
статья, добавлен 29.05.2017Разработка алгоритма двусвязного списка на основе указателей для выполнения операций добавления элемента, распечатки подсписков, корректировки поля элемента и поиска данных по полю. Рассмотрение свойств динамических структур данных, области их применения.
курсовая работа, добавлен 19.10.2010Логарифмические амплитудные частотные характеристики. Разновидности и классификация типовых динамических звеньев. Инерционное звено первого порядка. Апериодическое, колебательное и консервативное звенья второго порядка. Уравнение безынерционного звена.
шпаргалка, добавлен 05.09.2013Технология создания интеллектуальных обучающих систем, ориентированных на знания. Приобретение знаний с использованием метода формального концептуального анализа. Построение вопросов, используемых для верификации знаний ученика со знаниями специалиста.
статья, добавлен 17.01.2018Создание динамической библиотеки. Демонстрация экспорта функции из DLL. Способы загрузки DLL: с явной и неявной компоновкой. Выгрузка динамических библиотек из памяти, вызвав функцию BOOL FreeLibrary. Создание DLL, содержащей одни лишь ресурсы.
лекция, добавлен 29.07.2012Определение динамических показателей на разных режимах работы механической системы. Изучение динамики механической системы путем комбинации физических экспериментов и компьютерного моделирования. Динамическая модель проектирования механических систем.
статья, добавлен 05.05.2019Определение особенностей системы Чуа — простой электронной схемы, демонстрирующей целый ряд бифуркационных явлений и аттракторов. Ознакомление с основными свойствами динамических систем. Анализ устройства операционного усилителя — электронного прибора.
контрольная работа, добавлен 14.12.2015Алгоритмизация адаптивного искусственного интеллекта в мультиагентных играх. Моделирование конкурентной среды интеллектуальных агентов. Исследование эффективности алгоритмов в колониях DT, ABC и в нейронной сети, обучаемой генетическим алгоритмом.
дипломная работа, добавлен 01.09.2016Анализ основных направлений, в которых ведутся исследования автономных когнитивных агентов. Изучение взаимодействия между обучением и эволюционной оптимизацией в популяции простых агентов. Роевой интеллект агентов, оптимизирующих маршруты автомобилей.
статья, добавлен 17.01.2018Анализ математических моделей линейных динамических объектов в форме дифференциального уравнения, амплитудной и фазовой частотных характеристик, интегрального и разностного уравнения. Алгоритмизация преобразований Фурье, Лапласа и Z-преобразования.
учебное пособие, добавлен 16.10.2013MatLab (Matrix Labotary) и ее роль в обработке массивов данных (матриц и векторов). Понятие Simulink как пакета моделирования динамических систем. Дополнительные пакеты прикладных программ и характеристика проблем проектирования энергетических систем.
контрольная работа, добавлен 06.03.2015Прикладное использование динамических моделей продукционного процесса. Требования к технологиям, которые должны использоваться для разработки системы поливариантного расчёта. Система поливариантного расчёта APEX, идентификация параметров модели.
статья, добавлен 21.06.2018Рассмотрение авторского метода верификации программ программируемых логических контроллеров, входящих в состав автоматизированных систем управления технологическими процессами. Система семантического анализа многомерных интервально-логических регуляторов.
статья, добавлен 16.07.2018Методологии и технологии проектирования информационных систем. Характеристика свойств и особенностей информационной системы. Основной подход к исследованию информационных процессов и систем. Анализ в условиях неопределенности, риска и определенности.
презентация, добавлен 08.04.2018Целью данной работы является научиться строить графики, типовых динамических звеньев в программе smath studio. Учебная задача построения графика безынерционного звена. Классификация типовых динамических звеньев. Звено запаздывания и его определение.
лабораторная работа, добавлен 06.02.2024Применение алгоритма квазилинеаризации в аппроксимации моделей динамических систем. Информатизация предприятий авиационного машиностроения. Унифицированное описание систем административно-организационного управления для разработки программ их развития.
автореферат, добавлен 14.02.2018