Под системой автоматического управления обычно понимают совокупность объекта управления (ОУ) и управляющего устройства (УУ) с учетом всех существующих между ними связей, а также между данной системой и внешними по отношению к ней объектами. Объектом управления, как правило, является некий агрегат, предназначенный для реализации технологического процесса, оснащенный необходимыми исполнительными механизмами и датчиками. Управление такими объектами в настоящее время осуществляется с помощью программируемых логических контроллеров (ПЛК) или программируемых реле (ПР), в связи с чем актуальной является задача эффективной разработки соответствующих программ для них.
Циклический режим функционирования ОУ предполагает повторение определенной последовательности ряда технологических операций. Переход в циклическом процессе от одной операции к другой осуществляется либо по сигналам от технологических датчиков и/или органов ручного управления, либо по истечении определенного времени с начала предшествующей операции, в общем случае – в случае истинности некоторого заранее определенного логического условия.
Синтез системы управления циклическим процессом предусматривает последовательное решение трех основных задач:
1) проектирование ОУ – выбор и установка исполнительных механизмов и датчиков;
2) разбиение объекта на подобъекты и описание условий работы каждого подобъекта в заданном циклическом процессе с учетом взаимных связей между подобъектами;
3) построение для каждого подобъекта структуры управляющих устройств: устройство управления циклическим процессом и устройство управления наладочным процессом.
Описание условий работы ОУ должно, с одной стороны, быть формализованным и тем самым допускать применение регулярных методов синтеза дискретных управляющих устройств, с другой стороны, иметь достаточную наглядность и удобство использования. Как показывает опыт, применение для этих целей классических методов описания условий работы дискретных устройств – таблиц включений и таблиц переходов – связано с чрезвычайно трудоемкой процедурой и практически нецелесообразно. Использование же стандартной структурной организации управляющих устройств, реализуемой из типовых функциональных блоков с регулярными связями между ними, обусловливает и применение специальных способов описания условий работы, ориентированных на стандартную структурную организацию, что выгодно отличается от классической теории автоматов [1, 2].
Описание, которое в этом случае называют структурно-ориентированным, составляют таким образом, чтобы определенные языковые конструкции (части описания) однозначно соответствовали функциональным блокам стандартной структуры и связям между ними. Это предельно упрощает переход от описания условий работы к структуре управляющего устройства. Разумеется, при этом может производиться и оптимизация каких-либо структурных характеристик, однако только в рамках заданной структурной организации.
Цель исследования
Целью работы является выявление особенностей синтеза управляющих устройств для управления дискретными процессами.
Синтез управляющего устройства по позиционной стандартной структурной организации [3] удобно проводить по схеме, показанной на рисунке.
Блочная позиционная управляющая структура
Устройство управления состоит из трех основных блоков: блока условий переходов БУ, блока индикации операций БИО и блока выходов БВ.
Блок условий БУ преобразует набор входных сигналов:
{α} – внешние входные сигналы, набор которых определяет реализуемую программу и сохраняется неизменным при ее выполнении;
{β} – сигналы ручного управления;
{x} – сигналы от датчиков, контролирующих состояние исполнительных механизмов ОУ и самого ОУ;
– в условия переходов Q1, …, Qr, являющиеся его выходными сигналами.
Блок индикации операций БИО представляет собой набор ячеек A1, …, As с выходами a1, … , as. В каждую ячейку с выходом ai входит RS-триггер Ti и необходимый набор логических элементов, с помощью которых осуществляется переключение этого триггера.
Блок выходов БВ представляет собой набор ячеек B1, … , Bn с выходами Z1, … , Zn. В каждую ячейку входит RS-триггер и те логические элементы, с помощью которых осуществляется переключение этого триггера.
Материалы и методы исследования
Описание условий работы дискретных управляющих устройств ориентировано на их структурную организацию, в частности позиционной стандартной структурной организации соответствует язык циклических процессов (ЯЦП) [3] и графы циклических процессов (ГЦП).
Язык циклических процессов содержит набор условных знаков (символов), составляющих его алфавит. Определенные сочетания символов образуют формулы ЯЦП, представляющие собой описания циклического процесса. Операциям циклического процесса сопоставляются операторы A1, …, As, каждый из которых соответствует определенному триггеру блока индикации операций БИО стандартной позиционной структуры (рисунок).
Для первичного запуска циклического процесса применяют оператор начала A0.
Между операторами процесса существуют бинарные отношения включения и выключения. Отношение включения заключается в том, что момент начала действия включаемого оператора Ak определяется истинностью некоторого логического условия Qj обязательно во время действия включающего оператора Ai. В свою очередь начало действия оператора Ak прекращает действие оператора Ai, таким образом, между операторами осуществляется отношение включения/выключения. Иными словами, оператор Ai является включающим по отношению оператора Ak, а оператор Ak является выключающим по отношению оператора Ai.
Описание циклического процесса должно предусматривать задание отношений включения и выключения для всех операторов A0, A1, …, As с ограничением, согласно которому оператор начала A0 может быть только включающим.
При реализации циклического процесса должны выполняться следующие условия:
1) если оператор Ai включает оператор Aj, то оператор Aj выключает оператор Ai;
2) исключается одновременное включение двух и более операторов (детерминированность процесса);
3) момент конца действия оператора сдвинут по времени относительно момента начала его действия (действие оператора не мгновенно).
Алфавит языка ЯЦП помимо символов операторов A0, A1, …, As и логических условий Q1, …, Qr содержит знаки связи – строчные стрелки (
), знак разветвления ({), надстрочные стрелки (
), а также вспомогательные знаки переноса ( – ) и конца ( ; ).
Операторы A1, …, As означают воздействие на объект управления и устройство управления временными задержками в результате изменения значений некоторых дискретных сигналов Z1, … , Zn и U1, … , Uk. То есть сигналы, в результате изменения которых начинается выполнение очередной операции процесса, сопоставленной данному оператору Ai, перечисляются в верхнем индексе данного оператора Ai с указанием новых значений, которые они принимают. Например, если для оператора A2 сигнал Z1 меняет значение с Z1 = 0 на Z1 = 1, а Z3 = 1 на Z3 = 0, то оператор имеет вид 
.
Частным случаем оператора является «пустой» оператор, который обозначается как 
, он соответствует операции, при выполнении которых нет воздействия ни на какие сигналы Z1, … , Zn и/или U1, … , Uk, однако «пустой оператор» может быть выключающим по отношению к другим операторам формулы.
Операторы A1, …, As делятся на безусловные и условные. Безусловный оператор характеризуется некоторым изменением значений Z1, … , Zn и/или U1, … , Uk, которое происходит всегда при его действии. Условный оператор отличается тем, что при его действии изменение значений Z1, … , Zn и/или U1, … , Uk зависит еще от дополнительных логических условий, которые указываются в квадратных скобках в верхнем индексе данного оператора перед теми переменными, изменение которых будет происходить только в случае истинности данного условия. Например, если при действии оператора A2 переменная Z1 изменяется всегда, а переменная Z3 только в случае истинности дополнительного условия Q1, то условный оператор записывают в виде 
.
Логические условия Q1, … , Qr зависят в общем случае от переменных x1, … , xm; α1, …, αg; β1, … , βh (рисунок) и выражаются с помощью некоторых элементарных логических функций: комбинационных и/или последовательностных.
Алфавит ЯЦП содержит также строчные стрелки для обозначения перехода от логического условия к оператору при описании отношения включения [3]. Строчные стрелки записывают в строку с символами логических условий и операторов. Стрелку, направленную вверх (^), называют выходной, а стрелку, направленную вниз (v), входной.
Выходную и входную стрелки для определенного перехода отмечают одним и тем же номером.
Знак разветвления применяют для обозначения отношения включения, когда от оператора Ai возможен переход к одному из множества операторов Aj1, … , Ajp. Он имеет форму открывающейся фигурной скобки, которая ставится после оператора:
Надстрочные стрелки применяют для обозначения отношения выключения. Нумерованную входную стрелку ставят над символом выключаемого оператора, а выходную стрелку – над символом выключающего оператора.
Знак переноса имеет вид тире, отмеченного номером.
Знак конца в виде точки с запятой ставят после тех операторов, которые не являются включающими по отношению к другим операторам.
Формулой ЯЦП называют запись, состоящую из нескольких строк, связанных между собой переходами.
Строкой называют горизонтальную цепочку символов из алфавита ЯЦП, которая удовлетворяет следующим условиям:
а) начальным символом строки может быть либо оператор начала A0, либо логическое условие, либо входная строчная стрелка;
б) конечным символом строки является либо выходная строчная стрелка (^), либо знак конца (;);
в) между начальным и конечным символами строки расположена последовательность, состоящая из чередующихся между собой символов операторов и логических условий.
Сама формула ЯЦП должна удовлетворять следующим условиям:
1) содержит хотя бы одну строку, начинающуюся с оператора начала А0, и хотя бы одну строку, заканчивающуюся знаком конца (;);
2) если строка, входящая в формулу, заканчивается знаком разветвления, то справа от него располагают строки, начальными символами которых могут быть либо логические условия, либо входные строчные стрелки;
3) строки, составляющие формулу, не должны содержать операторы с одинаковыми нижними индексами (кроме А0);
4) строки, составляющие формулу, не должны содержать входные строчные стрелки с одинаковым номером (иначе нарушается однозначность переходов).
Формула ЯЦП читается слева направо построчно, причем чтение начинают всегда с одной из строк, начальным символом которой является оператор А0.
Строку также читают слева направо от начального символа к конечному, причем входные строчные стрелки во внимание не принимают.
Со строки на строку переходят либо по строчным стрелкам, отмеченным одинаковыми номерами, либо с помощью знака разветвления, который стоит после оператора Аj. При этом переход осуществляется к той строке, начальное логическое условие которой истинно во время действия оператора Аj.
Свойства циклических процессов отражены в следующих особенностях формулы:
а) если операторы Аi и Аj связаны отношением включения-выключения, где Аi – предшественник, а Аj – последователь, то при чтении формулы всегда имеется переход от Аi к Аj;
б) если логическое условие, записанное после знака разветвления, приняло единичное значение, то включается первый оператор соответствующей строки и выключается оператор, стоящий перед знаком разветвления; переход к другим строкам после знака разветвления при этом невозможен, только при выполнении другого цикла, в котором истинным будет другое условие;
в) если оператор Аi не включает оператор Аj, но оператор Аj выключает оператор Аi, то над Аi и Аj ставятся соответственно входная и выходная надстрочные стрелки с одинаковым номером. В частности, над оператором, который расположен перед знаком конца, всегда стоит входная надстрочная стрелка, а над оператором, который вызывается любой момент при аварийном вмешательстве в процесс, всегда стоит выходная надстрочная стрелка;
г) если оператор Аi включает Аj, то в момент появления (истинности) логического условия, по которому начинает действовать оператор Аj, логическое условие, вызывающее оператор Аj, должно отсутствовать (быть ложным). В том случае, когда оператор Ap выключает оператор Aq, но Aq не включает Ap, из вершины Ap проводится пунктирное ребро в вершину Aq, которое не отмечается условием перехода.
Результаты исследования и их обсуждение
Методика построения устройств управления циклическими процессами, построенных по стандартной позиционной структуре, должно происходить в следующей последовательности выполнения этапов:
1) составление словесного описания технологического процесса в целом или по узлам с учетом циклического и наладочного режимов;
2) составление формализованного описания условий работы управляющего устройства на языке ЯЦП;
3) составление уравнений, описывающих логику работы блоков позиционной структуры (БУ, БИО и БВ);
4) составление структурных схем блоков управляющего устройства по полученным уравнениям;
5) реализация разработанного алгоритма средствами конфигурирования конкретного прибора (ПЛК или ПР) [4, 5].
Выводы
Рассмотренная методика позволяет достаточно быстро и эффективно производить разработку дискретных управляющих устройств. Практика использования ЯЦП для решения подобных задач подтвердила высокую эффективность рассмотренной методологии.
Библиографическая ссылка
Багдасарян Р.Х., Левченко В.И. МЕТОДОЛОГИЯ ФОРМАЛИЗОВАННОГО ПРЕДСТАВЛЕНИЯ АЛГОРИТМОВ УПРАВЛЕНИЯ ЦИКЛИЧЕСКИМИ ПРОЦЕССАМИ // Современные наукоемкие технологии. – 2018. – № 5. – С. 21-24;URL: https://top-technologies.ru/ru/article/view?id=36984 (дата обращения: 21.11.2024).