|
Conference publicationsAbstractsXIX conferenceAlgebraic models of synchronized switch schemes127051? Russia, Moscow, Sretenka str., 29, MSUPE 1 pp. (accepted)2-{\em Мерная переключательная схема} --- $n^2$ {\em круговых $m$-позиционных} переклю\-ча\-те\-лей в узлах плоской решётки $n\times n$. При повороте одного переключателя так же поворачиваются все, расположенные с ним в одной горизонтали и одной вертикали. {\em Состояние} схемы --- матрица состояний всех её переключателей. За\-да\-ча {\em управления схемой}: из данного состоя\-ния получить нужное воздействиями на переключатели. Схема {\em управ\-ля\-е\-ма}, если из любого исходного состояния можно получить любое требуемое. Аналогично определяется 3-{\em мерная схема}: $m$-позиционные круговые пере\-клю\-ча\-те\-ли располагаются в узлах кубической решётки $n\times n\times n$. Синхронизация по вертикали, горизонтали и фронтали. При каких соотношениях между $m$ и $n$ указанные выше схемы управляемы? Как найти нужную последовательность воздействий на схему для получения требуемого состояния из исходного? {\bf Теорема 1.} {\sl 2-Мерная схема управляема т. и т.т., когда $m$ взаимно просто с числами $n-1$ и $2n-1$. 3-мерная схема управляема т. и т.т., когда $n>2$ и $m$ взаимно просто с числами $2$, $n-2$, $n-1$ и $3n-2$.} Явное отыскание управляющих воздействий основано на обращении линейных операторов специального вида. Для 2-мерной схемы $F(X)=-X+UX+XU$ на модуле $ Mat_n[{\mathbb Z}_m]$ квадратных матриц порядка $n$ над кольцом вычетов ${\mathbb Z}_m$, где $U$ --- матрица из единиц. Для 3-мерной схемы $F(X)=V\circ X+X\circ V-X\times V-2X$. Здесь $\circ$ и $\times$ --- {\em фронтально—по\-слой\-ное} и {\em вертикально—послойное} произведения кубических матриц соответствен\-но, $V$ --- кубическая матрица из единиц. Оператор действует на модуле кубических матриц над кольцом ${\mathbb Z}_m$. {\bf Теорема 2 [2-мерная схема].} {\sl В условии управляемости при $m=2$ $F^{-1}(X)=F(x)$; при $m>2$ $F^{-1}(X)=(-1+n’+n'')X+(n’+n''-n’n'')F(X)-n’n''F^2(X)$, где $n’$ и $n''$ --- обратные к $n-1$ и $2n-1$ соответственно в кольце ${\mathbb Z}m$.} {\bf Теорема 3 [3-мерная схема].} {\sl В условии управляемости $F^{-1}(X)=a_0X+a_1F(X)+a_2F^2(X)+a_3F^3(X)$, где коэффициенты $a_i$ явно вычисляются через обратные к $n-2$, $n-1$, $3n-2$, $2$ в кольце ${\mathbb Z}_m$.}
|
