Применение компонентных сетей Петри в задачах верификации параллельных распределенных систем
Характеристика параллельных распределительных систем в вычислительных процессах. Применение компонентной сети Петри, используя бисимуляционную эквивалентность полученных моделей Крипке. Методы и способы спецификации и верификации параллельных процессов.
Подобные документы
Планировщики мультипроцессорных, мультикомпьютерных и распределенных систем. Обзор различных видов параллельных вычислительных систем. Изучение возможности модификации современного алгоритма планировщика задач с целью повышения его эффективности.
реферат, добавлен 14.04.2021Направления увеличения скорости решения прикладных задач. Принципы функционирования параллельных машин. Изучение подхода, основанного на параллелизме данных. Классификация архитектур параллельных вычислительных систем. Компоненты архитектуры компьютера.
контрольная работа, добавлен 09.05.2022Исследование опыта практического применения сетей Петри для моделирования работы сердца. Анализ параллельных процессов взаимодействия гемодинамики и электрической активности сердца. Определение структуры и элементов комбинированной модели сердца.
статья, добавлен 30.01.2017Примеры параллельных вычислительных систем, суперкомпьютеров. Высокопроизводительный вычислительный кластер ННГУ. Схемы коммуникации в многопроцессорных вычислительных системах. Топологии сети передачи данных. Системные платформы для построения кластеров.
лекция, добавлен 17.09.2013Особенность разработки сетей Петри для моделирования систем, которые содержат взаимодействующие параллельные компоненты, а также социальные и биологические системы. Характеристика представления сети Петри в виде графа и в виде структуры сети Петри.
презентация, добавлен 03.05.2023Основы параллельных вычислений. Характеристика средств программирования параллельных вычислительных систем. Методика оценивания и алгоритм статистических испытаний. Характеристика VisualFoxPro для разработки программного комплекса, сравнение с аналогами.
дипломная работа, добавлен 07.11.2012Характеристика способов и алгоритмов моделирования систем автоматического управления с помощью параллельных систем обработки информации. Ряд оптимизаций и моделей алгоритмов организации параллельных вычислений. Анализ процесса/канала (Process/Channel).
статья, добавлен 14.10.2018Разработка метода проектирования программных моделей протоколов передачи данных. Разработка алгоритма разметки раскрашенной сети Петри для осуществления верификации архитектурных диаграмм программных моделей. Метод построения раскрашенной сети Петри.
автореферат, добавлен 02.12.2017Назначение и принципы построения вычислительного кластера. Анализ кластерных систем для организации параллельных вычислений. Методы организации параллельной архитектуры. Разработка кластера для организации параллельных процессов обработки информации.
дипломная работа, добавлен 06.10.2016Проблема высокопроизводительных вычислений. Классификация параллельных вычислительных систем. Параллелизм, его методы и средства реализации, недостатки и ограничения. Специфичность параллельных вычислений и законы, отрицающие их практическое применение.
реферат, добавлен 25.12.2014Сети Петри с ингибиторными (запрещающими) дугами. Приоритетные, временные, стохастические, функциональные, автоматные сети Петри, их основные примеры. Цветная или раскрашенная сеть Петри. WF-сети как подкласс называемый также сетями потоков работ.
презентация, добавлен 05.11.2016Источники энергопотребления серверов, параллельных многопроцессорных вычислительных систем и грид сетей. Экономия потребляемой электроэнергии за счет оптимизации программного обеспечения. Спад активности элементов и оптимизация программного обеспечения.
статья, добавлен 29.07.2016Предназначение теории сетей Петри для работы с параллельными и асинхронными системами. Определение входного и выходного мультимножества. Графическая форма сетей Петри, композиционный подход к их построению. Способы преобразования простых сетей в цветные.
реферат, добавлен 02.04.2011Поддержка исполнения в мультипрограммной и мультипроцессорной средах. Способы, которые операционная система применяет для работы с устройствами ввода/вывода. Технологии клиент-серверных и распределенных систем. Сервисы распределенных операционных систем.
реферат, добавлен 06.03.2014Аналитический обзор моделирования и его методов. Характеристика средств моделирования: PIPE2 20, Petri.Net Simulator 2, DCnet, МСУсП, СPN Tools. Расширение математического аппарата сетей Петри и функционала CPN Tools. Разработка класса нейронной позиции.
дипломная работа, добавлен 04.07.2018Функционирование моделей расчетов и управления средствами в распределенных вычислительных средах. Особенности способов взаимодействия вычислительных процессов в параллельных системах: обмена сообщениями, разделения памяти и доступа к удаленной памяти.
статья, добавлен 17.12.2016Моделирование систем, логическое описание и анализ. Графическая интерпретация сети Петри как граф особого вида, состоящий из вершин двух типов: позиций и переходов, соединенных ориентированными дугами. Изменение разметки сети при срабатывании переходов.
статья, добавлен 14.07.2016Назначение мультипроцессорных вычислительных систем. Схема параллельных алгоритмов. Закон Амдала. Классы параллельных архитектур. PVP Parallel Vector Process. Мультипроцессоры UMA и кластеризация. Сетевая архитектура MPP Massive Parallel Processing.
презентация, добавлен 14.12.2013Анализ подходов к верификации систем на примере политик безопасности компьютерных сетей. Разработка моделей реализации модуля верификации с применением исчисления событий и абдуктивного вывода, и модуля, использующего технологию верификации на модели.
статья, добавлен 17.01.2018Характеристика процесса создания многопроцессорных вычислительных систем. Анализ использования модели передачи данных для разработки параллельных программ. Двойной интеграл в декартовых координатах. Формат функций, сообщения MPI. Оболочка. Коммуникаторы.
курсовая работа, добавлен 04.04.2016Параллельное вычисление, проектирование программного обеспечения и моделировании бизнес-процессов при помощи математического аппарата сети Петри. Реализация возможностей добавления элементов сети, позиций, переходов, их изменение, удаление и рисование.
курсовая работа, добавлен 19.01.2017Характеристика экспоненциального закона распределения наработки до отказа оборудования. Оценка структурной схемы питания собственных нужд электростанции. Составление алгоритма сетевого срабатывания при помощи матричного подхода к анализу сетей Петри.
статья, добавлен 25.10.2016Алгоритмы трансляционно-циклических обменов информацией в распределенных вычислительных системах. Дифференцированный и коллективный обмен информацией между ветвями параллельных программ. Исследование эффективности алгоритма Bruck на кластере СибГУТИ.
контрольная работа, добавлен 26.01.2013Множественные методы исследования систем. Моделирование и исследование природы сложных систем с помощью сетей Петри. Типовые звенья систем автоматического управления, правила эквивалентных преобразований структурных схем САУ. Алгебра логики; карты Карно.
курсовая работа, добавлен 20.12.2021Разработка цифрового метода выполнения арифметической операции деления. Обеспечение распараллеливания вычислительного процесса, его ускорения и повышения точности посредством алгоритма. Варианты выполнения параллельных операций и примеры решения.
статья, добавлен 25.12.2016