99
12. Siddikov I.X., Abubakirov A.B., Utemisov A.D., Abdumalikov A.A Qayta
tiklanuvchan energiya manbali elektr ta’minoti tizimlarida reaktiv kuvvati
manbalarining ko‘p fazali toklarini kuchlanishga o‘zgartirish datchiklarini
modellashtirish
//
Respublikanskaya
nauchno-texnicheskaya
konfrensiya,
"Sovremennie tendensii sovershenstvovaniya sistem kontrolya i upravleniya
texnologicheskimi prosessami i proizvodstvami”. Tashkent-2019 g. - S. 192-194.
13. Siddikov I.X., Lejina Yu.A., Xonto‘raev I.M., Maksudov M.T.,
Abdumalikov
A.A.
Issledovanie
pokazateley
nadejnosti
i
veroyatnosti
rabotosposobnosti datchikov kontrolya i upravleniya energopotrebleniem // Injenerno-
stroitel’niy vestnik Prikasniya: nauchno-texnicheskiy jurnal. Astraxan': GAOU AO
VO “AGASU”, 2020. № 1(31). -S. 74-78.
МЕТОДЫ ПРЕОБРАЗОВАНИЯ ТАБЛИЦ ФУНКЦИОНИРОВАНИЯ В
УПРАВЛЕНИИ СЛОЖНЫМИ СИСТЕМАМИ
1
Норматов И.Х.,
2
Ибодуллаев Д,
3
Жураев М.,
4
Отахонов А.,
5
Аллаберганова А.Х.
1,5,
Национальный университет Узбекистана имени Мирзо Улугбека
2,3
Джизакский филиал Национального университета Узбекистана
4
Ферганский государственный университет
Аннотация.
В статье рассматривается стандартного описание рабочих
мест для решения проблем алгоритмизации управления сложными системами.
Предлагается описание процесса решения задачи управления объектом на основе
алгоритмического подхода. Разработаны методы композиции ТФ для
алгоритмического синтеза комплексов рабочих мест, управляющих мониторов.
Ключевые слова:
алгоритм, метод, схема, монитор, операция, процесс,
позиция, маркировка, граф, композиция.
Рассмотрим динамические таблиц функционирования (ТФ) определенные
следующим образом:
ТФ=
, , , , , , ,
,
P D I O R T
F
где
P
- множества позиций,
D
- операций,
I
- входных и
O
- выходных состояний,
A
- рабочих мест,
T
- интервалов времени,
- множество координат рабочих
мест системы,
F
- функция изменения ТФ во времени или функция управления
А
-системой.
Если
i
t
T
,
( )
,
F t
const
=
то такая таблица функционирования называется
статической. Функция
( )
F t
, задающая изменения ТФ, называется функцией
управления агрегатной системой.
100
В каждый интервал времени
i
t
описание ТФ представляется в виде
маркированной
сети
Петри:
, , , ,
,
M
P D I O
=
где
-оператор,
сопоставляющий множеству позиций
Р
в множестве
N
натуральных чисел:
:
P
N
→
.
Каждая маркировка
может быть представлена как вектор
(
)
1
,...,
n
=
, где
n
P
=
и
,
1, .
i
N i
n
=
Интервалы времени,
i
t
в течение которых сеть Петри не изменяется,
назовем технологическими циклами (ТЦ).
ТЦ являются подмножеством сетей Петри, для которого определяется
формальный язык для описания технологических процессов.
Множество состояний ТЦ
1
,...,
n
P
p
p
=
определяется аналогично
множеству позиций сетей Петри. Множество функций переходов есть конечное
множество
1
,...,
,
0.
m
T
t
t
m
=
Они не пересекаются
(
)
P
T
=
. В качестве
операций переходов примем логические операции -
&, V.
Алфавит
технологических циклов - это конечное множество символов.
Строка - любая последовательность конечной длины из символов алфавита.
Пустая строка
λ
- это строка, не имеющая символов, т.е. строка нулевой длины.
Если
алфавит, то множество всех строк из символов
Связь символов с переходами осуществляется оператор помещения.
Считается, что язык -
L
является языком ТЦ
L
– типа если существует помещение
переходов
:
T
→
, а начальная маркировка
и конечное множество
заключительных маркировок
F
такие, что
( )
*
L
B
B T
=
‚
, где
( )
,
B
F
оператор переходов, т.е. для
(
)
1
,...,
k
i
i
B t
t
и маркировки оператора
( , )
B
=
есть
результат последовательного запуска
(
)
1
,...,
k
i
i
t
t
. В нашем случае СС
представляют собой композицию подсистем. Каждая из подсистем описывается
отдельном ТЦ со своим языком. Последовательные композиции подсистем
являются конкатенацией из одного, двух, трех и более языков ТЦ. Конкатенация
языков формально определяется как:
1
1
1
1
...
,...,
:
,...,
.
n
n
n
n
L
L
x
x
x
L
x
L
=
На «Рис 1» представлена конкатенация для двух ТЦ. Следующим образом
задана операция объединения:
1
1
1
,...,
:
или...
.
n
n
i
n
i
L
L
L
x x
L
x
L
=
=
=
На «Рис. 2» показана композиция для двух ТЦ (
1
2
ТЦ и ТЦ ). Далее,
следующим образом задана операция параллельной композиции:
(
)
(
)
1 1
2 2
1
1
2 2
1 1
2 2
и
...
... ...
...
...
.
n n
n n
n
n
x
x
x
x
x
x
x
x
x
=
+ +
=
=
Параллельной композицией двух и более языков является:
1
2
1
2
1
1
:
,...,
.
n
n
n
n
L L
L
x x
x
x
L
x
L
=
101
Операция пересечения, как и в случае объединения, подобна теоретико-
множественному определению пересечения и определяется для языков ТЦ
следующим образом:
1
2
1
2
:
и
L
L
x x
L
x
L
=
.
Примером операции пересечения может служить пример, приведенный на
«Рис. 4» Операция обращения предложения
x
- это предложение, символы
которого расположены в противоположном порядке. Эту операцию мы
определим рекурсивно:
, (
)
,
,
.
R
R
R
a
x
x a где a x
=
=
Рис. 1. Операция конкатенации ТФ (
а
– ТЦ
1
,
б
– ТЦ
2
, в – результат
конкатенации ТЦ
1
, и ТЦ
2
Рис. 2. Объединение ТФ
Рис. 3. Пересечение ТФ
Начальная
и
заключительная
маркировки
меняются
местами.
Следовательно, построенный ТЦ выполняется, как и первоначальный, но в
обратном порядке. Язык ТЦ имеет в своем описании операцию повторной
композиции, а языки ТЦ замкнуты по отношению к любому конечному числу
выполнения операций объединения, пересечения, обращения, параллельной
композиции и конкатенации, осуществляемых в любом порядке. Доказательство
следует из теории о замкнутости этих операций для языков сетей Петри. Важной
операцией в языках ТЦ для проектирования и моделирования процессов в СС
102
является подстановка. Ее следует рассматривать как композицию двух языков
ТЦ, в которой вместо символа в языке используется множество строк в
.
n
L
Система,
состоящая
из
основного
множества
ТФ
ТЦ ,
1,
i
i
n
=
=
технологических циклов и совокупности операций, называемой сигнатурой,
является универсальной алгеброй, если каждая из операций, принадлежащих
сигнатуре
, всюду определена на множестве ТФ. В нашем случае основным
множеством служит
TФ
TЦ
i
=
множество технологических
, , ,
a
x
R
=
циклов. Ввиду того, что все операции замкнуты, на множестве ТФ,
TФ
TФ,
=
является универсальной алгеброй над ТФ.
Введенная алгебра над таблицами функционирования позволяет в
дальнейшем использовать алгебраические методы построения алгоритмов
управления. Технологическому циклу можно поставить в соответствие систему
векторов. Поскольку каждый переход в ТЦ определяется своим входом и
выходом:
:
1,
US
S
F
S
n
=
=
последовательно каждый такой цикл может быть
описан двумя матрицами С
-
и С
+
, причем С
-
является системой векторов входных
состояний, а С
+
системой векторов выходных состояний.
Следовательно, в общем случае технологический цикл ТЦ может быть
описан двумя матрицами размерностью
(
)
,
n m
где
n
- число переходов,
m
-
число всех входных или выходных состояний ТЦ. Значением элементов
ij
C
матрицы С
-
и С
+
является число фишек (маркеров)
i
b
соответственно входной
или выходной позиции для
j
-го перехода. Все вышеописанные операции над
множеством позволяют нам производить композицию системы и ее структуры.
Тогда операция конкатенации двух ТЦ в матричной форме может быть
представлена в следующем виде:
( )
( )
( )
( )
1
1
2
2
,
ij
ij
A
n
m B
b
n
m
=
=
, по правилу
,
C
A
B C
A
B
−
−
−
+
+
+
=
=
.
Для системы матриц в случаях
1
2
и
ТЦ
ТЦ
(Рис. 3)
2000000
0000000
0100000
1000000
200
000
0010000
0100000
010
101
0001000
1000000
,
,
,
001
100
0000100
0001000
100
011
0000010
0000010
0000001
0010100
0000000
1111111
A
A
B
B
−
+
−
+
=
=
=
=
.
Результирующими матрицами операций конкатенации являются:
103
2000000000
0000000000
0100000000
1000000000
0010000000
1010000000
0001000000
0110000000
0000100000
0001000000
0000010000 ,
0000100000
0000001000
0001000000
0000000100
0000001000
0000000010
000
0000000001
0000000000
C
C
−
+
=
=
1000000
0000000010
0000000111
Остальные операции и результирующими матрицами операции
аналогично представляются.
Таким образом, разработанные методы преобразования ТФ для управления
СС, позволяют анализировать и описать процессов решения задач при
построении алгоритма управления сложных систем.
Литературы:
1.
Kabulov A V, Normatov I H and Karimov A Algorithmization control of
complex systems based on functioning tables// – Journal of Physics Conference Series
1441:012141·January 2020 DOI: 10.1088/1742–6596/1441/1/012141 (Scopus, IF =
0.7), pp. 1–9.
2.
Kabulov A.V., Normatov I.H. and Ashurov A.O. Computational methods of
minimization of multiple functions// – Journal of Physics Conference Series
1260(10):102007 August 2019 DOI: 10.1088/1742–6596/1260/10/102007 (Scopus, IF
= 0.7), pp. – 1–10.
3.
Питерсон Дж. Теория сетей Петри и моделирование систем// – М.: Мир,
1984. – 264 с.