Раздел VI. Искусственный интеллект и нечеткие системы
УДК 004.896
Н.Н. Филатова, А.Г. Требухин
ГЕНЕРАЦИЯ РЕШАЮЩИХ ПРАВИЛ ДЛЯ ПРОЕКТИРОВАНИЯ ФУНКЦИОНАЛЬНЫХ СХЕМ СИСТЕМ АВТОМАТИЗАЦИИ
Описан алгоритм генерации непротиворечивых решающих правил для выбора рациональной альтернативы из множества функциональных схем системы автоматизации с использованием математического аппарата теорий нечеткой логики и приближенных множеств. Алгоритм позволяет проводить многокритериальную оценку сложных вариантов схем без заметного увеличения временной сложности по сравнению с оценкой одноконтурных схем. Сформулированы требования к обучающим множествам функциональных схем с учетом особенностей составляющих их цепей и области применения. Использование алгоритма позволяет упростить разработку схем автоматизации технологических объектов и улучшить качество проработки их проектных решений.
Функциональная схема; канал управления; приближенное множество; отношение неразличимости; решающее правило.
N.N. Filatova, A.G. Trebukhin
GENERATION OF DECISION RULES FOR THE DESIGN OF AUTOMATION SYSTEMS FUNCTIONAL SCHEMES
This paper describes a generation algorithm of consistent decision rules for selecting a rational alternative from set of automation system functional schemes with use mathematical apparatus of fuzzy logic and theory of rough sets. An algorithm allow to spend a multiobjective evaluation of elaborate schemes without noticeable increase in time complexity compared with an evaluation of single-loop schemes. The requirements to training sets of functional schemes taking into account its application and features of chains making them have been formulated. Algorithm allow to reduce time required for development of automation systems and improve the quality of their design decisions.
Functional scheme; control channel; rough set; invisibility relation; decision rule.
Введение. В последнее десятилетие наблюдается рост номенклатуры технических средств автоматизации, как на отечественном, так и на зарубежном рынках, что позволяет при создании нового технического решения в области автоматизации предварительно формировать и анализировать некоторое множество альтернативных вариантов схемы. Становлению новой стратегии проектирования мешает отсутствие автоматических средств формирования схемных альтернатив. Во всех известных САПР разработка функциональных схем проводится в интерактивном режиме, что делает этот процесс не эффективным с точки зрения проектировщика.
Построение решающих правил для автоматического формирования функциональных схем на основе заданной структурной схемы является актуальной задачей, способствующей повышению качества проектных решений.
Автоматическая генерация функциональных схем систем автоматизации. Впервые задача автоматической генерации описаний функциональных схем систем автоматизации была рассмотрена в работе [1]. Два вида правил, используе-
мых для решения этой задачи, более подробно описаны в [2]. Эвристические приемы, положенные в их основу, сформулированы в работах Ахремчика О. Л. и реализуют требования функциональной согласованности и ограничений на типы и диапазоны сигналов блоков, являющихся истоком и стоком каждой отдельной связи. Требования к технической реализации структурной схемы задаются в полном объеме, то есть каждому ее звену назначается свой блок.
В работе [3] рассмотрен алгоритм решения этой же задачи, но в более общей постановке - с не полностью заданными требованиями к технической реализации структурной схемы. В исходных данных может быть приведена только одна характеристика для каждого ее блока (для устройства управления может быть задан производитель, для датчика - измеряемая физическая величина и др.). Результатом генерации будет расширенное множество альтернатив функциональных схем. Для решения задачи компоновки цепей в этом случае введено понятие шаблона. Шаблон является описанием технической реализации одной базовой структуры.
На рис. 1 приведен пример генерации функциональной схемы системы сигнализации температур двух технологических объектов на основе структурной схемы «2ИП-РУ-ИУ» и множества из 10 шаблонов.
Структурная схема системы сигналиіации
Исходны« данные
Элемент структурной схемы Область поиска в БД ТСД
Все Ограниченное множество
ИП1, ИП? Д<нчики температуры
РУ {БК14, Термодаті?, Термодат14,ТРМ151}
ИУ1 Угтр-ва световой сишилидеции
ИП1.ИП2 длчмни.
РУ - регулятор,
ИУ - исполнительно«» устройство
Шаблоны (X) для реализации базовой структуры «ИП-РУ-ИУ»
(элементы, добавленные в шаблон автоматически, выделены жирным шрифтом): х1: ТГМ‘)Г.?Г)->БУСБ0-»РН1/5->ЯКМ->БУМ10-»й?ЛУ?:т х?: ТХК<ИН->БУТ10-»РН1/5-*ЬК11-»БУМ10-»В??0-?ад хЗ: ТСМ9620->БУС50->КБСЗ->БК14->БУМ 10->0220-230 х4: ТХК9414-»БУТ10-»К6СЗ-»КК14-»6УМЮ-»й;>?0-?30
х5:ТХК<Ж4-»Термрдат1?-»В??0-?30 х8: ТСМ9б?0-»Терм(у\ат14-»БУМЮ-»В??0-?30
хб:ТСМ9620-»Термодат12-»В220-230 х9: ТХК9414-»ТРМ151-»БУМ10-»В220-230
х7: ТХК9414-»Термодат14-»БУМ10->В220-230 хЮ: ТСМ9620-»ТРМ151-»БУМ10-»В220-230 Результат компоновки функциональной схемы ив шаблоне* х2 и х4
| ТХК%Д14~|—»| БУЛО ^
ТСМ0620 И БУС50 К—*
~Ь1 ЕЕьки и: ЬУМ10 к:
Рис. 1. Пример генерации функциональных схем
Виды правил для проектирования функциональных схем. Стратегия проектирования функциональных схем на основе предварительной генерации шаблонов предполагает создание правил, по меньшей мере, 4-х видов:
♦ Ки\е_С: генерации отдельной связи Бц между блоками ТСА ві и ец [1];
♦ Яи1е_£. компоновки шаблонов (Х^Бц)} на множестве связей Бц;
♦ Ки\е_Р: оценки перспективности шаблонов (X}
♦ Яи1е_К: компоновки контуров схемы на множестве шаблонов.
Эвристические правила Яиїе_С и Rule_Z являются наиболее универсальными
и обладают высокой точностью и полнотой. На основе эвристики Rule_Z создана процедура формирования множества шаблонов X, которое включает варианты решений, отличные по эффективности. Если ||Х|| не уменьшить, то с помощью правил Rule_K будет сформировано множество функциональных схем, включающее наряду с близкими к оптимальным и варианты c низкими показателями эффективности. Это приведет к дополнительным временным затратам у проектировщика при анализе альтернатив схем. Проблема выделения эффективных шаблонов и
создания средств для ее решения (Яи1е_Р) осложняется нечеткостью, определяющей характеристики «эффективный шаблон», «эффективная функциональная схема». Это вызвано тем, что до настоящего времени отсутствует исчерпывающий перечень характеристик схем автоматизации, позволяющий осуществлять их сравнение. Тем не менее, опытный проектировщик умеет решать эту задачу, опираясь на свойства схем, которые он может и не формализовать.
В статье рассматривается ситуация, когда эксперт оценивает качество каждого шаблона с использованием своих латентных знаний и формирует оценки обобщенного интегрального показателя й («хороший шаблон», «плохой шаблон»).
Задачу формализации знаний эксперта в виде правил Яи1в_Р можно решить методами теории приближенных множеств, позволяющей работать с неточными и противоречивыми исходными данными. Теория приближенных множеств предложена в начале 1980-х годов польским математиком Павлаком, который ввел понятие информационной системы [4]. Под информационной системой понимается пара Б=(и,Л), где и=(Х1г Х2,...,Хп} - непустое конечное множество объектов (обучающее множество), А=(а1, а2,...,ак} — непустое конечное множество атрибутов. Решающая таблица (система) - это информационная система вида 8=(и,Л^>{й}), где й - атрибут, называемый решением. Объекты принадлежат одному классу эквивалентности ШО({Лг}), если они не могут быть различимы с использованием атрибутов {Лг}. Нижнее приближение ЛХ множества X является объединением классов эквивалентности, все объекты каждого из которых входят в Х. Верхнее приближение АХ является объединением классов эквивалентности, хотя бы один объект каждого из которых относится к X. Множество Б№Л называется граничной (недостоверной) областью множества и состоит из объектов, которые нельзя уверенно отнести к X. Если для X верхнее и нижнее приближения совпадают, то Х — обычное множество [5]. Для приближенных множеств справедливы соотношения:
IX ^ X (1)
и \ IX (2)
БИа ^ возможно X (3)
Правило оценки перспективности шаблона может быть представлено как
X ={х: Решение(х)=Принять, Отклонить} (4)
Алгоритм генерации правил для оценки шаблонов. Для автоматической генерации правил вида (4) необходимо создать описание шаблонов, которое должно отражать их функциональные и структурные свойства: Л=У^О, где У - ограниченное число атрибутов ТСА, SО - параметры, характеризующие связи между блоками, включенными в шаблоны.
Учитывая широкое распространение многоканальных блоков, а также то, что все схемы автоматизации включают измерительные цепи, в множество У как минимум необходимо включить погрешность измерительного преобразователя и стоимость канала регулирования схемы (отношение стоимости используемого регулятора к числу его каналов). Среди параметров, характеризующих всю схему, мы выделяем в множество SО срок службы схемы и комплексный показатель ее технологичности. Срок службы схемы является временным интервалом, в течение которого ни один ее элемент не выйдет из строя.
Алгоритм генерации решающих правил вида (4) включает следующие шаги.
1. Формирование описания шаблонов схем. Мощность обучающего множества и равна числу шаблонов. Каждый из них описывается четырьмя атрибутами из Л и одним решающим атрибутом й.
Л={а1: Относительная погрешность измерительного преобразователя, а2: Срок службы схемы, а3: Комплексный показатель технологичности,
а4: Стоимость канала регулирования}.
Бинарный атрибут й может принимать значения «принять/отклонить шаблон», остальные атрибуты - количественные.
Работа алгоритма рассматривается на примере анализа множества из 10 шаблонов схем (см. рис. 1), описание которых приведено в табл. 1.
Таблица 1
Шаблон а1, % о су <3 а3, отн. ед. а4, руб. а
Х1 3 3 0,35 6800 1
Х2 5 3 0,34 6800 0
Хз 3 3 0,35 6800 1
Х4 5 3 0,34 6800 0
Х5 5 3 0,35 1800 0
Хб 3 3 0,35 1800 1
Х? 5 3 0,35 1800 0
Х8 3 3 0,35 1800 0
Х9 5 3 0,35 3100 1
Х10 3 3 0,35 3100 1
Для всех шаблонов критерий а2 имеет одно и то же значение, а критерий а3 изменяется в узких пределах - от 0,34 до 0,35. С помощью а1 и а4 можно распознать любой объект обучающего множества с тем же качеством, что и с полным набором атрибутов.
2. Фазификация критериев оценки шаблонов. Учитывая возможность ошибочных или неточных сведений в отношении ряда количественных характеристик блоков или цепей ТСА, в предлагаемом алгоритме осуществляется переход к качественным переменным.
Для унификации процедуры сравнения и интерпретации характеристик схемы вводится так называемая универсальная лингвистическая переменная «Атрибут а», значениями которой являются две нечеткие переменные 71:=«Желаемое значение а» и Т2:=«Не желаемое значение а». Для каждого критерия частотным методом формируется функция принадлежности Цт1(аі) и определяется нечеткое множество первого типа «Желаемое значение а;». Семантика понятий второго типа Т2 определяется правилом ¿иТ2(аі)=\-цТ1(аі).
В результате фазификации и использования операции объединения нечетких множеств, построенных для одной базовой переменной, можно получить лингвистические интерпретации описаний шаблонов.
Описание (та(х)) шаблона может быть представлено только с помощью значений ¡иТ1(а), каждое из которых определяет степень соответствия шаблона нечеткому множеству «Желаемое значение атрибута (а)».
3. Дискретизация атрибутов в описании (та(х)). Для упрощения процедуры анализа описаний шаблонов ко всем элементам (ma(xj)) применяется операция дискретизации. В табл. 2 представлены результаты фазификации критериев а1 и а4, а также дискретизации і(та1) и і(та4) значений элементов множества (ma(xj)).
Таблица 2
Шаблон ит1(а{) ит1(а4) і(та1) і( та4) а
Х1 0,914 0,102 1 0 1
Х2 0,779 0,102 0 0 0
Х3 0,914 0,102 1 0 1
Х4 0,779 0,102 0 0 0
Х5 0,779 0,852 0 2 0
Х6 0,914 0,852 1 2 1
Х7 0,779 0,852 0 2 0
Х8 0,914 0,852 1 2 0
Х9 0,779 0,622 0 1 1
Х10 0,914 0,622 1 1 1
4. Нахождение отношений неразличимости. Для новой решающей системы определяются отношения неразличимости 1ЛО, а также нижняя и верхняя границы соответствующего приближенного множества:
1ЛО(1(та1), ¿(та4)) = {х2, х4},{х9},{х5, х7},{х1, х3},|х10},{х6, х8},
АХ = {х9, х1, х3, х10}, АХ = {х9, х1, х3, х10, х6, х8},
ВЛА(X) = {х6, х8}, и \ АХ = {х2, х4, х5, х7}
5. Построение решающих правил. Используя множества АХ и АХ, по соотношениям (1-3) строятся решающие правила: производится переход от значений ¿(та) к соответствующим непрерывным диапазонам Ста{ и их дефазификация -нахождение диапазонов значений С; с учетом возрастания/убывания функции принадлежности. Результаты вычислений приведены в табл. 3.
Таблица 3
Мн- Шаб- і(таі), £та1 £та4 С^і (С~4 прин./
во лон і(та4) откл.
1 2 3 4 5 6
АХ Х9 0 ¿иТі(аі)<0,847 аі>4 (%) прин.
1 0,362<Дті(а4) <0,737 2486<а4<4536 (руб.)
АХ Х1, Хз 1 Цті(аі )>0,847 аі<4 (%) прин.
0 Мті(а4) <0,362 а4>4536 (руб.)
АХ Х10 1 Цті(аі )>0,847 аі<4 (%) прин.
1 0,362<^ті(а4) <0,737 2486<а4<4536 (руб.)
и\ЛХ Х2, Х4 0 ^ті(аі)<0,847 аі>4 (%) откл.
0 Мті(а4) <0,362 а4>4536 (руб.)
и\ЛХ Х5, Х7 0 ^ті(аі)<0,847 аі>4 (%) откл.
2 Ц.п(а4) >0,737 а4<2486 (руб.)
ЫЯА Х6, Х8 1 ^ті(аі)>0,847 аі<4 (%) не опре-
2 Ц.п(а4) >0,737 а4<2486 (руб.) делено
В столбце 6 приведены заключения правил. Для описания посылок можно использовать выявленные диапазоны значений функции принадлежности (столбец 4) или соответствующие им диапазоны значений атрибутов (столбец 5). Например, по шаблону х9 можно сформировать правило:
♦ с использованием посылки (столбец 4) «Если Относительную погрешность датчика можно считать желаемой с уверенностью меньше 0,847 и Стоимость канала регулирования можно считать желаемой с уверенностью 0,362-0,737, то шаблон принимается»;
♦ с использованием посылки (столбец 5) «Если Относительная погрешность датчика>4% и Стоимость канала регулирования от 2486 до 4536 руб., то шаблон принимается».
Результаты исследований. По определению и свойствам приближенных множеств, сформированные для одной решающей системы правила не будут противоречивыми. Анализ условий применения правил вида (4) для приведенного выше примера позволил выявить следующие закономерности:
♦ принимается любая схема шаблона со средней стоимостью канала регулирования, несмотря на погрешность датчика (АХ);
♦ принимается схема шаблона с большой стоимостью канала регулирования при условии высоких требований к точности датчика, то есть вводится ограничение на качество схемы при увеличении ее стоимости (АХ);
♦ отклоняется схема шаблона с высокой погрешностью датчика, если стоимость канала регулирования - слишком большая или слишком маленькая (иАХ);
♦ возможно принимается схема с дешевым регулятором и достаточно низкой погрешностью датчика (ВЛА).
Проведенные эксперименты позволили сформировать требования к составу выборок шаблонов: желательно формировать выборки, включающие в себя шаблоны с датчиками одной физической величины и исполнительными устройствами одного назначения.
Шаблону рабочего множества ставится в соответствие число от 0 до 1 - его «вес». Весовым значением может являться отличная от нуля минимальная нечеткая оценка одного из нескольких критериев, указанных в правилах, по которым шаблон принят к дальнейшему рассмотрению. Из набора шаблонов для дальнейшей генерации используются те, весовые значения которых не меньше заданного.
Заключение. Рассмотренный алгоритм генерации непротиворечивых решающих правил оценки схем шаблонов позволяет сократить число наименее перспективных вариантов функциональных схем при их автоматической генерации. Это происходит до их непосредственного формирования, что особенно актуально для принятия эффективных решений в реальном масштабе времени [6].
Предложенный подход можно использовать для реализации механизма автоматического расширения базы знаний САПР систем контроля и управления.
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
1. Филатова Н.Н., Ахремчик О.Л., Куприянов О.В. Автоматический синтез функциональных схем // Сб. докладов международной конференции «Знание-Диалог-Решение». KDS
- 2007 Varna, Bulgary. 2007. - С. 338-345.
2. Ахремчик О.Л., Филатова Н.Н., Бодрина Н.И. Система проектирования функциональных и принципиальных схем автоматизации // Труды международного конгресса по интеллектуальным системам и информационным технологиям «AIS-IT'09». - М.: Физмат-лит, 2009. - Т. 1. - С. 73-80.
3. Филатова Н.Н., Требухин А.Г. Структурный синтез схем автоматизации в условиях неполных требований к технической реализации // Известия Волгоградского государственного технического университета: Межвуз. сб. науч. ст. № 4(91) / ВолгГТУ. - Волгоград, 2012. (Сер. Актуальные проблемы управления, вычислительной техники и информатики в технических системах. Вып.13). - С. 72-79.
4. Pawlak Z. Rough Sets // International Journal of Information and Computer Science, 1982.
- № 11(5). - P. 341-356.
5. Вагин В.Н., Головина Е.Ю., Загорянская А.А., Фомина М.В. Достоверный и правдоподобный вывод в интеллектуальных системах / Под ред. В.Н. Вагина, Д.А. Поспелова.
- М.: Физматлит, 2008. - 712 с.
6. Бова В.В., Курейчик В.В. Интегрированная система гибридного и комбинированного поиска в задачах проектирования и управления // Известия ЮФУ. Технические науки.
- 2010. - № 12 (113). - С. 37-42.
Статью рекомендовал к опубликованию д.ф.-м.н., профессор А.В. Язенин.
Филатова Наталья Николаевна - Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Тверской государственный технический университет»; e-mail: nfilatova99@mail.ru; 170023, г. Тверь, пр. Ленина, 25; тел.: 84822444488; кафедра автоматизации технологических процессов; д.т.н.; профессор.
Требухин Алексей Геннадьевич - e-mail: trebuchin2010@yandex.ru; тел.: 84822357898;
кафедра автоматизации технологических процессов; аспирант.
Filatova Natalya Nikolaevna - Federal State Budget Educational Establishment of Higher Vocational Education «Tver State Technical University»; e-mail: nfilatova99@mail.ru; 25, Lenina avenue, Tver, 170023, Russia; phone: +74822444488; the department of automation of technological processes; dr. of eng. sc.; professor.
Trebukhin Alexey Gennadyevich - e-mail: trebuchin2010@yandex.ru; phone: +74822357898; the department of automation of technological processes; postgraduate student.