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

• Автор: Ревенко, Артем Викторович
• Шифр специальности: 05.13.17
• Научная степень: Кандидатская
• Год защиты: 2013
• Место защиты: Москва
• Количество страниц: 152 с. : ил. + Прил.(с. 153-260)

Оглавление
1 Введение

1.1 Анализ формальных понятий

1.2 Обнаружение зависимостей в данных

1.2.1 Предметные области

1.3 Общее описание работы

1.3.1 Актуальность

1.3.2 Цели работы

1.3.3 Основные результаты

1.3.4 Научная новизна

1.3.5 Практическая ценность

1.3.6 Апробация
1.4 Содержание
2 Теоретические положения
2.1 Основы теории решёток
2.2 Анализ формальных понятий
2.2.1 Исследование признаков
2.2.2 Диаграммы решеток
3 Исследование импликативной теории свойств функций на конечных множествах
3.1 Функции и свойства функций
3.1.1 Интерес к изучению свойств функций на конечных множествах
3.2 Изменение вида базисов

3.3 Базисы импликаций
3.3.1 Различия в базисах импликаций для функций
на множествах размера 2 и размера
3.3.2 Доказательства импликаций
3.3.3 Недоказанные импликации
3.4 Обобщение свойств функций
3.5 Выводы
4 Исследование импликативной теории алгебраических тождеств
4.1 Многообразия алгебр
4.2 Алгебраические тождества
4.3 Алгебры
4.3.1 Порождение алгебр на конечном носителе
4.3.2 Необходимость порождения алгебр на бесконечном носителе
4.3.3 Порождение алгебр на бесконечном носителе .
4.4 Выводы
5 Нахождение ошибок в содержаниях формальных объектов
5.1 Методы нахождение ошибок в различных областях
знаний
5.2 Нахождение ошибок в содержаниях формальных объектов
5.2.1 Классификация ошибок
5.2.2 Нахождение ошибок
5.2.3 Пример
5.2.4 Доказательство корректности и улучшения
5.2.5 Результаты поиска ошибок
5.3 Другое представление метода нахождения ошибок . .
5.4 Нахождение ошибок в исходном коде программы . . .
5.4.1 Ошибки в исходном программном коде
5.4.2 Отладка с помощью методов АФП
5.4.3 Выводы

Заключение
Литература
Приложение

1 Введение
после представления соответствующего метода нахождения ошибок в бинарных данных.