Применение компонентных сетей Петри в задачах верификации параллельных распределенных систем
Характеристика параллельных распределительных систем в вычислительных процессах. Применение компонентной сети Петри, используя бисимуляционную эквивалентность полученных моделей Крипке. Методы и способы спецификации и верификации параллельных процессов.
Подобные документы
Разработка цифрового метода выполнения арифметической операции деления. Обеспечение распараллеливания вычислительного процесса, его ускорения и повышения точности посредством алгоритма. Варианты выполнения параллельных операций и примеры решения.
статья, добавлен 25.12.2016Особенности использование автоматной модели смешанного типа при проектировании протоколов распределенных технических систем. Применение метода структурной декомпозиции первичной спецификации протокола. Способы соединения компонентных автоматов.
статья, добавлен 15.07.2013Свойства и виды стандартных схем программ. Моделирование автоматов. Аксиоматическое определение операторов языка программирования. Верификация программ. Теоретические модели вычислительных процессов. Графы сетей Петри, их маркировка и свойства.
методичка, добавлен 03.03.2012Увеличение коэффициента использования листового металла. Математический аппарат модифицированных нейро-нечетких сетей Петри. Построение моделей алгоритмов на базе нейро-нечетких сетей Петри. Моделирование механизма приоритетного выбора деловых остатков.
научная работа, добавлен 14.12.2019Формирование модели вычислительной системы, выбор топологии сети, задание количества процессоров. Определение графических форм наблюдения за процессом параллельных вычислений. Вычислительные эксперименты по исследованию методов параллельных вычислений.
лекция, добавлен 17.09.2013Исследование класса контекстно-свободных языков строго вкладываемых в класс тупиковых языков вложенных рекурсивных сетей Петри. Изучение алгоритма построения сети, порождающей данный контекстно-свободный язык в сравнении с обыкновенными сетями Петри.
статья, добавлен 17.01.2018Основные классы современных параллельных электронно-вычислительных машин. Характеристика целей создания кластерных систем. Главный анализ отказоустойчивых и высокопроизводительных кластеров. Особенность концепции распределенных компьютерных вычислений.
курсовая работа, добавлен 14.04.2015Принципы разработки параллельных методов. Разделение вычислений на независимые части. Выделение информационных зависимостей. Масштабирование набора подзадач. Параллельное решение гравитационной задачи N тел. Анализ эффективности параллельных вычислений.
лекция, добавлен 17.09.2013Характеристика иерархии параллельных вычислительных систем. Программное обеспечение распределенных программ. Модель процесса вычисления в GridMD. Способы определения действий в узлах графа исполнения. Основные средства реализации многопоточности.
дипломная работа, добавлен 28.08.2016Проектирование программного продукта, способного помочь студентам в изучении математического аппарата моделирования сетей Петри. Структура и динамическое поведение моделируемой системы. Алгоритм реализации программы. Построение сети вида клиент-сервер.
курсовая работа, добавлен 04.07.2018Автоматизация проверки правильности программных систем как актуальная задача современной программной инженерии. Анализ метода выявления таких патологий формальных моделей, как неполнота и противоречивость, а так же гонки в параллельных процессах.
статья, добавлен 28.02.2016Общая характеристика параллельной обработки данных на электронно-вычислительных машинах. Основы классификации вычислительных систем. Оценка классификации Кришнамарфи. Исследование особенностей использования параллелизма при компьютерной обработке данных.
лабораторная работа, добавлен 29.03.2016Определение задач, решаемых при синтезе архитектур вычислительных систем и планировании параллельных вычислений в общей постановке. Рассмотрение применения для синтеза структуры вычислительной системы реального времени алгоритма, предложенного Холландом.
статья, добавлен 15.08.2020Автоматизированное рабочее место диспетчера как программный комплекс, имитирующий функционирование производственного процесса. Перемещение меток по сети Петри - совокупность срабатываний переходов, отображающих смену дискретного состояния системы.
статья, добавлен 04.12.2018Моделирование расписания выполнения программного проекта с помощью сетей Петри. Определение правил перехода от сетевого графика или диаграммы Ганта к сетевой модели Петри. Оценка структуры расписания работ проекта с использованием стохастических сетей.
статья, добавлен 28.01.2020Использование сети Петри для формализации процессов взаимодействия программных агентов адаптивного пользовательского интерфейса. Преимущества применения подобного подхода для описания сложных динамических процессов взаимодействия компонентов системы.
статья, добавлен 19.01.2018Моделирование параллельных программ. Методика разработки параллельных алгоритмов. Разделение вычислений на независимые части. Выделение информационных зависимостей. Масштабирование имеющегося набора подзадач. Распределение подзадач между процессорами.
учебное пособие, добавлен 17.09.2013- 43. Кластеры и массивно-параллельные системы различных производителей. Примеры кластерных решений IBM
Основные классы современных параллельных компьютеров: MPP, SMP, NUMA, PVP, кластеры. Коммуникационные технологии построения кластеров. Классификация и использование кластерных систем. Ведущие производители кластеров и массивно-параллельных систем.
курсовая работа, добавлен 06.09.2016 Особенности мультипрограммных операционных систем. Мониторы Хоара, семафоры и их применение. Способы реализации взаимного исключения. Платформенно-независимый интерфейс POSIX. Использование блокировки памяти при синхронизации параллельных процессов.
реферат, добавлен 18.12.2015Классификация параллельных архитектур по Флинну. Суперскалярные и VLIW машины, выдающие несколько команд за один такт. Архитектура компьютера в классификации Скилликорна. Основные направления и этапы развития параллельных вычислительных технологий.
презентация, добавлен 15.12.2013Классификация распределенных вычислительных систем с позиции взаимодействия процессов внутри них. Изучение характеристик вычислительных модулей, находящихся в узлах мультикомпьютера. Рассмотрение архитектурных организаций вычислительных кластеров.
статья, добавлен 25.10.2016Анализ принципов построения модели сети Петри, используемой при моделировании аппаратного и программного обеспечение ЭВМ. Характеристика графического представления рассматриваемых сетей и их маркировка. Оценка последовательности дискретных событий.
лекция, добавлен 18.10.2013Понятие вычислительной системы. Сущность архитектуры вычислительных систем. История возникновения и эволюции ЭВМ, принципы фон Неймана. Средства повышения производительности ЭВМ. Развитие параллельных технологий вычисления, парадокс параллелизма.
лекция, добавлен 21.12.2015Анализ специфики программирования параллельных систем. Характеристика реализации метода генерации Блюма-Блюма-Шуба на графическом процессоре. Описание метода Вихрь-Мерсена и анализ статистических свойств генератора псевдослучайных последовательностей.
статья, добавлен 14.08.2016Теория распознавания образов, основные понятия. Оптимизация алфавита классов и словаря признаков. Построение продукционной системы, диагностирующей миому матки и внутренний эндометриоз. Практическое применение продукционной модели, алгоритм сети Петри.
курсовая работа, добавлен 05.02.2016