Заключение - Разработка программы для реализации редактора временных графов синхронизации

Результатом выполнения задания является реализованный редактор временных графов синхронизации (класс временных сетей Петри), соответствующий задачам, поставленным в постановке задачи. Редактор информации о событиях с поддержкой вычислений в диоидной алгебре. Произведена интеграция обоих компонент в виде общей прикладной программы с возможностями строить модель любой сложности и смотреть зависимость значений на выходе от значений на входе.

Как и упоминалось в начале этой работы, результат может быть использован как замена существующим решениям для редактирования сетей Петри, а интеграция с математическим аппаратом диоидной алгебры может служить хорошим примером такой интеграции. Здесь стоит сделать акцент на том, что это интерфейс для "боевой" вычислительной библиотеки и вполне "боевой" редактор временных сетей Петри, то есть после выявления и исправления существующих недочетов, программа способна лечь рядом со "взрослыми" изделиями для решения задач в данной области применения.

Помимо улучшения документации и исправления недочетов, в данном направлении есть еще задачи, над которыми следует продолжить работу. Так, на данный момент отрисовка сети происходит в программном режиме на растровой поверхности довольно медленного полотна. Здесь напрашивается аппаратное ускорение и использование OpenGL, но из-за нестабильности связки Go+QML+OpenGL на данном этапе этот вопрос был отложен. Помимо отображения сети в программе, следовало бы добавить возможность сохранять построенную сеть в виде дерева SVG, что позволит добавлять построенные графы напрямую в научно-технические работы, сверстанные в LaTeX. Соответствующий код для этого уже подготовлен, но из-за разности API у Canvas2D и у SVG требуется дополнительное время на тестирование, чтобы внешний вид совпадал в обоих случаях.

Помимо сохранения в виде картинок, дополнительной задачей является сохранения сети в распространенные форматы, пригодные для импорта в среды вроде MATLAB, Scilab и им подобным. Например, для некоторых существующих аналогов имеются скрипты для конвертации, которые пользуются спросом, но реализованная в данной работе программа сохраняет исключительно в свой формат и пока к интеграции не готова.

Похожие статьи




Заключение - Разработка программы для реализации редактора временных графов синхронизации

Предыдущая | Следующая