Инструментальная система темпорального анализа моделей параллельных вычислительных систем, построенных с использованием теории временных конечных автоматов
теория временных конечных автоматов параллельные вычислительные системы
Программа позволяет производить анализ временных характеристик сложных параллельных киберфизических систем путем моделирования в формате графа абстрактного временного автомата. Сама целевая система кодируется в среде моделирования в виде системы канонических уравнений, представленных в нормальной дизъюнктивной форме. Программа позволяет в процессе моделирования выявить узкие места в киберфизической системе для дальнейшей оптимизации
выявление узких мест в киберфизической системе для дальнейшей оптимизации
Алексей
Мартышкин
Иванович
заведующий кафедрой Программирование
Кандидат технических наук
Доцент
S-7452-2016
56964373000
РОССИЯ
Дмитрий
Пащенко
Владимирович
Ректор
РОССИЯ
28.21.27
Структуры систем передачи данных
02.02.ES
COMPUTER SCIENCE, HARDWARE & ARCHITECTURE
Михаил
Синев
Петрович
Написание кода программы
РОССИЯ
Виталий
Калашников
Александрович
Написание кода программы
РОССИЯ
Вячеслав
Борискин
Владимирович
Написание кода программы
РОССИЯ
Дмитрий
Трокоз
Анатольевич
Написание кода программы
РОССИЯ
Алексей
Мартышкин
Иванович
Разработка программы в целом
РОССИЯ
Алексей
Карлыганов
Дмитревич
Написание кода программы
РОССИЯ
Никита
Лысцов
Александрович
Написание кода программы
РОССИЯ
РФФИ
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ УЧРЕЖДЕНИЕ "РОССИЙСКИЙ ФОНД ФУНДАМЕНТАЛЬНЫХ ИССЛЕДОВАНИЙ"
1037739411489
Организация
Федеральное государственное бюджетное учреждение "Российский фонд фундаментальных исследований"
Федеральные государственные бюджетные учреждения
ПЕНЗЕНСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНОЛОГИЧЕСКИЙ УНИВЕРСИТЕТ, ПЕНЗГТУ, ФГБОУ ВО "ПЕНЗЕНСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНОЛОГИЧЕСКИЙ УНИВЕРСИТЕТ"
ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ БЮДЖЕТНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "ПЕНЗЕНСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНОЛОГИЧЕСКИЙ УНИВЕРСИТЕТ"
1045802502690
ДМИТРИЙ
ПАЩЕНКО
ВЛАДИМИРОВИЧ
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные бюджетные учреждения