Применение компонентных сетей Петри в задачах верификации параллельных распределенных систем
Характеристика параллельных распределительных систем в вычислительных процессах. Применение компонентной сети Петри, используя бисимуляционную эквивалентность полученных моделей Крипке. Методы и способы спецификации и верификации параллельных процессов.
Подобные документы
Развитие теоретических основ создания автоматизированных информационных систем. Методы тестирования, отладки и верификации программ. Теории синтаксического анализа, синтеза и реинжиниринга бизнес-процессов. Формальные грамматики и языки программирования.
статья, добавлен 18.01.2018Методы оценки локальных вычислительных сетей и их компонентов. Аналитическое и имитационное моделирование. Индексы производительности. Моделирование на основе теории систем. Инструментальные средства моделирования. Примеры моделей вычислительных сетей.
контрольная работа, добавлен 04.12.2009Использование метода молекулярной динамики для детализированных исследований на субмолекулярном уровне особенностей фазовых переходов и механизма формирования наноструктур. Термомеханические характеристики наноструктур. Создание параллельных алгоритмов.
статья, добавлен 29.10.2018Описание традиционного подхода к передаче данных и модификации с целью шифрования передаваемой информации. Приведение общей сети Петри для получения и передачи данных, установления соединения и обмена данными. Подход к моделированию защищенной передачи.
статья, добавлен 30.01.2019Проектирование сервиса автоматизированной среды на радиоэлектронных предприятиях. Построение схемы информационного обмена. Внедрение протоколов взаимодействия открытых систем. Моделирование взаимодействия объектов среды на основе аппарата сетей Петри.
творческая работа, добавлен 24.08.2020Проблема верификации динамических свойств мультиагентных систем, состоящих из интеллектуальных агентов, которые взаимодействуют через вероятностные каналы связи. Динамические свойства (поведения) МАС, описываемые формулами пропозициональной логики.
статья, добавлен 28.10.2018Локальный запуск параллельной программы вычисления числа Пи на рабочей станции. Знакомство с основными методами отладки. Использование точек остановки. Обзор наиболее типичных ошибок при написании параллельных MPI программ, возможности их исправления.
лабораторная работа, добавлен 18.09.2013Характеристика использования высокопроизводительных вычислительных систем при решении сложных научных задач и для подготовки специалистов высшей квалификации в области компьютерного моделирования. Главная особенность создания параллельного кластера.
статья, добавлен 22.08.2020Разработка языков описания и изучения параллельной структуры управления. Анализ преимуществ структурированного и модульного программирования. Совершенствование методов компаративной семантики. Программная реализация компонента транслятора языка Барс.
автореферат, добавлен 20.09.2011Изучение сложности верификации динамических свойств мультиагентных систем, состоящих из вероятностных интеллектуальных агентов. Вероятностные мультиагентные системы, их множества. Каналы связи и передача сообщений. Вероятностные логические программы.
статья, добавлен 19.01.2018Научно-технические аспекты процедуры сертификации по требованиям безопасности информации программных продуктов в России. Исследование методики верификации программных средств с использованием графо-аналитической модели и комплексных кубических покрытий.
статья, добавлен 28.09.2012Создание универсального алгоритмического пространства распределенных и параллельных вычислений для задач сетецентрического управления. Применение способа распределения ключей на основе ассиметричной криптографии с применением симметрических многочленов.
статья, добавлен 25.11.2017Классы современных параллельных компьютеров. Симметричные мультипроцессорные системы. Массивно-параллельные системы. Системы с доступом к памяти NUMA. Кластерная архитектура вычислительных систем. Коммуникационные технологии построения кластеров.
контрольная работа, добавлен 24.04.2012- 89. Разработка элементов пользовательского интерфейса для облачной системы взаимодействия с кластером
Информационные технологии в области высокопроизводительных вычислений. Структура вычислительного кластера. Преимущества кластерной архитектуры, требования к ней. Разработка программ для параллельных вычислительных систем. Особенности облачных технологий.
дипломная работа, добавлен 02.08.2015 Тенденции развития дистанционного образования. Рассмотрение интерактивных методов системы дистанционного образования в виде параллельных "облачных вычислений" в автоматизированных виртуальных лабораториях, технологий видеоконференцсвязи, телеворкинга.
статья, добавлен 30.04.2018Развитие многопроцессорных вычислительных систем. Основные классы современных параллельных компьютеров. Кластерная архитектура. Коммуникационные технологии построения кластеров. Принципы построения отказоустойчивых и высокопроизводительных кластеров.
реферат, добавлен 14.11.2015Знакомство с принципами организации кластерных вычислений с помощью неявного распараллеливания. Характеристика задач идентификации и моделирования нелинейных динамических систем на основе моделей Вольтерра. Анализ архитектуры программного обеспечения.
статья, добавлен 28.08.2016Цифровой метод выполнения арифметической операции деления. Распараллеливание вычислительного процесса, повышение точности. Использование комбинированных алгоритмов обработки данных путём применения других алгебр в сочетании с методами цифровой арифметики.
статья, добавлен 21.03.2016Независимость функционирования отдельных устройств ЭВМ. Избыточность элементов вычислительной системы. Программное обеспечение ASCI White. Операционная система SuSe Linux Enterprise Server версии 8 для платформ x86 и PowerPC. Вычислительный кластер ННГУ.
курс лекций, добавлен 17.09.2013- 95. Применение многослойных радиально-базисных нейронных сетей для верификации реляционных баз данных
Разработка способов обеспечения достоверности информации баз данных. Описание метода определения достоверности вводимого кортежа. Параметры и характеристика нейронной сети Кохонена. Обучение радиально-базисной сети путём обратного распространения ошибки.
статья, добавлен 29.05.2017 Понятия, особенности построения и преобразования праволинейной и автоматной грамматик, их правила и вид. Определение недетерминированного конечного автомата. Аспекты приведения к детерминированному виду и минимизация состояний. Изображение сети Петри.
курсовая работа, добавлен 24.04.2009Организация диспетчеризации в распределенных вычислительных системах. Использование математического аппарата теории сетевого анализа. Употребление нейронных сетей для оптимизации процесса перераспределения ресурсов в РС. Методы адаптивного управления.
статья, добавлен 04.09.2013Обзор результатов авторов по проблеме верификации динамических свойств систем взаимодействующих интеллектуальных агентов. Анализ динамических свойств в терминах некоторых вариантов временной логики первого порядка. Агенты и многоагентные системы.
дипломная работа, добавлен 17.01.2018Исследование различий стратегий мультипроцессоров и мультикомпьютеров. Принципы организации обмена данными. Рассмотрение уровней реализации общей памяти. Классификация параллельных компьютерных систем. Изучение моделей состоятельности и семантики памяти.
презентация, добавлен 31.10.2017Сущность и особенности высокопроизводительной сетевой системы Beowulf. Характеристики узлов кластера, использование "связывания каналов". Понятие и преимущества ParallelKnoppix, аппаратная платформа кластера. Применение полнодуплексного Fast Ethernet.
статья, добавлен 17.06.2018