УНИВЕРСИТЕТ ИТМО
Кафедра «Технологии программирования»



Главная

Новости
 Новости науки
 Важное
 Почетные доктора
 Инновации
 Культура
 Люди
 Разное
 Скартел-Yota
 Стрим
 Смольный
Учебный процесс
 Образование
 Дипломы
 Курсовые проекты
 Лабораторные работы
 Учебные курсы
 Визуализаторы
 Unimod-проекты
 Семинары
 Стипендии
Наука
 События и факты
 Госконтракты
 Статьи
 Диссертации
 Книги
 Презентации
 Свидетельства
 Сотрудничество
Исследования
 Автоматы
 Верификация
 Геном
 Искусственный интеллект
 Генетические алгоритмы
 Движение
 UniMod
 Роботы и агенты
 Нейронные сети
 ФЦП ИТМО-Аалто
 Разное

О нас
 Премии
 Сертификаты и дипломы
 Соревнования по программированию
 Прорыв
 Автографы
 Рецензии

Беллетристика
 Мотивация
 Мысли
Медиа
 Видео
 Фотографии
 Аудио
 Интервью

English
 Home

 Articles
 Posters
 Automata-Based Programming
 Initiatives
 Projects
 Presentations
 UniMod
 UniMod Projects
 Visualizers


Поиск по сайту

Яndex



   Главная / Визуализаторы / Построение визуализатора алгоритма Штрассена умножения матриц на базе технологии Vizi (версия для печати)


Построение визуализатора алгоритма Штрассена умножения матриц на базе технологии Vizi



© А. Н. Котов, А. А. Шалыто

Санкт-Петербургский государственный университет информационных технологий, механики и оптики

Проектная документация в формате PDF
Исходные коды

Визуализатор (online)

Аннотация

Визуализатор — это программа, позволяющая удобно и наглядно изучать работу алгоритма, демонстрируя его применение на некоторых наборах данных.

На кафедре «Компьютерные технологии» СПбГУ ИТМО предложена технология Vizi для автоматизации построения визуализаторов алгоритмов на основе конечных автоматов. В данной работе применение этой технологии продемонстрировано на примере разработки визуализатора алгоритма Штрассена умножения матриц. Автоматически построено два автомата визуализации: по одному для прямого и для обратного проходов алгоритма. Каждый из автоматов содержит по 17 одноименных состояний.

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




© 2002—2017 По техническим вопросам сайта: vl.ulyantsev@gmail.com