Условия ортогональности входных последовательностей одного класса двоичных 4D-нелинейных модулярных динамических систем | Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2021. № 55. DOI: 10.17223/19988605/55/10

Условия ортогональности входных последовательностей одного класса двоичных 4D-нелинейных модулярных динамических систем

Приводится понятие ортогональной входной последовательности для двоичных 4D-модулярных динамических систем, заданных в виде двухзначного аналога полинома Вольтерры. Доказываются необходимые и достаточные условия ортогональности в совокупности входных последовательностей и необходимые и достаточные условия собственной ортогональности каждой входной последовательности. Предлагается методика построения ортогональной входной последовательности на базе коротких вспомогательных ортогональных последовательностей. Приводятся достаточные условия ортогональности вспомогательных последовательностей и формулы их определения.

The conditions of orthogonality of the input sequences of one class of binary 4D-nonlinear modular dynamic systems.pdf Модулярные динамические системы (МДС), или последовательностные машины, являются одним из важных классов дискретных динамических систем [1-4]. Они находят широкое применение в различных областях науки и техники [1, 3-8]. Исследованы различные задачи теории и приложений одно- и многопараметрических МДС (nD-МДС) [8-15]. К ним относится и задача синтеза МДС. Для нахождения наилучшего решения задачи синтеза МДС используется метод, основанный на применении ортогональных входных последовательностей. Ортогональные входные последовательности строятся с учетом особенности конкретных классов МДС. В работах [3, 4, 16-18] в случаях n е {1,2,3} для некоторых нелинейных МДС (nD-НМДС) найдены соответствующие условия ортогональности входной последовательности и разработаны алгоритмы их построения. Одним из классов nD-НМДС является 40-НМДС [19], который имеет более общую структуру, чем nD-НМДС, n е {1,2,3} . В работе [20] рассмотрен вопрос нахождения наилучшего решения задачи синтеза, и для решения этой задачи отмечена необходимость нахождения условий ортогональности для входных последовательностей 4D-НMДC. А в данной работе рассматривается вопрос вывода условий ортогональности входных последовательностей двоичных 4D-НMДC. 1. Постановка задачи Рассмотрим двоичную 40-НМДС с фиксированной памятью n0, ограниченной связью P = р х P2 х Рз, степенью S, описываемую в виде двухзначного аналога полинома Вольтерры [20]: s \\ y[n ci, С 2, Сз] = ££ £ £ hv U, ё, p, Йх i=1 v=1 (j , КДу Ф 0), (Ѵр е {1,...,^2})(3а е {1,...5^})(3у е {1,=> (/иаДу Ф 0), (Ѵуе{1,...,^з})(Эае{1,...^1})(Эре{1,...,^2})=>(іяаду Ф 0); £а е {1,...,га},ст = 1,з); L(£) =Ll(£l) 'xL2(£2) хЖ(^з) ^ Ь2(12) = {а = (а1,...,а1г)У)(2,i, v)} , dy y(2,i,v) >0, y=1,...,R2(i,v), (6) где d (2,i,v) есть элемент матрицы V2(i,v)TV2(i,v), а для всех ve{1,...,A}, i e{1,...,S} , v'e{1,...,Ay}, i'e{1,...,S}, (i, v) Ф (i', v') выполнялось соотношение V2(i, vfV2(i\\ v') = 0r (,,v)XR (,,v-), (7) где в (7) через 0r (,,v)Xr {1 ,v) обозначена нулевая матрица с размерностью R2(i, v) х R2(i', v'). Доказательство. По определению матрицы V имеем: VTV = (V3T(a)V3(P)), a = \\S , p = \\S . (8) По (8) для того, чтобы V удовлетворяла условию ортогональности, необходимо и достаточно, чтобы для всех ae{1,..., S} выполнялись соотношения (9) V3(a)TV,(a) = diag{du(3,a),...,d^^r(a)(3,a)} , dy y(3,a) >0, y = 1,...,R,(a) , где d (3, a) есть элемент матрицы V3(a)TV3(a), а для всех ae{1,..., S}, Pe{1,..., S} , a^p выполнялось соотношение V3(a)TV3(p) = 0R3(a),R3(p). (10) Из формулы V3(i) = (V2(i,1) ... V2(i, Ai)) имеем V3(i)TV>(0 = ( V2(i,a)TV3(i,p)), a = 1Л , p = i. (11) Из (11) следует, что для того, чтобы V3 (a) удовлетворяла условию ортогональности (9), необходимо и достаточно, чтобы для всех v e {1,..., Аг} выполнялись V2O',v)TV(i,v) = diag{du(2,i,v),...,dRi0>)(2,i,v)} , dy y(2,v) >0, y=1,...,R2(i,v) , (12) где dyy(2,i,v) есть элемент матрицы V2(i,v)TV3(i,v) , а для всех ae{1,...,A} , Pe{1,...,A} , a^p выполнялось V2(i, a)TV2(i,P) = 0r(i,a),r(i,a). (13) Таким образом, учитывая соотношения (8)-(13), для удовлетворения матрицей V условия ортогональности (5) необходимыми и достаточными условиями являются условия (6), (7). Теорема доказана. Соотношения (6) есть условие собственной ортогональности каждой последовательности (4), а соотношения (7) - взаимной ортогональности последовательностей (4) и последовательностей (u,,v' [n, c1, c2, C3]: n e[0, N], Ca£[0,Ca ], a = 1,3}, v'e{1,..., }, i' e{1,..., S} . 82 Условия ортогональности входных последовательностей Теорема 2. Пусть ѵе{1,...,Д}, i е{1,..., £} . Для собственной ортогональности последовательностей (иг v[n,c,c,С]: n ^ [0,N], ca е[0,Ca],a =1,3} необходимо и достаточно, чтобы для всех (j, a, р) е Liv выполнялись соотношения (14) Ѵі(г\\ v,(j, a р))1^ v,(j, a, р)) = diag{du(1),..., dRi(i,vXj ,а,р))А(і,ѵ,(7 ,а,р))(1)} da,a(1) > 0, a = 1,...,R(i,v,( j,a,р)) , где da,a(1) есть элемент матрицы V|(i,v,(j,a,р))Г ■Vl(i,v,(j,a,р)), а для всех (j,a,р)еLt^ , (j',а', р') е Liv , (j,а, р) Ф (j, а', р') выполнялось соотношение Шv,j,a,р)Г • ^v,j,a',р') = 0R(i,v,(j^Muj^)). (15) Доказательство. По формулам (3) можем записать матрицу V (i,v)TV2 (і,v) в следующем компактном виде: (16) V2 (i, v) V2 (i, v) = (V (i, v, TT, a, рД ) V (i, v, (V, a, р)р)), a =1, |V-v |, P = 1, L По (16) ясно, что в матрице V (i, v)T V (i, v) на главной диагонали стоят элементы V (i, v, (j, a, р)а ) • V (i, v, ( j , a, р)а ), a = 1, \\Ll,v | , а элементы, стоящие вне главной диагонали, есть элементы V(i,v,(j,a,рД) • V(i,v,(j,a,р)р), a = 1,|L;>| , p = 1,|L^| , a/p. Поэтому если для каждых a = {1,...,Liv} в матрице V(i,v,(j,a,р)а)TV(i,v,(j,a,р)а) все диагональные элементы ненулевые, тогда выполняется условие (14), а если для каждых ae{1,...,|Liv}, Ре{1,...,|Li v}, a/p, матрица V1(i,v,(j,a,р)а)TV(i,v,(j,a,р)р) есть нулевая матрица, тогда выполняется условие (15). Таким образом, для удовлетворения соотношения (6) необходимо и достаточно, чтобы выполнялись условия (14) и (15). Теорема доказана. Теорема 3. Пусть: I. а) Для всех v е {1,...,Д}, i е {1,...,£} вспомогательная последовательность viv[n,c1,c2,c3] является {0,1} - последовательностью с периодом Г(i,v) +1, Д(і,v) +1, A2(i,v) + 1 и A (i, v) +1 соответственно по аргументам n, c, c2 и c3, где Г(i, v) +1 < N, Aa(i,v) +1 1 (2, U v),..., (i, v )r (i, v)(2, U v)}, dy,(2,i, v) > 0, у = 1,...,R2(i, v) , где dy,y (2,i, v) есть элемент матрицы V2(i, v)TV2(i, v), а матрица V2(i,v) образована из последовательностей [Oi v[n,q,c2,c3]: n е [0,Г(i,v)]}, c е[0,Д(і,v)], c2 е[0,A(i,v)], c3 е[0,Д,(і,v)] последовательно по формулам: ^ v, j, a р, zk ) = (18) (19) (20) ma,p,y . П П [n -т(k)(a, P, У, ^a,p,y ), c1 + P1 (7a ), c2 + P2(ap ), c3 + Рз(ру )] | [(a,P,y)eei,v ^a,p,y=l V(j,v,7,a,р) = (V0(i,v,7,a,р,д) ... V0(i,v,7,a,р,xr ,)), Г i,v V,(i, v) = (Vj(i, v,(j, a, рх) ... Vj(i, v,(7, a, р)^|)). II. а) Для всех v е {1,...,Д}, i е {1,...,S'} и (n, q, c2, c3) е [0, Г(i, v)] x [0, A (i, v)] x [0, АД v)] x [0, A3 (i, v)] 83 Ф.Г. Фейзиев, Н.Б. Абаева последовательность и'ѵ [n, c, c2, c3 ] определяется по формуле U', v [n C', C2’ C3] = 3 vjv [n, c1 , c2, c3], если (n, c1, c2, c3) e F (i, v) x ( x Ga(i, ѵ)), , a=1 3 (21) 0, если (n, c1, c2, c3) g F(i, v) x ( x Ga (i, v)), 1 2 3 a=1 a где F(i, v) = [Nl(i, v) -x(i, v),Nl(i, v) -x(i, v) + T(i, v)] c [0,T'] Ga (i, v) = [Da (i, vX Da (i, v) + Aa (i, v)] c [0 A ] , a = 1, 3, X(i, v) = fmax{mumu m 1.2.1 m 1.2. e m 1 ./■ .f 2’-i m } -1, если TVj (i, v) > 0, [о, если N1 (i, v) = 0. б) Для всех ve{1,...,X;.}, i e{1,...,S} натуральные числа Nx(i,v), Dx(i,v), D2(i,v), D3(i,v) и область [0,T'] x [0,C[] x [0,C2] x [0,C3] таковы, что для любых v' e {1,...,Хг-}, i' e {1,...,S} , (i, v) Ф

Ключевые слова

4D-нелинейные модулярные динамические системы, ортогональные входные последовательности, условия ортогональности

Авторы

ФИООрганизацияДополнительноE-mail
Фейзиев Фикрат Гюльали оглыСумгаитский государственный университетдоктор физико-математических наук, профессор, заведующий кафедрой дифференциальных уравнений и оптимизацииfeyziyevfg@mail.ru
Абаева Нигяр Бахрам кызыСумгаитский государственный университетдиссертант кафедры дифференциальных уравнений и оптимизацииabayeveldar404@gmail.com
Всего: 2

Ссылки

Фараджев Р.Г. Линейные последовательностные машины. М. : Сов. радио, 1975. 248 с.
Блюмин С.Л., Фараджев Р.Г. Линейные клеточные машины: подход пространства состояний (обзор) // Автоматика и те лемеханика. 1982. № 2. С. 125-163.
Фараджев Р.Г., Фейзиев Ф.Г. Методы и алгоритмы решения задачи квадратичной оптимизации для двоичных последова тельностных машин. Баку : Элм, 1996. 180 с.
Фейзиев Ф.Г., Фараджева М.Р. Модулярные последовательностные машины: основные результаты по теории и приложе нию. Баку : Элм, 2006. 234 с.
Блейхут Р. Теория и практика кодов, контролирующих ошибки : пер. с англ. М. : Мир, 1986. 576 с.
Блюмин С.Л., Корнеев А.М. Дискретное моделирование систем автоматизации и управления. Липецк : Липецкий эколого гуманитар. ин-т, 2005. 124 с.
Nagiyev A.T., Feyziyev F.G. The sequential cellular-machining model of the continuous objects with distributing parameters // Seminarberichte, Fachbereich Mathematic. 2001. Bd 71. P. 31-43.
Скобелев В.В. Автоматы на алгебраических структурах (обзор) // Известия Саратовского университета. Новая сер. Сер. Математика. Механика. Информатика. 2013. Т. 13, вып. 2, ч. 2. С. 58-66.
Фараджев Р.Г., Нагиев А.Т., Гусейнов И.Н. Критерии диагностируемости билинейных последовательностных машин // Доклады РАН. 1998. Т. 361, № 5. С. 606-607.
Сперанский Д.В. Эксперименты с нечеткими автоматами // Автоматика и телемеханика. 2015. № 2. С. 107-124.
Сперанский Д.В. Эксперименты с нестационарными билинейными автоматами // Автоматика и телемеханика. 2015. № 9. С. 161-174.
Сперанский Д.В. Тестирование нечетких линейных автоматов // Известия Саратовского университета. Новая сер. Сер. Математика. Механика. Информатика. 2019. Т. 19, вып. 2. С. 233-240.
Haci Y. Optimal control problem for processes with multiparametric binary linear difference equation system // Applied and computational mathematics. 2009. V. 8, № 2. P. 263-269.
Haci Y., Ozen K. Terminal optimal control problem for processes represented by nonlinear multi-parametric binary dynamical system // Control and cybernetics. 2009. V. 38, № 3. P. 625-633.
Haci Y., Candan M., Or A. On the Principle of Optimality for Linear Stochastic Dynamical System // International Journal in Foundations of Computer Science and Technology. 2016. V. 6, № 1. P. 57-63.
Байбатшаев М.Ш., Попков Ю.С. Об одной задаче квадратичной оптимизации двоичных нелинейных последовательностных машин // Автоматика и телемеханика. 1978. № 12. С. 37-47.
Фараджев Р.Г., Фейзиев Ф.Г. К задаче квадратичной оптимизации для двоичных многомерных нелинейных последовательностно-клеточных машин // Автоматика и телемеханика. 1996. № 5. С. 104-119.
Ф.Г.Фейзиев, З.А.Самедова. Условия ортогональности для входных последовательностей двоичных 3,0-нелинейных модулярных динамических систем // Известия НАН Азербайджана. Сер. физ.-техн. и мат. наук. Информатика и проблемы управления. 2010. Т. 30, № 3. С. 115-124.
Фейзиев Ф.Г., Абаева Н.Б. Полиномиальное соотношение для представления полной реакции одного класса двоичных 4,0-модулярных динамических систем // Вестник Пермского университета. Сер. Математика. Механика. Информатика. 2019. Вып. 2 (45). С. 46-54.
Фейзиев Ф.Г., Абаева Н.Б. Задача оптимального синтеза двоичных 40-нелинейных модулярных динамических систем // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2020. № 53
Faradzhev, R.G. (1975) Lineynyeposledovatel'nostnye mashiny [Linear sequential machines]. Moscow: Sovetskoe radio.
Blyumin, S.L. & Faradzhev, R.G. (1982) Lineynye kletochnye mashiny: podkhod prostranstva sostoyaniy (obzor) [Linear cellular machine: The approach of the state space (review)]. Avtomatika i telemechanika-Automation and Remote Control. 2. pp. 125-163.
Faradzhev, R.G. & Feyziev, F.G. (1996) Metody i algoritmy resheniya zadachi kvadratichnoy optimizatsii dlya dvoichnykh posledovatel'nostnykh mashin [Methods and algorithms for solving quadratic optimization problem for binary sequential machines]. Baku: Elm.
Feyziev, F.G. & Faradzheva, M.R. (2006) Modulyarnye posledovatel'nostnye mashiny: osnovnye rezul'taty po teorii i prilozheniyu [Modular sequential machine: The main results of the theory and application]. Baku: Elm.
Blahut, R. (1986) Teoriya ipraktika kodov, kontroliruyushchikh oshibki [Theory and Practice of Error Control Codes]. Translated from English. Moscow: Mir.
Blyumin, S.L. & Korneev, A.M. (2005) Diskretnoe modelirovanie sistem avtomatizatsii i upravleniya [Discrete modeling automa tion and control systems]. Lipetsk: Lipetsk Ecological and Humanitarian Institute.
Nagiev, A.T. & Feyziyev, F.G. (2001) The sequential cellular-machining model of the continuous objects with distributing parameters. Seminarberichte, Fachbereich Mathematic. 71. pp. 31-43.
Skobelev, V.V. (2013) Automata on algebraic structures. Izvestiya Saratovskogo universiteta. Novaya seriyaya. Seriya Matematica. Mechanica. Informatika - Izvestiya of Saratov University. Mathematics. Mechanics. Informatics. 13( 2-2). pp. 58-66. DOI: 10.18500/1816-9791-2013-13-2-2-58-66
Faradzhev, R.G., Nagiev, A.T. & Guseynov, I.N. (1998) Kriterii diagnostiruemosti bilineynykh posledovatel'nostnykh mashin [The criteria of diagnosability for bilinear sequential machines]. DokladyRAN. 361(5). pp. 606-607.
Speranskiy, D.V. (2015) Eksperimenty s nechetkimi avtomatami [Eksperiments with fuzzy finite state machines]. Avtomatika i telemechanika-Automation and Remote Control. 2. pp. 107-124.
Speranskii, D.V. (2015) Eksperimenty s nestatsionarnymi bilineynymi avtomatami [Eksperiments with nonstationary bilinear finite state machines]. Avtomatika i telemechanika-Automation and Remote Control. 9. pp. 161-174.
Speranskii, D.V. (2019) Fuzzy linear automata testing. Izvestiya Saratovskogo universiteta. Novaya seriyaya. Seriya Matematica. Mechanica. Informatika - Izvestiya of Saratov University. Mathematics. Mechanics. Informatics. 19(2). pp. 233-240. DOI: 10.18500/1816-9791-2019-19-2-233-240
Haci, Y. (2009) Optimal control problem for processes with multiparametric binary linear difference equation system. Applied and Computational Mathematics. 8(2). pp. 263-269.
Haci, H. & Ozen, K. (2009) Terminal optimal control problem for processes represented by nonlinear multiparametric binary dynamical system. Control and Cybernetics. 38(3). pp. 625-633.
Haci, Y., Candan, M. & Or, A. (2016) On the Principle of Optimality for Linear Stochastic Dynamical System. International Journal in Foundations of Computer Science and Technology. 6(1). pp. 57-63. DOI: 10.5121/ijfcst.2016.6105. 57
Baybatshaev, M.Sh. & Popkov, Yu.S. (1978) Ob odnoy zadache kvadratichnoy optimizatsii dvoichnykh nelineynykh posledovatel'nostnykh mashin [On one quadratic optimization problem for binary nonlinear sequential machines]. Avtomatika i telemechanika - Automation and Remote Control. 12. pp. 37-47.
Faradzhev, R.G. & Feyziyev, F.G. (1996) K zadache kvadratichnoy optimizatsii dlya dvoichnykh mnogomernykh nelineynykh posledova-tel'nostno-kletochnykh mashin [To the quadratic optimization problem for binary many-dimensional nonlinear sequential cellular machines]. Avtomatika i telemechanika - Automation and Remote Control. 5. pp. 104-119.
Feyziyev, F.G. & Samedova, Z.A. (2010) Usloviya ortogonal'nosti dlya vkhodnykh posledovatel'nostey dvoichnykh 3D-nelineynykh modulyarnykh dinamicheskikh sistem [The conditions of orthogonality for input sequences for the binary 3D-nonlinear modular dynamical system]. Izvestiya NAN Azerbaydzhana. Ser. fiz.-tekhn. i mat. nauk. Informatika i problemy upravleniya. 30(3). pp. 115-124.
Feyziyev, F.G. & Abaeva, N.B. (2019) The polynomial ratio for description of full reaction of one classes binary 4D-multidimensional modular dynamic systems. Vestnik Permskogo universiteta. Ser. Matematika. Mekhanika. Informatika -Bulletin of Perm University. Mathematics. Mechanics. Computer Science. 2(45). pp. 46-54. DOI: 10.17072/1993-0550-2019-2-46-54
Feyziyev, F.G. & Abayeva, N.B. (2020) The problem of optimal synthesis of binary 4D- nonlinear modular dynamic systems. Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie, vychislitel'naya tekhnika i informatika - Tomsk State University Journal of Control and Computer Science. 53. pp. 102-109. DOI: 10.17223/19988605/53/10
 Условия ортогональности входных последовательностей одного класса двоичных 4D-нелинейных модулярных динамических систем | Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2021. № 55. DOI: 10.17223/19988605/55/10

Условия ортогональности входных последовательностей одного класса двоичных 4D-нелинейных модулярных динамических систем | Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2021. № 55. DOI: 10.17223/19988605/55/10