• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

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

Соискатель:Ревенко Артем Викторович
Руководитель:Кузнецов Сергей Олегович (др. работы под рук-вом)
Оппоненты:Чечкин Александр Витальевич; Аншаков Олег Михайлович
Специальность: 05.13.17 Теоретические основы информатики
Дата защиты:30.10.2013


Научная новизна определяется следующими результатами: Разработанные автором диссертации методы автоматизации порождения импликативных теорий реализуют новые функциональные возможности. Решена задача нахождения алгебр на бесконечном носителе, заданных некоторым набором тождеств. Автором диссертации предложен новый метод нахождения ошибок в бинарных данных, основанный на АФП. Доказано, что этот метод обеспечивает решение задачи нахождения признаков (или классификации) за полиномиальное время.  Объект исследования: импликативные зависимости. Цель:разработка методов и средств автоматизации исследования импликативных зависимостей на основе методологии АФП.  

Автореферат [*.pdf, 602.05 Kb]



Ключевые слова: анализ формальных понятий, импликативные зависимости