Модель вероятностных многоагентных систем и их верификация
Исследование вопросов реализации и верификации вероятностных многоагентных систем. Анализ и оптимизация продукционной модели с вероятностной почтовой подсистемой и вероятностным выбором действий как упрощенного варианта вероятностных многоагентных систем.
Подобные документы
Развитие информационных технологий в XXI в. Защита компьютерных сетей от неавторизованного использования и хакеров. Принципы работы и преимущества многоагентных систем. Эффективность многоагентного подхода для решения задач обнаружения направленных атак.
статья, добавлен 16.12.2024Результаты исследований разработанной нечетко-вероятностной модели оценок рисков сложных технических систем. Разработка алгоритма нечеткого логического вывода и схематическая структура нечетко-вероятностной модели оценок рисков сложных технических систем.
статья, добавлен 28.08.2016Обзор результатов авторов по проблеме верификации динамических свойств систем взаимодействующих интеллектуальных агентов. Анализ динамических свойств в терминах некоторых вариантов временной логики первого порядка. Агенты и многоагентные системы.
дипломная работа, добавлен 17.01.2018Система цифровых автоматов, их класификация. Способы задания автоматов. Применение вероятностных автоматов. Случайные величины и их распределения. Предмет теории вероятностей. Виды дискретных распределений и структура программы.
дипломная работа, добавлен 02.10.2015Разработка нечеткой когнитивной модели, позволяющей анализировать различные типы взаимодействий агентов с использованием предложенных показателей. Развитие предложенной нечеткой когнитивной карты для осуществления мониторинга взаимодействия агентов.
статья, добавлен 18.01.2018- 31. Структурно-функциональная организация услуг телемедицины в прикладных инфокоммуникационных системах
Здравоохранение и инфокоммуникации. Концепции информационных технологий. Модели инфокоммуникационных систем. Методология сложных систем и оптимизация телемедицинских систем. Анализ информационных процессов прикладной области инфокоммуникационной системы.
автореферат, добавлен 16.02.2018 Сравнение моделей надежности на основе теории динамики программных систем. Управление транспортом, связью и энергетикой. Компьютерные ошибки, потеря работоспособности систем мобильной связи и энергетических систем. Создание надежных компьютерных систем.
статья, добавлен 28.02.2016Оценивание параметров модели FMM. Метод максимального правдоподобия. Свободная среда статистического программирования R. Решение задачи расщепления смесей вероятностных распределений в случае независимых компонент. Примеры ассиметричных распределений.
реферат, добавлен 29.11.2014Вероятность безотказного выполнения программ. Характеристики, определяющие надежность функционирования программного обеспечения. Классификация моделей надежности и их характеристика. Методические указания по выполнению расчета вероятностных показателей.
реферат, добавлен 16.12.2013Характеристика задачи в логистической цепочке с целью определения интегральных показателей (стоимости, времени) на основе знания указанных параметров для отдельных звеньев. Алгоритм композиции случайных параметров последовательной логистической цепи.
статья, добавлен 06.12.2016Рассмотрены проблемы реализации парадигмы Distributed Intelligence на распределенной информации и знаниях. Показаны ключевые задачи, требующие решения. Рассмотрены основные правила, требования к ресурсам и компонентам информационных пространств.
статья, добавлен 19.01.2018Анализ структур, определяющих последовательность выполнения и взаимосвязи процессов, действий, задач. Изучение жизненного цикла автоматизированных информационных систем. Методология подготовки систем. Рассмотрение моделей разработки программного продукта.
курсовая работа, добавлен 30.01.2015Характеристика корпоративных информационных систем. Классификация информационных систем. Области применения и примеры реализации информационных систем. Основные понятия теории систем. Качественные и количественные модели. Основные задачи теории систем.
курс лекций, добавлен 10.02.2020Стадии и этапы создания автоматизированных систем. Документирование процесса, управление конфигурацией, обеспечение качества, разрешение проблем, аудит, совместная оценка и верификация. Создание инфраструктуры, управление и усовершенствование системы.
лекция, добавлен 18.01.2014Особенности функциональной и математической моделей видеоконтроля и верификации объектов организации. Поиск связей, расстояния между дескрипторами особых точек на сравниваемых изображениях. Модули (интерфейсный, модуль выделения и др.) модели верификации.
статья, добавлен 10.01.2016Функциональные задачи интеллектуальных систем анализа изображений. Области применения, классификация систем распознавания лиц (2D-; 3D-(трехмерная) идентификация). Алгоритмизация верификации лиц по 68 "волшебным точкам", описание математического аппарата.
статья, добавлен 14.02.2022Описание методологии мультиагентной системы для верификации времени, знаний, и стратегий, с помощью математического представления системы обработки знаний. Исследование содержания ATL и эпистемологические формулы для различных классов экспертных систем.
статья, добавлен 28.11.2016Анализ опыта верификации и валидации информационно-измерительных и управляющих систем для АЭС. Разработка проектных решений по системе внутриреакторного контроля. Характеристика информационных и программных средств для отдельных модулей атомной станции.
автореферат, добавлен 02.08.2018Особенности и признаки интеллектуальности информационных систем. Реализация экспертных систем экономического анализа деятельности предприятия. Построение концептуальной модели. Анализ реализации систем управления знаниями в инструментальной среде.
учебное пособие, добавлен 10.11.2013Разработка концептуальной модели совершенствования качества информационных систем. Анализ модели определения состава показателей качества информационных систем. Экспериментальное исследование моделей совершенствования качества информационных систем.
монография, добавлен 28.03.2020Системы управления базами данных. Назначение и функции систем поиска библиографических ссылок. Особенности функционирования запросно-ответных систем. Жизненный цикл информационной системы, его стадии и модели. Использование и цели создания модели IDEF0.
реферат, добавлен 23.05.2013Исследование назначения и структуры динамической интеллектуальной системы управления бизнес-процессами. Принципы сервисно-ориентированных архитектур и многоагентных технологий. Роль онтологии в организации базы знаний, построении таксономии сервисов.
статья, добавлен 19.01.2018Качество информации как важнейший параметр для потребителя информации. Процесс построения имитационных моделей. Этапы верификации и валидации имитационной модели. Подход к управлению успешным исследованием системы методами имитационного моделирования.
курсовая работа, добавлен 15.05.2014Критичные информационные системы в иерархии сложности эргатических систем. Модель информационного взаимодействия сложных систем. Концепция построения функционально стабильных систем. Автоматизации анализа и моделирования сложных информационных систем.
статья, добавлен 27.04.2017Анализ архитектуры аппаратной части автономного мобильного исследовательского мини-робота. Изучение многоагентных кооперативных алгоритмов управления группой роботизированных механизмов. Применение системы навигации без использования внешней коррекции.
статья, добавлен 07.11.2018