Все выпуски

Утверждается, что если в дополнение к условиям существования и единственности решения x(t, t₀, μ) n-векторной задачи Коши dx/dt = f(t, x, μ) (t ∈ I, μ ∈ M), x(t₀) = x₀ и непрерывной зависимости его от параметра μ ∈ M потребовать равностепенную непрерывность семейства {f(t, x, ·)}_(t,x), то x(t, t₀, μ) равномерно непрерывно зависит от параметра μ на открытом множестве M. Для линейной n×n-матричной задачи Коши dX/dt = A(t, μ)X + (t, μ) (t ∈ I, μ ∈ M), X(t₀, μ) = X₀(μ) аналогичное утверждение доказывается в предположении равномерной произвольной малости интегралов ∫_I||A(t, μ₁) − A(t, μ₂)|| dt и ∫_I||(t, μ₁) − (t, μ₂)|| dt при достаточной малости ||μ₁ − μ₂|| (μ₁, μ₂ ∈ M).

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

Известно, что существуют три так называемые предтабличные суперинтуиционистские логики (то есть не являющиеся табличными, но такие, что все их собственные расширения уже табличны). Одна из них - логика $L2$ - характеризуется классом корневых упорядоченных множеств глубины 2. Установлено, что для суперинтуиционистской логики $L2$ в языке с единственной дополнительной константой существует ровно пять полных по Новикову расширений; дано их семантическое описание.

В настоящей работе предлагается явная аксиоматика гильбертовского типа для каждого из пяти существующих полных по П.С. Новикову расширений суперинтуиционистской логики $L2$ в языке с одной дополнительной логической константой.

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

Рассматриваются вопросы, связанные с решением аддитивной задачи последовательного обхода множеств с ограничениями предшествования и функциями стоимости, допускающими зависимость от списка заданий. В качестве базового метода используется широко понимаемое динамическое программирование (ДП), дополняемое в случае задач ощутимой размерности декомпозициями семейства заданий и преобразованием параметров исходной задачи. Возможные применения связаны, в частности, с задачей управления инструментом при фигурной листовой резке деталей на машинах с ЧПУ. В этой задаче важным обстоятельством является учет условий предшествования, имеющих, в частности, следующий смысл: в случае детали с отверстиями резка каждого из внутренних контуров (отвечающих отверстиям) должна предшествовать резке внешнего контура. Сам критерий качества в данной задаче, как правило, является аддитивным. Другой тип ограничений касается избежания термических деформаций деталей. При использовании подхода с применением штрафов за нарушение условий, связанных с эффективным отводом тепла при выполнении врезки, возникают функции стоимости, допускающие зависимость от списка заданий, выполненных на текущий момент времени. Заметим, что в другой прикладной задаче, а именно в задаче о демонтаже радиационно опасных объектов, возникают функции стоимости с зависимостью от списка заданий, не выполненных на данный момент (а, следовательно, касающихся недемонтированных объектов). В итоге мы приходим к очень общей задаче с ограничениями предшествования и функциями стоимости с зависимостью от списка заданий. Применяемая в случае ощутимой размерности декомпозиция с последующей реализацией ДП требует, с одной стороны, разработки методов кластеризации, а, с другой, построения адекватной конструкции распределения глобальных условий предшествования по кластерам. В теоретической части работы обсуждается случай двух кластеров, который позволяет охватить единой схемой целый ряд практически интересных задач диапазонного (в смысле размерности) типа. Указан алгоритм построения композиционного решения, включающий этап обучения кластеризации на основе жадного алгоритма. Данный «композиционный» алгоритм реализован на ПЭВМ; проведен вычислительный эксперимент.

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

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

Классическая система реакции-диффузии — система Шнакенберга — рассматривается в ограниченной области $m$-мерного пространства, на границе которой предполагаются выполненными краевые условия Неймана. Изучается диффузионная неустойчивость стационарного пространственно-однородного решения этой системы, называемая также неустойчивостью Тьюринга, возникающая при изменении коэффициента диффузии $d.$ Путем анализа линеаризованной системы в бездиффузионном и диффузионном приближениях получено аналитическое описание области необходимых и достаточных условий неустойчивости Тьюринга на плоскости параметров системы. Показано, что одна из границ области необходимых условий является огибающей семейства кривых, ограничивающих область достаточных условий. При этом точки пересечения двух соседних кривых лежат на прямой, угловой коэффициент которой зависит от собственных значений оператора Лапласа в рассматриваемой области и не зависит от коэффициента диффузии. Найдено аналитическое выражение критического коэффициента диффузии, при котором происходит потеря устойчивости положения равновесия системы. Указаны условия, в зависимости от которых множество волновых чисел, соответствующих нейтральным модам устойчивости, счетно, конечно или пусто. Показано, что полуось $d>1$ можно представить в виде счетного объединения полуинтервалов, каждому из которых соответствует минимальное волновое число, при котором происходит потеря устойчивости, причем точки разбиения полуоси выражаются через собственные значения оператора Лапласа в рассматриваемой области.

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

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

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

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

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