Scientific journal
Modern high technologies
ISSN 1812-7320
"Перечень" ВАК
ИФ РИНЦ = 0,940

RESEARCH OF THE FUZZY MODEL OF THE CHOICE OF THE BUSINESS SYSTEM

Osipov G.S. 1
1 Sakhalin State University
A formal statement of the generalized problem of choosing a business system in fuzzy conditions is proposed. A model of choice in the form of a fuzzy relational equation is developed. The model was structurally identified in the class of fuzzy correspondence compositions on basic sets consisting of a list of possible business systems, a list of proposed objects for construction, and aggregated criteria for assessing the reliability of business systems. An explicit expression is obtained for the membership function of the desired solution in a general form, which is a fuzzy correspondence on the Cartesian product of the sets of objects and proposed business systems. Formulas are proposed for obtaining particular solutions to the problem using the most famous triangular norms in the form of a logical, algebraic, and boundary product, and implicators induced by these norms. Since the inverse problem of choosing a business system model is difficult and not always solvable, a methodology for solving the inverse problem is proposed, by reducing it to the optimization problem, which allows us to find the desired fuzzy correspondence, which to the highest degree meets the condition for minimizing the optimization criterion – the norm of deviation of the calculated values from observables. Practical testing of the developed methodology for solving the problem in the form of a control solution of the direct and inverse problems for the entire spectrum of the studied norms and implicators in the environment of a computer mathematics package has been performed.
business system
fuzzy modeling
fuzzy matching

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

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

В настоящее время методология нечеткого моделирования находит применение в различных предметных областях: в образовании [1], медицине [2], экономике [3] и многих других. Целью настоящего исследования является разработка методологии и исследование модели выбора бизнес-системы в достаточно универсальной постановке.

Материалы и методы исследования

Рассмотрим задачу выбора бизнес-системы [3] в нечеткой постановке.

Пусть M, N и O – конечные четкие множества:

osip01.wmf – список объектов для строительства;

osip02.wmf – список бизнес-систем;

osip03.wmf – список критериев (характеристик) для оценки надежности бизнес-систем.

Тогда нечеткая модель выбора бизнес-системы может быть определена как нечеткое реляционное уравнение

osip04.wmf (1)

где

osip05.wmf;

osip06.wmf;

osip07.wmf – искомое соответствие.

Очевидно, функция принадлежности практически может быть представлена в виде

osip08.wmf (2)

Формулы для нахождения решения задачи (2) при использовании наиболее известных треугольных норм T и индуцированных этими нормами импликаторов I [4] приведены в табл. 1.

Таблица 1

Формулы для нахождения решения задачи

T-норма

Импликатор I

Решение osip09.wmf

osip10.wmf

osip11.wmf

osip12.wmf

osip13.wmf; osip14.wmf

osip15.wmf

osip16.wmf

osip17.wmf

osip18.wmf; osip19.wmf

osip20.wmf

osip21.wmf

osip22.wmf

osip23.wmf; osip24.wmf

 

Представление прямой задачи (1) в виде (2) позволяет в простейшем случае при использовании стандартных треугольных норм и индуцированных ими импликаторов найти решения по одной из формул, приведенных в табл. 1.

Очевидно, выбор соответствующей импликации определяется спецификой решения прикладной задачи из исследуемой предметной области.

На рис. 1 приведены примеры графиков функций принадлежности и треугольной нормы, в виде логического произведения, и индуцированных ей двух импликаторов.

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

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

osipov1.tif

Рис. 1. Логическое произведение и индуцированные импликаторы

osipov2.tif

Рис. 2. Алгебраическое произведение и индуцированные импликаторы

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

Решение обратной задачи принципиально сложнее, более того, множество решений может быть пусто. В этом случае решение обратной задачи можно свести к конечной проблеме оптимизации.

Пусть необходимо решить левую обратную задачу вида

osip25.wmf

В этом случае формулируется соответствующая экстремальная задача:

osip26.wmf (3)

где osip27.wmf – матричное представление наблюдаемого соответствия.

Решение этой задачи позволяет найти искомое нечеткое соответствие, которое в наивысшей степени отвечает условию минимизации критерия оптимизации – нормы отклонения расчетных величин от наблюдаемых.

Результаты исследования и их обсуждение

Пусть заданы [3]:

osip28.wmf; osip29.wmf; osip30.wmf

osip31.wmf; osip32.wmf

Решения прямой задачи (1) по формулам (2) при различных вариантах импликации представлены в табл. 2.

Таблица 2

Варианты решения прямой задачи

T-норма

Решение

Импликатор

Решение левой и правой задач

Tm

osip33.wmf

Im

osip34.wmf; osip35.wmf

Tp

osip36.wmf

Ip

osip37.wmf; osip38.wmf

Tw

osip39.wmf

Iw

osip40.wmf; osip41.wmf

 

osipov3.tif

Рис. 3. Граничное произведение и индуцированные импликаторы

Семантическая интерпретация решения зависит от постановки задачи.

Например, при использовании T-нормы, в виде логического произведения Tm, получили решение (табл. 2): osip42.wmf и в соответствии с [3] для объекта m2 следует рекомендовать бизнес-схему n2 и т.д. Очевидно, евклидовы расстояния от нечеткого множества osip43.wmf до множеств osip44.wmf и osip45.wmf равны и составляют osip46.wmf.

В данном случае экстремальная задача (3) сводится [5] к решению трёх задач:

osip47.wmf (4)

В табл. 3 представлены решения обратной задачи (3) по формулам (4) для различных используемых треугольных нормах.

Таблица 3

Варианты решения обратной задачи

T

Решение

Время

поиска

f

Tm

osip48.wmf

3 с

0

Tp

osip49.wmf

6 с

10-2

Tw

osip50.wmf

7 c

10-8

 

В таблице приведено также время поиска решения в среде Wolfram Mathematica при настройках метода оптимизации «по умолчанию» и достигнутое значение целевой функции.

В табл. 4 приведены аналогичные данные при индуцированных импликаторах.

Таблица 4

Решения обратной задачи при различных импликаторах

I

Решение

Время

поиска

f

Im

osip51.wmf

osip52.wmf

6 с

6 с

0

10-8

Ip

osip53.wmf

osip54.wmf

6 с

5 с

10-10

10-11

Iw

osip55.wmf

osip56.wmf

6 c

6 c

0.1

10-10

 

Сравнение решений по величине среднего евклидова расстояния δE от исходного (эталонного) соответствия представлено в табл. 5.

Таблица 5

Сравнение решений по точности приближения к эталону

T(I)

Tm

Tp

Tw

Im

Ip

Iw

δE

1,340

0,659

0,566

0,964

0,489

0,652

0,477

0,825

0,466

 

Выводы

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