Применение компонентных сетей Петри в задачах верификации параллельных распределенных систем
Характеристика параллельных распределительных систем в вычислительных процессах. Применение компонентной сети Петри, используя бисимуляционную эквивалентность полученных моделей Крипке. Методы и способы спецификации и верификации параллельных процессов.
Подобные документы
Архитектура и организация вычислительных процессов в нейрокомпьютерах. Биологический и искусственный нейрон. Применение нейронных сетей. Расчет характеристик систем пакетной обработки. Механизм работы и защиты по привилегиям при выполнении команды CALL.
курсовая работа, добавлен 19.04.2013Классификация параллельных вычислительных систем. Описание схемы параллельного выполнения алгоритма. Рассмотрение особенностей генетического алгоритма. Особенности решения задач метаногенеза. Исследование основных методов наложения текстуры на объекты.
курсовая работа, добавлен 31.10.2017Характеристика наиболее распространенной технологии программирования для параллельных компьютеров с распределенной памятью – Message Passing Interface (MPI). Общие процедуры MPI. Пример простейшей MPI-программы на языке Фортран, а также на языке Си.
лекция, добавлен 22.05.2016Применение иерархических систем критериев с вербальными шкалами оценок для представления многопризнаковых объектов. Многокритериальный выбор вычислительных кластеров. Компьютерная поддержка принятия решений: современное состояние и перспективы развития.
статья, добавлен 19.01.2018Анализ модели организации взаимодействия клиентов и распределенной базы данных. Обоснование выбора трехуровневой модели. Построение модели распределенной системы с двумя серверами приложений на основе сети Петри-Маркова, этапы выполнения действий.
статья, добавлен 06.07.2013Определение исходного графа графическим, матричным и аналитическим способами. Описание системы уравнений, соответствующей сигнальному графу. Анализ сетей Петри. Элементы математической логики и теории автоматов. Математическое описание линейных систем.
контрольная работа, добавлен 11.06.2015Тенденции развития организации ЭВМ. Классификация ВТ по способу комплексирования. Элементы архитектуры и организация памяти параллельных ВС. Параллелизм на уровне прикладного программирования. Методы оценки реальной производительности микропроцессоров.
курс лекций, добавлен 26.08.2015Особенность функционирования цифрового автомата. Отличие цифровых систем от дискретных. Микропроцессоры и узлы микропроцессорных устройств. Режим загрузки и верификации прикладных программ. Проектирование автоматических систем на базе микропроцессоров.
курсовая работа, добавлен 09.12.2015Два способа уменьшения времени вычисления дерева решений для задач линейного параметрического программирования с помощью параллельных вычислений. Результаты применения обоих способов, направление дальнейших исследований: повышение мелкости подзадач.
статья, добавлен 23.10.2016Исследование вычислительных систем для решения задач гидро- и газодинамики. Выбор структуры сети вычислительных машин, способных решать исследуемые задачи. Экономическое обоснование вычислительной системы для реализации данных задач на практике.
курсовая работа, добавлен 20.04.2017Метод разбиения пространства функциональных состояний на классы на основе методики скрытого семантического анализа. Модульная архитектура программно-аналитического диагностического комплекса на базе технологии распределенных параллельных вычислений.
автореферат, добавлен 14.04.2018Построение кластерной системы класса Beowulf. Аппаратная платформа кластера кафедры ВТиПО, характеристика его узлов и структура. Основные типы локальных сетей, задействованные в рамках проекта. Использование в качестве программного обеспечения ОС Linux.
статья, добавлен 25.05.2018Анализ опыта верификации и валидации информационно-измерительных и управляющих систем для АЭС. Разработка проектных решений по системе внутриреакторного контроля. Характеристика информационных и программных средств для отдельных модулей атомной станции.
автореферат, добавлен 02.08.2018Написание на языке ассемблер программы, реализующей вычитание двух целых упакованных 128-разрядных чисел. Краткое описание операционной семантики и верификация связной совокупности команд в подпрограмме. Построение сети Петри для данной подпрограммы.
контрольная работа, добавлен 15.07.2012Описание элементов языка Фортран GNS, ориентированного на программирование параллельных вычислительных процессов методом передачи сообщений. Идентификация отправителей и получателей. Структура элементов списка передаваемых сообщений; конструкция выбора.
научная работа, добавлен 28.10.2018Технология и теория агентов, концепция кросс-платформенных, распределенных и интеллектуальных программных систем. Управление сетевым трафиком в крупных сетях. Особенности мультиагентной платформы JASDK, архитектура и API аглетов, их передача по сети.
дипломная работа, добавлен 31.05.2013- 117. Разработка параллельного алгоритма нахождения оптимального решения транспортной задачи на кластере
Подходы к решению транспортной задачи с помощью параллельных алгоритмов. Экспериментальные данные, полученные при выполнении параллельных алгоритмов нахождения решения транспортной задачи на кластере. Подходы к распараллеливанию методов решения задачи.
статья, добавлен 28.05.2017 Этапы эволюции, функции и основы функционирования операционных систем локальных вычислительных сетей. Сравнительная характеристика современных операционных систем рабочих станций локальных вычислительных сетей и основные критерии оценки их возможностей.
дипломная работа, добавлен 23.04.2016Принципы организации систем с доской объявлений, области их применения. Характерные особенности и методы использования источников знаний в системах HEARSAY, AGE и ОРМ. Уровни абстракции в среде ВВ. Организация параллельных вычислений в CAGE и POLIGON.
курсовая работа, добавлен 26.08.2010Назначение методов верификации программного обеспечения. Оценка технического состояния и работоспособности программного обеспечения. Анализ преимуществ и недостатков использования частично формализованных методов верификации программного обеспечения.
статья, добавлен 28.05.2017Свойства матрицы коэффициентов систем линейных уравнений. Последовательный алгоритм Гаусса. Определение подзадач, выделение информационных зависимостей. Организация параллельных вычислений, масштабирование и распределение подзадач по процессорам.
лекция, добавлен 17.09.2013Характеристика систем параллельного программирования для работы на одном компьютере. Ознакомление с принципиальной схемой параллельной программы. Исследование функционирования основной директивы. Анализ режимов выполнения параллельных структурных блоков.
контрольная работа, добавлен 28.01.2024Распараллеливание вычислений в многопроцессорных и параллельных структурах как способ повышения производительности. Увеличение количества ядер. Разница между графическим и центральным процессорами. Применение чипов для расчётов на графических ускорителях.
реферат, добавлен 02.02.2016Применение экспоненциальных замкнутых сетей при моделировании многопроцессорных вычислительных систем, анализ их производительности путем расчета среднего числа активных процессоров. Определение оптимальной конфигурации системы с помощью Парето-множеств.
статья, добавлен 15.07.2013Особенности организации архитектуры супер-ЭВМ, выполненных на ПЛИС. Основные принципы их построения и особенности архитектурноструктурной организации реконфигурируемых вычислительных систем, в том числе: на основе базовых модулей. Применение ПЛИС.
статья, добавлен 21.03.2016