Перечень принятых сокращений 5
Введение 7
1. Анализ предметной области 8
1.1. Краткое описание теории автоматов 8
1.2. Способы описания вычислительных систем 11
1.3. Постановка проблемы 16
1.4. Анализ существующих решений 17
1.5. Выбор языка программирования 21
1.6. Выводы 22
2. Реализация 24
2.1.Описание работы разработанной среды 24
2.2.Описание алгоритмов 26
2.3.Описание классов 32
2.4.Выводы 43
3.Описание результата 45
3.1.Описание работы реальной системы 45
3.2. Руководство пользователя 47
3.3. Выводы 63
4.Охрана труда 64
Заключение 67
Список используемых источников 68
Приложение А. Листинги программы 69
Приложение B. Презентация 128
Жизнь современного человека невозможно представить без участия в ней компьютера. Внедрение вычислительных машин происходит во все более и более новые сферы жизнедеятельности человека. Компьютеры используются в роли персональных машин, для удовлетворения личных потребностей пользователя, таких как потребление аудио и видео контента.
Также компьютеры используются в любительской и профессиональной деятельности. Например, компьютер используется для работы с текстом. Для удовлетворения подобных потребностей применяются текстовые редакторы, специальные инструменты, обладающие широкими возможностями для работы с текстовой информацией.
Подобно этому персональные компьютеры также используются при работе с графической информацией. В частности, с помощью использования компьютера представляется возможным создание потрясающих изображений, обработка фотографий, создание и редактирование видео файлов.
В течение последнего столетия четко прослеживается вектор развития индустрии вычислительной техники. С каждым годом вычислительные машины все более совершенствуются, а их физические габариты становятся гораздо меньше. Вместе с последними экспоненциально растут вычислительные мощности, позволяющие обрабатывать все большие объемы информации. Для удовлетворения потребностей пользователя активно разрабатываются и совершенствуются вычислительные алгоритмы, выполняющие ту или иную задачу. На ряду с развитием алгоритмов активно разрабатывались методы их описания.
В ходе выполнения данной работы были приобретены навыки описания вычислительных систем, навыки разработки оконных приложений с помощью фреймворка Windows Form. Результатом выполнения работы стала среда моделирования поведения и симуляции работы вычислительных систем, подразумевающих наличие временных задержек в функционировании.
В разработанной среде моделирования описание систем происходит с помощью временного автомата, который задается через систему канонических уравнений.
Разработанная среда моделирования способна решать такие задачи, как проектирование сложных вычислительных систем, моделирование их поведения, общий анализ вычислительных систем, выявление узких и проблемных мест в их работе еще на стадии проектирования.
Основными достоинствами разработанной среды являются наличие удобного и понятного для пользования интерфейса, ресурсоемкость и производительность.
Приложение «Инструментальная система темпорального анализа моделей параллельных вычислительных систем» было представлено на семинаре по электронным и сетевым технологиям MWENT-2020, проходившего в стенах Пензенского Государственного Университета. Результаты трудов семинара были проиндексированы рефератной базой данных SCOPUS.