Технология и автоматизация производства электронной аппаратуры. Скубилин М.Д - 179 стр.

UptoLike

ВУЗ: 

ТТИ ЮФУ | Таганрог

Составители: 

Рубрика: 

179
т. е. каждая управляющая подсистема 1-го уровня C
1i
решает собственную ло-
кальную задачу управления, являющуюся частью глобальной задачи D
0
, стоя-
щей перед всей ИСУ.
Поэтому задачу D
0
можно рассматривать как совокупность локальных задач
D
ji
, реализуемых подсистемами на всех уровнях. Тогда по всем j и i справедли-
во утверждение D
0
∪D
ji
. Для нормальной работы системы необходимо, чтобы
цели (задачи) её подсистем были согласованы между собой (согласность и со-
вместимость).
Подсистемы 1-го уровня, непосредственно взаимодействующие с ТП, долж-
ны быть координируемыми относительно глобальной задачи: задачи, решаемые
на нижнем уровне должны быть координируемы также относительно задачи,
решаемой на вышестоящем уровне; ни один из
активных элементов в системе
не может решать всю глобальную задачу – она определяется для всей системы в
целом.
Задачи подсистем нижнего уровня координируемы по отношению к задачам
смежного вышестоящего уровня, если справедливо соотношение
(∃u
j
)(∃y
j
)[P(y
j
, D
j
(u
j
))∩P(u
j
, D
j+1
)],
(19.10)
где D
j
(u
j
)={D
j1
(u
j1
), …, D
jn
(u
jn
)} – совокупность задач, решаемых всеми подсис-
темами j-го уровня как множество. Для двухуровневой системы (при i=1, y и u)
(∃u
1
)(∃y
1
)[P(y
1
, D
1
(u
1
))∩P(u
1
, D
2
)].
(19.11)
Результат решения задачи на j-ом уровне, в свою очередь, должен контроли-
роваться на вышестоящем (j+1)-м уровне и использоваться его активным эле-
ментом при решении задачи D
j+1
. Решение задачи D
j+1
состоит в том, что бы
найти координирующее воздействие y
j+1
=u
j
, при котором нижестоящие подсис-
темы вырабатывают управляющее воздействие y
j
∈Y
j
, Y
j
=Y
j1
×Y
j2
× … ×Y
jn
такое,
что достигается цель координации, т.е. удовлетворение условия, выраженного
некоторым предикатом Q
j
(u
j
, y
j
):
P(u
j
, D
j+1
)Ù(∃y
j
)[Q
j
(u
j
, y
j
)].
(19.12)
Учитывая предыдущие выражения, задача подсистем нижнего уровня коор-
динируема, если справедливо выражение

Страницы