Программа верификации вероятностных многоагентных систем
Исследование программной системы, предназначенной для моделирования и верификации вероятностных многоагентных систем. Вероятностные темпоральные логики ветвящегося и линейного времени. Алгоритм верификации полиномиальной сложности. Язык программ агентов.
Подобные документы
Характеристика задачи в логистической цепочке с целью определения интегральных показателей (стоимости, времени) на основе знания указанных параметров для отдельных звеньев. Алгоритм композиции случайных параметров последовательной логистической цепи.
статья, добавлен 06.12.2016Исследование эффективности и технологичности программного обеспечения. Изучение современных способов экономии памяти в программе. Алгоритм уменьшения времени выполнения программной обработки данных. Рассмотрение основных правил оптимизации программ.
лекция, добавлен 02.04.2019Анализ современных тенденций развития моделирования социальных конфликтов. Анализ показателей, используемых в моделировании конфликтов. Пример имитационной модели конфликта и ее применение к исследованию социально-политических проблем Северного Кавказа.
статья, добавлен 28.05.2017Методика построения баз знаний для семантической сети. База знаний в редакторе protege-OWL. Структура исследований в области многоагентных систем. Агентно-ориентированный подход в программировании. Платформа для разработки мультиагентных систем JADE.
дипломная работа, добавлен 12.10.2015Анализ бухгалтерских программ. Этапы автоматизации бухгалтерского учета в России. Характеристика автоматизированных систем. Классификация бухгалтерских программ. Критерии выбора программы. Основные возможности программной системы "Парус-бухгалтерия".
реферат, добавлен 09.11.2013Выявление проблем, характерных для коллективной работы роботов. Ознакомление с их элементной базой и архитектурой. Приведение примеров систем, реализующих коллективное поведение. Рассмотрение многоагентных систем, имитационных моделей, роевых алгоритмов.
курсовая работа, добавлен 16.01.2018Качество информации как важнейший параметр для потребителя информации. Процесс построения имитационных моделей. Этапы верификации и валидации имитационной модели. Подход к управлению успешным исследованием системы методами имитационного моделирования.
курсовая работа, добавлен 15.05.2014Обзор двухуровневой семантической информационной модели агропромышленного холдинга. Описание синтеза и верификации модели холдинга. Изучение ценности признаков для решения задач управления. Системно-когнитивный анализ в управлении активными объектами.
статья, добавлен 27.04.2017Формализация проблемы обеспечения безопасности информации в распределенных автоматизированных информационных системах с мультикаскадной моделью жизненного цикла. Методы верификации формальной спецификации системы обеспечения безопасности информации.
автореферат, добавлен 04.02.2018Технология создания интеллектуальных обучающих систем, ориентированных на знания. Приобретение знаний с использованием метода формального концептуального анализа. Построение вопросов, используемых для верификации знаний ученика со знаниями специалиста.
статья, добавлен 17.01.2018Критичные информационные системы в иерархии сложности эргатических систем. Модель информационного взаимодействия сложных систем. Концепция построения функционально стабильных систем. Автоматизации анализа и моделирования сложных информационных систем.
статья, добавлен 27.04.2017Технология применения системно-когнитивного анализа и его инструментария – системы "Эйдос" для синтеза и верификации информационных семантических моделей временных рядов. Экранная форма системы с прогнозом времени завершения пакетного распознавания.
статья, добавлен 26.04.2017Рассмотрение возможностей системы идентификации и верификации личности по изображению лица с помощью технологии WPF. Трудности при реализации подсистемы позиционирования человека перед фотоснимком, работы с фотоаппаратом и библиотекой идентификации.
презентация, добавлен 02.05.2014Рассмотрение предметной области распределенных систем и имитационного моделирования. Анализ сред имитационного моделирования среди программ AnyLogic, Repast и NetLogo. Реализация моделей разных волновых алгоритмов с пошаговым пояснением действий.
дипломная работа, добавлен 27.08.2020Преимущества языков имитационного моделирования систем. Сводное описание блоков языка GPSS: вычислительные средства, изменение параметров транзактов, многоканальные устройства, построение гистограмм, служебные карты. Примеры распечатки программ.
курсовая работа, добавлен 16.05.2016Обзор алгоритмов эволюционного моделирования технических систем и средств программной поддержки САПР на основе использования символьных информационных технологий. Анализ программ моделирования, разработанных с использованием систем компьютерной алгебры.
статья, добавлен 17.01.2018Характеристика основных агентов сферы визовых услуг. Выявление недостатков бизнес-процессов визового центра. Анализ практики применения технологии блокчейн в различных областях бизнеса. Особенности использования криптовалют и верификации транзакций.
магистерская работа, добавлен 07.12.2019- 68. Методы взаимодействия и координации в мультиагентных системах на основе нечеткой логики высшего типа
Разработка динамической архитектуры мультиагентных систем на основе нечеткой логики высшего типа, позволяющая более информативно представить степень неопределенности системы нечетких правил при спецификации поведения интеллектуальных агентов и систем.
статья, добавлен 28.02.2016 Моделирование систем и особенности использования алгоритмических языков. Задание времени в машинной модели. Подходы к разработке, основные требования и архитектура языков имитационного моделирования, сравнительная характеристика их эффективности.
курсовая работа, добавлен 18.11.2011Структура и правила работы информационных систем. Специфические свойства современных систем защиты. Сущность и основные преимущества использования технологии мобильных агентов. Анализ компонентов систем защиты, реализованных в виде мобильных агентов.
статья, добавлен 17.04.2015Преимущества UML: строительные блоки и правила языка. Облегчение процесса передачи информации о системе в унифицированном языке моделирования систем. Язык программирования, графика и диаграмма классов. Общецелевой язык визуального моделирования.
контрольная работа, добавлен 13.02.2012Проектирование с помощью "Rational Rose" систем любой сложности: от банковской системы до разработки кода на С++. Возможности программного инструмента. Типы сущностей в объектно-ориентированном языке моделирования UML. Преимущества "Rational Rose".
реферат, добавлен 29.12.2014Основные понятия систем массового обслуживания: каналы, заявки. Дисциплины обслуживания очереди. Примеры СМО. Определение вероятностных характеристик нотариальной конторы, работающей в стационарном режиме и представляющей собой одноканальную СМО.
практическая работа, добавлен 11.12.2023Разработка архитектуры программного комплекса "лабиринт агентов" в двумерной среде. Алгоритм индивидуальной базы знаний. Интеллектуальные системы принятия решений и управления. Модель оценки надежности и качества разработанного программного обеспечения.
дипломная работа, добавлен 14.12.2019MatLab (Matrix Labotary) и ее роль в обработке массивов данных (матриц и векторов). Понятие Simulink как пакета моделирования динамических систем. Дополнительные пакеты прикладных программ и характеристика проблем проектирования энергетических систем.
контрольная работа, добавлен 06.03.2015