Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Алгебра нечётких чисел и её применение в инженерной практике. Препринт № 1-2013

.pdf
Скачиваний:
0
Добавлен:
11.08.2026
Размер:
643 Кб
Скачать

Министерство образования и науки Российской Федерации

Новосибирский государственный архитектурно-строительный университет (Сибстрин)

Д.С. Шмаков, В.В. Адищев

АЛГЕБРА НЕЧЁТКИХ ЧИСЕЛ

ИЕЁ ПРИМЕНЕНИЕ

ВИНЖЕНЕРНОЙ ПРАКТИКЕ

ПРЕПРИНТ № 1 – 2013

Новосибирск 2013

УДК 512

ББК 22.14

Ш711

Впрепринте приведены особенности стандартной нечёткой арифметики и аспектов её практического применения, которые приводят к физически неинтерпретируемым результатам в технических задачах. Эти особенности послужили причинами и предпосылками появления алгебры нечётких чисел в нечётких математических моделях. В результате выполненных исследований разработанной алгебры нечётких чисел был реализован численный алгоритм для обобщённых операций сложения и умножения через условные функциональные операторы. Устранена неединственность результатов вычислений в различных выражениях для искомых величин, которая встречается в нечёткой арифметике и проявляется при решении физических и технических задач в нечёткой постановке. Показано, как с помощью нечётких диаграмм деформирования материала определяется изгибающий момент, соответствующий возникновению трещины

вжелезобетонном элементе, в нечёткой постановке. При этом можно назначать коэффициент запаса после расчёта, учитывающего неопределённость основных исходных данных.

Полученные результаты полезны для научных работников и инженеров, желающих эффективно и адекватно решать прикладные задачи с неполными данными, обладающими высокой степенью неопределённости.

Работа выполнена при поддержке гранта Министерства образования и науки РФ 2.1.2.4822 2009.

ISBN 978-5-7795-0657-1

© Шмаков Д.С., Адищев В.В., 2013

 

 

СОДЕРЖАНИЕ

 

АЛГЕБРА НЕЧЁТКИХ ЧИСЕЛ...........................................................

4

1

Нечёткая арифметика: базовые принципы,

 

 

основные понятия и определения ................................................

4

2

Предпосылки появления алгебры нечётких чисел

 

 

и необходимость её разработки в нечётких

 

 

математических моделях.............................................................

12

3

Алгебра нечётких чисел..............................................................

24

 

3.1

Базовые понятия и определения

 

 

 

алгебры нечётких чисел.......................................................

25

 

3.2

Нечёткие отношения............................................................

27

 

3.3

Расширенные нечёткие операции

 

 

 

алгебры нечётких чисел.......................................................

29

 

3.4

Свойства нечётких операций алгебры нечётких чисел....

50

4

Решение задач строительства в нечёткой постановке..............

52

ЗАКЛЮЧЕНИЕ ...................................................................................

59

СПИСОК ЛИТЕРАТУРЫ...................................................................

60

3

АЛГЕБРА НЕЧЁТКИХ ЧИСЕЛ

Современная (абстрактная) алгебра1 нечётких чисел имеет дело с математическими моделями, определяемыми в терминах бинарных операций (нечётких, min/max-ных операций и их сочетаний от алгебраических, обычно представляющих собой нахождение минимума и максимума и их сочетаний от различных комбинаций операций сложения, разности, умножения и деления), которые связывают пары математических объектов (операнды или оператор и операнд, который представляет собой нечёткое число) с соответствующими результатами нечётких операций.

1 Нечёткая арифметика: базовые принципы, основные понятия

и определения

Данный раздел отражает способы расчёта значений чётких функций от нечётких аргументов. Приведены различные формы правил выполнения арифметических операций над нечёткими числами. За основу взят материал, основанный на понятиях нечёткого числа и принципа нечёткого обобщения.

Определение 1.1.1. Нечётким числом называется нечёткое мно-

жество

Aɶ = (μAɶ (u ), u ) =

[uα ;

uα ], uα

uα , u U

(U – универ-

 

 

 

α [ 0; 1]

 

 

 

сальное множество), α [0; 1] со следующими свойствами [1]:

Aɶ

имеет

непустой

ограниченный

носитель:

 

supp (Aɶ)= {u : μAɶ

(u ) ³ 0} ¹ Æ;

 

 

 

1 Слово алгебра имеет три слабо связанных между собой значения: 1) об-

щий предмет, как в данном случае (абстрактная алгебра, элементарная алгебра); 2) теория алгебраических операций, используемая в связи со специфической моделью (матричная алгебра, тензорная алгебра); 3) тип математической модели (линейная алгебра, булева алгебра).

4

·Aɶ – нормальное нечёткое множество, если sup μAɶ (u ) = 1;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

u U

 

 

 

·

Aɶ

квазивогнутое, если для любых u , u

2

ÎU , α Î[0; 1] , вер-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

но неравенство μAɶ (αu1 + (1 -α ) u2 ) £ min (μAɶ

(u1 ) , μAɶ (u2 )) ;

·

характеристическая

 

 

функция

μAɶ (u ) , u U ,

полунепре-

 

рывная сверху;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

или, эквивалентно,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

·

[uα ;

uα ]

набор непустых выпуклых множеств для

 

α [ 0; 1]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

всех значений α [0; 1] ;

 

 

 

 

 

 

 

 

 

 

 

 

·

[uα ;

uα ]

 

набор

замкнутых

 

и

ограниченных

 

α [ 0; 1]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(компактных) множеств для всех α [0; 1] ;

 

 

 

 

·

набор

множеств

 

 

[uα ;

uα ]

обладает

свойством

 

 

 

 

 

 

 

 

 

 

 

 

 

 

α [ 0; 1]

 

 

 

 

 

 

 

 

 

 

 

 

вложенности носителей: [u ;

 

 

] u ;

 

 

для всех α > β

 

u

u

 

и [u ;

 

 

] =

 

 

 

 

 

 

 

α

 

α

 

β

 

β

 

 

 

 

 

 

 

u ;

 

 

для всех α [0; 1] .

 

 

 

 

 

u

u

β

 

 

 

 

 

α

 

α

 

 

 

β

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

β <α

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определение 1.1.2.

 

Нечёткое число Aɶ называется

положи-

тельным, если

 

для

всех

 

u < 0

μ ɶ (u) = 0 . Нечёткое

число

Aɶ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A

 

 

 

 

 

 

 

 

называется отрицательным, если для всех u > 0

μAɶ (u) = 0 .

 

Определение 1.1.3.

 

Принцип нечёткого обобщения Заде. Если

y = f (x1 , x2 ,¼, xn )

 

функция

от

 

n

независимых

аргументов

x1 , x2 ,¼, xn ,

 

которые заданы

нечёткими

числами

ɶ

ɶ

ɶ

 

x1

, x2 ,¼, xn

соответственно,

 

 

то

 

значением

функции

 

ɶ

 

ɶ

ɶ

ɶ

 

 

 

 

y = f (x1 , x2 ,¼, xn )

5

называется нечёткое число yɶ с функцией принадлежности

μyɶ ( y* ) = sup min (μxɶ (xi* )).

y* = f ( x1* , x2*

,¼, xn* ) i =1,n

i

 

xi* Îsupp( xɶi ), i =1,n

По принципу обобщения рассчитывается нечёткое число, соответствующее значению чёткой функции от нечётких аргументов. Различие между функциями от чётких и нечётких аргументов иллюстрирует рисунок 1.

Рисунок 1 – Функции от чёткого (а) и нечёткого (б) аргументов y = f (x)

Компьютерно-ориентированная реализация принципа нечёткого обобщения Заде осуществляется по следующему алгоритму [2].

Шаг 1.

Зафиксировать значение y = y* .

 

 

 

 

Шаг 2.

Найти

все

наборы

элементов

(объёмом

n )

 

 

 

 

 

 

{x1,* j , x2*, j ,¼, xn*, j }, j =

1, P

,

удовлетворяющие условиям

 

 

 

 

 

 

 

 

 

 

ɶ

 

 

 

 

 

y

*

= f

*

*

*

 

 

*

), i = 1, n .

 

 

 

(x1, j

, x2, j

,¼, xn , j ) и

xi , j

Î supp (xi

 

6

Шаг 3.

 

Степень принадлежности элемента y*

нечёткому числу yɶ

 

 

 

 

вычислить по формуле μ

yɶ

(y* ) = max min (μ

xɶ

(x*

)).

 

 

 

 

 

 

 

 

 

 

 

 

 

j =1,P i =1,n

i

i , j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Шаг 4.

 

Проверить условие «Взяты все элементы y* ?». Если да, то

 

 

 

 

перейти к шагу 5, иначе зафиксировать новое значение y*

 

 

 

 

и перейти к шагу 2.

 

 

 

 

 

 

 

 

 

 

 

 

 

Шаг 5.

 

Конец.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ɶ

 

( ɶ

 

ɶ

ɶ

)

 

Для

вычисления

значений

 

 

функции

y = f

x1

, x2

,¼, xn

 

нечёткие аргументы дискретизируют, т. е. представляют

в виде

 

μxɶ

(xi,1 ) μxɶ (xi ,2 )

,¼,

μxɶ (xi,k

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x =

i

,

 

i

i

 

 

, i = 1, n .

 

 

 

 

 

 

 

ɶ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

xi ,1

xi,2

 

xi ,k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Количество

дискрет k выбирают так,

чтобы

обеспечить

требуемую точность вычислений. На выходе алгоритма получается нечёткое множество, также заданное на дискретном носителе. Результирующую кусочно-непрерывную функцию принадлежности нечёткого числа yɶ получают как верхнюю огибающую

найденных точек (y* , μɶ (y* )).

y

Применение принципа обобщения Заде сопряжено с двумя трудностями:

·с большим объёмом вычислений: количество элементов результирующего нечёткого множества, которые необхо-

димо обработать, равно k1 k2 ¼kn , где ki – мощность

(количество элементов) носителя i -го нечёткого аргумента

( i = 1, n );

·с необходимостью построения верхней огибающей элементов результирующего нечёткого множества.

Более практичным является α -уровневый принцип обобщения. В этом случае нечёткие числа задаются множеством вло-

7

ɶ

 

 

 

 

 

 

 

 

 

[

 

; xα ],

 

 

 

 

женных друг в друга α -сечений: x =

xα

где

xα , xα

α [ 0; 1]

 

 

 

 

 

 

 

 

 

соответственно минимальное и максимальное значение на выделенном α -уровне, которые образуют интервал [xα ; xα ].

Определение 1.1.4.

 

 

α -уровневый

принцип

обобщения.

 

Если

y = f (x1 , x2 ,¼, xn )

 

 

 

функция

от

n

независимых

аргументов

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

 

 

 

x , i = 1, n , которые заданы нечёткими числами

ɶ

 

 

x

 

 

 

,

 

; x

x

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

 

 

i

 

i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

α [ 0; 1]

 

 

 

 

 

то значением

функции

ɶ

ɶ

ɶ

,¼,

ɶ

 

 

 

 

 

нечёткое

y = f (x1

, x2

xn ) называется

 

ɶ

=

 

y ;

 

 

, где

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

число y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

α

α

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

α [ 0; 1]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

yα

=

xi [

 

inf

 

 

 

f (x1,α , x2,α ,¼, xn ),

 

 

 

(1.1.1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xi ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

xi ], i =1,n

f (x1,α , x2,α ,¼, xn).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sup

 

 

 

(1.1.2)

 

 

 

 

 

 

yα

xi [

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xi ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xi ], i=1,n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Применение

α -уровневого принципа обобщения сводится к

решению для каждого α -уровня задач оптимизации, связанных с нахождением максимального и минимального значения функции y = f (x1 , x2 ,¼, xn ) при условии, что аргументы могут принимать

значения из соответствующих α -сечений. Количество α -уровней выбирают так, чтобы обеспечить необходимую адекватность представления нечёткой величины в вычислениях.

Определение 1.1.5.

α -уровневый принцип обобщения при взаи-

модействующих аргументах. Пусть

y = f (x1 , x2 ,¼, xn )

функция

от

n

аргументов,

которые

связаны

соотношениями

g (x1 , x2 ,¼, xn ) = 0

и

h (x1 , x2 ,¼, xn ) > 0 . Значением

функции

8

ɶ

ɶ

 

ɶ

 

 

ɶ

 

)

называется

такое

нечёткое

число

y = f ( x1

, x2

,¼, xn

ɶ

 

 

 

 

 

,

что

 

 

 

 

 

 

 

 

 

 

 

y =

 

 

y

α

, yα

 

 

 

 

 

αÎ[ 0; 1]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

yα

=

 

 

inf

 

 

 

f ( x1,α , x2,α ,¼, xn),

(1.1.3)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

xi Î[

xi ,

xi ], i =1,n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

g (x1,α , x2 ,α ,¼, xn )=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

h( x1,α , x2 ,α ,¼, xn )>0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

sup

 

 

f (x1,α , x2,α ,¼, xn).

(1.1.4)

 

 

 

 

 

 

 

yα

 

 

 

 

 

 

 

 

 

 

 

 

 

xi Î[

xi ,

xi ], i =1,n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

g (x1,α , x2 ,α ,¼, xn )=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

h( x1,α , x2 ,α ,¼, xn )>0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ɶ

 

 

 

 

 

 

Для

 

 

двух

 

нечётких

чисел

x1 =

 

x1,α

,

x1,α

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

αÎ[ 0; 1]

 

 

 

 

ɶ

=

,

 

 

 

 

, имеющих

 

 

 

 

 

 

 

 

x2

 

x

2,α

x

2,α

форму

записи

в соответствии

с

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

αÎ[ 0; 1]

α-уровневым принципом обобщения Заде, справедливы арифметические операции, представленные в таблице 1. Результатом

 

ɶ

 

 

 

 

 

операции является нечёткое число

y =

 

 

y

α

,

yα .

 

 

αÎ[ 0; 1]

 

 

 

 

 

 

В практических расчётах используется одна из параметрических функций принадлежности (см. рисунок 2) из таблицы 2 или их сочетания.

Если исследовать изменение результата нечёткого обобщения при увеличении количества α -уровней, то в предельном случае, при бесконечно большом числе дискрет, результаты обобщения по принципам, описанным в близких по результатам обобщения определениях 1.1.3 и 1.1.4, будут эквивалентными [2].

9

Таблица 1 – Правила выполнения интервальных арифметических операций для положительных нечётких чисел (на всех α -уровнях,

α [0; 1] )

Арифметическая

 

 

 

 

yα

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

yα

операция

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

yɶ = xɶ1 + xɶ2

 

x1,α +

x

 

 

x1,α +

 

 

 

 

2,α

 

2,α

 

x

 

 

 

 

 

yɶ = xɶ1 xɶ2

 

x1,α

 

 

 

 

2,α

 

x1,α

x

2,α

 

x

 

 

 

 

 

 

yɶ = xɶ1·xɶ2

 

 

 

x1,α ·

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2,α

 

 

 

x1,α ·x2,α

 

 

 

 

 

 

yɶ = xɶ1 / xɶ2

 

 

x1,α /

 

 

 

 

2,α

 

 

 

 

 

 

 

 

 

x

 

 

 

 

 

x

 

x1,α /

2,α

 

 

 

 

Рисунок 2 – Набор параметрических функций принадлежности

10

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]