Все выпуски

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

Работа посвящена исследованию свойства интегральной разделенности линейных систем с дискретным временем. Согласно определению система $x(m+1)=A(m)x(m),$ $m\in\mathbb N,$ $x\in\mathbb R^n,$ называется системой с интегральной разделенностью, если она имеет фундаментальную систему решений $x^1(\cdot),\ldots,x^n(\cdot)$ такую, что при некоторых $\gamma>0$, $a>1$ и всех натуральных $m>s$, $i\leqslant n-1$ выполнены неравенства $$ \dfrac{\|x^{i+1}(m)\|}{\|x^{i+1}(s)\|}\geqslant\gamma a^{m-s}\dfrac{\|x^{i}(m)\|}{\|x^{i}(s)\|}. $$ Понятие интегральной разделенности систем с непрерывным временем было введено Б.Ф. Быловым в 1965 году. Доказаны критерии интегральной разделенности систем с дискретным временем: приводимость к диагональному виду с интегрально разделенной диагональю; устойчивость и некратность показателей Ляпунова. Подробно исследовано также свойство диагонализируемости систем с дискретным временем. Доказательства учитывают специфику этих систем.

Рассматривается задача о назначении спектра показателей Ляпунова линейной управляемой системы с дискретным временем $$x(m+1)=A(m)x(m)+B(m)u(m),\quad m\in\mathbb N,\ x\in\mathbb R^{n},\ u\in\mathbb R^{k}, \qquad (1)$$ посредством линейной по фазовым переменным обратной связи $u(m)=U(m)x(m)$ в малой окрестности спектра показателей свободной системы $$x(m+1)=A(m)x(m),\quad m\in\mathbb N,\ x\in\mathbb R^{n}. \qquad (2)$$ Дополнительно требуется, чтобы норма матрицы обратной связи $U(\cdot)$ удовлетворяла липшицевой оценке по отношению к требуемому смещению показателей. Это свойство называется пропорциональной локальной управляемостью полного спектра показателей Ляпунова замкнутой системы $$x(m+1)=\bigl(A(m)+B(m)U(m)\bigr)x(m),\quad m\in\mathbb N,\ x\in\mathbb R^{n}. \qquad (3)$$ Построен пример, показывающий, что найденные ранее достаточные условия пропорциональной локальной управляемости полного спектра показателей Ляпунова системы (3) (равномерная полная управляемость системы (1) и устойчивость показателей Ляпунова свободной системы (2)) не являются необходимыми.

В статье рассматривается задача устойчивой реконструкции неизвестного входа системы по результатам неточных измерений ее решения. Суть задачи состоит в следующем. Имеется система, описываемая распределенным уравнением второго порядка, решение которой зависит от входа, меняющегося со временем. Как вход, так и решение заранее не известны. В дискретные моменты времени измеряется решение уравнения. Результаты измерения неточны. Требуется построить алгоритм приближенного восстановления входа, обладающий свойствами динамичности и устойчивости. Свойство динамичности означает, что текущие значения приближений входа вычисляются в реальном времени (он-лайн). Свойство устойчивости — что приближения являются достаточно точными, при хорошей точности измерений. Задача относится к классу обратных задач. Представленный в статье алгоритм основан на конструкциях теории устойчивого динамического обращения в комбинации с методами некорректных задач и позиционного управления.

Изучается бикомпактное расширение счётного дискретного пространства, построенное как пространство Стоуна одной булевой алгебры. Получены новые классы точек этого расширения.

Рассматривается компактификация BN счётного дискретного пространства N. В данной работе описаны свойства замыканий подмножеств BN, состоящих из различных классов точек. Показано существование точек, не принадлежащих классам, выделенным ранее.

Рассматривается линейная управляемая система с неполной обратной связью с дискретным временем

x(t+1)=A(t)x(t)+B(t)u(t),   y(t)=C*(t)x(t),   u(t)=U(t)y(t),   t∈Z.

Исследуется задача управления асимптотическим поведением замкнутой системы

x(t+1)=(A(t)+B(t)U(t)C*(t))x(t), x∈Kⁿ.                (1)

Здесь K=C или K=R. Для такой системы вводится понятие согласованности. Это понятие является обобщением понятия полной управляемости на системы с неполной обратной связью. Исследовано свойство согласованности системы (1), получены новые необходимые условия и достаточные условия согласованности системы (1), в том числе в стационарном случае. Для стационарной системы вида (1) исследуется задача о глобальном управлении спектром собственных значений, которая заключается в приведении характеристического многочлена матрицы стационарной системы (1) с помощью стационарного управления U к произвольному наперед заданному полиному. Для системы (1) с постоянными коэффициентами специального вида, когда матрица A имеет форму Хессенберга, а в матрицах B и C все строки соответственно до p-й и после p-й (не включая p) равны нулю, свойство согласованности является достаточным условием глобальной управляемости спектра собственных значений. Ранее было доказано, что обратное утверждение верно для n<4 и неверно для n>5. В настоящей работе доказано, что обратное утверждение верно для n=4.

Рассматривается линейная управляемая система с линейной неполной обратной связью с дискретным временем $$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.

Пусть зафиксирован некоторый класс возмущений матрицы коэффициентов $A(\cdot)$ дискретной линейной однородной системы вида $$x(m+1)=A(m)x(m),\quad m\in\mathbb Z,\quad x\in\mathbb R^n,$$ с вполне ограниченной на $\mathbb Z$ матрицей $A(\cdot)$. Спектральным множеством этой системы, отвечающим заданному классу возмущений, называем совокупность полных спектров показателей Ляпунова возмущенных систем, когда возмущения пробегают весь заданный класс. Основное внимание в работе уделено классу ${\cal R}$ возмущенных систем вида $$y(m+1)=A(m)R(m)x(m),\quad m\in\mathbb Z,\quad y\in\mathbb R^n,$$ с вполне ограниченными на $\mathbb Z$ матрицами $R(\cdot)$, и его подклассам ${\cal R}_{\delta}$ с матрицами $R(\cdot)$, удовлетворяющими оценке $\sup_{m\in\mathbb Z}\|R(m)-E\|<\delta$, где $\delta>0$. Доказано, что если показатели Ляпунова исходной системы устойчивы, то спектральное множество $\lambda({\cal R})$, отвечающее классу ${\cal R}$, совпадает с множеством всех упорядоченных по возрастанию наборов из $n$ чисел, при этом для каждого $\Delta>0$ существует такое $\ell=\ell(\Delta)>0$, что для любого $\delta<\Delta$ спектральное множество $\lambda({\cal R}_{\ell\delta})$ содержит в себе $\delta$-окрестность полного спектра показателей Ляпунова невозмущенной системы.

Рассматривается билинейная управляемая система, заданная линейной стационарной системой дифференциальных уравнений с запаздыванием в состоянии. Исследуется задача назначения произвольного конечного спектра посредством стационарного управления. Требуется построить постоянный вектор управления таким образом, чтобы характеристический квазиполином замкнутой системы обращался в полином с произвольными наперед заданными коэффициентами. Получены условия на коэффициенты системы, при которых найден критерий разрешимости данной задачи назначения конечного спектра. Критерий выражен в терминах ранговых условий для матриц специального вида. Показана взаимосвязь этих ранговых условий со свойством согласованности усеченной системы без запаздывания. Получены следствия о стабилизации билинейной системы с запаздыванием. Результаты обобщают полученные ранее результаты о назначении спектра для линейных систем со статической обратной связью по выходу с запаздыванием и для билинейных систем без запаздывания. Полученные результаты переносятся на билинейные системы с запаздыванием с дискретным временем. Рассмотрен иллюстрирующий пример.