Инструментальная система темпорального анализа моделей параллельных вычислительных систем, построенных с использованием теории временных конечных автоматов
Теория автоматов, временные автоматы, киберфизические системы, параллельные, компьютерная симуляция, параллельные вычисления
Программа позволяет производить анализ временных характеристик сложных киберфизических систем путем моделирования в формате графа абстрактного временного автомата. Сама целевая система кодируется в среде моделирования в виде системы канонических уравнений, представленных в нормальной дизъюнктивной форме
Данная программа может быть использована для моделирования и проведения анализа временных характеристик киберфизических промышленных систем с целью выявления узких мест их дальнейшей оптимизации
Мартышкин А.И.
доцент кафедры ВМиС ПензГТУ
Кандидат технических наук
Пащенко Д.В.
ректор
28.23.29
Программная реализация интеллектуальных систем
28.23.37
Нейронные сети
01.02.ER
COMPUTER SCIENCE, CYBERNETICS
Михаил
Синев
Петрович
Кодирование и отладка программы
Алексей
Мартышкин
Иванович
Руководитель проекта
Дмитрий
Трокоз
Анатольевич
Подбор материала, консультирование при доработке функционала программы, разработка программы
Алексей
Карлыганов
Дмитриевич
Тестирование программы, помощь в доработке функционала программы
Вячеслав
Борискин
Владимирович
Разработка программы, отладка программы, тестирование функционала программы
Виталий
Калашников
Александрович
Разработка программы, тестирование функционала программы
Никита
Лысцов
Александрович
Тестирование программы, помощь в доработке функционала программы
Пензенский государственный технологический университет, ПензГТУ , ФГБОУ ВО "Пензенский государственный технологический университет"
Федеральное государственное бюджетное образовательное учреждение высшего образования "Пензенский государственный технологический университет"
1045802502690
Организация
Министерство науки и высшего образования Российской Федерации
Федеральные государственные бюджетные учреждения