Программа верификации вероятностных многоагентных систем
Исследование программной системы, предназначенной для моделирования и верификации вероятностных многоагентных систем. Вероятностные темпоральные логики ветвящегося и линейного времени. Алгоритм верификации полиномиальной сложности. Язык программ агентов.
Подобные документы
Применение систем реального времени в управлении технологическими процессами. Встроенные и окружающие системы реального времени и их воздействие на обмен информацией. Свойства, структура и алгоритм построения функционирования СРВ производства карбамида.
презентация, добавлен 26.08.2015Методика формализации и расчета параметров сетевых графиков вероятностных технологических процессов производства, выбор варианта их организации. Оценка влияния характеристик отказа и восстановлений функций оборудования, используемого операциями.
статья, добавлен 29.01.2019Анализ архитектуры аппаратной части автономного мобильного исследовательского мини-робота. Изучение многоагентных кооперативных алгоритмов управления группой роботизированных механизмов. Применение системы навигации без использования внешней коррекции.
статья, добавлен 07.11.2018Изучение программное среды Proteus для моделирования автоматических систем на базе микроконтроллеров, интеллектуальных датчиков и жидкокристаллических индикаторов информации. Предназначение программ ISIS и ARES. Выставление на поле микроконтроллера.
лабораторная работа, добавлен 25.11.2014Создание проблемно-ориентированных системных и прикладных компьютерных программ для информационно-управляющих систем. Разработка методики и алгоритмов для практического осуществления дуального управления. Определение эффективности адаптивного управления.
автореферат, добавлен 14.02.2018Классификация адаптивных обучающих систем на основе цели их функционирования. Анализ методов моделирования поведения и процесса образования классификаций методов моделирования сложных систем. Выбор обучающих систем на рынке программного обеспечения.
статья, добавлен 20.02.2019Характеристика компьютерных вирусов и определение признаков вирусного заражения. Рассмотрение и анализ процесса определения угрозы безопасности информации в информационной системе. Исследование содержания понятия Марковского случайного процесса.
курсовая работа, добавлен 19.02.2024Реализация программной системы поддержки управленческих решений, предназначенной для организации учебного процесса в высших учебных заведениях. Состав программной системы, структура подсистем на уровне блоков. Основные сведения о разработанных модулях.
статья, добавлен 26.05.2017Построение двухуровневой семантической информационной модели управления агропромышленным холдингом. Изучение результатов синтеза и верификации системы частных моделей, входящих в двухуровневую семантическую информационную модель управления холдингом.
статья, добавлен 27.04.2017Экспертные системы как набор программ, выполняющий функции эксперта при решении задач из некоторой предметной области. Главное их достоинство и назначение. Критерий использования экспертных систем для решения задач. Основные линии развития таких систем.
контрольная работа, добавлен 28.04.2016Постановка задачи моделирования, разработка его математической модели и анализ алгоритма. Принципы и подходы к программной реализации проекта. Правила отладки и тестирования программного обеспечения. Анализ и интерпретация результатов моделирования.
курсовая работа, добавлен 18.01.2015Исследование и анализ классификации языков и систем моделирования, изучение истории их развития, основных принципов, применения в различных областях и перспектив развития. Роль языков в разработке программного обеспечения и создании компьютерных моделей.
курсовая работа, добавлен 06.06.2024Ознакомление с историей появления первых компьютеров, которое отразилось на программном обеспечении. Определение сущности автоматизированного тестирования программного обеспечения, как одного из вариантов верификации продукта на стадии его разработки.
курсовая работа, добавлен 30.01.2016Создание информационно-аналитической системы на базе гибридной модели прогнозирования, интегрированной с программным обеспечением ситуативного центра образовательного учреждения. Анализ результатов верификации регрессионных уравнений социальной сферы.
статья, добавлен 19.12.2017Разработка программы обнаружения утечки конфиденциальной информации в документах: существующие подходы по защите от утечки информации, выбор алгоритма верификации по ROC-кривой, архитектура экспериментальной системы обнаружения утечки информации.
дипломная работа, добавлен 06.03.2013Характеристика риск-ориентированного метода, позволяющего сформировать тестовое покрытие для базы данных, входящей в состав интегрированной информационной системы, основываясь на априорном анализе рисков и модифицированной модели верификации базы данных.
статья, добавлен 23.02.2016Характеристика способов и алгоритмов моделирования систем автоматического управления с помощью параллельных систем обработки информации. Ряд оптимизаций и моделей алгоритмов организации параллельных вычислений. Анализ процесса/канала (Process/Channel).
статья, добавлен 14.10.2018Изучение основных теоретических положений и методов моделирования. Рассмотрение автоматизированных систем обработки информации и управления. Характеристика системы реального времени. Определение принципов проектирования информационно-управляющих систем.
учебное пособие, добавлен 12.08.2015Исследование назначения и структуры динамической интеллектуальной системы управления бизнес-процессами. Принципы сервисно-ориентированных архитектур и многоагентных технологий. Роль онтологии в организации базы знаний, построении таксономии сервисов.
статья, добавлен 19.01.2018Описание языков веб-программирования, необходимых для решения поставленной задачи. Возможности использования языков программирования, синтаксис которых лежит в основе создания фрагмента программного обеспечения для автоматизированной обработки данных.
статья, добавлен 06.05.2018Системы массового обслуживания и их применение при моделировании средств вычислительной техники. Основные принципы построения многоцелевой системы имитационного моделирования. Правила и приемы создания программ на языке программирования GPSS World.
учебное пособие, добавлен 14.09.2017Определение миссии сбора биометрических характеристик населения страны. Процесс автоматизированной идентификации и верификации субъектов персональных данных. Необходимость создания биометрических загранпаспортов. Порядок сканирования отпечатков пальцев.
реферат, добавлен 29.03.2014Классы экспертных систем и их различие по сложности и типу решаемых задач: анализ или синтез. Структура статистических и динамических экспертных систем. Назначение и необходимость подсистем моделирования внешнего мира и связи с внешним окружением.
реферат, добавлен 03.05.2012Создание автоматизированной информационной системы по управлению производством. Значение и входные данные Capacity Requirements Planning. CRP-алгоритмы: предварительное и окончательное планирование. Исследование цикла работы CRP-модуля программа.
контрольная работа, добавлен 12.10.2017Анализ существующих поисковых систем в Интернет. Разработка уникального поискового алгоритма системы, предназначенной для Российской Федерации. Выбор критериев его оптимизации. Описание системы на структурно-параметрическом и функциональном уровне.
реферат, добавлен 21.01.2015