CC BY
54
Богданов А.В., Муравьева Е.А., Сазонова Т.В.
Кумертауский филиал ОГУ E-mail: [email protected], [email protected]
МНОГОМЕРНЫЙ ЧЕТКИЙ ЛОГИЧЕСКИЙ РЕГУЛЯТОР С ОТРАБОТКОЙ ПРОДУКЦИОННЫХ ПРАВИЛ В СИТУАЦИОННЫХ ПОДПРОГРАММАХ
Предложено использование многомерного четкого логического регулятора с отработкой продукционных правил в ситуационных подпрограммах. Разработана структурная схема многомерного четкого логического регулятора на основе алгоритма функционирования.
Ключевые слова: схема алгоритма, четкие термы, система продукционных правил, многомерный четкий логический регулятор, технологический процесс.
Интерпретация входных и выходных переменных многомерных четких логических регуляторов (МЧЛР) совокупностью четких термов предоставляет широкие возможности для повышения их быстродействия с помощью anytime [2] и step-time [3] алгоритмов, позволяющих без потери адекватности управления в каждом цикле сканирования отрабатывать не всю, а только часть (5 ^10)% системы продукционных правил МЧЛР. Недостатком первого из них является необходимость с заданной периодичностью в начало системы продукционных правил с помощью специального программного блока располагать правила, у которых условная часть (антецедент) чаще принимала значение логической единицы. Во втором случае существенно усложняется процедура синтеза и отладки МЧЛР, т. к. для выработки актуального управляющего воздействия в режиме реального времени необходимо формировать уникальный идентификационный код. Предлагаемый МЧЛР лишен упомянутых недостатков.
На рисунке 1 представлена логическая схема алгоритма функционирования п-мерного четкого логического регулятора, состоящая из следующих программных блоков: п фаззифи-каторов (по одному для каждого контура регулирования МЧЛР); сканирования дискретных входных и выходных переменных объекта управления; ситуационных подпрограмм ((Д^СПП^ ^(Дп^СПП)).
Фаззификатор каждого из п контуров регулирования включает в себя: операторы условного перехода ((Тц=1) ^(Ti9^1)), где i - текущий контур регулирования МЧЛР; ((Д^ТЦ) ^(Д^Т9)) - регистры обращения к ситуационным подпрограммам; АЛ^ - оператор отработки аварийных ситуаций. Без утраты
общности рассуждений и для определенности принято входные и выходные переменные МЧЛР идентифицировать девятью четкими термами. Практика показывает [1], что в подавляющем большинстве случаев увеличение количества термов не приводит к существенному повышению качества регулирования.
Рассмотрим работу алгоритма, схема которого представлена на рисунке 1. Цикл сканирования программы, реализующей МЧЛР, начинается с отработки операторов условного пере-
Рисунок 1. Логическая схема алгоритма функционирования и-мерного четкого логического регулятора
хода, входящих в состав фаззификаторов контуров регулирования МЧЛР. Например, если в первом контуре четкий терм Т11 равен логической единице, то микропроцессор по ветке «1» переходит к оператору (Д1=Т11) и в регистр Д1 записывает адрес начала ситуационной подпрограммы СПП1. Если терм Т11 равен логическому нулю, то управление передается к оператору (Т12=1), который производит действия, аналогичные оператору (Т11=1) и т. д. аналогично вплоть до оператора (Т19=1).
Если окажется, что все термы (Т11 ^Т19) равны логическому нулю, то это говорит о некорректном задании диапазона фаззификации и управление передается оператору АЛ1ф с последующим сообщением о сбое в работе МЧЛР. В случае равенства одного из четких термов (Т11 ^Т19) логической единице микропроцессор переходит к аналогичной отработке фаззифи-катора второго контура регулирования, затем второго и т. д. до фаззификатора п-го контура.
Затем определяется текущее логическое значение дискретных входных и выходных переменных объекта управления (путевые датчики, кнопки управления, включение и выключение исполнительных органов и т. д.). Здесь же проверяется логическое состояние переменных, идентифицирующих аварийную ситуацию.
Цикл сканирования программы, реализующей МЧЛР, завершается отработкой блока ситуационных подпрограмм (СПП). Если предположить, что для интерпретации всех регулируемых переменных МЧЛР используется одинаковое число т четких термов, то общее количество СПП для рассматриваемого регулятора будет равно (пхт).
По своей логической природе каждая СПП представляет собой программную реализацию продукционного правила, которое необходимо отработать при равенстве логической единице одного из четких термов каждого регулируемого параметра МЧЛР. Отсюда следует, что при корректном задании диапазонов регулирования выходных переменных МЧЛР в каждом цикле сканирования микропроцессор отрабатывает п продукционных правил, то есть по одному правилу для каждого контура регулирования МЧЛР. Отметим, что в типовых многомерных нечетких логических регуляторах [1] в подобных ситуациях в каждом контуре отрабатывается вся система, насчитывающая десятки, а то и сотни продукционных правил.
В качестве примера на рисунке 2 представлена логическая схема алгоритма.
Алгоритм следует выполнить при равенстве логической единице четкого терма Т11 и антецедента Т12 -Х1- У2 + Т13 -Х2-У3)-Т11 продукционного правила:
Если ( Т12 ■ Х1- У2 + Т13 ■ Х2-У3)-Т11=1, то
^11, (1)
где Т12, Т - второй и третий четкие термы первого контура регулирования МЧЛР; Х1, Х2 - дискретные входные, а У2 и У3 - выходные переменные многосвязного объекта управления (МОУ).
Правило (1) реализовано в СПП1. Из рисунка 2 следует, что при равенстве условной части правила (1) логической единице регулируемой величине первого контура МЧЛР присваивается значение терма Z11. Затем производится дефаззификация и выдача четкого значения управляющего воздействия и1, соответствующего четкому терму Z11. В противном случае управляющее воздействие в рассматриваемом контуре не изменяется. Иначе говоря, в целях экономии памяти и повышения быстродействия регулятора в ситуационной подпрограмме совмещены процедуры логического вывода и де-фаззификации. Функционирование остальных ситуационных подпрограмм аналогично.
Поскольку условная часть правила(1)яв-ляется функцией двузначной логики, то для синтеза и минимизации ее структуры правомерно использовать средства алгебры Буля (синтез логических функций по их единичным значениям или с помощью последовательностных уравнений, минимизацию функций двузначной логики методом Квайна-Мак-Класки и т. д.). Это способствует сокращению сроков и повышению качества проектирования МЧЛР. Кроме того, независимо от сложности структуры антецедента продукционного правила, результатом его сканирования является один из термов регулируемой величины (рисунок 3), ширина которого определят погрешность регулирования. Поскольку минимальная ширина четкого терма определяется разрешающей способностью программируемого контроллера, на котором реализован МЧЛР, то становится ясно, здесь имеются практически неограниченные возможности для снижения погрешности регулирования.
Однако возможности схемы алгоритма на рисунке 1 для повышения быстродействия
МЧЛР значительно шире, поскольку в каждом цикле сканирования отрабатывается не вся система продукционных правил регулятора, а только одно правило, антецедент которого в данный момент равен логической единице. Причем для нахождения этого правил используется стандартная процедура обращения к подпрограмме, которая в настоящее время хорошо минимизирована по процессорному времени и объему памяти.
На основе алгоритма функционирования многомерного четкого логического регулятора разработана ее структурная схема [9] (рисунок 4), состоящая из четырех основных блоков: Ф - фаззификатора; СДП МОУ- сканирования дискретных входных (Х1 +Х) и выходных ( Y1 переменных многосвязного объек-
та управления, где 5 и £ - их количество соответственно; ОСПП - отработки ситуационных подпрограмм; МОУ - многосвязный объект управления с п регулируемыми параметрами.
Фаззификатор Ф имеет входы задающих воздействий (З1+З) и обратных связей (Р +Р). Его выход соединен с блоком СДП МОУ, на входы которого подаются дискретные входные (Х1 +Х) и выходные переменные ( Y1 объек-
та управления. Выход блока СДП МОУ соединен с входом блока ОСПП, выходные сигналы (и1+и1п) которого в аналоговом (четком) формате подаются на исполнительный орган многосвязного объекта управления.
Интерпретация г-ой регулируемой (Р.) и задающей (З.) переменных совокупностью из т четких термов приведено на рисунке 5, а. Из него следует, что в любой момент времени только один терм равен логической единице, причем тот, внутри которого в настоящий момент находится четкое значение Р{ и З.., что соответствует здравому смыслу. В свою очередь, из-за этого в системе продукционных правил, оперирующей четкими термами, в любой момент времени только у одного правила антецедент равен логической единице. Именно эти фундаментальные свойства рассматриваемых совокупности четких термов и системы продукционных правил является теоретической основой повышения быстродействия и снижения погрешности МЧЛР.
Аналитически базовое терм-множество, изображенное на рисунке 5, а, можно представить следующим выражением:
^ Начало ^
■О
^=^1
Дефаззификация I
Выдача и1
Рисунок 2. Программная реализация продукционного правила(1)
Т12 X.У, Тіз X, У3 Т 1
то
М@і) ^іі;
0
г,1 г.
Рисунок 3. Схема отработки продукционного правила (1)
Рисунок 4. Структурная схема многомерного четкого логического регулятора
ц1(Р1; Зі)
Гіі
Т., .
Т1п
Рі1 Р12 Рі(т-1) Ріт Р1(31)
а)
ц(хі, У^ 1
хі; Уе
б)
Рисунок 5. Функции принадлежности четких термов (а) и дискретных переменных (б) многомерного объекта управления
Т(Р)={Т,(0 р <1), Т2(1 р < 21), Т3(21 Р < 31), ..., Т((1-1)1 р < П), Тт((т-1)1 р < т1)},
(2)
где I - ширина четкого терма.
Однако на практике выражение (2) удобнее использовать в следующей форме:
т т
Т(р)= Ът((г-1)1 й р < а) = £т('0. (3)
!=1 !=1
Функция принадлежности дискретных входных (Х) и выходных ( Yg) переменных объекта управления представлена на рисунке 5, б. И она может принимать два логических значения:
[1, если X] или ув включены;
Ф] илиУв)= \ (4)
[0, если X] или ув отключены.
Из рисунков 5, а и б, а также формул (2 - 4) следует, что четкие термы и дискретные сигналы имеют единую логическую природу - они являются аргументами двузначной логики, что является теоретическим обоснованием для совместного использования их в продукционных правилах.
Произведем количественную оценку снижения времени сканирования программы, реализующей МЧЛР, по сравнению с типовым нечетким регулятором. Время, необходимое для выполнения одного цикла сканирования фаззифи-каторов для предлагаемого нечеткого регулятора, равно
тФп=Ё (т«А+^)>
(5)
где т.ф - количество продукций, отработанных в текущем цикле сканирования г-го фаззифика-тора п-мерного четкого логического регулятора; £$, гф,- длительность отработки условной и заключительной частей продукционного правила г-го фаззификатора соответственно (предполагается, что и, гф, являются постоянны-
У1 -з1
ми величинами).
Для подавляющего большинства программируемых контроллеров [1], на которых реализованы МЧЛР гф= г|=Соп8^ а т1ф=0,2т. Здесь т{ - число продукционных правил в г-м фаззификаторе МЧЛР (г=1 +п). С учетом приведенных условий и при т=т=СопЬ$ для всех фаззификаторов МЧЛР выражение (5) принимает следующий вид:
Тфп = п(0,2т + 1)$, (6)
При тех же условиях, что и для выражения (5) продолжительность цикла сканирования
системы ситуационных подпрограмм (ССПП) определяется по формуле
Тспп = х (;уг+о (7)
]=1
где ги г с1 - длительность отработки условной и заключительной частей продукционного правила ]-ой ситуационной подпрограммы соответственно (предполагается, что г^1, и, г “, являются постоянными величинами).
Для подавляющего большинства программируемых контроллеров [1, 5], на которых реализован МЧЛР 2гсп=Соп81, поэто-
му выражение (7) можно привести к следующему виду:
Тспп = 1,5п;“п. (8)
Общее время сканирования фаззификато-ров и ССПП предлагаемого МЧЛР равно сумме правых частей выражений (6) и (8):
Тсп=Тфп+Тспп=п(0,2т+2,5)Ьуп, (9)
где гт=4 = ^ СотЬ.
Аналогичным образом при тех же условиях выражение для продолжительности сканирования фаззификаторов и системы продукционных правил в типовом многомерном нечетком логическом регуляторе:
Т =4птЬ , (10)
ст ут’ 4 '
где гут - время сканирования условной части продукционного правила типового нечеткого регулятора.
Определим во сколько раз снизилось время сканирования в предлагаемом МЧЛР по сравнению в типовом многомерном нечетком регуляторе, в котором, как известно [1], в каждом цикле сканирования безусловно отрабатывается вся программа, реализующая фаззифи-кацию и регулирование. С этой целью при условии г =г разделим правую часть выраже-
уп ут г г г
ния (10) на таковую выражения (9):
4т
Кпб= 0,2т + 2,5 ’ (11)
где Кб - коэффициент повышения быстродействия предлагаемого МЧЛР.
Как следует из выражения (11) Кб не зависит от п и, например, при т=9 быстродействие МЧЛР по сравнению с типовым многомерным нечетким логическим регулятором повышается в 8,37 раза.
19.01.2012
Список литературы:
1. Гостев В.И. Проектирование нечетких регуляторов для систем автоматического управления. - СПб.: БХВ-Петербург, 2011 - 411 с.: ил.
2. Муравьева Е.А. Дискретно-логический регулятор с any-time алгоритмом минимизации времени отклика. // Электротехнологии, электропривод и электрооборудование предприятий. Уфа: Гилем, 2007. С. 63-65.
3. Муравьева Е.А., Антипин А.Ф. Многомерный дискретно-логический регулятор расхода воздуха парового котла с минимизацией времени отклика // Вестник УГАТУ. Серия «Управление, вычислительная техника и информатика», 2009, Т.13, №2(35). С.83-87.
4. Денисенко В.В. Компьютерное управление технологическим процессом, экспериментом, оборудованием. - М.: Горячая линия-Телеком, 2009. - 608 с., ил.
5. Круглов В.В., Дли М.И. Интеллектуальные информационные системы: компьютерная поддержка систем нечеткой логики и нечеткого вывода. М.: Физматлит, 2002.
6. Леоненков А.В. Нечеткое моделирование в среде MATLAB и Fuzzy TECH.-СПб.: БХВ-Петербург, 2005. - 736с.: ил.
7. Штовба С.Д. Проектирование нечетких систем средствами MATLAB. - М.: горячая линия - Телеком, 2007. - 288 с., ил.
8. Муравьева Е.А., Байманов И.Ф. Нечеткая система регулирования величины pH электролита в производстве хлора методом электролиза. // Автоматизация, телемеханизация и связь в нефтяной промышленности: Науч.-техн. Журнал. -М.: ОАО «ВНИИОЭНГ», 2008. №1.
9. Каяшев А.И., Муравьева Е.А., Габитов Р.Ф. Четкий логический регулятор для управления технологическими процессами Решение от 06.10.2011 года о выдаче патента на изобретение по заявке №2010105461/08(007677).
Сведения об авторах:
Богданов Артур Венерович, преподаватель кафедры электроснабжение промышленных предприятий Кумертауского филиала Оренбургского государственного университета, аспирант,
e-mail: [email protected] 453300, Республика Башкортостан, г. Кумертау, ул. Машиностроителей 3-84, 8(34761)3-12-68. Муравьева Елена Александровна, доцент кафедры автоматиз. технол. и инф. систем филиала УГНТУ
в г. Стерлитамаке, кандидат технических наук Сазонова Татьяна Васильевна, старший преподаватель кафедры электроснабжение промышленных предприятий» Кумертауского филиала Оренбургского государственного университета
e-mail: [email protected] 453300, Республика Башкортостан, г. Кумертау, 2-ой пер. Советский, 3б. (34761)21838
UDC 62.529 (075.8)
Bogdanov A.V., Muravieva E.A., Sazonova T.V.
Kumertau branch OSU, E-mail: [email protected], [email protected]
MULTIDIMENSIONAL ACCURATE LOGIC CONTROLLER ON THE SITUATIONAL SUBPROGRAMMES
Use of a multidimensional accurate accurate logic regulator on the testing of production rules in the situational subprogrammes is offered. The structural scheme of the multidimensional accurate logic regulator based on performance algorithm is developed.
Key words: scheme of algorithm, accurate therms, the system of production rules, multidimensional accurate logic regulator, technological process.
Bibliography:
1. Gostev V.I. Design of fuzzy controllers for automatic control systems. - St. Petersburg.: BHV-Petersburg, 2011 - 411 with. Ill.
2. Muravieva E.A. A discrete-logic controller with any-time algorithm to minimize the response time. // Electrotechnology, power and electric companies. Ufa: Gilem, 2007. S. 63-65.
3. Muravieva E.A., Antipin, A.F. Multidimensional discrete-logic control of air flow steam boiler with the minimization of response time // Herald USATU. Series, «Management, Computer Engineering and Computer Science», 2009, T. 13, №2 (35). P.83-87.
4. Denisenko V.V. Computer control of technological process experiment, equipment. - M.: Hotline Telecom, 2009. - 608 sec., Il.
5. Kruglov V.V., Dli M.I. Intelligent information systems: computer support systems of fuzzy logic and fuzzy inference. Fizmatlit, 2002.
6. Leonenkov A. Fuzzy modeling in MATLAB and Fuzzy TECH.-Petersburg.: BHV-Petersburg, 2005. - 736s. Ill.
7. Shtovba S.D. Design of fuzzy systems by means of MATLAB. - M.: Hot line - Telecom, 2007. - 288., Il.
8. Muravieva E.A. Baimanov I.F. Fuzzy control system the pH of the electrolyte in the production of chlorine by electrolysis. // Automation, telemechanization and communications in the oil industry: Scientific-Technical journal. - Moscow: «VNIIOENG», 2008. Number 1.
9. Kayashev A.I, Muravieva E.A., Gabitov R.F. The clear logic controller for process control solution from 06/10/2011 on the grant of a patent for the invention of the application №2010105461/08 (007 677).
