:: ::

Теория визуализации и теория компьютерной метафоры


 
Манаков Д., Авербух В., Верификация визуализации // Научная визуализация 2016. Кв.1. Том 8. N: 1. Стр. 58 – 94.

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

Ключевые слова: Верификация визуализации, валидация визуализации, анализ неопределенности.

Verification of visualization-15.pdf




Количество просмотров: Счетчик посещений Counter.CO.KZ - бесплатный счетчик на любой вкус!

Есть вопрос или комментарий?..




Ваше имя Электронная почта
Получать почтовые уведомления об ответах:

| Примечание. Сообщение появится на сайте после проверки модератором.


Вернуться в раздел Теория визуализации и теория компьютерной метафоры

Соседние подразделы:
Специализированные системы визуализации
Научная визуализация и визуализация программного обеспечения для параллельных вычислений
Параллельные направления
Контакты

+7 (343) 362-81-45
averbukh@imm.uran.ru

г. Екатеринбург, ул. Софьи Ковалевской 16, каб. 306
Открыть контакты
Translate
Посетители сайта