Формализация визуальных графоаналитических моделей процессов управления
Технологии компьютерного визуального графоаналитического системного моделирования процессов управления. Средства для формализации процессов. Описание базовых конструкций процесса. Особенности преобразования терминов исчисления в конструкции языка Promela.
Подобные документы
Понятие модели и этапы моделирования. Исследование материальных и информационных моделей. Построение моделей для изучения объектов, процессов, явлений. Упрощенное представление о реальном объекте, процессе или явлении. Основной тезис формализации.
контрольная работа, добавлен 29.10.2013Классификация компьютерных моделей. Этапы компьютерного моделирования. Особенности компьютерного эксперимента, этапы его проведения. Компьютерные модели физических процессов и систем массового обслуживания. Имитационное моделирование процессов и систем.
курс лекций, добавлен 03.06.2017История развития литейных процессов. Анализ проблем современного литейного производства и пути их решения. Моделирование литейных процессов. Оборудование для изготовления литейных форм. Программные комплексы для моделирования литейных процессов.
курсовая работа, добавлен 23.03.2020Понятие модели и моделирования. Модели объектов и процессов. Статические, динамические, материальные, информационные модели, этапы моделирования. Формализация текстовой информации. Основные элементы таблицы. Этапы формализации при построении графа.
презентация, добавлен 05.06.2014Анализ основ моделирования и текстовое описание бизнес-процесса "Продажа товаров/услуг/работ". Разработка и описание языка для моделирования реальных бизнес-процессов на основе DSM-платформы MetaEdit+ в рамках "Студии компетентностных деловых игр".
курсовая работа, добавлен 03.10.2017Роль и место компьютерного моделирования в инструментарии методов исчисления различных динамических процессов. Свойства и классификация математических моделей. Принципы арифметического программирования в MathCad. Описание процесса реализации задачи.
курсовая работа, добавлен 30.03.2014Ведущие системы моделирования. Постановка задачи визуализации результатов компьютерного моделирования процессов обработки металлов давлением. Способы задания цветов. Разработка алгоритмов визуализации. Использование среды разработки Visual C++.
курсовая работа, добавлен 05.07.2016Особенности применения инновационных технологий программного обеспечения при компьютерном моделировании процессов обработки металлов давлением на примере расширения методов компьютерного моделирования. Комплекс средств компьютерного моделирования.
статья, добавлен 22.02.2019Управление процессами как часть операционной системы. Средства синхронизации и взаимодействия процессов. Вытесняющие и невытесняющие алгоритмы планирования. Контекст и дескриптор процесса. Алгоритмы планирования процессов. Особенности управления памятью.
контрольная работа, добавлен 10.01.2014Конфликтные ситуации в интеллектуальных мультиагентных процессах преобразования ресурсов. Разработка программного комплекса jSIM системы моделирования процессов. Реализация механизма общения при переговорах между агентами с целью достижения компромиссов.
статья, добавлен 10.03.2018Методы моделирования стохастических процессов. Формализация концептуальной модели. Выбор, описание и проверка программных средств моделирования. Интерпретация моделирующей программы для детерминированного варианта модели и для стохастической системы.
курсовая работа, добавлен 29.11.2015Базовые принципы моделирования бизнес-процессов. Процесс разработки должностных инструкций. Внедрение систем автоматизации управления. Построение исполняемых моделей на базе XML. Информация для имитационного моделирования. Методологии семейства IDEF.
лекция, добавлен 18.01.2014Использование CASE средств при создании и разработке информационных систем управления предприятиями, моделирования бизнес-процессов, построения отчетов для анализа моделей, а также определения возможностей по оптимизации процессов электронной торговли.
статья, добавлен 31.03.2019Анализ современного программного обеспечения для разработки геометрических моделей машин и процессов, которые используют при строительстве, методами геометрического и компьютерного моделирования. Оптимизация траекторий движения и режимов управления.
статья, добавлен 22.01.2017Описание бизнес-процессов предметной области на естественном языке. Объектно-ориентированная модель бизнес-процессов предметной области программного продукта на языке UML. Спецификация функциональных требований к программному обеспечению.
курсовая работа, добавлен 26.08.2015Применение различных видов моделирования и типов моделей для преобразования природы. Выявление преимуществ компьютерного моделирования по сравнению с реальным экспериментом. Значение компьютерного моделирования для решения экологической проблемы.
статья, добавлен 27.01.2019Определение понятия "моделирование бизнес-процессов". Характеристика структурного и детального этапов моделирования бизнес-процессов. Классификация бизнес-процессов. Характеристика стандартов информационного моделирования и примеры построения моделей.
курсовая работа, добавлен 07.11.2017Процесс применимости технологии Test-Driven Development, сущность моделирования сетями Петри, их верификация. Характеристика и предназначение функции загрузки сети из файла, описание и отличительные черты методов выявления, разработки бизнес процессов.
дипломная работа, добавлен 27.08.2016Основные понятия компьютерного моделирования. Классификация абстрактных моделей. Моделирование физических процессов средствами Macromedia Flash. Создание моделей вращения планет, движения тела, брошенного под углом к горизонту, броуновского движения.
дипломная работа, добавлен 22.11.2014- 20. Процессы и потоки. Общие определения, основные атрибуты, способы создания и завершения процессов
Понятие и характеристика процесса как адресного пространства потоков управления в системном ресурсе. Особенности нормального и аварийного завершение процесса. Опрос и изменение атрибутов процессов, утилита ps. Создание и приоритет процессов, утилит kill.
лабораторная работа, добавлен 27.11.2013 Разработка интерактивного интерфейса для наблюдения за ходом моделирования с использованием концепции и синтаксиса псевдоязыка описания сцепленных процессов. Анализ системы имитационных моделей. Выполнение моделирования с помощью подключаемого модуля.
дипломная работа, добавлен 27.02.2020Принципы создания трехмерных моделей и обоснование выбора используемых при этом компьютерных программ. Характеристика взаимодействия разнообразных процессов, воздействующих на свариваемые детали. Оценка и повышение надежности сварной конструкции.
статья, добавлен 28.09.2018Описание процесса разработки гибридной технологии водоподготовки, моделирование процесса на основе унифицированного языка UML. Проведение анализа предметной области с целью качественного моделирования и дальнейшей автоматизации бизнес-процессов.
статья, добавлен 20.08.2018Особенности построение диаграммы бизнес-процессов с использованием BPWin. Характеристика трех методологий моделирования: функциональное моделирование, описание бизнеc-процесcов, диаграммы потоков данных. Построение моделей IDEF3, их особенности.
лабораторная работа, добавлен 16.03.2014Алгебра процессов Хоара как математическое описание синхронизации процессов, а также средства анализа, верификации, исключения тупиков, замыкания. Основное средство синхронизации и взаимодействия процессов. Пример реализации CSP-процесса на Java.
статья, добавлен 15.08.2020