ПОИСК Статьи Рисунки Таблицы Управление взаимодействием технологических аппаратов из "Гибкие автоматизированные производственные системы" В случае сложного аппаратурного оформления (например, группя параллельно соединенных аппаратов, работающих в едином технологическом цикле) при жесткой макроструктуре системы в процессе функционирования многократно изменяется ее микроструктура . Последняя ситуация характерна для групп приемных и передающих аппаратов, соединенных общим трубопроводом (коллектором). Из-за возмущений в системе регламентная продолжительность технологической стадии процесса обычно не выдерживается, и технологические аппараты групп взаимодействуют в случайные моменты времени. Таким об[1азо. 1. процесс взаимодействия аппаратов является одним пз объектов автоматизированного управления. [c.281] Множество вершин Л = о С взаимно однозначно отображает множество технологических аппаратов, а множество вершин К= к)С взаимно однозначно представляет множество соединяющих их коллекторов. Процесс функционирования аппарата представляетсл имитационной моделью смены технологических операций. [c.282] Конкретные процессы взаимодействия могут быть в зависимости от числа различных групп взаимодействующих аппаратов бинарными, тернарными п, в общем случае, Л -арными. Целесообразно различать также простые п сложные взаимодействия по числу аппаратов, участвующих во взаимоде1 ствии. В первом случае каждая группа представлена одним аппаратом, во втором — несколькими. [c.282] Коллектор, соединяющий группы аипаратов, должен быть СРоЗодным к началу любого взаимодействия, а от каждой группы аппаратов должен быть готов к взаимодействию хотя бы один аииарат. [c.283] Предикатом называется бинарная логическая функция от любых действительных переменных, принимающая одно из двух ра личных значений, одному из которых приписывается значе-ни истина , а другому ложь (см. гл. 2). [c.283] Условие (4.21) читается следующим образом существует вз.шмодействие и (наиример, транспортирование вещества из одеюго аппарата в другой), для которого имеются аппараты а (издающий) и Ь (приемный) к взаимодействию V готовы аппарат а и аппарат Ь и свободен соединяющий их коллектор к. [c.283] Время т вводится для обеспечения непротиворечивости системы аксиом. Значение истинности предиката СВ к) изменяется во времени, так как в один и тот же момент времени предикат истинным и ложным не может быть. [c.283] Таким образом, можно рассматривать т и т+1 как различные переменные, что дает возможность применить классическую логику предикатов первого порядка и обеспечить непротиворечивость исходной системы аксиом. [c.283] Это условие следует читать так если в момент времени т коллектор /г занят, аппарат а завершил взаимодействие (например, из него выгружена реакционная масса) и аппарат h также завершил взаимодействие v (в него загружена эта масса), то в следующий момент времени т+1 следует сформировать сигнал, свидетельствующий о том, что коллектор свободен. В этом утверждении содерн ится знак операции импликация . Утверждение о начале взаимодействия аипарато ) читается следующи.м образом если существуют такой аппарат а, ирипадлсжаидий передающей группе, и такой аппарат Ь. принадлежащий приемной группе причем аппарат а готов взаимодействию V в момент времени т (находящаяся в нем порция веи ества готова к выгрузке), аппарат Ь также готов к приему этой порции, соединяющий аппараты а и Ь коллектор свободен, то в следующий момент времени т- -1 на аппарат а и на аппарат Ь будут переданы команды начала взаимодействия (будет открыт клапан и закрыт клапан / 2) и будет запрещена свободность коллектора. [c.284] Докажем, что р,/ р2 = 0 (тождественно ложна). Так как формула F Рх/ Р2 содержит конъюнкцию предиката СБ(к,т) и его отрицания B k, т), формула F тождественного лижна, т, е. [c.284] На основе изложенной выше системы аксиом разрабатываете алгоритмическое и программное обеспечение подсистемы управления взаимодействиями технологических аппаратов АСУ ТП. [c.285] Подсистема управления взаимодействием аппаратов организуется как двухуровневая. На нижнем уровне проверяются элементарные условия. Модель этого уровня представляет собой конечный автомат, внутренние состояния которого модели-рув)Т технологические операции, а переходы автомата — их смену. Функция переходов конечного автомата однозначно определяется имитацпопной моделью технологического аппарата. [c.285] Сигналы, поступающие с верхнего уровня, являются командами для нижнего уровня, на котором они конкретизируются и обеспечивают требуемые переключения клапанов, организуя взаимодействие аппаратов. Кроме сигналов о готовности аппаратов, на нижнем уровне должен формироваться сигнал о за-вери1ении участия аппарата во взаимодействии. [c.285] Вернуться к основной статье