Сложность верификации мультиагентных систем с вероятностными состояниями и программами
Изучение сложности верификации динамических свойств мультиагентных систем, состоящих из вероятностных интеллектуальных агентов. Вероятностные мультиагентные системы, их множества. Каналы связи и передача сообщений. Вероятностные логические программы.
Подобные документы
MPI - интерфейс передачи сообщений - основные понятия и определения. Инициализация и завершение МРІ программ. Определение количества и ранга процессов и времени выполнение МРІ программы. Прием и передача сообщений. Коллективные операции передачи данных.
учебное пособие, добавлен 17.09.2013Понятие интеллектуальных информационных систем, их основные функции, цели и задачи. Характеристика и свойства некоторых систем искусственного интеллекта: на основе нейрокомпьютерных технологий, на основе генетических алгоритмов и на базе нечеткой логики.
лекция, добавлен 13.08.2013Рассмотрение особенностей проектирования систем искусственного интеллекта. Прямая и обратная цепочки логических рассуждений. Определение основных фактов, имеющих отношение к целям изучения процессов. Создание интеллектуальных агентов и сред любого типа.
лекция, добавлен 28.03.2020Нейронные сети - база для организации интеллектуальных систем защиты информации автоматизированных систем. Эволюционный подход к машинному обучению интеллектуальных средств. Вычислительные модели естественного отбора. Обзор генетического программирования.
статья, добавлен 24.03.2018Математические и алгоритмические основы интеллектуальных информационных систем: модели представления знаний, семантических фреймов. Построения информационных систем для решения неформализованных задач в различных сферах творческой деятельности человека.
лекция, добавлен 17.07.2013База знаний как ключевой компонент интеллектуальной справочной системы. Коллективное проектирования комплексной методики проектирования интеллектуальных справочных систем, проектирование семантической модели и детальная структуризация базы знаний.
статья, добавлен 06.03.2019Модели массового обслуживания, их характеристика и отличительные свойства, оценка преимуществ и недостатков. Вероятностные сети систем массового обслуживания, порядок проведения соответствующего моделирования. Технология имитационного моделирования.
книга, добавлен 01.06.2012Рассмотрение вопросов необходимости использования нового класса вероятностных распределений при анализе информационных потоков. Изучение структуры, закономерностей и общих свойств информационных потоков. Экспресс-анализ вероятностных распределений.
статья, добавлен 27.09.2016Тщательное изучение уязвимости в процессе анализа защищенности информационной системы. Использование сканеров безопасности для выявления "слабых мест" программы. Изучение принципа действия агентов. Проверка работоспособности системных установок.
статья, добавлен 25.04.2019Особенности многокомпонентных структурно-сложных систем со многими состояниями, оценка их надёжности. Суть и использование метода вероятностно-алгебраического моделирования. Граф как средство для описания структуры сложных систем и их функционирования.
курсовая работа, добавлен 23.05.2013Сущность и функции систем массового обслуживания. Характеристика детерминированных, стохастических и базовых сетей очередей. Алгоритм расчета замкнутых сетей через вероятности состояний. Применение алгоритма свертки при моделировании вероятностных сетей.
реферат, добавлен 14.11.2013Рассмотрение динамических и частотных характеристик систем автоматического управления. Методика построения корневых годографов для анализа и синтеза линейных систем управления. Исследование динамических систем управления в пространстве состояний.
учебное пособие, добавлен 04.04.2014Характеристика основных средств организации межпроцессного взаимодействия: каналы, сигналы, очереди сообщений, семафоры и разделяемые сегменты памяти. Определение производительности системы передач данных. Основные функции ввода и вывода нижнего уровня.
лабораторная работа, добавлен 27.11.2013Построение системы идентификации и верификации лиц на основе видео с возможностью ее оперативного введения в эксплуатацию и масштабирования. Разработка алгоритмов идентифицирования и выделения изображений. Анализ результатов тестового запуска программы.
статья, добавлен 17.11.2020Принципы работы и использования биометрических систем, оценка их современных возможностей. Решение проблем верификации и идентификации. Работа биометрических технологий на примере распознавания по отпечатку пальца. Применение биометрии в криминалистике.
реферат, добавлен 05.12.2013Характеристика интеллектуальных автоматизированных систем для поиска значений параметров системы. Анализ оптимизации системы в виде набора дискретных значений с заданным шагом дискретизации. Характеристики вычислительной сложности дискретной оптимизации.
статья, добавлен 15.05.2017Разработка новых подходов к созданию современных интеллектуальных технологий повышения эффективности информационных систем. Архитектура компьютерных систем и сетей. Изучение эффективности ИС как технической системы и как средства обработки информации.
статья, добавлен 27.04.2017Математическое описание линейных систем. Временные и частотные характеристики звенев и систем. Пакет программ Mathcad фирмы MathSoft, состав главного меню. Формирование документов Mathcad. Определение корней характеристического уравнения системы.
методичка, добавлен 01.06.2016Характеристика метода вывода на основе прецедентов для интеллектуальных систем поддержки принятия решений. Технологическая схема парового компенсационного объема. Этапы модифицированного CBR-цикла для интеллектуальных систем поддержки принятия решений.
статья, добавлен 19.01.2018Система "Miracle" как универсальный программный инструментарий для создания интеллектуальных приложений. Архитектура комплекса инструментальных программных средств для создания динамических интеллектуальных систем. Реализация на суперкомпьютере.
статья, добавлен 17.01.2018Особенности, характеристики и типы задач экспертных систем. Структура и режимы использования ЭС. Приобретение знаний и решение задач как режимы работы экспертных систем. Организация знаний в ЭС. Отличия языков программирования экспертных систем.
лекция, добавлен 23.07.2015Определение динамических показателей на разных режимах работы механической системы. Изучение динамики механической системы путем комбинации физических экспериментов и компьютерного моделирования. Динамическая модель проектирования механических систем.
статья, добавлен 05.05.2019Разработка протокола установления связи с абонентом, аутентификации по алгоритму Диффи-Хеллмана, передача информационного сообщения. Электронная цифровая подпись. Контроль целостности, логика выполнения, усиление алгоритма передаваемых сообщений MD5.
курсовая работа, добавлен 07.06.2009Основная характеристика прикладной онтологии. Изучение особенностей спектра языков представления знаний. Сущность ориентированных и неориентированных гиперграфов. Проведение исследования системы анализа изображений. Изучение программы MyScript Notes.
статья, добавлен 09.01.2016Рассмотрение оригинальных программных средств, реализующих построение и анализ системы моделей структурной сложности орграфов. Индексы структурной сложности орграфов в базисах ориентированных цепных фрагментов. Структурные модели сложности орграфов.
статья, добавлен 19.01.2018