Full Text

Введение В настоящее время в соответствии с Указом Президента РФ[1] одним из приоритетных и перспективных направлений научно-технологического развития РФ является «переход к передовым цифровым, интеллектуальным производственным технологиям, роботизированным системам, новым материалам и способам конструирования, создание систем обработки больших объемов данных, машинного обучения и искусственного интеллекта». С целью реализации данной концепции во многих отраслях промышленности внедряются современные системы автоматизированного управления производством и системы поддержки принятия решений (СППР) при осуществлении технологических процессов. В сфере добычи углеводородного сырья такие системы высоко востребованы в процессах обслуживания и управления нефтегазодобывающими скважинами, нефтепроводами и другими технологическими объектами. 1. Анализ предметной области В процессе добычи нефти используется большое количество информационных систем, данные из которых надо учитывать при обслуживании технологического оборудования: - гидродинамические модели месторождений и цифровые модели добывающих скважин позволяют рассчитать оптимальный режим работы скважин; - системы автоматизированного управления (АСУТП) позволяют удаленно собирать текущие значения параметров работы оборудования и изменять режимы работы; - специализированные хранилища данных позволяют хранить историю изменения значений параметров большого количества установок в течение длительного промежутка времени, быстро обращаться к необходимым данным; - системы планирования ремонтов (ТОРО) позволяют хранить историю ремонтов оборудования, планировать будущие ремонты и закупку необходимых комплектующих. Другой особенностью процесса обслуживания нефтедобывающих скважин является высокая территориальная распределенность оборудования. Требование принятия решений по обслуживанию далеких от центральной инфраструктуры объектов, где зачастую отсутствуют все дешевые виды связи, влечет необходимость реализации СППР в виде мобильного приложения для операторов-обходчиков с возможностью работы без соединения с серверами. При этом вся работа со справочниками и интеграция с другими информационными системами должна осуществляться централизованно, поэтому для СППР требуется специальный сервер, обмен данными с которым будет происходить в начале и в конце обходов оборудования. Таким образом, диаграмма укрупненных потоков данных в такой СППР может выглядеть следующим образом (рис. 1). Наиболее массовыми видами применяемого насосного оборудования являются центробежный (ЭЦН) и штанговый глубинный (ШГН) насосы [1]. Основными параметрами работы этих насосов являются: нагрузка, загрузка, частота двигателя; буферное, линейное, затрубное давления; температура, сопротивление изоляции, вибрация, расход жидкости. Часть параметров может быть измерена автоматически и оцифрована, часть собирается вручную. Рис. 1. Информационные системы и основные потоки данных в процессе обслуживания технологического оборудования добычи нефти (авторские результаты) Наиболее частыми операциями по обслуживанию являются: скребкование, опрессовка труб, встряхивание изменением частоты и вращения, пропарка и ревизия нефтепровода и измерительных устройств, чистка и замена штуцера, поиск прорывов в нефтепроводе. Часть операций не может быть выполнена операторами лично и требует вызова специальных сервисных бригад. Основные входные и выходные информационные потоки при расчете рекомендаций показаны на схеме (рис. 2). Построение автоматизированной интеллектуальной системы поддержки принятия решений с учетом этих требований может быть осуществлено, например, с использованием нейронных сетей, лесов деревьев решений, нечеткой логики или алгоритмов классификации. Для обучения этих моделей необходимо в цифровом виде получить базу знаний или обучающую выборку, в которой должна быть зафиксирована связь между значениями параметров работы оборудования и совершенными ранее или необходимыми действиями операторов по обслуживанию технологического оборудования. Источниками таких данных могут стать существующие информационные системы, при наличии доступа к их архивам: Рис. 2. Описание СППР в нотации «черный ящик» (авторские результаты) - в системах ТОРО хранятся фактические данные по выполнению ремонтных работ, но не всех возможных операций обслуживания; - гидродинамические модели месторождений и модели скважин позволяют рассчитать оптимальный плановый режим работы (частоту двигателя, глубину спуска насоса) и получить его историю; - системы АСУТП и хранилища данных при наличии связи позволяют получить архив значений измеряемых и оцифрованных параметров работы скважин. Но история значений части параметров работы, которые не поддаются оцифровке или автоматический сбор которых на текущий момент является нецелесообразным, а также фактически выполненные действия операторов, не связанные с ремонтами, фиксируются посуточно только в бумажных журналах. Оцифровка достаточного количества журналов для подготовки репрезентативной обучающей выборки может оказаться весьма трудоемкой задачей. Генерация синтетической обучающей выборки потребует одновременно частичной оцифровки некоторых журналов, знаний технологов, разработки вспомогательного генератора и верификации полученных данных. Таким образом, нейронные сети или деревья решений, требующие для обучения числовую оцифрованную выборку, не подходят для решения поставленной задачи с учетом обозначенных ограничений. В случае, когда принятие решений по обслуживанию оборудования осуществляется людьми - экспертами из службы технологов, наименее ресурсозатратным способом получения знаний может быть интервью технологов. Результатом такого интервью является база знаний, состоящая из ограниченного набора правил вида «если …, то …», которые легко могут быть обработаны с помощью аппарата нечеткой логики. Нечеткая логика и ее методы нашли многочисленные применения в задачах моделирования и управления [2-4]. Для численной обработки экспертных правил в ней используются нечеткие множества, а логические операции над нечеткими множествами моделируются, например, с помощью предложенных Л. Заде нечетких конъюнкции xÙy = min(x,y) и дизъюнкции xÚy = mах(x,y) [5]. Преимущества использования нечеткой логики для решения поставленной задачи следующие: - малые трудозатраты на получение знаний; - обоснование явным образом получаемых результатов (какие конкретно правила привели к получению результата); - возможность проверки полноты БЗ на уровне лингвистических правил. Трудности использования нечеткой логики следующие: - построение объективных функций принадлежности/истинности; - выбор подходящих моделей логических операций; - проверка полноты и непротиворечивости БЗ на уровне функций истинности; - автоматическая корректировка знаний в процессе эксплуатации системы. 2. Матричный аппарат нечеткой логики Для решения указанных трудностей предлагается применить матричный аппарат нечеткой логики [6-8]. В нем используются модели логических операций, естественным образом обобщающие их «четкие» аналоги на область нечетких переменных и предикатов. Этот аппарат позволяет свести задачи нечеткого логического вывода к решению системы линейных алгебраических уравнений с известными условиями существования и единственности решений. 3. Векторное представление нечетких высказываний и переменных Под высказыванием A в обычной (четкой) логике понимают такое предложение, которое либо истинно, либо ложно. На совокупности всех высказываний можно определить функцию , принимающую значения в двухэлементном множестве {0, 1}, по следующему правилу: (1) Функция называется функцией истинности, а ее значения - логическим значением или значением истинности высказывания A. Под высказыванием в нечеткой логике понимается такое предложение, которое может принимать истинное значение с какой-то степенью уверенности. На совокупности нечетких высказываний можно определить функцию истинности , принимающую значения на отрезке [0, 1], равную степени уверенности в справедливости соответствующего высказывания. В матричном представлении [6] для описания степени истинности высказывания A вводится двухмерный вектор х. Если ввести базисные векторы e(0) и e(1), то вектор x может быть представлен в виде (2) причем компоненты вектора x - числа x0, x1 - удовлетворяют условиям (3) Сами базисные векторы е(0) и е(1) описывают высказывания со степенью уверенности 0 и 1 соответственно. Операции отрицания соответствует перестановка компонент вектора x: Логические операции над векторами - конъюнкцию, дизъюнкцию и импликацию - можно представить в матричном виде. Составим из компонент вектора х конъюнктивную С(х), дизъюнктивную D(х) и импликативную I(х) матрицы размером 2×2 [3]: (4) С помощью этих матриц логические операции над нечеткими векторами могут быть представлены в виде (5) где вектор y следует мыслить как матричный столбец 1×2, составленный из его компонент , а точка обозначает обычное матричное умножение. Результатом логических операций, сформулированных в таком виде, тоже будет нечеткий вектор. Детальное обоснование сделанного выбора матриц (4) представлено в работе [6]. 4. Нечеткие векторные предикаты В классическом подходе [5, 9] нечеткая переменная характеризуется нечетким подмножеством X некоторого универсального множества с функцией принадлежности , . Например, переменная «дебит жидкости большой» может характеризоваться функцией принадлежности, изображенной на рис. 3 красным цветом. Значение функции принадлежности может выступать как свойство некоторого объекта из множества . Такое описание хорошо подходит под определение предикатов, форма представления которых предложена в работе [6]. Нечеткий предикат - это векторная функция, заданная на множестве определения , принимающая значения в пространстве нечетких векторов , элементы которого описываются формулами (2) и (3), т.е. (6) (7) Рис. 3. Внешний вид функций принадлежности нечетких множеств, описывающих высказывания о размере суточного дебита жидкости Из определения предиката следует, что в качестве значения используется значение функции принадлежности нечеткой переменной , в то время как для выполнения условий (3) необходимо Операции над нечеткими предикатами сводятся к операциям над нечеткими векторами. 5. Нечеткий логический вывод Нечеткий логический вывод, или приближенные рассуждения - это процесс получения значений искомых нечетких переменных или предикатов по заданным значениям исходных переменных с использованием логических правил modus ponens вида «если …, то …», modus tollens и др. Предпосылки и выводы правил являются нечеткими понятиями. Совокупность всех правил представляет собой базу знаний, которая формируется человеком - экспертом в данной предметной области. Общие этапы логического вывода, а также примеры реализаций в «классической» формулировке нечеткой логики по алгоритмам Mamdani, Larsen и другим описаны во многих источниках (см., например, работы [2, 9]). В этом подходе предлагается задавать правила в базе знаний с помощью отношений x ® y = R, где матрица R должна быть эмпирически задана на множестве x´y (здесь знак «´» обозначает прямое произведение нечетких переменных x, y). Обобщение правила modus ponens на нечеткую логику, наиболее точно соответствующее операции импликации в четкой логике, предложено в работе [6]. Оно имеет аналогичное четкому варианту поведение в особых точках и учитывает факт связи между предпосылкой, следствием и степенью выполнения правила. Если известен нечеткий вектор , а также нечеткий вектор , определяющий нечеткость правила , то вывод о нечеткости вектора можно сделать из соотношений (4). Эта задача сводится к решению линейного алгебраического уравнения относительно неизвестного вектора , которое в случае импликативной модели имеет вид : (8) Как известно, линейная система имеет решение, если определитель матрицы коэффициентов не равен нулю. В данном случае мы должны потребовать, чтобы выполнялось условие (9) Иными словами, компонента истинности вектора не должна быть равна нулю. Тогда компоненты неизвестного вектора принимают значения (10) Полученное решение имеет смысл, только если обе компоненты вектора соответствуют условиям (3), поэтому, кроме условия (9), получаем дополнительно, что Отметим, что при и из формул (10) имеем известный результат правила modus ponens в четкой логике: Таким образом, в отличие от других моделей импликации, в этом подходе мы не только получаем нечеткий логический вывод, но и строго указываем область его выполнения. Аналогичным образом могут быть обобщены на область нечетких переменных и другие известные правила логического вывода [6]. 6. Матричная реализация нечеткого логического вывода с использованием нечетких предикатов В большинстве практических задач управления недостаточно вывода на основе отдельных высказываний, так как все правила формулируются на языке лингвистических переменных. В связи с этим предложено обобщение матричной реализации нечеткого вывода на область нечетких множеств, предикатов и лингвистических переменных. В качестве исходных данных используется база знаний, состоящая из правил вида «если …, то…», сформулированных на естественном языке, т.е. с использованием значений лингвистических переменных и , описывающих входной и выходной параметры соответственно. Для каждого правила должна быть указана степень истинности . Кроме того, должны быть установлены допустимые диапазоны значений входного и искомого параметров задачи (универсальные множества и ), заданы фактические четкие значения входного параметра . Лингвистические правила условно можно записать в виде зависимостей между значениями лингвистических переменных и , а также степенью истинности правил , (11) где используются следующие лингвистические переменные: - характеризует входной параметр ; - характеризует результат . Каждое правило имеет степень истинности . В общем случае матрица степеней нечеткости может быть многомерной. В случае, если нет правила, устанавливающего зависимость между значением входного параметра и значением результата , соответствующее значение равно . С помощью логических операций правила записываются следующим образом: . (12) Задача состоит в том, чтобы численно рассчитать значения параметра по заданному значению параметра . В первую очередь приводим четкое значение к нечеткому виду с использованием функций принадлежности нечетких множеств, формализующих все возможные значения лингвистической переменной . Другими словами, необходимо найти значения нечетких предикатов , задающихся функциями истинности . Правила (12) в матричной реализации операций над предикатами перепишутся следующим образом: , (13) где - степень фактической реализации правила с номером или степень истинности высказывания; - следствия данного правила. Решение этого уравнения имеет вид (14) где введено обозначение - дизъюнкция нечетких векторов по всем значениям индекса , которая возможна благодаря сохранению ассоциативных и дистрибутивных свойств. Чтобы найти четкое значение результирующего параметра, строят вспомогательную функцию . (15) В конце производится дефаззификация: . (16) Необходимо отметить, что, как было продемонстрировано выше, формула (14) не всегда дает результат, удовлетворяющий условиям (3). Это означает, что данное правило не может характеризовать величину искомого параметра при данном значении входного параметра . На практике в таком случае можно установить значение либо сообщить оператору о неполноте базы знаний. 7. Нечеткий логический автомат с памятью Описанный выше алгоритм нечеткого вывода можно рассматривать как комбинационную логику или алгоритм принятия решений на основании информации о текущем состоянии объекта. Для анализа истории изменения параметров объекта (ретроспективной информации), как требуется в процессе обслуживания технологического оборудования нефтедобычи, популярным решением является применение логических автоматов с памятью. При этом для одновременнго использования знаний экспертов требуется применение нечеткого автомата с памятью [10, 11]. Однако при конкретной реализации таких автоматов встречаются трудности, связанные с тем, что «память» автомата задается неявно с помощью введения «состояний» автомата и переходов между ними. Ввиду этого при решении задач необходимо делать выбор оптимального числа состояний, как это обсуждается, например, в работе [12]. Кроме того, сложность вызывает построение функций истинности нечетких состояний. Для решения этой проблемы предлагается новая модель нечеткого автомата с памятью в виде нечеткой комбинационной схемы, анализирующей содержимое внешнего блока памяти. При этом результат работы такой модели должен соответствовать результатам работы нечеткого автомата. Для построения этой модели проанализируем алгоритмы работы четких автоматов и комбинационных схем, а также нечетких автоматов в их обычном представлении. 8. Представление «четкого» автомата в виде модифицированной комбинационной схемы Как известно, логические («четкие») автоматы с памятью (см., например, [13; 14]) описываются кортежем , где - набор возможных значений (алфавит) входных переменных, - алфавит выходных сигналов, - набор состояний автомата, а и - функция переходов и функция выходов соответственно: , где - конкретные значения входных параметров, состояний и выходов в момент времени . Для конечных автоматов каждый из алфавитов является конечным. В конкретных приложениях используются автоматы с конечной памятью (АКП), понятие о которых приведено в работе Брауэра [13]. Работа таких автоматов оказывается эквивалентной отображению вида (17) где - значения входных переменных; - значения выходных переменных; и - конечные положительные целые числа, Легко видеть, что отображение (17) для конечного автомата может быть реализовано с помощью комбинационной схемы (КС), анализирующей внешний блок памяти (ВБП). В текущий момент времени в ВБП хранится совокупность аргументов отображения (17) , , а роль комбинационной схемы состоит в том, чтобы в зависимости от содержания ВБП определить значение выходной переменной в соответствии с формулой (17). Далее мы ограничиваемся более простым, но практически важным случаем, когда отображение (17) имеет вид формулы (18). Применение развиваемого подхода для более общего случая, соответствующего зависимости (17), не представляет особых затруднений. . (18) Это значит, что для работы КС в блоке памяти достаточно сохранять значения только входных переменных в текущий момент времени и в предшествующие моменты времени Далее параметр будем называть «глубиной» памяти входных переменных. Содержание памяти обновляется на каждом шаге по алгоритму FIFO (First Input, First Output - первый вошел, первый вышел). Комбинационная схема анализирует набор значений входных переменных и сопоставляет ему определенное значение выходной переменной . Таким образом, если память четкого логического автомата конечна, то можно поставить в соответствие ему четкую комбинационную схему, анализирующую внешний блок памяти. Пример такого сопоставления приведен в работе [15]. 9. Алгоритмическая модель нечеткого автомата Будем исходить из того, что в основе модели нечеткого автомата с конечной памятью (НАКП) лежит некоторый четкий автомат с конечной памятью (АКП). Для описания этого АКП вводятся переменные , принимающие значения на конечных множествах ( , , ). Для АКП также считаются известными автоматные функции , которые могут быть заданы табличным способом. Далее, при переходе к модели нечеткого автомата, множества мы будем считать «универсальными» множествами, на которых будут задаваться нечеткие подмножества, описывающие лингвистические переменные. Для описания НАКП введем «лингвистические» переменные: , где - входная и выходная переменные, а - переменная состояния. Каждая из величин , и принимает значения из наборов , соответственно. Величины количественно описываются нечеткими подмножествами введенных выше универсумов соответственно с помощью функций принадлежности , или . Далее мы будем отождествлять лингвистические переменные и описывающие их нечеткие множества. Алгоритм работы нечеткого автомата формулируется на языке лингвистических переменных. Переходы между состояниями автомата и значение выходного сигнала выражаются нечеткими автоматными функциями , . (19) Как и в случае четкого конечного автомата, функции и могут быть заданы табличным методом. Эти таблицы совпадают с аналогичными таблицами автоматных функций четкого автомата, но с тем отличием, что как в заголовки таблиц, так и в их ячейки должны быть подставлены соответствующие лингвистические переменные. Автоматные функции НАКП могут быть заданы и с помощью более кратких индексных обозначений: (20) где введены матрицы переходов и выходов автомата, компоненты которых принимают значения, равные 0 или 1 в соответствии с заданными конкретными правилами «если …, то…». В таком же виде могут быть выражены автоматные функции и АКП. Логические связки между нечеткими множествами могут быть реализованы как по известным правилам, введенным Заде [5], так и нечетким логическим выводом в матричной реализации. В случае автомата Мура выходной сигнал определяется только текущим состоянием автомата и правила (20) сводятся к следующему виду: . (21) Отметим, что состояния нечеткого автомата описываются с помощью лингвистической переменной . Значения этой переменной задаются нечеткими подмножествами универсального множества состояний , включающего все состояния АКП, и функциями принадлежности Ввиду этого можно сказать, что у НАКП с разной степенью активны сразу несколько состояний соответствующего ему АКП, причем степень активности определяется функцией . Для численной реализации работы НКАП будем считать, что в текущий момент времени известны параметры . Практически входные и выходные параметры нечеткого автомата (как и у четкого) задаются некоторыми «четкими» числами. Например, на входе автомата это показания датчиков, а на выходе номер принимаемого решения из списка по обслуживанию оборудования. Отличие нечеткого автомата от «четкого» заключается в использовании другого алгоритма преобразования входного сигнала в выходной. Вычислительная процедура строится следующим образом. Для заданных значений с помощью функций определяем их степени принадлежности нечетким множествам (либо степени истинности векторных предикатов в матричном представлении), которые представляют собой некоторые наборы чисел, лежащих на отрезке . Для вычисления величин воспользуемся матричным алгоритмом нечеткого вывода. По аналогии с формулой (15) введем вспомогательные функции : ; (22) где использованы нечеткие векторные предикаты . (23) С помощью этих функций производим дефаззификцию: (24) На этом завершается обработка значения входного сигнала, и автомат ожидает поступление на вход следующего сигнала. 10. Модифицированная нечеткая комбинационная схема Алгоритм работы МНКС определяется набором правил, сформулированных экспертом на языке лингвистических переменных и , соответствующих входным и выходным параметрам (введение лингвистической переменной состояний здесь не требуется). Они имеют значения , , которые количественно описываются функциями и (пример функций см. на рис. 3). Входные и выходные параметры принимают значения на универсальных множествах , так что , . В момент времени на вход комбинационной схемы подается последовательность значений входного параметра за некоторый промежуток времени . Значение выходного сигнала задается некоторой функцией Для дальнейшего использования перепишем ее в виде индексной записи: . (25) Функциональная зависимость задается правилами вида «если …, то …» и в терминах логических операций над нечеткими множествами может быть сформулирована в индексной записи следующим образом: . (26) Значения компонент матрицы выходного сигнала определяются заданными правилами «если …, то …». Количественная реализация МНКС сводится к нахождению параметра по заданной последовательности значений входного параметра . По этим величинам входного параметра находим значения функций принадлежности для всех значений входной лингвистической переменной a , которые являются некоторыми числами из отрезка . Для вычисления в соответствии с матричной реализацией нечеткого вывода строим вспомогательную функцию , имеющую следующий вид: (27) С помощью этой функции производим дефаззификацию: . (28) На этом завершается обработка очередного значения входного сигнала, и МНКС ожидает поступление на вход следующего сигнала. 11. Построение интеллектуальной системы поддержки принятия решений Описанный выше математический аппарат позволяет строить интеллектуальные системы поддержки принятия решений, учитывающие одновременно и историю изменения параметров объекта, и лингвистические экспертные правила формирования решений. Для определения перечня функций информационной системы построены детальные модели бизнес-процессов нижнего уровня, выполняемые в рамках обслуживания технологического оборудования, диаграммы потоков информации, схемы клиент-серверного взаимодействия, внутренней структуры мобильного приложения оператора (рис. 4). Для выбора рациональной архитектуры информационной системы и документирования построена логическая модель ПО и предметной области на языке UML. Рис. 4. Компоненты и потоки данных мобильной части информационной системы Для численного описания лингвистических понятий и нечетких предикатов на основании экспертных оценок построены функции истинности (см. рис. 3), которые в процессе тестовой эксплуатации постоянно актуализировались. Для реализации алгоритма работы подсистемы поддержки принятия решений использован матричный нечеткий логический вывод на основании векторных предикатов и модифицированная нечеткая комбинационная схема, как показано выше. Полученное в результате ПО «МИРМ» было внедрено в рамках пилотного проекта на нескольких нефтяных месторождениях Пермского края. По результатам работы получены положительные отзывы от специалистов-нефтяников. Кроме того, в ходе пилотной эксплуатации системы собраны цифровые данные о работе оборудования и действиях операторов, позволяющие обучать другие виды интеллектуальных моделей. Заключение Привлекательность матричного подхода нечеткой логики обусловлена следующим: 1. Естественным образом обобщает логические операции на область нечетких переменных и во многих случаях адекватно моделирует нечеткие рассуждения. 2. Позволяет производить нечеткий логический вывод с использованием правил modus ponens, modus tollens и других путем решения линейных алгебраических уравнений. 3. Позволяет проверять базу знаний на полноту с использованием точных границ области существования логического вывода. Предложенная модель работы нечеткого логического автомата в виде модифицированной комбинационной схемы позволяет: 1. Анализировать одновременно и экспертные знания, и историю изменения значений параметров объектов. 2. Избежать использования трудноформализуемого понятия нечеткого состояния и упростить построение нечетких алгоритмов с памятью.

About the authors

I. P Seletkov

Perm State University

References

Statistics

Views

Abstract - 54

PDF (Russian) - 68

Refbacks

• There are currently no refbacks.