О верификации свойств вероятностных мультиагентных систем
Проблема верификации динамических свойств мультиагентных систем, состоящих из интеллектуальных агентов, которые взаимодействуют через вероятностные каналы связи. Динамические свойства (поведения) МАС, описываемые формулами пропозициональной логики.
Подобные документы
Систематизация состава линейных операторов, близких к ганкелевому, на основе признаков их симметрий. Разработка аналитических и численных методов поиска собственных и сингулярных функций выделенных систематизированных операторов динамических систем.
автореферат, добавлен 15.02.2018Разработка интеллектуальных технологий рассмотрения с позиций системного анализа задач измерения характеристик и моделирования предпочтений. Решение проблемы идентификации организационных систем и синтеза управлений процессами разработки проектов.
дипломная работа, добавлен 27.04.2017Рассматриваются алгоритмы воспроизведения структуры населения в рамках агент-ориентированной модели отраслевого развития экономики России. Описывается структура входных данных моделирования и результаты верификации программно реализованных алгоритмов.
статья, добавлен 01.02.2019Количественная оценка степени упорядоченности наноразмерных структур на основе параметра фрактальной размерности (ФР). Методика анализа структурно-морфологических свойств объектов на основе ФР в изображениях, полученных методом газоразрядной визуализации.
статья, добавлен 03.03.2012Методики разработки интеллектуальных геоинформационных систем (ГИС): создание программного средства визуальной разработки и интерпретатора встроенного в объектную модель языка программирования SOML для управления ГИС-объектами из прикладных задач.
автореферат, добавлен 10.12.2013История развития систем и сущности искусственного интеллекта - области информатики, которая занимается разработкой интеллектуальных компьютерных систем, обладающих возможностями, которые мы традиционно связываем с человеческим разумом. Проблемные области.
реферат, добавлен 12.03.2011Анализ особенностей и основных методов проектирования Интеллектуальных Обучающих Систем (ИОС). Интернет и обучение - достигнутые результаты. ИOC - необходимость массовой разработки приложений. Основа предлагаемой структуры и возможные пути ее применения.
реферат, добавлен 24.06.2010Спектр функциональных задач процесса создания систем технической диагностики, базирующихся на обработке визуальной информации. Создание систем технической диагностики, согласно разрабатываемых методов создания интеллектуальных информационных технологий.
статья, добавлен 29.07.2016Особенности автоматизированных систем обработки и хранения информации, компьютерных баз данных, к которым возможен удаленный доступ через технические каналы связи. Способы защиты персональных данных и конфиденциальных сведений персонального характера.
статья, добавлен 01.03.2019Проявление в системе основных системообразующих свойств, определяющих закономерности ее существования и поведения. Признаки классификации систем. Создание комплекса взаимосвязанных моделей (информационной, функциональной) на основе методологии IDEF.
курсовая работа, добавлен 22.11.2010Существующие подходы к решению задач управления организационными системами. Структуры систем управления, их параметры и связи. Математические модели принятия решений. Модель коллективного поведения агентов. Управление пассивной и активной системой.
статья, добавлен 08.03.2019Рассмотрение научно-практической задачи по расширению класса решаемых задач в области модельно-ориентированного проектирования с применением современных инструментальных средств. Анализ функциональных особенностей интеллектуальных технических систем.
статья, добавлен 28.07.2020Множественные методы исследования систем. Моделирование и исследование природы сложных систем с помощью сетей Петри. Типовые звенья систем автоматического управления, правила эквивалентных преобразований структурных схем САУ. Алгебра логики; карты Карно.
курсовая работа, добавлен 20.12.2021Исследование проблемы корректного описания свойств симметрии бинарных отношений. Актуальный состав свойств симметрии и новые утверждения о взаимозависимости этих свойств. Характеристика допустимых в аспекте свойств симметрии типы бинарных отношений.
статья, добавлен 18.01.2018Характеристика основных агентов сферы визовых услуг. Выявление недостатков бизнес-процессов визового центра. Анализ практики применения технологии блокчейн в различных областях бизнеса. Особенности использования криптовалют и верификации транзакций.
магистерская работа, добавлен 07.12.2019Использование технологии OSTIS при разработке прикладных интеллектуальных систем. Смысловое представление информации в памяти КС. Семантика sc-кода. Унификация и совместимость различных моделей решения задач. Интеграция нейросетевых моделей с БЗ.
статья, добавлен 29.08.2021Анализ непараметрических моделей и формализация схем приложений динамических характеристик при получении явных моделей объектов разной структуры. Оценка адекватности воспроизведения свойств объекта в пределах точности заданных динамических характеристик.
статья, добавлен 25.08.2016Проблема персонализации компьютерных систем к требованиям пользователей. Формирование пользовательского интерфейса, адаптированного под актуального пользователя использующего прикладную программу. Трудоемкость проектирования и разработки интерфейса.
статья, добавлен 17.12.2019Разработка архитектуры программного комплекса "лабиринт агентов" в двумерной среде. Алгоритм индивидуальной базы знаний. Интеллектуальные системы принятия решений и управления. Модель оценки надежности и качества разработанного программного обеспечения.
дипломная работа, добавлен 14.12.2019Математическое описание линейных систем. Временные и частотные характеристики звенев и систем. Пакет программ Mathcad фирмы MathSoft, состав главного меню. Формирование документов Mathcad. Определение корней характеристического уравнения системы.
методичка, добавлен 01.06.2016Анализ исчисляющей классификации условных конструкций в языках интеллектуальных систем на основе единой теоретической базы. Трактовка условного концепта как неопределяемого универсального примитива. Таксисная зависимость между условием и следствием.
статья, добавлен 18.01.2018Моделирование функционально-структурных свойств информационной архитектуры на основе декомпозиции и систематизации структуры информационных взаимодействий. Оценка функционально-структурных свойств архитектуры. Реализация системы кластерных ограничений.
автореферат, добавлен 16.02.2018Особенности, характеристики и типы задач экспертных систем. Структура и режимы использования ЭС. Приобретение знаний и решение задач как режимы работы экспертных систем. Организация знаний в ЭС. Отличия языков программирования экспертных систем.
лекция, добавлен 23.07.2015Рассмотрение существующих интеллектуальных беспилотных систем и индустриальных мультифункциональных сетей четвертого и пятого поколений. Разработка компьютеризированных систем мониторинга и управления горным и транспортным оборудованием на карьерах.
реферат, добавлен 23.05.2018Определение и изучение классификации интеллектуальных информационных систем. Описание технологии проектирования интеллектуальных систем аналитической отчетности. Проектирование системы аналитического подбора средствами "Малой экспертной системы 2.0".
курсовая работа, добавлен 14.05.2020