Проектирование трехрежимного нечеткого регулятора для систем активного управления очередью в Тср/ip сетях

МАТЕМАТИЧНЕ ТА КОМП’ЮТЕРНЕ МОДЕЛЮВАННЯ

МАТЕМАТИЧЕСКОЕ И КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ

MATHEMATICAL AND COMPUTER MODELLING

УДК 62-55:681.515

Гостев В. И.

Д-р техн. наук, заведующий кафедрой Государственного университета информационно-коммуникационных технологий

г. Киев

ПРОЕКТИРОВАНИЕ ТРЕХРЕЖИМНОГО НЕЧЕТКОГО РЕГУЛЯТОРА ДЛЯ СИСТЕМ АКТИВНОГО УПРАВЛЕНИЯ ОЧЕРЕДЬЮ В ТСР/ІР __________________________________________СЕТЯХ______________________________________________

Изложены вопросы проектирования трехрежимного нечеткого регулятора при идентичных треугольных функциях принадлежности с тремя термами для систем активного управления очередью в ТСР/ІР сетях и представлена принципиальная схема регулятора в системе MATLAB.

Ключевые слова: проектирование, нечеткий регулятор, функции принадлежности, активное управление очередью, ТСР/ІР сети, MATLAB.

ВВЕДЕНИЕ

В последние годы непредсказуемый рост Интернета все более и более указывает на проблему борьбы с перегрузками. Явление перегрузок сети происходит, когда количество данных, введенных в сеть, больше чем количество данных, которые доставляются по назначению. Широко используется активное управление очередью пакетов. При пакетной передаче источники данных должны уменьшать скорость передачи при наличии потери пакетов. Для эффективной борьбы с перегрузками предложены фаззи-регуляторы (регуляторы, работающие на базе нечеткой логики) активного управления очередью. Проектирование таких регуляторов является сложным из-за эвристически вовлеченных в управление правил и функций принадлежности, отсутствия автоматических методов проектирования нечеткой базы знаний и настройки параметров регулятора. Поэтому параметры нечеткой системы управления обычно настраиваются посредством проб и ошибок с использованием эвристических методов и моделирования. Особые сложности возникают из-за широкого диапазона эксплуатационных условий, например, числа соединений, емкости связей, задержек распространения. При синтезе нечетких регуляторов наиболее часто используются треугольные функции принадлежности (ФП) для лингвистических величин. При расчете управляющих воздействий на выходе

нечеткого регулятора абсциссу «центра тяжести результирующей фигуры» определяют обычно приближенным методом численного интегрирования. В работах [1-8] по системам активного управления очередью с применением нечетких регуляторов не приводятся сведения по проектированию регуляторов, а в работе [1] изложены неправильные результаты выполнения и настройки регуляторов, хотя в этих работах отмечается, что нечеткий регулятор является одной из главных составляющих таких систем. В предлагаемой ниже работе на основе нового метода проектирования нечетких регуляторов, изложенного в работах [9-11], получены строгие аналитические выражения для управляющих воздействий на выходе трехрежимного нечеткого регулятора при идентичных треугольных функциях принадлежности с тремя термами. В качестве входных воздействий на регулятор, кроме ошибки системы, рассматриваются первая и вторая производные ошибки. Представлена принципиальная схема нечеткого регулятора и изложены вопросы настройки регулятора с проверкой правильности его работы.

РЕШЕНИЕ ЗАДАЧИ

В данной работе рассмотрим нечеткий регулятор, структурную схему которого в интерактивной системе МЛТЬЛБ можно представить в виде последовательного соединения трех блоков (см. рис. 1): формирователя ве-

© Гостев В. И., 2012

II

1 2 Рис. 1.

личин A(t), B(t) и С(t) (блок 1), блока сравнения величин A(t), B(t) и С(t) и расчета «с (блок 2) и блока нормировки выходной переменной (блок 3) [10]. На вход регулятора поступают ошибка системы 9, скорость изменения (первая производная) ошибки 9, ускорение (вторая производная) ошибки 9, т - выходная величина регулятора.

Блоки оценки первой (1^ гїгу) и второй (2-nd гїгу) производных от ошибки реализуют уравнения:

9(0 * {9(кк) -9[(к - 1)к]>/ к,

9(0 * {9(кк) -9[(к - 1)к]>/ к,

где к - шаг квантования (шаг поступления информации на вход регулятора).

На универсальном множестве и = [-1, 1] заданы три нечетких подмножества, ФП которых для каждой лингвистической величины определяются по формулам:

и(и) =

М«) =

1, -1 < и < -а;

(а - и)/(2а), - а < и < а;

0, а < и < 1;

0, -1 < и < -а;

(а + и)/(2а), - а < и < а;

1, а < и < 1;

ч КіПІП ' <* і Ї плах

Рис. 2.

и 2( X хтіп)/( хтах хтіп) 1 I

х = (Хтах - хтіп)(и +1)/2 + хтіп I

Затем производится расчет значений ФП для этих переменных (см. рис. 3).

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

* * * тт

переменных и1 , и2 , из . Для упрощения нормировки (пересчета значений сигналов в значения элементов единого универсального множества) диапазоны изменения входных и выходного сигналов (параметров нечеткого регулятора) принимаем симметричными:

Ат 9тах 9тіп; Вт = 9тах = 9тіп;

С =9

т тах

9тіп; ^т ттах ттіп .

Тогда формулы для нормировки (пересчета) принимают вид:

«1* = (9* + Ат)/Ат -1;

и2 = (9 + Вт )/ Вт - 1

«3* = (9* + Ст )/Ст - 1.

Лингвистическое правило управления нечеткого регулятора:

Ц3(и)=

(а + и)/а, - а < и < 0; (а - и)/а, 0 < и < а.

При поступлении на нечеткий регулятор в какой-то момент времени значений входных переменных, 9 , 9 и 9* с шагом квантования к осуществляется пересчет входных переменных в переменные и1, и2, «з* на универсальное множество и = [-1, 1]. Пересчет фиксированного значения любой переменной х* є [хтіп, хтах ] в соответствующий элемент и* є [-1, 1] единого универ -сального множества (см. рис. 2) при фаззификации и де-фаззификации определяется пропорцией:

(хтах - хтіп ) / 2 = (х - хтіп)/(и + 1

откуда

если (9* = а() и (9* = а]2) и (9 * = а3), то (да* = а}с ) , ] = 1,3,

где , а2 и а3 - лингвистические оценки ошибки, первой производной ошибки и второй производной ошибки, рассматриваемые как нечеткие терм-множества, определенные на универсальном множестве, ] = 1,3 ; а]с -лингвистические оценки управляющего воздействия на объект, выбираемые из терм-множества переменной т. Лингвистические оценки выбираются из терм-множеств

Г\* А* *

лингвистических переменных 0 , 0 и 0 и т :

а е {отрицательная (1), положительная (2), близкая к нулю - нулевая (3) .

Другими словами, все сигналы (определенные выше лингвистические переменные) характеризуются как отрицательные (/=1), положительные (/=2) или близкие к нулю (/=3).

а)

-1 -а о а(1-2А)'

а

б)

в) Рис. 3.

Функция принадлежности управляющего воздействия нечеткому множеству «отрицательная» определяется из системы нечетких логических уравнений:

М-1с

Функция принадлежности управляющего воздействия нечеткому множеству «положительная» определяется из системы нечетких логических уравнений:

Функция принадлежности управляющего воздействия нечеткому множеству «близкая к нулю» определяется из системы нечетких логических уравнений:

Н3с(и) = Н3(и1) л Н3(и2) л Н3(и3) .

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

Нс (и) = Н1с (и) V Н 2с (и) V Нзс (и).

В выражениях (6)-(9) л - логическое «и», V - логическое «или».

В соответствии с лингвистическими правилами управления функция принадлежности управляющего воздействия Н1с («) нечеткому множеству «отрицательная» ограничена сверху значением:

А = тіп[н1

функция принадлежности управляющего воздействия Н2с («) нечеткому множеству «положительная» ограничена сверху значением:

В = тіп[н 2 («*), Н2(и2), Н2(«з)] ,

функция принадлежности управляющего воздействия ^3С (и) нечеткому множеству «близкая к нулю» ограничена сверху значением:

С = тіп[нз (и* ), нз («2), Нз («з )].

Результирующая функция принадлежности для управляющего воздействия на основании выражения (9) получается путем формированием максимума:

Нс (и) =тах[ Н1с (и), Н2с («), Н3с («) ].

Для определения конкретного значения управляющего воздействия т формируется «результирующая фигура», ограниченная результирующей ФП, и производится поиск абсциссы «центра тяжести результирующей фигуры» ис .

Отметим весьма существенный факт. Какие бы зна-

* * *

чения не принимали переменные и1 , и2 , и3 на универсальном множестве и = [-1, 1], в зависимости от соотношений величин А и В, «результирующая фигура» может принимать только три конфигурации: при А < С < В первая конфигурация показана на рис .3, а; при

А > С > В вторая конфигурация показана на рис. 3, б; при 1 1

В < А < С третья конфигурация показана на рис. 3, в. -1 -1

Общая формула для определения абсциссы «центра Абсцисса «центра тяжести результирующей фигуры»

тяжести результирующей фигуры» записывается в виде: при Л < С < В определяется по формуле:

----------------------------------------------------------1

a(A-1) a(C-1) a(2C-1) a(2B-1) 1

. г j r a + u 1 ~ г т г a + u 1 г T

A I udu + I -------------udu + C I udu + I ----------------udu + B \udu

J J a 2 a

_ -1 a

uc _ a(A-1) a(C-1) a(2C-1) a(2B-1) 1

a +u a +u

A I du + I ------------du + C I du + I -du + B I du

-1 a

при A < C < B.

После несложных вычислений находим:

(a2 -1)(A - B)/2 + a2B2 - a2(A2 + C2)/2 + a2(A3 - 4B3 + 3C3)/6

uc _ 2 2 2

при A < C < B.

Абсцисса «центра тяжести результирующей фигуры» при A > C > B определяется по формуле:

a(1-2A) a(1-2C) - a(1-C) a(1-B) - 1

A I udu + I -----udu + C I udu + I -udu + B \udu

2a a

-1 a(1-2 A) a(1-2C) a(1-C) a(1-S;^

a(2 A-1) a(2C-1) a(1-C) a(1-B) 1

A I du + I -----------------du + C I du + I ---------------du + B jdu

-1 a

при А > С > В.

После несложн^1х в^гчислений находим:

(а 2 -1)(А - В)/2 - а 2А2 + а 2(В 2 + С 2)/2 + а 2(4А3 - В3 - 3С3)/6

ис = 2 2 2

при А > С > В.

В качестве примера приведем следующие результаты расчетов при а=0,2:

- при А=0,1, 5=0,4, С=0,2 получаем ис = 0,2774;

- приА=0,4, 5=0,1, С=0,2 получаем ис = -0,2774 .

Г А < В < С

Абсцисса «центра тяжести результирующей фигуры» при 1 в < а < С определяется по формуле:

а(А-1) а(С-1) + и а(1-С) а(1-В) а и 1

А | udu + | ------Ыи + С | udu + | -udu + В | и^и

-1 а

ис = а( А-1) а(С-1) а(1-С) а(1-В) 1

-1 а

Г А < В < С при < .

После несложных вычислений находим:

(a2 - 1)(A - B)/2 + a2(B2 - A2)/2 + a 2(A3 - B3)/6 IA < B < C

U'C

В качестве примера приведем следующие результаты расчетов при а=0,2:

- приА=0,2, 5=0,3, С=0,4 получаем ис = 0,0903 ;

- при А=0,3, 5=0,2, С=0,4 получаем ис = -0,0903.

Полученное значение ис затем преобразуется в значение управляющего воздействия на объект управления (согласно формуле (3)):

Если A > B, то величина С определяется из следующих соотношений:

ц2 = (a + и )/(2a) = B; ^ и = a(2B -1);^

*

^^3 = C = (a + и ) / a = 2B.

* Гї *

m = Dmur..

В качестве примера приведем следующие результаты расчетов при а=0,2.

- при А=0,2, 5=0,3, С=0,4 получаем ис = 0,0903;

- при А=0,3, 5=0,2, С=0,4 получаем ис = -0,0903.

Полученное значение ис затем преобразуется в значение управляющего воздействия на объект управления (согласно формуле (3)):

** m = Dmur..

Отметим, что при фиксированных А и 5 величина С имеет строго определенное значение. Если А < В, то величина С определяется из следующих соотношений:

Ц1 = (a - и )/(2a) = A; ^ и = a(1 - 2A); ^

*

=^> = С = (а - и )/а = 2А.

Формирователь величин A(t), B(t) и С© (блок 1 на рис. 1) проектируется на основании формул (1), (2), (4), (10), (11), (22) и (23). Этот блок показан на рис. 4.

В формирователе ошибка рассогласования квантуется аналого-цифровым преобразователем (АЦП) (ZeroOrder Hold) с шагом квантования (шагом поступления данных в нечеткий регулятор) h. Ошибка 0(k) с выхода АЦП, ее первая 0(k) = [0(k) -0(k -1)]/h и вторая

0(k) = [0(k) - 0(k -1)]/h разности (формула (1)) подаются на вход блока нормировки входных переменных, который построен по формулам (4). На выходе блоков Product, Product1, Product2 структурной схемы формирователя величин A(t), B(t) и С(0 с учетом «минус единицы» получаем переменные и (соответственно и1 ,

и2 , и3). Элементами ограничения (Saturation) моделируем подмножество (-a < и < a) универсального множества U = [-1, 1], на которое поступают переменные иі, і = 1,2,3 . В блоках Fcn, Fcn1, Fcn2 записываем

max сгг1

Zero-Order HolcJ

Unit Delayl

MinMax2

аналитические выражения для функций принадлежности Н1 (и), а в блоках Fcn3, Fcn4, Fcn5 - аналитические выражения для функций принадлежности Н2(«) (формулы (2), (22), (23)). На выходе блоков Fcn, Fcn1, Fcn2 получаем переменные Ні(«г-)(соответственно Н1(«1), Н1(«2), Н1(«з)), а на выходе блоков Fcn3, Fcn4, Fcn5 получаем переменные Н1(иг-) (соответственно Н2(«1), Н2(«2), Н2(«з)). Выражения (10) и (11) вычисляются в блоках МіпМах и MinMax1, на выходе которых получаем значения переменных A(t) и B(t). Вычисление величины С(ї) осуществляется таким образом: поскольку при A(t) < B(t) величина С(t) = 2 A(t), а при > В(І) величина С(t) = 2 B(t), то достаточно определить меньшую величину и увеличить ее значение в два раза (см. соотношения (22) и (23)). Для этого служат блоки МіпМах2 и Оат5.

Значения диапазонов Am =9

з =-9   с = 9> =-9

^max ^min’ ^ m ^max v

= -9 • •

max wmin>

Bm =

= -9'тіп при настройке нечеткого регулятора подбираются либо вручную, либо автоматически путем решения оптимизационной задачи.

Блок сравнения величин А(і), В(і) и С(і) и расчета ис (блок 2 на рис. 1) проектируется на основании формул (16), (18) и (20). Этот блок показан на рис. 5.

На выходе делителя Product формируется величина uc на основании формулы (16) при A < C < B. На выходе делителя Productl формируется величина uc на основании формулы (18) при A > C > B. На выходе делителя Product2 формируется величина uc на основании фор-

J A < B < C мулы (20) при jB < A < C.

Переключатели Switch и Switchl замыкают верхние контакты при условии A < C < B, когда на средних контактах этих переключателей сигналы положительные (в блоках Switch и Switchl параметр Threshold=0,000001). При условии A > C > B, когда на средних контактах переключателей Switch и Switchl сигналы отрицательные, переключатели замыкают нижние контакты.

Переключатели Switch2 и Switch3 замыкают верхние

J A < B < C

контакты при условии j b < a < C, когда на средних контактах этих переключателей сигналы положительные (в блоках Switch2 и Switch3 параметр Threshold=0,000001).

При условии A < C < B , когда на среднем контакте переключателя Switch2 сигнал положительный, а на среднем контакте переключателя Switch3 сигнал отрицательный, то в переключателе Switch2 замкнут верхний контакт, а в переключателе Switch3 замкнут нижний контакт.

При условии A > C > B, когда на среднем контакте переключателя Switch3 сигнал положительный, а на среднем контакте переключателя Switch2 сигнал отрицательный, то в переключателе Switch3 замкнут верхний контакт, а в переключателе Switch2 замкнут нижний контакт.

Таким образом, при условии A < C < B сигнал на выход схемы поступает с выхода делителя Product, при условии A > C > B сигнал на выход схемы поступает с

IA < B < C

выхода делителя Productl и при условии і в < a < C сигнал на выход схемы поступает с выхода делителя Product2.

Блок нормировки выходной переменной (блок 3 на рис. 1) с цифро-аналоговым преобразователем (ЦАП) (Zero-Order Hold1 - фиксатором нулевого порядка с передаточной функцией H (5) = (1 - e ~hs)/ s), полученный на основании формулы (21), показан на рис. 6. Граничное значение диапазона Dm = mmax = -mmin является параметром, который перестраивается при настройке нечеткого регулятора.

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

Логика работы нечеткого регулятора приведена на рис. 7. В регуляторе входные функции принадлежности (в формирователе) идентичны выходным (по которым рассчитаны формулы в блоке сравнения).

В формирователе величин A(t), B(t) и С© на входе нечеткого регулятора переменные 0*, 0* и 0*, поступающие в регулятор с шагом квантования h, пересчитыва-

Umaxl

Holdl

Рис. б.

ются в переменные и*, и2 , щ* по формулам (4) и производится расчет значений входных функций принадлежности (см. рис. 3 и 7, а) для переменных и1 * , и2 * , и3 . На основе алгоритма Мамдани определяются уровни отсечения А , 5 и С по формулам (10-12).

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

по формулам (14-20).

Далее полученное значение ис в блоке нормировки выходной переменной пересчитывается в выходное напряжение регулятора по формуле (21).

Рассмотрим режимы работы спроектированного нечеткого регулятора в системе управления.

Если одна или две из переменных и^, 1 = 1,2,3, больше а , а две или одна из остальных расположены на универсальном множестве в диапазоне -а < и < а, то А = 0. Если одна или две из переменных меньше -а, а две или одна из остальных расположены на универсальном множе-

стве в диапазоне -a<u < a, то B = 0. Если три переменных больше a (ui > a, i = 1,2,3,), то B Ф 0 и если три переменных меньше -a (щ < -a, i = 1,2,3,), то A Ф 0. В этих случаях регулятор работает в первом режиме, когда входные сигналы (входные воздействия) большие и регулятор обеспечивает высокое быстродействие (быструю отработку входных сигналов).

Если все нормированные входные сигналы u¡, i = 1,2,3, находятся в диапазоне -a < ui < a, то регулятор работает во втором режиме, когда входные сигналы (входные воздействия) малые и регулятор обеспечивает динамическую точность системы (малые динамические ошибки).

Третий режим работы заключается в следующем. Если одна из переменных ui, i = 1,2,3, больше a, а другая переменная меньше -a, то A = B = 0 и на выходе нечеткого регулятора сигнал равен нулю. В этом случае нечеткий регулятор ведет себя как нелинейное корректирующее устройство со случайным прерыванием управляющего воздействия на объект управления.

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

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

ВЫВОД

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

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

1. Ming, Liu Design of a Multi-model Fuzzy Controller for AQM / Liu Ming, Dou Wen-hua, Xiao Rui // Fuzzy Systems and Knowledge Discovery-FSKD : Third International Conference (September 24-28, 2006, Xi’an), Lecture Notes in Computer Science. - China, Xi’an. - 2006, Volume 4223. - P. 739-742.

2. Weiyan, Liu A fuzzy-logic control algorithm for active queue management in IP networks / Liu Liu, Shunyi Zhang, Mu Zhang, Tao Liu // Journal of Electronics. - 2008. - No. 1, Vol. 25. - Р 102-107.

3. Hadjadjaoul, Y. FAFC: Fast Adaptive Fuzzy AQM Controller For TCP/IP Networks // Y Hadjadjaoul, A. Nafaa, D. Negru, A. Mehaoua // IEEE GLOBAL Telecommunication Conference (29.11-3.12, 2004). - Dallas, Texas, USA, 2004. - Pp. 95-98

4. Chrysostomou, C. Fuzzy Logic Based Congestion Control in TCP/IP Networks for Quality of Service Provisioning / C. Chrysostomou, A. Pitsillides, G. Hadjipollas, A. Poly-carpou, M. Sekercioglu // Next Generation Teletraffic and Wired / Wireless Advanced Networking (NEW2AN’04) : Proceedings of the International Conference (2-6 February 2004, St. Petersburg). - St. Petersburg, Russia, 2004. -Pp. 235-243.

5. Chrysostomou, C. Fuzzy logic congestion control in TCP/IP tandem networks / C. Chrysostomou, A. Pitsillides // Computers and Communications (IEEE ISCC 2006) : Proceedings of the 11th IEEE Symposium (June 26-29, 2006, Cagliari). - Cagliari, Italy, 2006. - Pp. 123-129.

6. Chrysostomou, C. Using Fuzzy Logic Control to Address Challenges in AQM Congestion Control in TCP/IP Networks / C. Chrysostomou, A. Pitsillides // Workshop on Modeling and Control of Complex Systems (MCCS’05) : CD ROM Proceedings (June 30-July 1, 2005, Ayia Napa). - Ayia Napa, Cyprus, 2005. - 22 p.

7. Di Fatta, G. A genetic algorithm for the design of a fuzzy controller for active queue management / G. Di Fatta, F. Hoffmann, Lo Re G, A. Urso // IEEE Transactions on Systems, Man, and Cybernetics, Part C : Applications and Reviews. - 2003. - Volume 33, Issue 3. - Pp. 129-134.

8. Yaghmaee, M. H. A Fuzzy Based Active Queue Management Algorithm / M. H. Yaghmaee, H. A. Toosi // SPECTS’2003 : Proc. International Symposium on Performance Evaluation of Computer and Telecommunication Systems (July 20-24). -2003. - Montreal, Canada. - Pp. 458-462.

9. Гостев, В. И. Нечеткие регуляторы в системах автоматического управления / Гостев В. И. - К. : Радіоаматор, 2008. -972 с.

10. Гостев, В. И. Новый метод проектирования одного класса нечетких цифровых регуляторов / Гостев В. И. // Проблемы управления и информатики. - 2007. - № 6. - С. 73-84

11. Гостев, В. И. Новый метод проектирования одного класса нечетких цифровых регуляторов / Гостев В. И. // Автоматика-2007 : Матеріали XIV міжнародної конференції з автоматичного управління (10-14 вересня 2007 року, м. Севастополь). - Ч.1. - Севастополь : CНУЯЄ та П, 2007. -С. 122-132.

12. Гостев, В. И., Скуртов С. Н. Фаззи-системы активного управления очередью в сетях TCP/IP: монография // Гостев В. И, С. Н. Скуртов. - Нежин : ООО Видавництво «Аспект-Поліграф», 2011. - 464 с.

Стаття надійшла до редакції 14.03.2011.

Гостєв В І Після доробки 16.01.2012.

ПРОЕКТУВАННЯ ТРИРЕЖИМНОГО НЕЧІТКОГО РЕГУЛЯТОРА ДЛЯ СИСТЕМ АКТИВНОГО КЕРУВАННЯ ЧЕРГОЮ В ТСР/IP МЕРЕЖАХ

Викладені питання проектування трирежимного нечіткого регулятора при ідентичних трикутних функціях приналежності

з трьома термами для систем активного керування чергою в ТСР/IP мережах та представлена принципова схема регулятора в системі MATLAB.

Ключеві слова: проектування, нечіткий регулятор, функції приналежності, активне керування чергою, TCP/IP мережі, MATLAB.

Gostev V. I.

DESIGNING OF AN THREE-REGIME FUZZY CONTROLLER FOR SYSTEMS OF ACTIVE QUEUE MANAGEMENT IN TCP/IP NETWORKS

Questions of designing of an three-regime fuzzy controller are stated at identical triangular membership functions with three terms for systems of active queue management in TCP/IP networks and the basic scheme of controller in system MATLAB is presented Key words: designing, fuzzy controller, membership functions, active queue management, TCP/IP networks, MATLAB.

УДК 004.93 Гофман Є. О.1, Олійник А. О.2, Субботін С. О.3

1 Аспірант Запорізького національного технічного університету 2Канд. техн. наук, доцент Запорізького національного технічного університету 3Канд. техн. наук, доцент Запорізького національного технічного університету

СКОРОЧЕННЯ БАЗ ЛІНГВІСТИЧНИХ ПРАВИЛ НА ОСНОВІ ДЕРЕВ РОЗВ’ЯЗКІВ

Розглянуто завдання індукції лінгвістичних правил. Розроблено метод ідентифікації дерев розв’язків для індукції лінгвістичних правил. Створено програмне забезпечення на основі запропонованого методу Проведено експерименти по розв’язанню практичних задач, що дозволило дослідити ефективність запропонованого методу.

Ключові слова: дерево розв’язків, індукція правил, лінгвістичне правило.

ВСТУП

В наш час широке застосування отримали експертні системи, засновані на лінгвістичних правилах [1, 2], які успішно використовуються в різних прикладних областях, зокрема в технічному та медичному діагностуванні, фінансовому менеджменті, розпізнаванні образів, геологічній розвідці, керуванні комп’ютерними мережами, технологічними процесами, аналізі веб-контенту в інтер-нет та ін. Широке застосування таких систем обумовлене в першу чергу тим, що вони є прозорими й відносно дешевими в реалізації.

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

Існують різні методи індукції правил [3], однак ці методи при обробці правил аналізують їхню якість окремо, не розглядаючи та не враховуючи якість усієї бази в цілому, що приводить до одержання неоптимальних баз нечітких правил. Тому актуальною є розробка нових методів індукції правил, які враховували б якість усієї бази знань, а не тільки окремих правил. Для розв’язання даного завдання пропонується створювати дерева розв’язків [3-5], які б після їхньої побудови переводилися в лінгвістичні правила. Вибір дерев розв’язків обґрунтовується їхньою можливістю виявляти неспостережувані зв’язки всередині досліджуваних об’єктів, процесів і систем.

Метою даної роботи є розробка методу індукції лінгвістичних правил з використанням математичного апарата дерев розв’язків.

© Гофман Є. О., Олійник А. О., Субботін С. О., 2012

Для досягнення поставленої мети необхідно розв’язати такі завдання:

- огляд математичного апарату дерев розв’язків;

- приведення основних етапів ідентифікації дерев розв’язків відповідно до розв’язуваного завдання;

- створення правил перетворення дерев розв’язків у лінгвістичні правила;

- порівняння розробленого підходу з існуючими методами індукції лінгвістичних правил.

ПОСТАНОВА ЗАВДАННЯ

Нехай задана база лінгвістичних правил КБ = ^, R2..., RRN }, що описує об’єкти навчальної вибірки O = {й1, O2,..., ON }. Тоді на основі навчальної вибірки об’єктів O, необхідно сформувати таку базу лінгвістичних правил RB* = ^1, R 2,..., RRN *}, RN * << RN, яка забезпечувала б прийнятну якість прогнозування експертної системи, побудованої на основі отриманої бази лінгвістичних правил RB*:

^^8*) ^ Qthreshold,

де Q(RB*) - точність прогнозування або класифікації по

базі правил RB *; Qthreshold - мінімально припустима точність прогнозування або класифікації.

ДЕРЕВА РОЗВ’ЯЗКІВ

Дерева розв’язків являють собою графові інтелектуальні моделі, у внутрішніх вузлах яких розташовані функції прийняття рішень на основі значень вхідних змінних, а в зовнішніх вузлах (термінальних вузлах, листах) знаходяться значення вихідної змінної, відповідні до умов у внутрішніх вузлах [2, 6, 7].