Модель вероятностных многоагентных систем и их верификация
Исследование вопросов реализации и верификации вероятностных многоагентных систем. Анализ и оптимизация продукционной модели с вероятностной почтовой подсистемой и вероятностным выбором действий как упрощенного варианта вероятностных многоагентных систем.
Подобные документы
Характеристика технологий в области построения информационно-аналитических систем. Разработка программного комплекса, предназначенного проектировать модель данных и осуществлять контроль качества данных при построении информационно-аналитических систем.
автореферат, добавлен 29.08.2018Принципы работы и использования биометрических систем, оценка их современных возможностей. Решение проблем верификации и идентификации. Работа биометрических технологий на примере распознавания по отпечатку пальца. Применение биометрии в криминалистике.
реферат, добавлен 05.12.2013Изучение проблемы использования гибридных систем для высокопроизводительных расчетов. Анализ основных характеристик платформ Nvidia Jetson TK1 и TX1 с использованием модели производительности Roofline. Построение модели производительности с помощью ERT.
дипломная работа, добавлен 27.08.2016Выходные данные моделирования. Моделирование банка с несколькими кассами. Графы событий для модели банка. Схема производственной системы с пятью рабочими местами. Программа, реализующая имитационную дискретно-событийную модель в зависимости от варианта.
курсовая работа, добавлен 16.11.2011Научно-технические аспекты процедуры сертификации по требованиям безопасности информации программных продуктов в России. Исследование методики верификации программных средств с использованием графо-аналитической модели и комплексных кубических покрытий.
статья, добавлен 28.09.2012Определение содержания и значения термина "концептуальная модель". Основная цель и задачи разработки концептуальной модели. Этапы создания модели, исследование ее компонентов. Сущность и значение принципа структурной организации многоуровневых систем.
контрольная работа, добавлен 06.04.2018Применение систем автоматизированного проектирования для решения задач связанных с выбором оптимальных параметров систем искусственного освещения. Сущность механизмов оптимизации параметров системы освещения на базе традиционных критериев световой среды.
статья, добавлен 08.03.2019Обзор автоматизированных систем управления и анализ работы информационных систем: их общие принципы, применение в образовании и в проведении научных исследований. Использование систем автоматизированного проектирования и геоинформационных систем.
контрольная работа, добавлен 12.12.2010Принципы, методы и методология системных исследований. Функциональные характеристики сложных систем. Математические модели и системы управления. Методология построение имитационных моделей и организация имитационных экспериментов. Однофакторный анализ.
учебное пособие, добавлен 03.02.2017Исследование и характеристика главных особенностей файловых систем, призванных обеспечивать целостность структуры файла, его запись, хранение. Анализ и структурирование создаваемых корпоративных информационных систем с выявлением основных параметров.
дипломная работа, добавлен 30.08.2016Нечеткие и лингвистические переменные в описании объектов и явлений с помощью нечетких множеств. Логико-лингвистическое описание систем. Особенности модели управления паровым котлом. Анализ системы CubiCalc на примере модели управления грузовиком TRACKXY.
лабораторная работа, добавлен 20.02.2012История создания и развития автоматизированных систем управления. Изменение подхода к использованию информационных систем. Классы структур, функции и классификация АСУ. Современные средства реализации информационных технологий и будущее экспертных систем.
курсовая работа, добавлен 17.01.2013Математическое описание систем автоматического регулирования непрерывного действия. Задачи проектирования многомерных систем управления. Вычисление передаточных функций. Понятие устойчивости систем управления. Решение задач параметрической оптимизации.
курс лекций, добавлен 15.02.2012Изучение наиболее распространенных систем автоматического распознавания речи с открытым исходным кодом. Сравнение структуры систем и языков программирования при реализации. Разработка рекомендаций по применению систем автоматического распознавания речи.
статья, добавлен 30.04.2018Определение имитационного моделирования, ознакомление с линейной оптимизационной моделью, статическим моделированием систем. Выполнение имитационного моделирования для решения задач организации управления и для исследования системы массового обслуживания.
курсовая работа, добавлен 10.01.2014Предмет, структура, состав и виды информационных систем маркетинга. Создание, оптимизация, тенденции развития информационных систем и мультимедийных технологий. Характеристика, назначение технических средств и эффективность информационных систем.
курс лекций, добавлен 23.01.2011Определение понятия и изучение проблем стандартизации открытых графических систем. Общая характеристика протокола и интерфейса. Описание модели взаимодействия открытых систем ISO/OSI. Технологии функций уровней и принципов построения открытых систем.
курсовая работа, добавлен 23.05.2012Описание основных моделей угроз безопасности систем и способов их реализации. Анализ критериев уязвимости систем к деструктивным воздействиям. Описание средств мониторинга для выявления факторов применения несанкционированных воздействий на информацию.
реферат, добавлен 07.11.2019Системный анализ рынка ERP-систем. Эволюция информационных систем управления предприятием. Анализ российского рынка информационных технологий. Классификация и особенности отечественных разработок, достоинства и недостатки западных и российских ERP-систем.
контрольная работа, добавлен 26.12.2012Определение понятий имитационной модели и моделирования информационных систем. Классификация видов моделирования систем в зависимости от степени полноты модели и характера изучаемых процессов в системе. Основные принципы имитационного моделирования.
презентация, добавлен 13.04.2016- 96. Синтез и верификация двухуровневой семантической информационной модели агропромышленного холдинга
Описание смысла семантической информационной модели СК-анализа. Результаты верификации системы частных моделей, входящих в двухуровневую семантическую информационную модель управления агропромышленным холдингом. Процентные распределения по группам.
статья, добавлен 26.04.2017 Определение сущности систем поддержки принятия решений - интерактивных автоматизированных систем, помогающих лицу, принимающему решения, использовать данные и модели для решения слабо структурированных проблем. Анализ систем автоматизации офиса.
дипломная работа, добавлен 27.04.2016Синтез семантической информационной модели, ее структура и основные компоненты. Повышение ее эффективности и механизм верификации. Экранная форма отчета по достоверности разработанной модели, а также содержание отчета, формируемого системой "эйдос".
статья, добавлен 26.04.2017Основы защиты программного обеспечения компьютерных систем. Классификация угроз информационно-программному обеспечению вычислительных систем и примеры их реализации в современном компьютерном мире. Разработка модели угроз технологической безопасности ПО.
курсовая работа, добавлен 13.06.2012Описание концепции интегрированного проектирования, реализации и сопровождения программного обеспечения. Проектирование программных систем, обеспечивающее унифицированную вычислительную модель данных в форме О(М)Д и программно-инструментальных средств.
статья, добавлен 08.12.2018