![](/user_photo/2706_HbeT2.jpg)
- •Введение в дискретный анализ
- •Глава 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.1. Основные понятия теории нечетких множеств
Пусть А
– некоторое подмножество универсального
множества Е,
а х
– элемент множества Е.
В обычной (четкой) теории множеств
функция принадлежности элемента х
подмножеству А
может принимать два значения:
,
если
и
,
если
.
В теории нечетких
множеств функция принадлежности элемента
х
подмножеству А
может принимать любые значения на
отрезке [0, 1] т.е.
,
при этом подмножество А
называют нечетким.
Пример 1.
Пусть Е=
– множество действительных чисел, тогда
нечеткие множества: “большой
отрицательный”, “приблизительно
нулевой”, “большой положительный”
могут быть определены функциями
принадлежности (рис. 2.2).
Замечание. В виду сложившихся традиций в рассматриваемой теории вместо термина “нечеткое подмножество” используют термин “нечеткое множество”.
Рис. 2.2. Функции принадлежности нечетких множеств: “большой отрицательный” (N), “приблизительно нулевой” (ZE), “большой положительный” (P).
Для определения вида функций принадлежности разработаны различные экспертные методы. В ряде случаев используют типовые формы функций принадлежности, тогда методом экспертных оценок определяется тип функций принадлежности и их параметры.
Приведем некоторые типовые виды функций принадлежности.
Кусочно-линейные функции принадлежности описываются уравнениями:
На рис. 2.3. приведен вид графиков функций принадлежности типов Z(a), N(б), P(в) соответственно, при a=0 λ=1.
Рис. 2.3. график функций принадлежности типов N(а), Z(б), P(в) при a=0 λ=1.
Показательные (Пуассона) функции принадлежности описываются
уравнениями:
На рис. 2.4 приведен вид графиков функций принадлежности типов Z(a), N(б), P(в) соответственно, при a=0 и λ=1.
Рис. 2.4. график функций принадлежности типов N(а), Z(б), P(в) при a=0 и λ=1
Гауссовы функции принадлежности описываются уравнениями:
На рис.2.5 приведен вид графиков функций принадлежности типов Z(a), N(б), P(в) соответственно, при a=0 и λ=1.
Рис. 2.5.
график
функций принадлежности типов N(а),
Z(б), P(в) при
a=0
и λ=1
2.4.2. Логические операции над нечеткими множествами
Включение.
Пусть A
и B
- нечеткие
множества на универсальном множестве
X .
Говорят, что A
содержится в B
, или B
включает A
, т.е. A
B
, если
.
Иногда используют термин «доминирование»,
т.е. B доминирует
A при
A
B
(рис. 2.6).
Рис. 2.6. Операция включение (доминирование) нечетких множеств
Равенство.
Пусть A
и B
-
нечеткие
множества на универсальном множестве
X .
Говорят, что A
и B
равны, т.е. A=B
, если
.
В противном случае A≠B
(рис. 2.7).
Рис. 2.7. Операция равенства нечетких множеств
Дополнение.
Пусть A
и B
– нечеткие
множества с множеством принадлежностей
характеристических функций
,
заданные на универсальном множестве X
. Говорят,
что A и
B дополняют
друг друга, т.е.
или
, если
(рис. 2.8).
Очевидно следствие
=A
так называемое свойство инволюции.
Рис. 2.8. Операция дополнение нечетких множеств
Пересечение
нечетких
множеств (рис. 2.9) A
и B
, заданных
на универсальном множестве X
, - это
наибольшее нечеткое множество A
B,
содержащееся одновременно и в A
, и в B
с функцией
принадлежности:
Рис. 2.9. Операция пересечение нечетких множеств
Объединение
нечетких
множеств (рис. 2.10) A
и B
, заданных
на универсальном множестве X
, - это
наименьшее нечеткое множество A
B,
включающее как A
, так и B
с функцией
принадлежности, заданной следующим
образом:
тут
максимум
Рис. 2.10. Операция объединение нечетких множеств
Разность
нечетких
множеств A и
B (рис.
2.11), заданных
на универсальном множестве X,
- это нечеткое множество
A\B=A
с функцией принадлежности, заданной
как:
Рис. 2.11. Операция разность нечетких множеств
Симметрическая разность нечетких множеств A и B , заданных на универсальном множестве X , - это нечеткое множество A-B с функцией принадлежности, заданной следующим образом:
Дизъюнктивная
сумма
нечетких
множеств A и
B (рис.
2.12), заданных
на универсальном множестве X,
- это нечеткое множество
с функцией
принадлежности, заданной следующим
образом:
Рис. 2.12. Операция дизъюнктивная сумма нечетких множеств