Все выпуски

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

Рассматриваются структурные, аппроксимативные и спектральные свойства нётеровых операторов индекса n и (−n), действующих между банаховыми пространствами B и D, где D изоморфно прямой сумме пространства B и конечномерного пространства E размерности n. Раскрыта роль теоремы С.М. Никольского о фредгольмовом операторе в изучении указанных свойств, а также в вопросе разрешимости уравнений с краевыми неравенствами. В случае сепарабельного гильбертова пространства B для однозначно разрешимых краевых задач предлагается основанная на разложении Э. Шмидта компактного оператора схема дискретизации, которая позволяет применить абстрактный вариант теоремы Рябенького–Филиппова о связи аппроксимации, устойчивости и сходимости.

Статья посвящена исследованию эффективности применения технологии параллельных вычислений на многопроцессорных системах с общей памятью для задач приближенного расчета множеств достижимости нелинейных управляемых систем в конечномерном евклидовом пространстве. В рамках исследования предложен параллельный алгоритм приближенного построения множеств достижимости, основанный на пошаговой вычислительной схеме с использованием узлов «кубических» сеток для аппроксимации множеств. Предложенный алгоритм предназначен для проведения расчетов на ЭВМ архитектуры SMP и решает вопросы разделения задачи на отдельные подзадачи, синхронизации работы параллельных частей алгоритма и равномерного распределения нагрузки между процессорами. Численное моделирование примеров на ЭВМ с двумя 4-ядерными процессорами с использованием предложенного в статье параллельного алгоритма показало высокую эффективность применения технологии параллельных вычислений для расчета множеств достижимости сеточными методами.

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

На примере известной задачи о прокладке трассы изучаются возможности численного решения сосредоточенных задач оптимального управления методом параметризации управления с помощью линейной комбинации $\mu$ функций Гаусса. Напомним, что функция Гаусса (называемая также квадратичной экспонентой) - это функция вида $\varphi(x)=\dfrac{1}{\sigma\sqrt{2\pi}}\exp\left[-\dfrac{(x-m)^2}{2\sigma^2}\right]$. Основу метода составляет сведение исходной бесконечномерной задачи оптимизации к конечномерной задаче минимизации целевого функционала по параметрам аппроксимации управления с последующим применением численных методов конечномерной оптимизации. Данная статья опирается на исследование, проведенное автором ранее и касавшееся возможностей аппроксимации функций одного переменного на конечном отрезке линейной комбинацией функций Гаусса, и является его непосредственным продолжением. Прежде всего, мы доказываем утверждение об аппроксимации на любом конечном отрезке материнского вейвлета «мексиканская шляпа» линейной комбинацией двух квадратичных экспонент. Отсюда получаем теоретическое обоснование возможности эффективной аппроксимации функций одного переменного на любом конечном отрезке линейными комбинациями функций Гаусса. После этого мы проводим сравнение качества аппроксимации указанного вида с аппроксимацией по Котельникову на базе численных экспериментов. Затем приводится постановка задачи о прокладке трассы, а также результаты ее численного решения при различных способах параметризации управления, наглядно демонстрирующие преимущества предлагаемого способа, в частности устойчивость численного решения к погрешности вычисления параметров аппроксимации оптимального управления даже при использовании малого количества этих параметров.

Рассматривается уравнение в частных производных первого порядка с эффектом наследственности:

$$ \frac{\partial u(x,t)}{\partial t} + a \frac{\partial u(x,t)}{\partial x} = f ( x, t, u(x,t), u_t(x,\cdot)),$$ $$u_t(x,\cdot) = \{u(x,t+s), -\tau\leqslant s <0\}.$$

Для такого уравнения, с позиций принципа разделения конечномерной и бесконечномерной составляющих состояния, строятся сеточные методы: аналог семейства схем бегущего счета, аналог схемы Кранка-Николсон, метод аппроксимации на середину квадрата. Для учета эффекта наследственности применяются одномерная и двойная кусочно-линейная интерполяции и экстраполяция продолжением. Доказывается, что рассмотренные методы имеют порядки локальной погрешности: соответственно $O(h+\Delta)$, $O(h+\Delta^2)$ и $O(h^2+\Delta^2)$, где $h$ - шаг дискретизации по пространственной переменной, $\Delta$ - шаг дискретизации по временной переменной. Исследуются свойства двойной кусочно-линейной интерполяции. Используя результаты общей теории разностных схем, установлены условия устойчивости предложенных методов. С помощью вложения в общую схему численных методов для функционально-дифференциальных уравнений получены теоремы о порядках сходимости сконструированных алгоритмов. Приведены тестовые примеры по сравнению погрешностей методов.

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

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

Изучаются аппроксимирующие конечномерные задачи математического программирования, возникающие в результате кусочно-постоянной дискретизации управления (в рамках техники параметризации управления) при оптимизации распределенных систем достаточно широкого класса. Устанавливается непрерывность по Липшицу градиентов функций аппроксимирующих задач; приводятся соответствующие формулы градиентов, использующие аналитическое решение исходной управляемой системы и сопряженной к ней системы и тем самым обеспечивающие возможность алгоритмического разделения проблемы оптимизации и проблемы решения управляемой начально-краевой задачи. Применение к численному решению задач оптимизации иллюстрируется на примере задачи Коши-Дарбу, управляемой по интегральному критерию. Приводятся результаты численного решения соответствующей аппроксимирующей задачи в системе MatLab с помощью программы fmincon, а также авторской программы, реализующей метод условного градиента. Кроме того, рассматривается задача безусловной минимизации, получаемая из аппроксимирующей задачи с ограничениями методом синус-параметризации. Приводятся результаты численного решения указанной задачи в системе MatLab с помощью программы fminunc, а также авторских программ, реализующих методы наискорейшего спуска и BFGS. Результаты численных экспериментов подробно анализируются.

Изучаются возможности аппроксимации произвольной кусочно-непрерывной функции на конечном отрезке линейной комбинацией $\mu$ функций Гаусса с целью дальнейшего их использования для аппроксимации управлений в сосредоточенных задачах оптимального управления. Напомним, что функция Гаусса (квадратичная экспонента) - это функция вида $\varphi(x)=\dfrac{1}{\sigma\sqrt{2\pi}} \exp\left[ -\dfrac{(x-m)^2}{2\sigma^2} \right]$. В отличие от исследований, проводившихся ранее другими авторами, рассматривается случай, когда параметры функций Гаусса (так же как и коэффициенты линейной комбинации) являются варьируемыми и подбираются, в частности, путем минимизации отклонения аппроксимации от аппроксимируемой функции либо (в том случае, когда речь идет об аппроксимации задачи оптимального управления) путем минимизации целевого функционала. Этот подход позволяет аппроксимировать задачи оптимального управления сосредоточенными системами конечномерными задачами математического программирования сравнительно небольшой размерности (в отличие от кусочно-постоянной или кусочно-линейной аппроксимации на фиксированной сетке с малым шагом, как это обычно делается). Приводятся результаты численных экспериментов, подтверждающие эффективность изучаемого подхода.