- •Введение в дискретный анализ
- •Глава 1. Введение в теорию множеств
- •Тема 1.1. Множества и операции над ними
- •1.1.1. Основные понятия
- •1.1.2. Операции над множествами
- •1.1.3. Векторы и прямые произведения
- •Вопросы для повторения
- •Резюме по теме
- •Тема 1.2. Отношения
- •1.2.1. Основные понятия и определения
- •1.2.2. Бинарные отношения. Основные определения
- •1.2.4. Эквивалентность и порядок
- •Вопросы для повторения
- •Резюме по теме
- •Тема 1.3. Соответствия и функции
- •1.3.1. Соответствия и их свойства
- •1.3.2. Взаимно однозначные соответствия и мощности множеств
- •1.3.3. Функции и отображения
- •1.3.4. Операции
- •1.3.5. Гомоморфизмы и изоморфизмы
- •Вопросы для повторения
- •Резюме по теме
- •Глава 2. Математическая логика
- •Тема 2.1. Логика высказываний
- •2.1.1. Логические связки
- •2.1.2. Основные схемы логически правильных рассуждений
- •2.2.2. Булева алгебра
- •2.2.3. Эквивалентные преобразования
- •Вопросы для повторения
- •Резюме по теме
- •Тема 2.3. Полнота и замкнутость
- •2.3.1. Функционально полные системы
- •2.3.2. Алгебра Жегалкина и линейные функции
- •2.3.3. Замкнутые классы и монотонные функции
- •2.3.4. Теоремы о функциональной полноте
- •Вопросы для повторения
- •Резюме по теме
- •Тема 2.4. Нечеткая логика
- •2.4.1. Основные понятия теории нечетких множеств
- •2.4.2. Логические операции над нечеткими множествами
- •2.4.3. Свойства логических операций над нечеткими множествами
- •Вопросы для повторения
- •Резюме по теме
- •Тема 2.5. Нечеткие модели управления
- •2.5.1. Нечеткие операторы
- •2.5.2. Нечеткая и лингвистическая переменные
- •2.5.3. Нечеткий логический вывод
- •Вопросы для повторения
- •Резюме по теме
- •Тема 2.6. Логика предикатов
- •2.6.1. Предикаты. Основные понятия
- •2.6.2. Кванторы
- •2.6.3. Выполнимость и истинность
- •2.6.4. Эквивалентные соотношения. Префиксная нормальная форма
- •Вопросы для повторения
- •Резюме по теме
- •Глава 3. Комбинаторика
- •Тема 3.1. Комбинаторные конфигурации
- •3.1.1. Принципы сложения и умножения
- •3.1.2. Перестановки
- •3.1.3. Размещения
- •3.1.4. Сочетания
- •3.2.2. Полиномиальная формула
- •3.2.3. Формула включений и исключений
- •Вопросы для повторения
- •Резюме по теме
- •Глава 4. Теория графов
- •Тема 4.1. Основные понятия и операции на графах
- •4.1.1. Основные понятия
- •4.1.2. Способы задания графов
- •4.1.3. Операции над частями графа. Графы и бинарные отношения
- •Вопросы для повторения
- •Резюме по теме
- •Тема 4.2. Маршруты и деревья
- •4.2.1. Маршруты, пути, цепи, циклы
- •4.2.2. Дерево и лес
- •5.1.2. Способы задания автоматов
- •5.1.3. Взаимосвязь между моделями Мили и Мура
- •Вопросы для повторения
- •Резюме по теме
- •Тема 5.2. Детерминированные конечные автоматы
- •5.2.1.Основные понятия детерминированных конечных автоматов
- •5.2.2. Схема доказательства правильности конечного автомата
- •5.2.3. Произведение автоматов
- •5.3.2. Детерминизация нка
- •Вопросы для повторения
- •Резюме по теме
2.4.3. Свойства логических операций над нечеткими множествами
Пусть A, B и C - нечеткие множества, заданные на универсальном множестве X. Тогда для операций пересечения и объединения нечетких множеств выполняются следующие свойства:
Вопросы для повторения
1.Что изучает теория нечетких множеств?
2.В чем отличие булевой логики от нечеткой логики?
3.Дайте определение функции принадлежности?
4.Зачем необходимо использование функции принадлежности?
5.Назовите некоторые виды функций принадлежности?
6.Перечислите логические операции над нечеткими множествами?
7.В чем заключается смысл операции симметрическая разность?
8.Назовите свойства логических операций над нечеткими множествами?
Резюме по теме
Введено понятие нечеткости, а именно нечеткого множества. Показана обоснованность применения нечетких множеств в решении управленческих проблем. Рассмотрены основные понятия нечеткой логики. Приведены некоторые виды функций принадлежности, которые показывают принадлежность того или иного события к определенному множеству. Приведены логические операции над нечеткими множествами, а так же указаны их свойства.
Тема 2.5. Нечеткие модели управления
Цель: показать применение нечеткой логики в управлении и охарактеризовать процесс принятия решения.
Задачи:
Дать понятие нечеткого оператора.
Рассмотреть нечеткие и лингвистические переменные.
Рассмотреть процесс получения нечеткого логического вывода.
С точки зрения сложности построения адекватной математической модели все объекты могут быть условно разделены на два класса: «простые» и «сложные».
Простые объекты допускают построение вполне адекватной и сравнительно несложной математической модели, которая соответствует реальным процессам в объекте и пригодна для реализации на вычислительной технике. Сложные объекты, образующие гораздо более обширный класс по сравнению с простыми, обладают рядом отличительных особенностей.
1) Количество факторов, оказывающих влияние на протекающие в объекте процессы, настолько велико, а взаимосвязи между его отдельными элементами являются в такой степени сложными, что создание адекватной математической модели весьма затруднительно, а в ряде случаев вообще невозможно. Если же такую модель все-таки удается построить, она оказывается, как правило, очень громоздкой и неприемлемой для практического применения в силу того, что время реакции системы управления на входное воздействие получается недопустимо большим. С другой стороны, игнорирование отдельных фактов и взаимосвязей в структуре объекта с целью получения более простой математической модели может привести к неоправданной идеализации объекта и потере адекватности.
2) Отсутствует достаточно точная и достоверная информация о характере функционирования объекта и протекающих в нем процессах, либо количество такой информации оказывается недостаточным для построения точной и адекватной модели при помощи традиционного математического аппарата.
3) Значительная часть информации, являющейся необходимой для математического описания объекта, существует лишь в форме представлений специалистов, имеющих опыт работы с рассматриваемой объектом.
4) В ряде случаев условия, влияющие на выбор стратегии управления, могут быть выражены лишь в качественном виде. Зачастую сама цель управления не может быть представлена в виде неких количественных соотношений, например, в виде какой-либо целевой функции.
Для успешного решения задачи управления сложным объектом при помощи методов нечеткой логики следует строить не модель объекта, а модель управления объектом.