Применение компонентных сетей Петри в задачах верификации параллельных распределенных систем
Характеристика параллельных распределительных систем в вычислительных процессах. Применение компонентной сети Петри, используя бисимуляционную эквивалентность полученных моделей Крипке. Методы и способы спецификации и верификации параллельных процессов.
Подобные документы
Анализ трудоемкости операций передачи данных. Методы логического представления топологии коммуникационной среды. Построение алгоритма маршрутизации. Организация взаимодействия раздельно функционирующих процессов. Эффективность параллельных вычислений.
лекция, добавлен 17.09.2013Параллелизм – возможность одновременного выполнения нескольких арифметико-логических или служебных операций. Разработка алгоритмов (методов параллельных вычислений) для решения сложных научно-технических задач. Анализ имеющихся вычислительных схем.
статья, добавлен 17.06.2018Рассмотрение видов графов, существующих параллельных алгоритмов поиска кратчайшего пути, определение областей их применения. Рассмотрение систем навигации и анализ эффективности применения параллельных алгоритмов для поиска кратчайшего пути в графе.
статья, добавлен 16.07.2018Составление и поиск экстремумов аппроксимирующих функций при параллельных вычислениях. Оптимизация алгоритма обработки информации и моделирования потоков данных. Минимизация среднеквадратической ошибки выборки методом сходящегося итерационного процесса.
статья, добавлен 03.12.2018Изучение решения задач идентификации с использованием выражений алгебры событий и недетерминированных автоматов. Методика проектирования параллельных алгоритмов. Выбор модели программной и аппаратной реализации вычислений элементарных задач анализа.
учебное пособие, добавлен 13.01.2014Принципы построения параллельных вычислительных систем. Технология параллельного программирования на платформе .NET. Оптимизация вычислений при решении задач. Разработка электронного методического комплекса "Оптимизация распараллеливанием вычислений".
диссертация, добавлен 10.03.2017Стадии предпроектного обследования. Методология Business Process Management. Характеристика, элементы и свойства сети Петри, правила срабатывания переходов. Понятие конфликта и его разрешения. Пример параллельной работы и построения дерева достижимости.
презентация, добавлен 06.09.2015Исследование программной системы, предназначенной для моделирования и верификации вероятностных многоагентных систем. Вероятностные темпоральные логики ветвящегося и линейного времени. Алгоритм верификации полиномиальной сложности. Язык программ агентов.
статья, добавлен 19.01.2018Рассмотрение технологии создания программ для параллельных компьютеров с использованием стандарта MPI и определение их эффективности. Изучение проблемы распараллеливания, способов взаимодействия параллельных процессов и этапов работы анализатора.
курсовая работа, добавлен 25.12.2013Номенклатура основных видов компьютеров и вычислительных систем. Классификация компьютеров и параллельных вычислительных систем. Задача формирования списков пользователя в MS Excel, расчета величины, установления межтабличных связей, построения диаграммы.
курсовая работа, добавлен 23.04.2013Разработка схемы распределенных взаимодействующих компонентов программного комплекса для создания инструментов отладки и исследования параллельных программ в диалоговом режиме. Диалоговый отладчик для непроцедурного языка для с поддержки внешних модулей.
автореферат, добавлен 28.10.2018Верификации программных продуктов как проблема информационной безопасности. Особенности применения графо-аналитических моделей при верификации программных продуктов. Анализ перспектив использования кубических покрытий в областях безопасности информации.
статья, добавлен 24.03.2018Обеспечение безопасности взаимодействия пользователей, процессов и систем как одна из актуальных задач защиты информации в информационно-телекоммуникационных сетях. Общая характеристика методов и средств верификации криптографических протоколов.
статья, добавлен 24.03.2019Набор UML-диаграмм и свойств сети Петри с целью обеспечения надежности функционирования многопоточного программного обеспечения с ограниченными разделяемыми ресурсами. Разработка программных решений для повышения производительности моделирования программ.
автореферат, добавлен 02.08.2018Формализация проблемы обеспечения безопасности информации в распределенных автоматизированных информационных системах с мультикаскадной моделью жизненного цикла. Методы верификации формальной спецификации системы обеспечения безопасности информации.
автореферат, добавлен 04.02.2018Решение дифференциальных уравнений в частных производных с использованием высокопроизводительных вычислительных систем. Организация параллельных вычислений задачи Дирихле для систем с общей памятью. Балансировка и оптимизация нагрузки процессоров.
лекция, добавлен 17.09.2013Разработка алгоритма расчета коэффициента кластеризации неполной сети и программы на основе полученного алгоритма. Использование параллельных вычислений для расчета коэффициента кластеризации. Принадлежность исследуемого узла к той или иной группе.
статья, добавлен 02.02.2019Проблема при организации параллельных вычислений в кластерном пакете mpich. Разработка расширения для пакета mpich, позволяющего осуществлять управление очередями заданий в кластере локальной сети. Планирование стохастического метода управления очередями.
статья, добавлен 28.05.2017Условия функционирования защищенных информационно-вычислительных систем. Модель обеспечения скрытности информационного обмена распределенных сетей. Предложения по обеспечению структурной скрытности современных информационно-вычислительных систем.
дипломная работа, добавлен 21.12.2012Определение исходного графа графическим, матричным и аналитическим способами. Установление центров и периферийных вершин. Задача о максимальном потоке и потоке минимальной стоимости. Анализ сетей Петри. Элементы математической логики и теории автоматов.
контрольная работа, добавлен 11.10.2013Анализ проблем проектирования программного обеспечения для вычислительных систем специального назначения. Определение основных этапов процесса создания функционального программного обеспечения. Особенности выбора языка программирования и системы контроля.
статья, добавлен 10.03.2018Классификация и структурная организация потоковых вычислительных систем пятого поколения. Практическое использование нескольких параллельных вычислителей в системе с целью повышения производительности системы за счет ускорения процессов обработки данных.
реферат, добавлен 29.01.2014Схема параллельного выполнения алгоритма. Вычисление частных сумм последовательности числовых значений. Оценка максимально достижимого параллелизма. Анализ масштабируемости параллельных вычислений. Описание информационных зависимостей в алгоритмах.
курс лекций, добавлен 17.09.2013Изучение проблемы стандартизации языка Фортран. информация о проекте будущего стандарта, Средства поддержки параллельности для многопроцессорных систем с общей памятью. Механизмы динамического размещения массивов, концепция эволюционного развития языка.
дипломная работа, добавлен 28.10.2018Проблемы синтеза распределенных вычислительных сред на базе компьютерных сетей. Архитектура, надёжность, безопасность, скорость передачи каналов связи и производительность компьютеров как ключевые факторы создания распределенных вычислительных сред.
статья, добавлен 30.10.2016