Валидация и верификация имитационной модели
Качество информации как важнейший параметр для потребителя информации. Процесс построения имитационных моделей. Этапы верификации и валидации имитационной модели. Подход к управлению успешным исследованием системы методами имитационного моделирования.
Подобные документы
Понятие имитационного моделирования. Этапы процесса построения математической модели. Имитационное моделирование воспроизводственных процессов в нефтегазовой промышленности. Метод Монте-Карло как разновидность моделирования, примеры типовых задач.
курсовая работа, добавлен 23.06.2015Характеристика разработки линейных корректирующих кодов для систем передачи и хранения информации. Создание и исследование компьютерной имитационной модели преобразования и передачи данных с использованием разработанных кодов и перемежителя данных.
автореферат, добавлен 18.08.2018Процесс построения имитационной модели процессов отказов и восстановления ЭВМ. Построение и структура математической модели. Порядок распределения задач между ЭВМ и обеспечение оптимальной нагрузки. Минимизирование стоимости эксплуатационных расходов ВЦ.
курсовая работа, добавлен 01.09.2013Создание Марковской модели исследуемой системы массового обслуживания. Проведение исследования концепций с неограниченным и ограниченным ожиданием. Описание и параметры Simulink-модели учения. Изучение результатов компьютерного моделирования программы.
курсовая работа, добавлен 05.11.2017Определение основных требований к программным средствам, предназначенным для поддержки принятия управляющих решений в экономических системах предприятий, на основе имитационной модели. Состав и структура программно-технологического комплекса BelSim.
статья, добавлен 27.05.2018Понятия, виды и уровни моделирования. Этапы и принципы построения и реализации имитационных моделей, компьютерная реализация данных процессов. Проведение экспериментов с математическими моделями и анализ результатов. Общие сведения о языке GPSS World.
курсовая работа, добавлен 27.10.2017Проектирование в среде GPSS имитационной модели работы частного магазина для определения наиболее выгодной розничной цены с учетом выплаты по кредиту. Моделирование системы многочисленного обслуживания с постоянным временем обработки параметров.
статья, добавлен 07.01.2016Схема моделирования маршрутного расписания коммивояжера. Характеристика имитационной модели "Стоянка маршрутного такси". Исследование эффективности компьютеров в автоматизированной бухгалтерии. Особенность системы минимизации производственных затрат.
презентация, добавлен 06.04.2018Особенности функциональной и математической моделей видеоконтроля и верификации объектов организации. Поиск связей, расстояния между дескрипторами особых точек на сравниваемых изображениях. Модули (интерфейсный, модуль выделения и др.) модели верификации.
статья, добавлен 10.01.2016Рассмотрение терминов верификация и валидация. Тестирование программного обеспечения. Установление разницы между валидацией и верификацией. Характеристика процесса выявления ошибок в программном обеспечении. Определение методики выявления дефектов.
реферат, добавлен 19.01.2017Понятие модели и моделирования. Модели объектов и процессов. Статические, динамические, материальные, информационные модели, этапы моделирования. Формализация текстовой информации. Основные элементы таблицы. Этапы формализации при построении графа.
презентация, добавлен 05.06.2014Разработка модели двух синхронных процессов с помощью программы Matlab. Доработка имитационной модели для случая двухканальной системы обслуживания. Способы составления схемы модели по обслуживанию клиентов. Регистрирующие блоки Display и Scope.
лабораторная работа, добавлен 11.12.2016Инструментарий имитационного моделирования Simulink. Кнопки панели инструментов. Добавление текстовых надписей. Вставка блоков и их соединение. Моделирование дифференцирующего устройства. Установка параметров расчета модели, а также его выполнение.
методичка, добавлен 17.04.2013Система GPSS World как мощная среда компьютерного моделирования общего назначения, ее взаимодействие с другими приложениями. Функциональные возможности системы Arena. Пример имитационной модели, созданной в AnyLogic. Принципы построения модели в MATLAB.
реферат, добавлен 10.12.2016Разработка имитационной модели, основанной на теории массового обслуживания, которая поможет наиболее качественного рассчитать время и количество сотрудников, необходимых для процесса сборки готовых изделий. Моделирование процесса создания транзактов.
статья, добавлен 07.01.2016Создание имитационной модели системы массового обслуживания на основании сбора и обработки статистической информации о характере обслуживания в библиотеке. Нахождение критерия эффективности и оптимальных параметров системы с помощью метода Нелдера-Мида.
дипломная работа, добавлен 28.10.2010Исследование процесса создания и результатов работы программной реализации имитационной модели образовательного процесса с автоматической генерацией тестов на основе динамических параметров. Распределение очередей заявок по обслуживающим устройствам.
статья, добавлен 04.12.2018Анализ подходов к верификации систем на примере политик безопасности компьютерных сетей. Разработка моделей реализации модуля верификации с применением исчисления событий и абдуктивного вывода, и модуля, использующего технологию верификации на модели.
статья, добавлен 17.01.2018Построение имитационных моделей больших систем и проведение машинных экспериментов с этими моделями. Рассмотрение подходов к созданию имитационных моделей. Функционирование систем массового обслуживания. Реализация процесса построения графа модели.
статья, добавлен 17.06.2018Формирование модели протоколов персонального компьютера, обеспечивающих возможность автоматической процедуры валидации, под которой понимается проверка функционирования системы на соответствие требованиям. Анализ дерева достижимых глобальных состояний.
статья, добавлен 27.01.2013Верификации программных продуктов как проблема информационной безопасности. Особенности применения графо-аналитических моделей при верификации программных продуктов. Анализ перспектив использования кубических покрытий в областях безопасности информации.
статья, добавлен 24.03.2018Цели имитационного моделирования. Сравнительный анализ программных средств разработки имитационных моделей. Понятие транспортной логистики. Инструментальные средства моделирования деятельности транспортной компании. Построение концептуальной модели.
дипломная работа, добавлен 23.07.2016Планирование потребления электроресурсов на промышленных предприятиях сложного приборостроения. Использование имитационного моделирования, позволяющего исследовать динамику поведения сложных систем в условиях изменяющихся условий внутренней среды.
статья, добавлен 22.08.2020- 74. Синтез и верификация двухуровневой семантической информационной модели агропромышленного холдинга
Описание смысла семантической информационной модели СК-анализа. Результаты верификации системы частных моделей, входящих в двухуровневую семантическую информационную модель управления агропромышленным холдингом. Процентные распределения по группам.
статья, добавлен 26.04.2017 Разработка методики анализа и синтеза интеллектуальной системы автоматического управления движением двухзвенного гусеничного транспортера "Витязь", основанной на имитационной математической модели. Проверка эффективности разработанной методики.
статья, добавлен 30.04.2018