Все выпуски

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

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

Предметом настоящей работы является вопрос о стабильности вполне управляемых систем, заданных на гладком многообразии. Известно, что множества управляемости симметричных систем порождают сингулярные слоения. В случае, когда множества управляемости имеют одинаковую размерность, возникает регулярное слоение. Таким образом, возникает возможность применения методов теории слоений в задачах теории управления. В данной работе излагаются некоторые результаты авторов о возможности применения теорем о стабильности слоев для задачи о стабильности вполне управляемых систем и для изучения геометрии множества достижимости. Гладкость всюду в работе будет означать гладкость класса $C^{\infty}.$

Рассматривается задача Коши для уравнений Навье–Стокса над полосой ${\mathbb R}^3 \times [0,T]$ с временем $T>0$ в пространственно-периодической постановке. Доказывается, что задача индуцирует открытые инъективные отображения ${\mathcal A}_s\colon B^{s}_1 \to B^{s-1}_2$, где $B^{s}_1$, $B^{s-1}_2$ суть элементы шкал специально построенных функциональных пространств Бохнера–Соболева, параметризованных индексом гладкости $s \in \mathbb N$. Наконец, мы доказываем, что отображение ${\mathcal A}_s$ сюръективно тогда и только тогда, когда прообраз ${\mathcal A}_s ^{-1}(K)$ любого предкомпактного множества $K$ из образа отображения ${\mathcal A}_s$ ограничен в пространстве Бохнера $L^{\mathfrak s} ([0,T], L ^{{\mathfrak r}} ({\mathbb T}^3))$ с показателями Ладыженской–Проди–Серрина ${\mathfrak s}$, ${\mathfrak r}$.

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

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