Модель вероятностных многоагентных систем и их верификация
Исследование вопросов реализации и верификации вероятностных многоагентных систем. Анализ и оптимизация продукционной модели с вероятностной почтовой подсистемой и вероятностным выбором действий как упрощенного варианта вероятностных многоагентных систем.
Подобные документы
- 51. Исследование и оптимизация условных систем переписывания на основе продукционно-логической модели
Рассмотрение алгебраической модели условной эквациональной теории, основанной на решетках. Обоснование локально-эквивалентных преобразований множества условных правил, оптимизация путем получения эквивалентной системы с минимальным набором правил.
статья, добавлен 18.01.2018 Разработка основных требований для проектирования ЭС. Структура экспертных систем. Сетевые модели или семантические сети. Процесс заполнения экспертной системы знаниями эксперта. Подсистема связей с внешним окружением. Режимы функционирования ЭС.
лабораторная работа, добавлен 07.02.2013Возможности модельно-ориентированное проектирование при помощи программных продуктов MathWorks, позволяющие автоматизировать процесс разработки, отладки и верификации программного обеспечения для встраиваемых систем управления. Пакет прикладных программ.
статья, добавлен 13.02.2016Технология создания интеллектуальных обучающих систем, ориентированных на знания. Приобретение знаний с использованием метода формального концептуального анализа. Построение вопросов, используемых для верификации знаний ученика со знаниями специалиста.
статья, добавлен 17.01.2018Описание стохастической модели с дискретным временем и периодическими внешними воздействиями. Изучение проблемы вычисления фундаментальной матрицы для модели вида гибели и размножения с поглощением. Вычисление вероятностных и стоимостных характеристик.
дипломная работа, добавлен 26.08.2016Рассмотрение авторского метода верификации программ программируемых логических контроллеров, входящих в состав автоматизированных систем управления технологическими процессами. Система семантического анализа многомерных интервально-логических регуляторов.
статья, добавлен 16.07.2018Анализ и исследование возможностей систем родительского контроля. Составление математического описания модели такой системы для мобильного устройства. Проверка эффективности реализованных алгоритмов по отслеживанию действий ребенка на мобильном телефоне.
статья, добавлен 28.03.2019Различия информационных систем по функциям, архитектуре и реализации. Области применения и реализации информационных систем. Изучение требований, предъявляемых к информационным системам. Рассмотрение основных фаз проектирования информационных систем.
контрольная работа, добавлен 23.12.2015Понятие, сущность и предназначение концептуальной модели информационных систем. Характеристика основных видов связей в концептуальной модели информационных систем. Связи и элементы диаграммы классов. Создание концептуальной модели информационных систем.
контрольная работа, добавлен 21.11.2019Способы построения эффективных универсальных алгоритмов верификации и оптимизации, подходящих для анализа и преобразования потоков работ. Этапы разработки единого промежуточного графового представления для моделирования потока управления и потока данных.
автореферат, добавлен 31.07.2018Построение имитационных моделей больших систем и проведение машинных экспериментов с этими моделями. Рассмотрение подходов к созданию имитационных моделей. Функционирование систем массового обслуживания. Реализация процесса построения графа модели.
статья, добавлен 17.06.2018Разработка метода верификации описаний аппаратуры на основе использования эталонных программных моделей. Исследование зависимости качества тестирования и времени его проведения. Нахождение ошибок в процессе верификации в проекте высокой сложности.
автореферат, добавлен 02.05.2018Разработка программного модуля для оценки предпринимательских рисков. Даталогическая модель для программного модуля. Закладка "Экономические показатели". Эффективность капиталовложений путем корректировки результата с учетом вероятностных показателей.
статья, добавлен 15.05.2017Изучение системного программного обеспечения, операционных систем, систем управления файлами, утилит и систем программирования. Анализ функций операционных систем. Анализ основных файловых систем. Требования к системному программному обеспечению.
реферат, добавлен 04.03.2016Формализация проблемы обеспечения безопасности информации в распределенных автоматизированных информационных системах с мультикаскадной моделью жизненного цикла. Методы верификации формальной спецификации системы обеспечения безопасности информации.
автореферат, добавлен 04.02.2018Анализ существующих методов интеграции. Анализ процесса внедрения сторонних систем в архитектуру информационных систем компании. Постановка задачи динамической интерпретации метаинформации. Интеграция автоматизированных систем управления предприятий.
курсовая работа, добавлен 11.02.2017Сравнительная характеристика систем багтрекинга и систем ведения проектов, обоснование выбора лучшей из них для дальнейшей интеграции. Исследование систем Jira, Redmine, Bugzilla Сравнение систем управления базами данных (MYSQL, PostrgreSQL, SQLite).
статья, добавлен 25.07.2018Назначение разработки по теме "Оптимизация транспортных систем", область применения и ее ограничения. Для создания данного электронного продукта использовался персональный компьютер типа Intel Pentium IV c операционной системой Windows XP Professional.
практическая работа, добавлен 11.01.2020Характеристика параллельных распределительных систем в вычислительных процессах. Применение компонентной сети Петри, используя бисимуляционную эквивалентность полученных моделей Крипке. Методы и способы спецификации и верификации параллельных процессов.
научная работа, добавлен 28.02.2016Построение модели качества информационных систем, предметные области которых подвержены систематическим изменениям. На основании стандарта выбор системы показателей качества, учитывающей специфику построения, отладки и сопровождения таких систем.
статья, добавлен 14.07.2016Принципы системного и имитационное подхода в моделировании систем. Анализ дискретно–событийных систем и моделей, схемы алгоритма моделирования стохастических дискретно–событийных систем. Основные подходы к построению математических моделей систем.
курсовая работа, добавлен 24.01.2024Понятие, назначение и виды моделей информационных систем. Жизненный цикл информационной системы, ее разработка, эксплуатация, проверка и решение возникающих проблем. Каскадные и спиральные модели, используемые для монтирования компьютерных сетей.
презентация, добавлен 08.04.2018Особенности развития современных компьютерных систем, схема эксперимента по верификации математической модели. Исследование пропускной способности беспроводного моноканала. Производительность беспроводной сети и выбор оптимального размера кадра.
статья, добавлен 23.02.2016Метод Гаусса с выбором главного элемента по столбцу, с выбором главного элемента по всей матрице. Метод Зейделя: приведение системы к виду, удобному для итераций. Сравнение прямых и итерационных методов. Программа решения систем линейных уравнений.
курсовая работа, добавлен 07.05.2009Исследование и анализ развития компьютерных обучающих систем и математических моделей для их реализации. Выбор конкретных существующих математических моделей и их модификация. Реализация разработанных моделей при создании компьютерных обучающих систем.
автореферат, добавлен 18.07.2018