Нечеткие множества в системах управления
Множество a - уровня нечеткого числа А определяется как
Аa = {x/m A(x)³a}.
Подмножество SAÌR называется носителем нечеткого числа А, если
S = {x/mA(x)>0}.
Нечеткое число А унимодально, если условие mA(x) = 1 справедливо только для одной точки действительной оси.
Выпуклое нечеткое число А называется нечетким нулем, если
mA(0) = (mA(x)).
Нечеткое число А положительно, если "xÎSA, x>0
и отрицательно, если "xÎSA, x<0.
Операции над нечеткими числами
Расширенные бинарные арифметические операции (сложение, умножение и пр.) для нечетких чисел определяются через соответствующие операции для четких чисел с использованием принципа обобщения следующим образом.
Пусть А и В - нечеткие числа, и - нечеткая операция, соответствующая операции над обычными числами. Тогда
С = АB ÛmC(z)=(mA(x)LmB(y))).
Отсюда:
С = ÛmC(z)=(mA(x)LmB(y))),
С = Û mC(z)=(mA(x)LmB(y))),
С = Û mC(z)=(mA(x)L mB(y))),
С = Û mC(z)=(mA(x)LmB(y))),
С = Û mC(z)=(mA(x)LmB(y))),
С = Û mC(z)=(mA(x)LmB(y))).
Нечеткие числа (L-R)-типа
Нечеткие числа (L-R)-типа - это разновидность нечетких чисел специального вида, т.е. задаваемых по определенным правилам с целью снижения объема вычислений при операциях над ними.
Функции принадлежности нечетких чисел (L-R)-типа задаются с помощью невозрастающих на множестве неотрицательных действительных чисел функций действительного переменного L(x) и R(x), удовлетворяющих свойствам:
а) L(-x)=L(x), R(-x)=R(x);
б) L(0)=R(0).
Очевидно, что к классу (L-R) функций относятся функции, графики которых имеют следующий вид:
Примерами аналитического задания (L-R) функций могут быть
L(x) = , p³0;
R(x)= , p³ 0 и т.д.
Пусть L(y) и R(y) - функции (L-R)-типа (конкретные). Унимодальное нечеткое число А с модой а (т.е. mA(a)=1) c помощью L(y) и R(y) задается следующим образом:
mA(x) =
где а - мода; a>0, b>0 - левый и правый коэффициенты нечеткости.
Таким образом, при заданных L(y) и R(y) нечеткое число (унимодальное) задается тройкой А = (а, a, b).
Толерантное нечеткое число задается, соответственно, четверкой параметров А=(а1, a2, a, b), где а1 и a2 - границы толерантности, т.е. в промежутке [а1,a2] значение функции принадлежности равно 1.
Примеры графиков функций принадлежности нечетких чисел (L-R)-типа приведены ниже.
Мы не будем здесь рассматривать операции над (L-R) числами; отметим, что в конкретных ситуациях функции L(y), R(y), а также параметры a, b нечетких чисел (а, a, b) и (а1, a2, a, b ) должны подбираться таким образом, чтобы результат операции (сложения, вычитания, деления и т.д.) был точно или приблизительно равен нечеткому числу с теми же L(y) и R(y), а параметры a¢ и b¢ результата не выходили за рамки ограничений на эти параметры для исходных нечетких чисел, особенно если результат в дальнейшем будет участвовать в операциях.
Замечание. Решение задач математического моделирования сложных систем с применением аппарата нечетких множеств требует выполнения большого объема операций над разного рода лингвистическими и другими нечеткими переменными. Для удобства исполнения операций, а также для ввода-вывода и хранения данных, желательно работать с функциями принадлежности стандартного вида.
Нечеткие множества, которыми приходится оперировать в большинстве задач, являются, как правило, унимодальными и нормальными. Одним из возможных методов аппроксимации унимодальных нечетких множеств является аппроксимация с помощью функций (L-R)-типа.
Примеры (L-R)-представлений некоторых лингвистических переменных:
Терм ЛП |
(L-R)-представление |
Графическое представление |
Средний |
А = (а, a, b)LR a = b>0 |
a b |
Малый |
А = (а, ¥, b)LR a = ¥ |
a = ¥ b |
Большой |
А = (а, a, ¥)LR b=¥ |
a b = ¥ |
Приблизительно в диапазоне |
А = (а1, а2, a, ¥)LR a = b>0 |
a b a1 a2 |
Определенный |
А = (а, 0, 0)LR a = b = 0 |
a = 0 b = 0 |
Разнообразный зона полной неопределенности |
А = (а, ¥, ¥)LR a = b = ¥ |
a = b = ¥ |
4. НЕЧЕТКИЕ ВЫСКАЗЫВАНИЯ И НЕЧЕТКИЕ МОДЕЛИ СИСТЕМ
Нечеткими высказываниями будем называть высказывания следующего вида:
Высказывание <b есть b'>, где b - наименование лингвистической переменной, b' - ее значение, которому соответствует нечеткое множество на универсальном множестве Х.
Например высказывание <давление большое> предполагает, что лингвистической переменной "давление" придается значение "большое", для которого на универсальном множестве Х переменной "давление" определено соответствующее данному значению "большое" нечеткое множество.
Высказывание <b есть mb'>, где m - модификатор, которому соответствуют слова "ОЧЕНЬ", "БОЛЕЕ ИЛИ МЕНЕЕ", "МНОГО БОЛЬШЕ" и др.
Например: <давление очень большое>, <скорость много больше средней> и др.