О верификации динамических свойств систем взаимодействующих агентов
Обзор результатов авторов по проблеме верификации динамических свойств систем взаимодействующих интеллектуальных агентов. Анализ динамических свойств в терминах некоторых вариантов временной логики первого порядка. Агенты и многоагентные системы.
Подобные документы
Автоматическая проверка индекса при обращении к элементу массива. Технология динамических массивов с автоматической проверкой индекса и ее влияние на производительность вычислительных программ. Программа перемножения матриц, написанная на языке C++.
статья, добавлен 15.04.2018Моделирование систем, логическое описание и анализ. Графическая интерпретация сети Петри как граф особого вида, состоящий из вершин двух типов: позиций и переходов, соединенных ориентированными дугами. Изменение разметки сети при срабатывании переходов.
статья, добавлен 14.07.2016Распределенные информационные системы как совокупность совместно и целенаправленно функционирующих пространственно и функционально распределённых динамических подсистем. Сущность теории дифференциальных уравнений. Типовые примеры управляющих подсистем.
статья, добавлен 25.08.2020Интероперабельность как одно из основных свойств открытых систем. Рассмотрение подхода к проблеме интероперабельности для информационных систем широкого класса. Разработка рекомендаций по решению проблемы интероперабельности в облачных вычислениях.
статья, добавлен 07.11.2018Построение структурной схемы в программном пакете Fantech. Формы представления сложных динамических звеньев и овладение навыками преобразования передаточных функций сложных динамических звеньев из одной формы в другую. Выбор структурной схемы устройства.
лабораторная работа, добавлен 17.12.2015- 106. Разработка методов и технологии обработки трехмерных изображений с применением шейдерной графики
Исследование современных методов представления и обработки динамических трехмерных изображений в сети Интернет. Разработка метода автоматизированной генерации по заданным шаблонам динамических трехмерных изображений, пригодных для быстрой передачи.
автореферат, добавлен 31.07.2018 Численное моделирование сложных пространственных динамических процессов в гетерогенных средах. Реализация сеточно-характеристического метода на неструктурированных тетраэдральных сетках с интерполяцией высоких порядков при исследовании волновых сред.
статья, добавлен 31.01.2019Количественная оценка степени упорядоченности наноразмерных структур на основе параметра фрактальной размерности (ФР). Методика анализа структурно-морфологических свойств объектов на основе ФР в изображениях, полученных методом газоразрядной визуализации.
статья, добавлен 03.03.2012Характеристика основных агентов сферы визовых услуг. Выявление недостатков бизнес-процессов визового центра. Анализ практики применения технологии блокчейн в различных областях бизнеса. Особенности использования криптовалют и верификации транзакций.
магистерская работа, добавлен 07.12.2019Совокупность взаимосвязанных и взаимодействующих компьютеров (процессоров), периферийного оборудования и программного обеспечения для подготовки и решения задач. Классификация вычислительных систем, их основные понятия и показатели эффективности.
реферат, добавлен 11.12.2013История создания систем бронирования билетов. Обзор современных отечественных и зарубежных системы бронирования, их виды и характеристика. Подходы к использованию интерактивных свойств Интернет-среды для резервирования авиабилетов и мест отдыха.
курсовая работа, добавлен 26.03.2013Сущность и основные задачи обучения по аналогии. Отличительные черты статических и динамических экспертных систем. Обучение без выводов. Методы получения информации извне. Способы приобретения знаний. Параметрическое обучение. Метод обучения по индукции.
презентация, добавлен 16.10.2013Нейронные сети - база для организации интеллектуальных систем защиты информации автоматизированных систем. Эволюционный подход к машинному обучению интеллектуальных средств. Вычислительные модели естественного отбора. Обзор генетического программирования.
статья, добавлен 24.03.2018Модель построения агентной системы. Агенты, принимающие решения при помощи методов логического вывода. Автоматы - агенты, принимающие решения по строго запрограммированным алгоритмам. Структура агентов и автоматов. Понятие интеллектуального агента.
статья, добавлен 17.01.2018Компьютерное моделирование технического объекта. Применяемые численные методы в моделировании динамических систем. Алгоритмический анализ задачи и описание математической модели. Описание реализации модели в MathCad. Выводы по результатам исследований.
курсовая работа, добавлен 14.11.2013Введение в логическое программирование на языке Prolog. Арифметические операции, ввод данных пользователем, разветвление. Работа со списками и файловой системой. Создание динамических баз данных. Создание экспертных систем. Решение логических задач.
методичка, добавлен 07.04.2016Знакомство с принципами организации кластерных вычислений с помощью неявного распараллеливания. Характеристика задач идентификации и моделирования нелинейных динамических систем на основе моделей Вольтерра. Анализ архитектуры программного обеспечения.
статья, добавлен 28.08.2016Многоконтурные и одноконтурные линейные системы, определение их передаточных функций с применением преобразований структурных схем. Параллельное и последовательное соединение, перенос сумматора. Построение динамических характеристик в программе Matlab.
лабораторная работа, добавлен 06.12.2012Рассматриваются алгоритмы воспроизведения структуры населения в рамках агент-ориентированной модели отраслевого развития экономики России. Описывается структура входных данных моделирования и результаты верификации программно реализованных алгоритмов.
статья, добавлен 01.02.2019Сущность концепции изучения личности, характеристика её динамических когнитивных моделей. Разработка мультиагентных иерархических систем, анализ их самоорганизации в процессе научного проекта. Использование и специфика метода компьютерного моделирования.
диссертация, добавлен 14.04.2016Развитие программных агентов и средств из разработки. Средства спецификаций типовых моделей. Языки программирования и программные платформы для создания программных агентов. Архитектура мультиагентных приложений. Модель программного агента ресурсов.
дипломная работа, добавлен 19.10.2016Характеристика модификации и обучения клеточно-автоматной прогнозной модели. Проведение исследования модифицированной системы проектов и методов прогнозирования временных рядов с памятью на базе теории нечетких множеств и линейных клеточных автоматов.
статья, добавлен 15.05.2017Понятие интеллектуальных информационных систем (ИИС), их классификация. Основные функции, выполняемые ИИС. Системы с интеллектуальным интерфейсом. Интеллектуальные базы данных. Системы контекстной помощи. Классы экспертных систем, их характеристика.
презентация, добавлен 24.09.2017Ускорение процесса принятия решений в динамических организационных системах, особенно при необходимости обработки большого количества значимых слабоструктурированных текстовых данных. Обработка слабоструктурированных текстовых данных на русском языке.
статья, добавлен 03.04.2023Исследование проблемы создания экспертной системы, специализирующейся на идее диалога через компьютер. Практическая полезность и рекомендации по использованию в учебных целях подобного устройства. Процесс самогенерации вопросов (внутреннего диалога).
статья, добавлен 08.12.2018