Все выпуски

Рассматривается линейная управляемая система с линейной неполной обратной связью с дискретным временем $$x(t+1)=Ax(t)+Bu(t), \quad y(t)=C^*x(t), \quad u(t)=Uy(t),$$ $$t\in\mathbb{Z},\quad (x,u,y)\in\mathbb{K}^n\times\mathbb{K}^m\times\mathbb{K}^k.$$

Здесь $\mathbb K=\mathbb C$ или $\mathbb K=\mathbb R$. Для замкнутой системы $$x(t+1)=(A+BUC^*)x(t), \quad x\in\mathbb K^n, \qquad(1)$$

вводится понятие согласованности. Это понятие является обобщением понятия полной управляемости на системы с неполной обратной связью. Исследуется свойство согласованности системы $(1)$ в связи с задачей управления спектром собственных значений, которая заключается в приведении характеристического многочлена матрицы стационарной системы $(1)$ с помощью стационарного управления $U$ к произвольному наперед заданному полиному. Для системы $(1)$ специального вида, когда матрица $A$ имеет форму Хессенберга, а в матрицах $B$ и $C$ все строки соответственно до $p$-й и после $p$-й (не включая $p$) равны нулю, свойство согласованности является достаточным условием глобальной управляемости спектра собственных значений. В предыдущих работах было доказано, что обратное утверждение верно для $n<5$ и неверно для $n>5$. В настоящей работе открытый вопрос для $n=5$ разрешен. Доказано, что при $n=5$ для системы с коэффициентами специального вида свойство согласованности является необходимым условием глобальной управляемости спектра собственных значений. Доказательство производится перебором всевозможных допустимых значений размерностей $m,k,p$. Свойство согласованности эквивалентно свойству полной управляемости «большой системы» размерности $n^2$. Для доказательства строится большая система, строится матрица управляемости $K$ этой системы размерности $n^2\times n^2mk$. Доказывается, что матрица $K$ имеет ненулевой минор порядка $n^2=25$. Для вычисления определителей больших порядков используется система Maple 15.

We consider a discrete-time linear control system with an incomplete feedback $$x(t+1)=Ax(t)+Bu(t), \quad y(t)=C^*x(t), \quad u(t)=Uy(t),$$ $$t\in\mathbb{Z},\quad (x,u,y)\in\mathbb{K}^n\times\mathbb{K}^m\times\mathbb{K}^k,$$

where $\mathbb K=\mathbb C$ or $\mathbb K=\mathbb R$. We introduce the concept of consistency for the closed-loop system

$$x(t+1)=(A+BUC^*)x(t), \quad x\in\mathbb K^n. \qquad(1)$$

This concept is a generalization of the concept of complete controllability to systems with an incomplete feedback. We study the consistency of the system $(1)$ in connection with the problem of arbitrary placement of eigenvalue spectrum which is to bring a characteristic polynomial of a matrix of the system $(1)$ to any prescribed polynomial by means of the time-invariant control $U$. For the system $(1)$ of the special form where the matrix $A$ is Hessenberg and the rows of the matrix $B$ before the $p$-th and the rows of the matrix $C$ after the $p$-th (not including $p$) are equal to zero, the property of consistency is the sufficient condition for arbitrary placement of eigenvalue spectrum. In previous studies it has been proved that the converse is true for $n <5$ and false for $n> 5$. In this paper, an open question for $ n = 5 $ is resolved. For the system $(1)$ of the special form, it is proved that if $n = 5$ then the property of consistency is a necessary condition for the arbitrary placement of eigenvalue spectrum. The proof is carried out by direct searching of all possible valid values of dimensions $ m, k, p $. The property of consistency is equivalent to the property of complete controllability of a big system of dimension $n^2$. For the proof we construct the big system and the controllability matrix $K$ of this system of dimension $n^2\times n^2mk$. We show that the matrix $K$ has a nonzero minor of order $n^2 = 25$. We use Maple 15 to calculate the high-order determinants.

Определена конформная связность со скалярной кривизной как обобщение псевдориманова пространства постоянной кривизны. Вычислена матрица кривизны такой связности. Доказано, что на многообразии конформной связности со скалярной кривизной имеется конформная связность с нулевой матрицей кривизны. Дано определение перенормируемого скаляра и доказано существование перенормируемых скаляров на любом многообразии конформной связности, где существует разбиение единицы. Доказано: 1) существование на многообразии конформной связности с нулевой матрицей кривизны конформной связности с положительной, отрицательной и знакопеременной скалярной кривизной; 2) существование на многообразии конформной связности глобальной калибровочно-инвариантной метрики; 3) на гиперповерхности конформного пространства индуцированная конформная связность не может быть с ненулевой скалярной кривизной.

A conformal connection with scalar curvature is defined as a generalization of a pseudo-Riemannian space of constant curvature. The curvature matrix of such connection is computed. It is proved that on a conformally connected manifold with scalar curvature there is a conformal connection with zero curvature matrix. We give a definition of a rescalable scalar and prove the existence of rescalable scalars on any manifold with conformal connection where a partition of unity exists. It is proved: 1) on any manifold with conformal connection and zero curvature matrix there exists a conformal connection with positive, negative and alternating scalar curvature; 2) on any conformally connected manifold there exists a global gauge-invariant metric; 3) on a hypersurface of a conformal space the induced conformal connection can not be of nonzero scalar curvature.

Матричный шар третьего типа и обобщенный шар Ли, связанные с классическими областями, играют важную роль в теории функций многих комплексных переменных. В данной работе вычислены объемы матричного шара третьего типа и обобщенного шара Ли. Полные объемы этих областей необходимы для нахождения ядер интегральных формул для этих областей (ядра Бергмана, Коши-Сегё, Пуассона и т. д.). Кроме того, он используется для интегрального представления функции, голоморфной на этих областях, в теореме о среднем значении и других важных понятиях. Результаты, полученные в этой статье, являются общим случаем результатов Хуа Ло-кена, и его результаты в частных случаях совпадают с нашими результатами.

The third-type matrix ball and the generalized Lie ball that are connected with classical domains play a crucial role in the theory of several complex variable functions. In this paper the volumes of the third type matrix ball and the generalized Lie ball are calculated. The full volumes of these domains are necessary for finding kernels of integral formulas for these domains (kernels of Bergman, Cauchy-Szegö, Poisson etc.). In addition, it is used for the integral representation of a function holomorphic on these domains, in the mean value theorem and other important concepts. The results obtained in this article are the general case of results of Hua Lo-ken and his results in particular cases coincides with our results.

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

The work is devoted to the connection between parallel and sequential computing. On the one hand, we consider a class of word predicates based on sequential calculations, limited in memory by constants and having polynomial time complexity. On the other hand, we consider a class of word predicates that are computable on parallel alternating machines in logarithmic time. The coincidence of the corresponding classes is proven. The direction of using the obtained results for mutual transformation and combination of calculations on molecular biosimilar sequential machines and parallel calculations on vector-matrix computers is proposed. Intended applications: real-time image processing for control tasks, analysis of large texts and other big data.