Методы нечеткого моделирования реферат
Обновлено: 25.06.2024
2. Методы построения нечетких моделей и нечеткое моделирование.
1. Основы теории нечетких множеств
Определение 1. Нечетким множеством (fuzzy set) на универсальном множестве U называется совокупность пар (μA(u), u), где μA(u) – степень принадлежности элемента u ∈ U к нечеткому множеству . Степень принадлежности – это число из диапазона [0,1]. Чем выше степень принадлежности, тем в большей мерой элемент универсального множества соответствует свойствам нечеткого множества.
Определение 2. Функцией принадлежности (membership function) называется функция, которая позволяет вычислить степень принадлежности произвольного элемента универсального множества к нечеткому множеству.
В случае непрерывного множества U используют такое обозначение
Примечание: знаки Σ и ∫ в этих формулах означают совокупность пар μA(u) и u.
Определение 3. Лингвистической переменной (linguistic variable) называется переменная, значениями которой могут быть слова или словосочетания некоторого естественного или искусственного языка.
Определение 4. Терм-множеством (term set) называется множество всех возможных значений лингвистической переменной.
Определение 5. Термом (term) называется любой элемент терм–множества. В теории нечетких множеств терм формализуется нечетким множеством с помощью функции принадлежности.
Определение 6. Дефаззификацией (defuzzification) называется процедура преобразования нечеткого множества в четкое число.
В теории нечетких множеств процедура дефаззификации аналогична нахождения характеристик положения (математического ожидания, моды, медианы) случайных величин в теории вероятности. Простейшим способом выполнения процедуры дефаззификации является выбор четкого числа, соответствующего максимуму функции принадлежности. Однако пригодность этого способа ограничивается лишь одноэкстремальными функциями принадлежности.
Для многоэкстремальных функций принадлежности в Fuzzy Logic Toolbox запрограммированы такие методы дефаззификации: Centroid – центр тяжести; Bisector – медиана; LOM (Largest Of Maximums) – наибольший из максимумов; SOM (Smallest Of Maximums) – наименьший из максимумов; Mom (Mean Of Maximums) – центр максимумов.
Определение 7. Нечеткой базой знаний (fuzzy knowledge base) о влиянии факторов Х = на значение параметра y называется совокупность логических высказываний типа:
ИЛИ
для всех где – нечеткий терм, которым оценивается переменная xi в строчке с номером jp kj – количество строчек-конъюнкций, в которых выход y оценивается нечетким термом dj, m – количество термов, используемых для лингвистической оценки выходного параметра y.
С помощью операций ∪ (ИЛИ) и ∩ (И) нечеткую базу знаний из определения 7 перепишем в более компактном виде:
Определение 8. Нечетким логическим выводом (fuzzy logic inference) называется апроксимация зависимости y = f(x1, x2, …, xn) с помощью нечеткой базы знаний и операций над нечеткими множествами.
Пусть – функция принадлежности входа xi нечеткому терму ,
т.е. – функция принадлежности выхода y нечеткому терму dj, т.е.
где ∨(∧) – операция максимума (минимума).
где U – операция объединения нечетких множеств.
Свойства нечетких множеств
Определение 9. Высотой нечеткого множества называется верхняя граница его функции принадлежности: Для дискретного универсального множества U супремум становится максимумом, а значит высотой нечеткого множества будет максимум степеней принадлежности его элементов
Определение 10. Нечеткое множество называется нормальным, если его высота равна единице. Нечеткие множества, не являющиеся нормальными, называются субнормальными. Нормализация – преобразование субнормального нечеткого множества в нормальное определяется так:
Рис. 4.2. Нормализация нечеткого множества
Рис. 4.2 иллюстрирует определения носителя, ядра, α-сечения и α-уровня нечеткого множества.
Определение 11. Носителем нечеткого множества называется четкое подмножество универсального множества U, элементы которого имеют ненулевые степени принадлежности: (рис. 4.3).
Определение 12. Нечеткое множество называется пустым, если его носитель является пустым множеством.
Определение 13. Ядром нечеткого множества называется четкое подмножество универсального множества U, элементы которого имеют степени принадлежности равные единице: (рис. 4.3). Ядро субнормального нечеткого множества пустое.
Определение 14. α-сечением (или множеством α-уровня) нечеткого множества называется четкое подмножество универсального множества U, элементы которого имеют степени принадлежности большие или равные α: α ∈ [0, 1] (рис. 4.3). Значение α называют α-уровнем. Носитель (ядро) можно рассматривать как сечение нечеткого множества на нулевом (единичном) α-уровне.
Определение 15. Нечеткое множество называется выпуклым если: u1, u2 ∈ U, λ ∈ [0, 1]. Альтернативное определение: нечеткое множество будет выпуклым, если все его α-сечения – выпуклые множества. На рис. 4.4 приведены примеры выпуклого и невыпуклого нечетких множеств.
Рис. 4.3. Ядро, носитель и α-сечение нечеткого множества
Определение 16. Нечеткие множества и равны если μA(u) = μB(u), ∀u ∈ U.
Универсальное множество U можно описать функцией принадлежности вида μU (u) = 1, ∀u ∈ U.
Рис. 4.4. К определению выпуклого нечеткого множества
Нечетким отношением R на множестве U называют нечеткое подмножество декартова произведения U×U, которое характеризуется функцией принадлежности μR:U×U → [0, 1] (μR:U×U → L). Значение μR(u, u) этой функции понимается как некоторая субъективная мера выполнения отношения uRu (L – некоторая произвольная решетка).
Очевидно, что, как в случае нечетких множеств, обычное отношение можно рассматривать как частный случай нечеткого отношения, функция принадлежности которого понимает значения 0 или 1.
Дадим некоторые определения, характеризующие нечеткие отношения.
Носителем нечеткого отношения R на множестве U называют подмножество декартова произведения U×U вида
Носитель нечеткого отношения следует понимать как отношение на множестве U, связывающие все пары (u, v), для которых степень выполнения данного нечеткого отношения не равна нулю.
По аналогии с нечеткими множествами определяется и множество уровня α нечеткого отношения, т.е.
В этом случае при х = 0 имеем наибольшую функцию принадлежности а граничные точки хуже остальных удовлетворяют поставленному условию, так как что соответствует смыслу, который вкладывается в понятие таких чисел в математике.
Нечеткое множество А может быть определено с помощью функции принадлежности другого вида:
На рис. 4.5 показаны графики функций принадлежности
и .
2. Методы построения нечетких моделей и нечеткое моделирование
2.1. Методы моделирования производственных объектов в нечеткой среде
Для качественного анализа реальных объектов и систем нужны подходы, для которых высокая точность и строгость математического формализма не является чем-то абсолютно необходимым и в которых используется методологическая схема, допускающая нечёткости и частичные истины. Существуют следующие подходы и методы моделирования объектов, удовлетворяющие этим требованиям, которые основаны на методах теории нечётких множеств.
1. Методы, основанные на построении статистических моделей объектов с нечёткими коэффициентами на основе методов регрессионного анализа. Модели, полученные на основе такого подхода, успешно используются при моделировании и управлении рядом технологических объектов нефтеперерабатывающей промышленности.
Предположим, что в результате наблюдения объекта или проведённого эксперимента получено L x1 , а соответствующие нечёткие значения выходных параметров оценены экспертами.
Для построения математической модели этого объекта необходимо решить следующие два этапа задачи идентификации:
а) Выбрать структуру функции (структурная идентификация)
На этом этапе определяющее значение имеет качественный анализ объекта, в результате которого выявляются основные параметры, влияющие на функционирование, их взаимосвязи и выбирается метод для идентификации структуры модели.
б) Определить оценки параметров выбранной функции (4.24) (параметрическая идентификация), например значений нечётких коэффициентов . Для подобной оценки можно воспользоваться критерием минимизации отклонения нечётких значений выходного параметра ,
полученных по модели (4.24), от его выборочных нечётких значений, полученных на основе экспертной оценки :
На втором этапе основным вопросом является выбор способа оценивания неизвестных параметров, обеспечивающего необходимые свойства исследуемого объекта.
В общем случае нечёткие модели, получаемые на основе этого подхода, имеют вид нечёткого уравнения множественной регрессии.
Использование понятия множество уровня α позволяет свести нечёткие уравнения регрессии к системе обычных уравнений регрессии. Такой подход даёт возможность применения классических методов регрессии для решения рассмотренных выше задач.
2. Методы, основанные на использовании логических правил условного вывода, например, в следующем виде:
где – соответственно, входные и выходные, лингвистические переменные объекта, – нечёткие подмножества, характеризующие .
Преимуществом такого подхода является возможность его использования при моделировании объектов, для которых сбор статистической информации стоит очень дорого, затруднён или невозможен. В этом случае полученные нечёткие модели являются результатом обработки экспертного опроса специалистов-экспертов, оперирующих, как правило, информацией качественного характера (знания, опыт специалистов-экспертов, ЛПР). Такая информация, при условии достаточной компетенции специалистов-экспертов, позволяет в полученных моделях учесть всю гамму сложных внутренних взаимосвязей параметров объекта.
К достоинствам методов построения нечётких моделей можно отнести: они позволяют получить эффективные модели объекта в условиях неопределённости, когда традиционные подходы не дают существенных результатов. В моделях полученных на основе этих подходов учитываются внутренние связи основных параметров системы, которые не подлежат формализации. Однако, при построении нечётких моделей возникают свои специфические проблемы, например, связанные с проведением экспертного опроса, построением функции принадлежности нечётких параметров, определением структуры условного логического вывода и т.д.
2.2. Алгоритмы синтеза моделей в нечеткой среде
Алгоритм синтеза моделей в нечеткой среде при количественно измеримых входных параметрах и нечетких (качественных) выходных параметрах.
Перейдем к рассмотрению вопросов алгоритмизации методов нечеткого моделирования сложных комплексов технологических агрегатов, химико-технологических систем.
Предлагаем следующий алгоритм синтеза нечетких моделей, реализующий идея 1-го подхода к моделированию количественно трудноописываемых объектов, когда входные параметры четкие (измеримые), а выходные параметры – нечеткие, оцениваются специалистами-экспертами.
1. Выбрать необходимые для построения модели входные xi ∈ Xi, и выходные параметры технологического объекта.
2. Провести сбор информации и на основе экспертной процедуры, определить терм-множество нечетких параметров, описывающее состояние объекта.
3. Определить структуру нечетких уравнений множественной регрессии (решение задачи структурной идентификации).
4. Построить функцию принадлежности нечетких параметров объекта и коэффициентов модели.
5. Оценить нечеткие коэффициенты выбранных функций (решение задачи параметрической идентификации)
6. Проверить соответствие модели реальным данным (адекватность модели). В случае неадекватности модели выяснить причину и вернуться к соответствующему пункту.
Этот алгоритм соответствует первому подходу моделирования нечетких объектов. Дадим пояснения к некоторым пунктам приведенного алгоритма.
Принятое терм-множество является совокупностью значений лингвистических переменных, описывающих работу исследуемого объекта. Каждый интервал дискретизации, получаемый в пункте 1, характеризуется определенным термом, этому терму соответствует нечеткое множество, которое описывается функцией принадлежности на соответствующем ей уровне градации.
Определение структуры нечетких уравнений множественной регрессии (пункт 3) и идентификация их нечетких коэффициентов (пункт 5) проводится в соответствии с этапами 1 и 2 приведенных выше в описании методов первой группы. Задача структурной идентификации решается по результатам системного анализа и исследования объекта, используя, например идею метода последовательного включения регрессоров, суть которого заключается в последовательном включении очередных регрессоров до выполнения условий адекватности модели к реальным данным. При параметрической идентификации можно использовать нечеткий аналог метода наименьших квадратов.
Построение функции принадлежности нечетких множеств (параметров) (пункт 4) является одним из основных этапов при моделировании сложных объектов с применением методов теории нечетких множеств. Основным способом восстановления этой функции является графическое построение кривой степени принадлежности того или иного параметра соответствующему нечеткому множеству. На основе полученного графика подбирается такой вид функции, который наилучшим образом аппроксимирует его. После этого идентифицируются параметры выбранной функции.
Предлагается следующая структура функции принадлежности:
где – функция (степень) принадлежности параметров нечеткому множеству , характеризующая значения выходных параметров; p – номер градации (квота); – параметр, который находится при идентификации функции принадлежности и определяющий уровень нечеткости; ; – коэффициенты для изменения области определения термов и формы графика функции принадлежности нечетких параметров; – нечеткая переменная, наиболее соответствующая данному терму (в кванте p), для которой
Задачей заключительного этапа алгоритма (пункт 6) является проверка соответствия модели объекту (оригиналу). Модель считается адекватной (идентичной) моделируемому объекту, если найденные с ее помощью на компьютере характеристики объекта совпадают с заданной степенью точности с реальными данными, полученными экспериментально на самом объекте.
Как правило, в качестве критерия адекватности, являющегося мерой соответствия модели объекту, используется величина рассогласования расчетных (модельных) yM и реальных (экспериментальных) – yE данных; Кроме того выбирается величина допустимого уровня рассогласования – RD. Модель считается адекватной, если
В случае неадекватности математическая модель дорабатывается, определяются источники неопределенности. Это может быть недооценка значимости какой-нибудь существенной переменной и недоучет ее в модели, неправильная или неполная структура нечетких уравнений, ошибка при параметрической идентификации и т.д. После этого осуществляется возврат к соответствующему пункту алгоритма для доработки модели.
Алгоритм моделирования производственных объектов при лингвистических входных и выходных параметрах
Следующий алгоритм реализует идею второго подхода, использующего логические правила условного вывода.
Некоторые пункты этого алгоритма (1, 2, 6) аналогичны соответствующим пунктам алгоритма НМ1, но учитывают нечеткость входных параметров – .
1. Выбрать необходимые для построения модели входные и выходные параметры объекта, которые являются лингвистическими переменными (Xi, Yj – универсальные множества);
2. На основе экспертных оценок произвести оценку значений параметров и построить терм-множество T(Xi, Yj).
3. Построить функции принадлежности нечетких параметров – , ( – нечеткие подмножества ).
4. Построить лингвистическую модель объекта и формализовать нечеткие отображения Rij, определяющие связь между и .
5. Определить нечеткие значения выходных параметров объекта и выбрать их числовые значения из нечеткого множества решений.
6. Проверить условия адекватности модели. Если условие выполняется, модель рекомендуется для исследования и управления объектом, в противном случае вернуться к предыдущим пунктам для уточнения модели.
Рассмотрим некоторые детали описанного алгоритма.
Лингвистическая (качественная) модель технологического объекта строится по результатам обработки экспертной информации (пункт 4). Для удобства ее можно оформить в виде таблицы, где словесно указаны различные значения входных параметров и соответствующие этим вариантам значения . Таблица должна заполняться с использованием выбранного в пункте 2 терм-множества. На основе модели, полученной таким образом, формализуются нечеткие отображения Rij, определяющие связь между входными и выходными факторами. Формализацию такого нечеткого отображения удобно осуществлять методом логической оценки. В этом случае на основе экспертной информации, используя экспертную информацию, используя терм-множества T(Xi, Yj) лингвистических переменных входа и выхода, дается полное описание всех возможных ситуаций. Это описание, которое называется лингвистической моделью, состоит из набора вложенных логических правил вида (4.27).
Нечеткие отображения для кванта p определяются как: .
Для удобства применения нечеткого отображения Rij в расчетах нужно построить матрицы нечетких отношений – , например, в общем случае для выделенных квантов:
Пятый пункт алгоритма синтеза нечетких моделей заключается в применении композиционного правила вывода:
где Ai ⊂ Xi, Bj ⊂ Yj, Xi, Yj – универсальные множества. С помощью этого правила можно осуществлять расчет выходных переменных, например, по следующему выражению (максиминное произведение):
Заключение. В данном подразделе изложены основы теории нечетких множеств, даны основные определения и понятия теории нечетких множеств. Рассмотрены нечеткие и лингвистические переменные, нечеткая база знаний, нечеткий логический вывод, свойства нечетких множеств. Описаны методы моделирования производственных объектов в нечеткой среде. Предложены алгоритмы синтеза моделей в нечеткой среде; алгоритм синтеза моделей в нечеткой среде при количественно измеримых входных параметрах и нечетких (качественных) выходных параметрах и алгоритм моделирования производственных объектов при лингвистических входных и выходных параметрах.
1. Основы теории нечетких множеств.
2. Нечеткое множество, функция принадлежности.
3. Нечеткие и лингвистические переменные.
4. Нечеткая база знаний. Нечеткий логический вывод.
5. Нечеткое отношение.
6. Свойства нечетких множеств.
7. Методы моделирования производственных объектов в нечеткой среде.
8. Алгоритмы синтеза моделей в нечеткой среде.
9. Алгоритм синтеза моделей в нечеткой среде при количественно измеримых входных параметрах и нечетких (качественных) выходных параметрах.
10. Алгоритм моделирования производственных объектов при лингвистических входных и выходных параметрах.
Читайте также: