Scientific journal
Modern high technologies
ISSN 1812-7320
"Перечень" ВАК
ИФ РИНЦ = 1,021

METHODOLOGY FOR THE FORMALIZED PRESENTATION OF THE ALGORITHMS OF CONTROL OF CYCLIC PROCESSES

Bagdasaryan R.Kh. 1 Levchenko V.I. 1
1 Kuban State Technological University
В статье рассмотрены особенности построения систем управления дискретными процессами, в том числе и циклическими, на основе применения позиционной стандартной структурной организации. Дано описание языка циклических процессов (ЯЦП), рассмотрены особенности составления алгоритмов управления средствами ЯЦП и перехода от формализованного описания к структуре управляющего устройства. Объектом управления является некий агрегат, предназначенный для реализации технологического процесса, оснащенный необходимыми исполнительными механизмами и датчиками. Сам объект управления и технологический процесс являются дискретными, соответственно, исполнительные механизмы и датчики также работают в дискретном режиме. Циклический режим функционирования объекта управления предполагает повторение определенной последовательности ряда технологических операций. Переход от одной операции к другой осуществляется либо по сигналам от технологических датчиков и/или органов ручного управления, либо по истечении определенного времени с начала предшествующей операции, в общем случае – при истинности некоторого заранее определенного логического условия. В системах управления циклическими процессами существуют два основных режима работы: циклический и наладочный, различие между которыми заключается в способе формирования условия перехода от одной операции к другой.
In the article features of construction of control systems of discrete processes, including cyclic ones, based on the application of the positional standard structural organization are considered. The description of the language of cyclic processes (LCP) is given, features of compiling algorithms for controlling the LCP facilities and transition from the formalized description to the structure of the control device are considered. The object of control is a certain unit, intended for the implementation of the technological process, equipped with the necessary actuators and sensors. The object of control and the technological process are discrete, respectively, the actuators and sensors also operate in a discrete mode. The cyclic mode of operation of the control object involves the repetition of a certain sequence of a number of technological operations. Transition from one operation to another is carried out either by signals from process sensors and / or manual controls, or after a certain time from the beginning of the previous operation, in general – with the truth of some predetermined logical condition. In cyclic process control systems, there are two main operating modes: cyclic and commissioning, the difference between which lies in the way the transition condition is formed from one operation to another.
algorithm
management
methodology
cyclic processes
control formula
formal description

Под системой автоматического управления обычно понимают совокупность объекта управления (ОУ) и управляющего устройства (УУ) с учетом всех существующих между ними связей, а также между данной системой и внешними по отношению к ней объектами. Объектом управления, как правило, является некий агрегат, предназначенный для реализации технологического процесса, оснащенный необходимыми исполнительными механизмами и датчиками. Управление такими объектами в настоящее время осуществляется с помощью программируемых логических контроллеров (ПЛК) или программируемых реле (ПР), в связи с чем актуальной является задача эффективной разработки соответствующих программ для них.

Циклический режим функционирования ОУ предполагает повторение определенной последовательности ряда технологических операций. Переход в циклическом процессе от одной операции к другой осуществляется либо по сигналам от технологических датчиков и/или органов ручного управления, либо по истечении определенного времени с начала предшествующей операции, в общем случае – в случае истинности некоторого заранее определенного логического условия.

Синтез системы управления циклическим процессом предусматривает последовательное решение трех основных задач:

1) проектирование ОУ – выбор и установка исполнительных механизмов и датчиков;

2) разбиение объекта на подобъекты и описание условий работы каждого подобъекта в заданном циклическом процессе с учетом взаимных связей между подобъектами;

3) построение для каждого подобъекта структуры управляющих устройств: устройство управления циклическим процессом и устройство управления наладочным процессом.

Описание условий работы ОУ должно, с одной стороны, быть формализованным и тем самым допускать применение регулярных методов синтеза дискретных управляющих устройств, с другой стороны, иметь достаточную наглядность и удобство использования. Как показывает опыт, применение для этих целей классических методов описания условий работы дискретных устройств – таблиц включений и таблиц переходов – связано с чрезвычайно трудоемкой процедурой и практически нецелесообразно. Использование же стандартной структурной организации управляющих устройств, реализуемой из типовых функциональных блоков с регулярными связями между ними, обусловливает и применение специальных способов описания условий работы, ориентированных на стандартную структурную организацию, что выгодно отличается от классической теории автоматов [1, 2].

Описание, которое в этом случае называют структурно-ориентированным, составляют таким образом, чтобы определенные языковые конструкции (части описания) однозначно соответствовали функциональным блокам стандартной структуры и связям между ними. Это предельно упрощает переход от описания условий работы к структуре управляющего устройства. Разумеется, при этом может производиться и оптимизация каких-либо структурных характеристик, однако только в рамках заданной структурной организации.

Цель исследования

Целью работы является выявление особенностей синтеза управляющих устройств для управления дискретными процессами.

Синтез управляющего устройства по позиционной стандартной структурной организации [3] удобно проводить по схеме, показанной на рисунке.

bagdas1.tif

Блочная позиционная управляющая структура

Устройство управления состоит из трех основных блоков: блока условий переходов БУ, блока индикации операций БИО и блока выходов БВ.

Блок условий БУ преобразует набор входных сигналов:

{α} – внешние входные сигналы, набор которых определяет реализуемую программу и сохраняется неизменным при ее выполнении;

{β} – сигналы ручного управления;

{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 содержит знаки связи – строчные стрелки (bag01.wmf), знак разветвления ({), надстрочные стрелки (bag02.wmf), а также вспомогательные знаки переноса ( – ) и конца ( ; ).

Операторы A1, …, As означают воздействие на объект управления и устройство управления временными задержками в результате изменения значений некоторых дискретных сигналов Z1, … , Zn и U1, … , Uk. То есть сигналы, в результате изменения которых начинается выполнение очередной операции процесса, сопоставленной данному оператору Ai, перечисляются в верхнем индексе данного оператора Ai с указанием новых значений, которые они принимают. Например, если для оператора A2 сигнал Z1 меняет значение с Z1 = 0 на Z1 = 1, а Z3 = 1 на Z3 = 0, то оператор имеет вид bag03.wmf.

Частным случаем оператора является «пустой» оператор, который обозначается как bag04.wmf, он соответствует операции, при выполнении которых нет воздействия ни на какие сигналы Z1, … , Zn и/или U1, … , Uk, однако «пустой оператор» может быть выключающим по отношению к другим операторам формулы.

Операторы A1, …, As делятся на безусловные и условные. Безусловный оператор характеризуется некоторым изменением значений Z1, … , Zn и/или U1, … , Uk, которое происходит всегда при его действии. Условный оператор отличается тем, что при его действии изменение значений Z1, … , Zn и/или U1, … , Uk зависит еще от дополнительных логических условий, которые указываются в квадратных скобках в верхнем индексе данного оператора перед теми переменными, изменение которых будет происходить только в случае истинности данного условия. Например, если при действии оператора A2 переменная Z1 изменяется всегда, а переменная Z3 только в случае истинности дополнительного условия Q1, то условный оператор записывают в виде bag05.wmf.

Логические условия Q1, … , Qr зависят в общем случае от переменных x1, … , xm; α1, …, αg; β1, … , βh (рисунок) и выражаются с помощью некоторых элементарных логических функций: комбинационных и/или последовательностных.

Алфавит ЯЦП содержит также строчные стрелки для обозначения перехода от логического условия к оператору при описании отношения включения [3]. Строчные стрелки записывают в строку с символами логических условий и операторов. Стрелку, направленную вверх (^), называют выходной, а стрелку, направленную вниз (v), входной.

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

Знак разветвления применяют для обозначения отношения включения, когда от оператора Ai возможен переход к одному из множества операторов Aj1, … , Ajp. Он имеет форму открывающейся фигурной скобки, которая ставится после оператора:

bag06.wmf

Надстрочные стрелки применяют для обозначения отношения выключения. Нумерованную входную стрелку ставят над символом выключаемого оператора, а выходную стрелку – над символом выключающего оператора.

Знак переноса имеет вид тире, отмеченного номером.

Знак конца в виде точки с запятой ставят после тех операторов, которые не являются включающими по отношению к другим операторам.

Формулой ЯЦП называют запись, состоящую из нескольких строк, связанных между собой переходами.

Строкой называют горизонтальную цепочку символов из алфавита ЯЦП, которая удовлетворяет следующим условиям:

а) начальным символом строки может быть либо оператор начала 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].

Выводы

Рассмотренная методика позволяет достаточно быстро и эффективно производить разработку дискретных управляющих устройств. Практика использования ЯЦП для решения подобных задач подтвердила высокую эффективность рассмотренной методологии.