Валидация и верификация имитационной модели
Качество информации как важнейший параметр для потребителя информации. Процесс построения имитационных моделей. Этапы верификации и валидации имитационной модели. Подход к управлению успешным исследованием системы методами имитационного моделирования.
Подобные документы
Автоматизация построения синтаксически и семантически правильной имитационной модели. Математическая теория систем массового обслуживания; модели Queue Network. Проверка синтаксической правильности модели в статье; использование графовой грамматики.
статья, добавлен 26.04.2019Основные разновидности процесса моделирования. Построение сети на основе компьютеров, коммуникационных устройств, операционных систем и приложений. Развитие компьютерного имитационного моделирования. Процесс построения моделей в программных продуктах.
реферат, добавлен 12.07.2015- 78. Архитектура системы имитационного моделирования грузопотока в калийных рудниках – ПК "Рудопоток"
Разработка системы имитационного моделирования по добыче и транспортировке руды в подземной части калийных шахт. Отличительные особенности предложенной модели. Архитектура программной реализации ПК "Рудопоток". Средства имитационного моделирования.
реферат, добавлен 26.04.2019 Основные задачи системы управления защитой информации. Математические модели по управлению принятия решений для выбора варианта защиты автоматизированной системы. Описание количества априорной неопределенности о выборе варианта энтропией Больцмана.
статья, добавлен 20.05.2017Сложность разрабатываемых в настоящее время имитационных моделей. Направления, по которым развиваются средства имитационного моделирования. Инструментальное расширение базового языка программирования. Отличительные особенности интегрированных сред.
статья, добавлен 25.08.2020Представление системы массового обслуживания в виде двух потоков. Исследование их аналитическим методом. Описание действий для построения имитационной модели потребления энергоресурсов. Нахождение критического звена. Уточняющий расчет надежности системы.
статья, добавлен 30.07.2017Процесс проектирования инженерно-технической системы защиты информации. Оптимизация выбора комплекса методов и средств, позволяющих полностью перекрыть все возможные каналы утечки информации. Метод построения модели безопасности с полным перекрытием.
статья, добавлен 27.05.2018Ознакомление с основными выходными параметрами имитационной модели функционирования системы управления транспортом. Определение дисциплин сбора информации. Рассмотрение алгоритмов, обеспечивающих моделирование двумерного нормального распределения.
статья, добавлен 10.03.2018Метод, позволяющий строить модели, описывающие процессы так, как они проходили бы в действительности. Разработка имитационной модели технического контроля изделий в среде AnyLogic. Изучение возможностей работы среды разработки компьютерных моделей.
курсовая работа, добавлен 31.05.2016Описание возможностей и роль имитационного моделирования бизнес-процессов. Подходы и инструментальные средства, применяемые в имитационном моделировании. Применение имитационных моделей для поиска оптимального решения в условиях ограниченных ресурсов.
статья, добавлен 07.11.2018Особенности принятия стратегических и тактических управленческих решений. Алгоритм выработки скорректированных решений с использованием имитационной модели производственного процесса. Оценка достоверности выработки корректируемых управленческих решений.
статья, добавлен 24.08.2020Построение компьютерной модели и проведение вычислительных экспериментов для понимания поведения системы как сущность метода имитационного моделирования. Алгоритм программы, позволяющей изучить зависимость усвоения от скорости поступления информации.
статья, добавлен 27.02.2018Изучение оптимальных управленческих стратегий, основанных на анализе имитационных экспериментов с целью оптимизации кадрового состава ремонтных бригад в соответствии с жилищным фондом управляющей компании. Описание агента Construct, Service_unit и Main.
контрольная работа, добавлен 20.02.2019Понятие имитационной модели, создание процессной схемы управления проектной организации. Расчет отношения суммарного времени выполнения действий процедуры к суммарному времени ожидания. Анализ диаграммы процесса управления, создание классификатора потерь.
статья, добавлен 10.03.2018Способы построения эффективных универсальных алгоритмов верификации и оптимизации, подходящих для анализа и преобразования потоков работ. Этапы разработки единого промежуточного графового представления для моделирования потока управления и потока данных.
автореферат, добавлен 31.07.2018Формализация проблемы обеспечения безопасности информации в распределенных автоматизированных информационных системах с мультикаскадной моделью жизненного цикла. Методы верификации формальной спецификации системы обеспечения безопасности информации.
автореферат, добавлен 04.02.2018Изучение особенностей построения модели угроз и нарушителей информации с использованием онтологии проведения испытаний комплексных систем защиты информации. Описание фрагментов онтологических графов определенных модулей онтологии при построении модели.
статья, добавлен 29.11.2016Байесова регуляризация обучения и интерполяция функций без кросс-валидации. Оптимизация кластерной модели. Нейросетевые аппроксимации плотности распределения вероятности в задачах информационного моделирования. Фракталы, аттракторы, нейронные сети.
курс лекций, добавлен 08.02.2013Теоретические основы информационного моделирования. Классификация моделей. Характерные признаки компьютерной математической модели. Основные этапы моделирования. Экономико-статистические расчеты и создание математических моделей в среде Microsoft Excel.
реферат, добавлен 21.10.2014Создание эффективно-действующих автоматизированных систем управления производственными процессами. Исследование предпроектных процедур, необходимых при построении имитационной модели многостаночной гетерогенной транспортно-производственного комплекса.
статья, добавлен 04.09.2013Объектно-ориентированный подход в вычислительной математике и имитационном моделировании. Разработка системы по методологии UML на языке программирования C++ в среде Qt. Исследование биологического объекта управления. Функциональные возможности системы.
дипломная работа, добавлен 08.10.2018Процессы функционирования систем на примере моделирования трехфазной СМО. Зависимость вероятности обслуживания от интенсивности потока обслуживания первой фазы. Прибор обслуживания заявок. Расчет пропускной способности системы и времени ожидания.
курсовая работа, добавлен 30.11.2011Исследование программной системы, предназначенной для моделирования и верификации вероятностных многоагентных систем. Вероятностные темпоральные логики ветвящегося и линейного времени. Алгоритм верификации полиномиальной сложности. Язык программ агентов.
статья, добавлен 19.01.2018Моделирование работы микроавтобусов на протяжении 16 часов. Оценка их загруженности. Распределение времени поездки пассажиров и выручки с маршрутных такси. Построение графика имитационной модели. Графический конструктор Pilgrim для построения модели.
курсовая работа, добавлен 24.06.2013Обзор процесса создания программы, моделирующей систему массового обслуживания. Изучение системного исследования реальной динамической сложной системы на основе построения ее имитационной модели. Анализ экспоненциального показательного распределения.
курсовая работа, добавлен 15.05.2011