Цель работы - разработка интерактивного визуализатора решёток понятий, поддерживающего функционал фильтрации решётки для получения подрешётки, соответствующей заданным признакам. Объектом исследования данной работы являются механизмы визуализации решёток понятий и механизмы взаимодействия с визуальным представлением решётки. Предмет исследования - существующие средства работы с формальными понятиями, обладающие графическим интерфейсом. В данной работе изучены и описаны основные определения и принципы теории формальных понятий и определение решётки понятий. Описаны различные меры и параметры интересности формальных понятий, разработан алгоритм фильтрации решётки понятий по заданному предикату в виде значений выбранных мер интересности. Выбраны критерии для визуализации решёток понятий в рамках мобильного приложения. Проанализированы различные библиотеки и методы визуализации графов с точки зрения установленных критериев. Составлена и обоснована архитектура разрабатываемого приложения. В результате выполнения работы был разработан интерактивный визуализатор решёток понятий с функцией фильтрации по мерам интересности. Данное приложение будет использоваться для облегчения анализа и представления формальных понятий. Планируется подать статью с основыми результатами работы на конференцию ICFCA или на воркшоп при конференции.

The goal of this work was developing interactive formal concept lattices visualizer. It should support filtering in order for the user to create sublattices of the given lattice which meet various criterias. Object of this study is mechanisms of lattice visualization and mechanisms of interaction with visual representation of a lattice. Subject of the study is existing formal concept handling tools with graphic user interface. This work contains common definitions and principles of formal concept theory and the definition of concept lattice; different measures and parameters of interestingness of formal concepts. This work describes an algorithm of lattice filtration by predicate containing various interestingness measures thresholds. A set of criterias for lattice visualization was created. Various visualization tools and libraries were analyzed with regards to chosen criterias. App architecture was developed and substantiated as optimal for current project. As a result, interactive, filterable visualizer of formal lattices was created. This application will be used for more convenient formal concept analysis and visualization. A paper with the main results of this work is planned to be submitted for ICFCA conference, or for an adjoined workshop.

• Разработка мобильного визуализатора подрешеток формальных понятий
  • Введение
  • 1. Обзор средств визуализации формальных решёток
  • 2. Проектирование системы
  • 3. Рaзработка системы
  • 4. Тестирование и апробация
  • Заключение
  • Список сокращений и условных обозначений
  • Список использованных источников
  • Приложение 1. Объектно-признаковая таблица сравнения средств визуализации решёток понятий
  • Приложение 2. Код приложения
  • Приложение 3. Код компонента визуализации (обертка над WebView)
  • Приложение 4. Код компонента визуализации (логика WebView)
  • Приложение 5. Код конвертера данных
  • Приложение 6. Модульные тесты десериализации
  • Приложение 7. Код модуля нагрузочного тестирования алгоритмов фильтрации
  • Приложение 8. Код генератора контекстов
  • Приложение 9. Код алгоритма восстановления порядка вершин