Все выпуски

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

В первой части определено и исследовано нелинейное метрическое пространство $\langle\overline{\rm G}^\infty[a,b],d\rangle$, состоящее из функций, действующих из отрезка $[a,b]$ в расширенную числовую ось $\overline{\mathbb R}$. По определению предполагается, что для любых $x\in\overline{\rm G}^\infty[a,b]$ и $t\in(a,b)$ существуют предельные числа $x(t-0),x(t+0)\in\overline{\mathbb R}$ (и числа $x(a+0),x(b-0)\in\overline{\mathbb R}$). Доказана полнота пространства. Оно является замыканием пространства ступенчатых функций в метрике $d$. Во второй части работы определено и исследовано нелинейное пространство ${\rm RL}[a,b]$. Всякая кусочно-гладкая функция, определенная на $[a,b]$, содержится в ${\rm RL}[a,b]$. Всякая функция $x\in{\rm RL}[a,b]$ имеет ограниченное изменение. Для нее определены все односторонние производные (со значениями в метрическом пространстве $\langle\overline{\mathbb R},\varrho\rangle$). Функция левосторонних производных непрерывна слева, а функция правосторонних производных непрерывна справа. Обе функции, доопределенные на весь отрезок $[a,b]$, принадлежат пространству $\overline{\rm G}^\infty[a,b]$. В заключительной части работы определены и исследованы два подпространства пространства ${\rm RL}[a,b]$. В подпространствах сформулированы и обсуждены перспективные постановки для простейших вариационных задач.

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

Рассматривается задача построения вершинного описания выпуклого полиэдра, заданного как множество решений некоторой системы линейных неравенств, коэффициенты которой являются алгебраическими числами. Обратная задача эквивалентна (двойственна) исходной. Предлагаются программные реализации нескольких модификаций хорошо известного метода двойного описания (метода Моцкина-Бургера), решающего поставленную задачу. Рассматривается два случая: 1) элементы системы неравенств - произвольные алгебраические числа, при этом каждое такое число задается минимальным многочленом и локализующим интервалом; 2) элементы системы неравенств принадлежат заданному конечному расширению ${\mathbb Q} (\alpha)$ поля ${\mathbb Q}$, при этом для $\alpha$ задаются минимальный многочлен и локализующий интервал, а все элементы исходной системы, конечные и промежуточные результаты представлены как многочлены от $\alpha$. Как и ожидалось, программная реализация для второго варианта значительно превосходит реализацию для первого варианта по производительности. Для большего ускорения во втором случае предлагается использовать булевы матрицы вместо матриц невязок. Результаты вычислительного эксперимента показывают, что программные реализации вполне пригодны для решения задач умеренных размеров.

В этой работе решается проблема расширения группы параллельных переносов трехмерного пространства до локально ограниченно точно дважды транзитивной группы Ли преобразований того же пространства. Локальная ограниченная точная двойная транзитивность означает, что существует единственное преобразование, которое переводит произвольную пару несовпадающих точек из некоторой открытой окрестности почти в любую пару точек из той же окрестности. В данной статье поставленная задача решается для двух случаев, связанных с жордановыми формами матриц третьего порядка. С помощью этих матриц записываются системы линейных дифференциальных уравнений, решения которых приводят к базисным операторам шестимерного линейного пространства. Требуя замкнутость коммутаторов этих операторов, выделяем алгебры Ли. Проверяя также условие локальной ограниченной точно дважды транзитивности, мы получаем алгебры Ли локально ограниченно точно дважды транзитивных групп Ли преобразований трехмерного пространства с подгруппой параллельных переносов. В результате получены три алгебры Ли, две из которых представимы в виде полупрямой суммы коммутативного трехмерного идеала и трехмерной подалгебры Ли, а третья разлагается в полупрямую сумму коммутативного трехмерного идеала и подалгебры, изоморфной $sl(2,R)$.

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

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

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

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

Предлагается алгоритм получения решения уравнений в частных производных с правой частью, заданной на сетке $\{ (x_{1})_{\mu}, (x_{2})_{\mu}, \ldots, (x_{n})_{\mu}\},$ $(\mu=1,2,\ldots,N)\colon f_{\mu}=f((x_{1})_{\mu}, (x_{2})_{\mu}, \ldots, (x_{n})_{\mu}).$ Здесь $n$ — число независимых переменных в исходном уравнении в частных производных, $N$ — число строк в сетке для правой части, $f=f( x_{1}, x_{2}, \ldots, x_{n})$ — правая часть исходного уравнения. Алгоритм реализует редукцию исходного уравнения к системе обыкновенных дифференциальных уравнений (системе ОДУ) с начальными условиями в каждой точке сетки и включает следующую последовательность действий. Ищется решение исходного уравнения, зависящее от одной независимой переменной. Исходному уравнению ставится в соответствие некоторая система соотношений, содержащая произвольные функции и включающая уравнение в частных производных первого порядка. Для уравнения первого порядка выписывается расширенная система уравнений характеристик. Присоединяя к ней остальные соотношения, содержащие произвольные функции, и требуя, чтобы эти соотношения были первыми интегралами расширенной системы уравнений характеристик, приходим к искомой системе ОДУ, завершая редукцию. Предлагаемый алгоритм позволяет в каждой точке сетки находить решение исходного уравнения в частных производных, удовлетворяющее заданным начальным и краевым условиям. Алгоритм применяется для получения решений уравнения Пуассона и уравнения нестационарной осесимметричной фильтрации в точках сетки, на которой заданы правые части соответствующих уравнений.