ISO БПИ – БГПА - БНТУ

Университет

Одно окно

Услуги

Обучение иностранных граждан

Работодателям

Вакансии

УНИВЕРСИТЕТ

Новости - Конференция МИДО

Акунович С. И., Гончаров А. А. ОБЪЕКТНО-СОБЫТИЙНЫЙ ПОДХОД К МОДЕЛИРОВАНИЮ АЛГОРИТМОВ УПРАВЛЕНИЯ ТЕХНОЛОГИЧЕСКИХ МАШИН

 

УДК 681.3.06: 685.51

 

ОБЪЕКТНО-СОБЫТИЙНЫЙ ПОДХОД К МОДЕЛИРОВАНИЮ АЛГОРИТМОВ УПРАВЛЕНИЯ ТЕХНОЛОГИЧЕСКИХ МАШИН

Акунович С. И., Гончаров А. А.

Белорусский государственный технологический университет

Белорусский национальный технический университет

Для всё усложняющегося технологического оборудования больший и больший вес приобретает применение IT-технологий при проектировании и реализации сложных управляющих устройств этим оборудованием. Предлагается способ проверки логических описаний таких устройств при проектировании и реализации процесса управления. Может быть использован при разработке и диагностировании управляющих программ.

Введение

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

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

Традиционно процесс создания сложных технических объектов, устройств состоит из нескольких этапов, важнейшим из которых является проектирование. Результатом этого этапа является проект некоторого изделия, устройства или технологической машины (ТМ).

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

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

Определение 1. Некоторый проект Р, погружённый в среду мультимедийной системы SYS и дополненный специальными объектами и органами управления, назовём моделью проекта Р в SYS или гиперпроектом GP. Последний представляет собой отображение декартова произведения множеств Р и SYS, то есть P х SYS —> GP, где Р и SYS определены выше;

GP ={PGP1, PGP2, ..., PGPi1, ..., PGPI1} — множество объектов, называемых папками гиперпроекта; PGPi1 = {SGPi1,1, SGPi1,2, ..., SGPi1,i2, ..., SGPi1,I2} — i-я папка гиперпроекта, состоящая из множества объектов SGPi1,I2, называемых его страницами, причём {SGPI3 } включается в GP, а I3 — мощность этого множества; I1 — мощность множества страниц i1-й папки; SGP={TP, TDO, IL, PR, DGO, DOD, SC, ME, ORU} — i2-я страница папки PGPi1 гиперпроекта GP, состоящая из множеств (может быть и пустых), называемых текстовые поля TP, текстовые динамические окна TDO, рисунки (графики, чертежи и т.д.) IL, процессы PR, динамические графические окна DGO, диалоговые окна ввода-вывода данных DOD, сценарии SC, меню ME, органы управления ORU.

Известно, что если технологическое оборудование (или ТМ) можно представить в виде двух взаимодействующих частей — устройства управления (УУ) и объекта управления, то эти части проектируют различные службы и специалисты [2]. Проектирование УУ состоит из нескольких этапов : алгоритмического (создание алгоритмов управления и функционирования), логического (разрабатывается логическая структура УУ) и технического ( схемотехнического).

В условиях всё усложняющихся УУ, использование программируемых контроллеров (ПК) всё больший удельный вес приобретают первые два этапа. Например, в [3] приводится таблица экспериментальных данных, свидетельствующая о том, что на них затрачивается до половины трудоёмкости на создание средств управления. При этом ошибки, допускаемые проектировщиками УУ на этих этапах, имеют принципиальный характер и более тяжёлые последствия, чем ошибки технической реализации. Поэтому всё более важное место занимает процесс проверки алгоритмов управления (АУ), являющихся фактически формализованным техническим заданием на проектирование УУ, в рамках системы моделирования.

В работах [4,5] излагаются основы построения комплексной САПР дискретных УУ технологическим оборудованием (ТМ) и процессами и рассматриваются вопросы использования мультимедийной среды ЭВМ для разработки этой САПР, которая получила название «Гиперсистема». В «Гиперсистеме» выполняется алгоритмическое (на уровне АУ), логическое (на уровне логической структуры) и схемное (на уровне принципиальной электрической схемы) моделирование проектов УУ ТМ и процессами.

В предлагаемой работе уделено внимание моделированию АУ ТМ на уровне их логического описания.

1. Mоделирование АУ ТМ в виде СПФ

Рассмотрим в качестве описаний логических структур АУ ТМ систему предикатных формул (СПФ), которая отличается от систем логических уравнений (СЛУ) двумя существенными моментами, отмеченными в [6]:

в СПФ используются многозначные переменные, что существенно расширяет класс описываемых объектов;

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

Моделирование логических описаний АУ ТМ может осуществляться с помощью так называемого метода сплошного моделирования[7]. Для существенного сокращения времени моделирования логических структур АУ, при возрастании их размерности, используют принцип событийности [7,8].

При изложении методов моделирования логических структур АУ в разных литературных источниках используются различные термины, понятия и буквенные обозначения. Для удобства изложения используем единую систему обозначений и понятий, описанную в [8]. Отличительной особенностью используемой системы понятий является явное выделение в логическом описании (ЛО) АУ структурного и поведенческого аспектов.

Пусть имеем некоторый АУ. АУ назовем такое отображение

S : A(X) x B(Z) -> Z , в котором

1) S = {S1,S2,...,Sj,...SJ}, где J – мощность множества S, определяющая некоторое конечное число предикатных формул в S ;

2) Sj : aj(X) x bj(Z) -> zj – некоторая j-я формула из S, она соответствует описанию одного выхода АУ;

3) X и Z есть некоторые конечные непустые множества логических переменных, входных и выходных соответственно;

4) A(X) есть элемент {A(X)}и является некоторым набором переменных из множества всех наборов переменных из X;

5) B(Z) есть элемент {B(Z)} и является некоторым набором выходных переменных из множества всех наборов переменных из Z;

6) aj(X) и bj(Z) есть наборы входных и выходных переменных соответственно для j-й формулы, причем aj(X)  {A(X)}, bj(Z) {B(Z)}, zj  Z ; для (a,b) I (a aj(X), b  bj(Z)) [ a q b ], где q  {&,I,@,=,'=,>,>=,'>,<,'<,<=} есть символ логической операции или операции сравнения, a,b – многозначная или булева переменные либо их инверсии, т.е. любые переменные, являющиеся аргументами некоторой формулы Sj.

Структурная модель АУ может быть представлена также в скобочной форме.

Определение 2. Входной переменной xX логического описания S некоторого АУ будем называть такую многозначную переменную, значение которой не зависит от состояния АУ, т.е. (x, x  X) [x ' Z & X Z = 0].

Соответственно, выходной переменной z Z логического описания S назовем такую переменную, значение которой определяется входными воздействиями A(X) , наборами выходных переменных B(Z) и некоторой формулой Sj, т.е.

(z, z  Z) [Sj : aj(X) x bj(Z) -> Z].

Определение 3. Cостоянием входной  (или выходной z) переменной будем считать текущее значение указанной переменной из множества  (или множества ) значений, причем X {1,2,...}, а Z {0,1}. Состояния переменных (входных и выходных) будем обозначать теми же символами, что и соответствующие переменные, но с индексами. Изменения состояний входных переменных представляют собой входные воздействия.

Определение 4. Шагом моделирования логического описания S назовем отрезок времени  между поступлениями на вход СПФ двух соседних воздействий Ai(X) и Аi+1(X), или (,     Ai(X) -> Ci(Z)) [ A i+1 (X) -> C i+1(Z) ],

где i = 0,1,2,... - номера входных воздействий и наборов состояний выходных переменных; Сi(Z) – набор состояний выходных переменных, соответствующий i-му входному воздействию.

Определение 5. Тактом моделирования логического описания S будем называть отрезок времени T, в течение которого изменяет свое значение хотя бы одна выходная переменная z ~ Z, или (@ T ) [# z, z ~ Z & zTk '= zTk+1 ], где k ~ {1,2,3,...} – номер текущего такта моделирования; zTk – состояние некоторой выходной переменной после окончания k –го такта.

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

Определение 6. Поведенческой моделью АУ назовем такое отображение

F : Ai(X) x Bi,k-1(Z) -> Ci,k(Z) , что

1) F = {f1,f2,...,fi,...,fN} – множество предикатных формул в модели F ; N – мощность указанного множества;

2) fj :ai(X) x bi,k-1(Z) -> Zi,k – описывает последовательное изменение состояний j-го элемента АУ , где j ~{1,2,3,...} – номер описываемого элемента; (i,k) ~ {1,2,3,...} ; i – номер шага и k – номер такта соответственно;

3) Ai ~ {A(X)} – входное воздействие для i-го шага моделирования из множества всех входных воздействий;

4) Bi,k-1(Z) ~ {B(Z)} – является набором состояний тех выходных переменных, значения которых из (k-1)-го такта участвуют в формировании набора состояний выходов на k-ом такте;

5) Ci,k(Z) ~ {Z} – набор состояний выходных переменных для i-го шага и k-го такта моделирования из множества всех наборов состояний выходных переменных Z;

6) ai(X), bi,k-1(Z) и Zi,k – входное воздействие, набор состояний выходных переменных и состояние выходной переменной соответственно для i-го шага, (k-1)-го и k-го такта моделирования.

Будем различать устойчивые и неустойчивые состояния алгоритмов управления ТМ, устойчивые и неустойчивые АУ.

Определение 7. Устойчивым состоянием некоторого АУ, функционирование которого описывается формулой F, называется такое состояние Ci+1,k+p(Z), которое достигается из некоторого состояния Ci,k при подаче нового входного воздействия Ai+1(X) за конечное число тактов P.

Устойчивым назовем такой АУ, который в течение (i+1)-го шага моделирования за P тактов переходит в устойчивое состояние Ci+1,k+p(Z) из состояния Ci,k .

Начальному состоянию модели F cоответствуют наборы Ao(X), Bo(Z) и Co(Z). Введем понятия ранга и множества рангов.

Пусть в СПФ некоторого АУ имеется множество {fi1} таких ПФ, что множество наборов из {aj1(X)} есть Aj1(X) ~ X, т.е. {fj1/ j=1,2,... & {fj1} -> {aj1(X)}}. Придадим такому множеству ПФ вес , равный 1, обозначив его через Fj1,1. Тогда множество формул {fj2 / j2= 1,2,...& {fj2} -> ({aj1(X)} & Fj2,2)} = Fj2,2 будет иметь вес 2.

Следовательно, некоторому jq-му множеству ПФ такому, что

{fjq / jq = 0,1,2,... & {fjq} -> ({ajq(X)} & Fj(q-1),q-1)} = Fjq,q ,

будет соответствовать вес q.

Определение 8. Рангом r некоторого множества Fjq,q предикатных формул назовем численное значение веса q (q = 1,2,...), т.е.

(@ fjq ~ Fjq / q = 1,2,...) [ # r / r = !q!].

Объединение рангов rk при изменении k от k=1 до K,образует множество R рангов ПФ некоторой рассматриваемой СПФ, где K – мощность этого множества.

F ; Ai(X) x Bi,k-1(Z) -> Ci,k(Z) . (1)

Предлагаемый способ, который описан в [8], назван способом динамического ранжирования. Здесь сделана попытка учесть недостатки статического ранжирования [9] и метода событийного моделирования. Суть динамического ранжирования состоит в реализации выборочного вычисления предикатных формул с помощью адресованных переходов. Моделирование здесь рассматривается как преобразование структурной модели в поведенческую модель. Для управления данным преобразованием используется матрица адресованных переходов.

Входные воздействия, поступающие извне на СПФ, активизируют формулы (т.е. могут привести к изменению значения формул), в которых соответствующие входные переменные являются аргументами. Активизированные формулы могут, в свою очередь, активизировать другие формулы, по отношению к которым они являются аргументами. Не исключена рекурсия, т.е. активизация формулы самой формулой (это имеет место для формул, описывающих элементы памяти).

Процесс активизации формул можно представить в виде дерева, каждый ярус которого соответствует одному этапу активизации. Номер яруса дерева активизации характеризует относительную упорядоченность формул и рассматривается нами как динамический ранг формулы, в отличие от общепринятого понятия ранга [7,8].

Пусть процесс активизации формул Sj, являющихся элементами системы S, представим в виде некоторого дерева G. Тогда верщину данного дерева обозначим через gk,l, где (k,l) – {1,2,3,...}, k есть номер яруса дерева G, l – номер вершины на k-м ярусе.

Определение 9. Дерево G назовем активизирующим графом, если:

а)gk,l является вершиной данного дерева; l принадлежит L – номер вершины k-го яруса, L – конечное число вершин на k-м ярусе;

б)имеется формула w : gk,l -> Sjk, которая сопоставляет каждой вершине графа G переход в активное состояние (т.е. изменение состояния) некоторой формулы Sjk на k-м шаге моделирования.

Теперь введем понятие динамического ранга.

Определение 10. Динамическим рангом(D-рангом) некоторой формулы Sj будем называть число, равное номеру k яруса активизирующего графа G, или

(@ k, k~ K)[# D / D = k]; где K – множество номеров ярусов активизирующего графа G.

Как следует из определения 10, D-ранг формулы изменяется в зависимости от того, какие входные воздействия поданы из СПФ (они соответствуют номеру такта моделирования k) и какие формулы активизированы на предыдущем ярусе активизирующего графа G.

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

Особенности данного способа состоят в следующем:

способ не требует анализа структуры СПФ с целью выявления и разрыва обратных связей; обеспечивает существенное сокращение времени моделирования для СПФ, описывающих АУ, так как для последних характерна слабая функциональная связность;

предложенный способ не накладывает ограничений на структуру СПФ, что обеспечивает высокую адаптивность его к изменениям в постановке задачи моделирования.

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

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

Рассмотрим реализацию описанного выше способа.

2.Объектно-событийная реализация динамического ранжирования.

Рассмотрим исследованный в работах [6,8] язык предикатных формул. Управляющая программа на этом языке представляется в виде СПФ. Этот способ наиболее близок к таким языкам представления управляющих программ для программируемых контроллеров как язык булевой алгебры, язык программных команд (AWL), язык релейно-контактной символики (KOP), язык функциональных схем (FUP).

При проектировании бортовых систем спутников связи [2,10] СПФ рассматривается как логическое представление алгоритма управления и является базой (техническим заданием) для разработки принципиальных схем. В этом и ряде других случаев (управляющие программы сложных станков и автоматических линий) СПФ может состоять из нескольких тысяч предикатных формул. Например, для оценки эффективности разработанных в работе [6] средств моделирования были использованы СПФ, содержащие около 5000 предикатных формул.

Мы рассматриваем СПФ как общую платформу, взаимодействие которой с перечисленными выше языками оказывается простым и естественным. Более того, в настоящей работе предлагается функциональное расширение СПФ, включающее основные функции программируемых контроллеров, операции и отношения теории множеств. Реализация кванторов всеобщности и существования фактически обеспечивается используемой системой программирования на этапе интерпретации (компиляции). В связи с отмеченным излагаемый ниже поход и средства являются универсальными и особо ценными.

Основная идея реализации метода динамического ранжирования [5] при моделировании СПФ заключается в преставлении каждой предикатной формулы в виде объекта. СПФ представляется как совокупность объектов, взаимодействующих на основе событий. При этом в качестве события выступает изменение значения (переключение) предикатной формулы.

Рисунок. 1

На рис. 2 представлены входная последовательность, СПФ и соответствующие модели объектов процесса моделирования

Рисунок. 2

Рассмотрим для примера упрощенные сценарии объекта "Вход". Все необходимые пояснения сделаем в виде комментариев в тексте сценария.

-- *** Сценарий объекта "Вход" ***

To handle buttonclick

-- Получено сообщение о щелчке мыши по объекту

-- Это событие может создать пользователь

-- или любой другой объект

Номер_такта_системы = 1

-- Номер такта системы (динамического ранга) равен 1

s1=8

-- Входной переключатель s1 установлен в 8 положение

-- Для булевых входов используются значения True, False

Действие=s1_8

-- В таком виде действие запишется в Графе управления

send Записать_действие to field "Функциональная схема"

-- Посылаем сообщение Записать_действие в текстовое

-- поле "Функциональная схема". Затем это дествие

-- будет отображено в Графе управления

send buttonclick to button "y1"

-- Посылаем сообщение buttonclick объекту (предикатной

-- формуле) "y1", так как только в ней s1 - операнд

fillcolor of self = red

-- После завершения моделирования на данном шаге

-- отмечаем поданный вход красным цветом

end

To handle rightbuttondown

-- Нажата правая клавиша мыши

fillcolor of self = green

-- Отмечаем вход зеленым цветом перед

-- выполнением последующих воздействий на СПФ

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

ЛИТЕРАТУРА

1. Акунович С.И. Инструментальная система ToolBook для разработки мультимедийных приложений. – В кн. Основы построения комплексной САПР систем дискретного управления технологическим оборудованием и процессами./Уч.пособие в 2-х частях. Ч.1. Минск, изд-во БГТУ, 2000 г. - 42c. .

2. Добролюбов А.И., Акунович С.И. Автоматизация проектирования систем управления технологических машин. – М.: Машиностроение, 1974. – 224 c..

3. Калентьев А.А. Автоматизация проектирования алгоритмов управления технологическими cистемами с множеством дискретных состояний./Автореф.диссертации на соиск. уч. cтепени д.т.н. (на правах рукописи). - Самара, 1998. - 34 c.

4. Акунович С.И., Прохоренко Д.М. Моделирование проектов в приложении «Гиперсистема'. – «Техника. Экономика. Организация», No.2, 1999. – c. 26-29.

5. Акунович С.И., Гончаров А.А., Дятко А.А. Моделирование и анализ проектов систем дискретного управления. – В кн. Основы построения комплексной САПР систем дискретного управления технологическим оборудованием и процессами./Уч.пособие в 2-х частях. – Ч. 2. – Минск, изд-во БГТУ, 2002. – 38 c.

6. Акунович С.И., Гончаров А.А. Описание алгоритмов управления технологических машин системой предикатных формул. – В сб. Применение систем автоматизированного электропривода на промышленных предприятиях Белоруссии./Тезисы докл. респ. научн. техн. cовещания. – Мн.: БелНИИНТИ, 1982. – c. 91-92.

7. . Иоффе М.И. Программы сплошного и событийного моделирония в автоматизированной системе синтеза тестов цифрновых схем../Тр. ин-та. Вып. 72. – М.: ИНЭУМ. 1977. –c.15-22

8. Гончаров А.А.Об одном подходе к моделированию логической структуры управляющих устройств// Информатизация образовательных процессов: автоматизация управления, технологии, дистанционное обучение: Сб. науч. ст.; Под ред. проф. Н.А.Цырельчука; В 2-х ч.(По итогам работы МНПК; Минск, 19-20 апр. 2001г.)/ Мин-во образования РБ. Минск. гос. высш. радиотехн. колледж.—Минск, 2001г.—Ч.1.—С.229-241

9. Гурвич Е.И., Козмин Л.Е. Ранжирование модели при логическом моделировании цифровых автоматов. – В сб. Автоматизация проектирования РЭА./ Мат-лы семинара.- М.: МДНТП, 1973. – c. 151-158.

10. Руководящий технический материал «Аппаратура радиоэлектронная бортовая. Типовая форма технических требований к радиоэлектронной аппаратуре в части выполнения логических операций ( РТМ 154-13-83 ). – Красноярск: НПО ПМ, 1983.

11. Гончаров А.А. О методе динамического ранжирования для моделирования систем логических уравнений. – В сб. Пути технического совершенствования и интенсификации разработки, производства и эксплуатации средств радиоэлектроники, электротехники и связи. /Тезисы докл.науч.-техн. конф.- Мн.: БелНИИНТИ, 1979. – c. 87-88.