Вестник Южно-Уральского государственного университета. Серия: Математическое моделирование и программирование @vestnik-susu-mmp
Статьи журнала - Вестник Южно-Уральского государственного университета. Серия: Математическое моделирование и программирование
Все статьи: 767
Нестационарная линеаризованная модель движения несжимаемой вязкоупругой жидкости высокого порядка
Статья научная
Рассматривается первая начально-краевая задача для системы уравнений Осколкова, моделирующей в линейном приближении динамику несжимаемой вязкоупругой жидкости Кельвина - Фойгта высокого порядка. Данная задача исследуется в рамках теории линейных неоднородных уравнений Соболевского типа. Доказана теорема существования единственного решения указанной задачи, и получено описание ее расширенного фазового пространства.
Бесплатно
Неустойчивость решений уравнений Хоффа на графе. Численный эксперимент
Статья научная
Целью статьи является численное исследование неустойчивости нулевого решения уравнения Хоффа, заданного на конечном связном ориентированном графе.
Бесплатно
Новые гиперболические модели многокомпонентных гетерогенных сред
Статья научная
Разработка математически корректных и физически непротиворечивых моделей много-фазных сред является актуальной задачей, поскольку не все существующие к настоящему времени модели гетерогенных сред являются таковыми. В данной работе для многокомпонентной среды предлагаются две новые модели - в одно- и многоскоростном приближениях. Модели основаны на законах сохранения. Учитываются вязкие и теплопроводящие свойства смеси. Для приведенных моделей строятся автомодельные решения типа бегущей волны. На примере бинарной смеси расчеты, произведенные в одно- и многоскоростном приближениях. Показывается, что при использовании релаксационных законов для диссипативных процессов системы уравнений относятся к гиперболическому типу.
Бесплатно
Новый алгоритм вычисления аппроксимаций Паде и его реализация в MATLAB
Статья научная
В работе предложен алгоритм вычисления аппроксимации Паде, основанный на выборе ее знаменателя с минимальной степенью. Показано, что новый алгоритм не приводит к появлению дуплетов Фруассара, в отличие от имеющихся в Maple и Mathematica процедур вычисления аппроксимаций Паде.
Бесплатно
О восстановлении программ из контрольных точек
Статья научная
В работе описаны два подхода к проблеме восстановления распределенных программ из контрольных точек. Предложен алгоритм восстановления взаимосвязей типа «родитель-потомок» и алгоритм принадлежности к группам и сеансам для набора процессов в рамках элементарной машины распределенной вычислительной системы. Предложен алгоритм координированного восстановления набора связанных процессов, перезапускаемых раздельно (на различных элементарных машинах или терминалах). Описанные подходы реализованы в системе создания контрольных точек DMTCP (Distributed MultiThreaded Checkpointing).
Бесплатно
О вычислении функциональной производной для одной задачи оптимального управления
Статья научная
Задача синтеза многослойной дифракционной решетки формулируется как задача оптимального управления и заключается в минимизации целевого функционала, зависящего от геометрических параметров профиля решетки. Градиентный метод является наиболее надежным и стабильным методом решения этой задачи. В статье представлен метод вычисления функциональной производной (градиента) целевого функционала, который выполняется путем решения сопряженной задачи со специальными граничными условиями. Кроме того, в статье обсуждается численная реализация этого решения и расчет градиента. Также представлены результаты вычислительного эксперимента.
Бесплатно
Статья научная
Методом проекционной регуляризации решена обратная смешанная граничная задача для уравнения теплопроводности с разрывным коэффициентом, и получены гарантированные оценки точности этого решения.
Бесплатно
О декомпозиции разностных схем при численном решении дифференциально-алгебраических уравнений
Статья научная
Рассматриваются квазилинейные системы обыкновенных дифференциальных уравнений (ОДУ), с тождественно вырожденной матрицей перед производной искомой вектор-функции и разностные схемы, применяемые для их решения. В работе обсуждаются условия, обеспечивающие на каждом шаге вычислительного процесса возможность последовательного решения алгебраических (конечных) уравнений и подстановки этих решений в уравнения динамики. Приведены результаты численных экспериментов для систем ОДУ, описывающих прямоточную котельную установку.
Бесплатно
О дискретизации линейных дифференциальных уравнений
Статья научная
Рассмотрены некоторые вопросы получения дискретного описания дифференциальной системы (ДС) на равномерной сетке. Рассматриваются ДС в виде системы n линейных обыкновенных дифференциальных уравнений первого порядка с постоянными коэффициентами или одно уравнение n-го порядка для наблюдаемого функционала состояния ДС. Изучаемые вопросы дискретизации важны для задач вариационной идентификации и аппроксимации динамических процессов моделями этого типа в конечном интервале. Дано сравнение аналитического равномерного (на основе теоремы Гамильтона-Кэли) и локальных методов дискретизации: на основе разделенных разностей и с помощью интерполяции выборок из n +1 отсчетов многочленами Тейлора степени n. Получена общая формула локальной дискретизации, прозволяющая сравнивать ее разностный и интерполяционные методы. Показано с использованием свойств обратных матриц Вандермонда, что в полученной общей формуле локальной дискретизации ее интерполяционному методу соответствуют (n + 1)-матрицы Тейлора (из коэффициентов многочленов Тейлора), а разностному — (n + 1)-матрицы Паскаля (из чисел треугольников Паскаля). Показано, что невырожденность матрицы наблюдаемости ДС на сетке есть необходимое и достаточное условие как для аналитической дискретизируемости, так и для приведения дискретной системы (описания ДС сетке) к каноническому фробениусовскому виду. Он эквивалентен одному обыкновенному разностному уравнению для наблюдаемой переменной с постоянными коэффициентами. Это уравнение есть основа известного вариационного метода идентификации. Показано, что интерполяционный метод локальной дискретизации есть первое (линейное) приближение формулы равномерной аналитической дискретизации. Показано, что нулевое приближение ее не зависит от коэфффициентов ДС и есть вектор коэффициентов n-й разности. Показано также, что нулевое приближение матрицы наблюдаемости ДС н и матрицы наблюдамости полиномиальной системы y (n) =0 на сетке есть n-матрица Тейлора.
Бесплатно
О задаче Коши для уравнения свободной поверхности фильтрующейся жидкости на многообразии
Статья научная
Показано существование единственного решения задачи Коши для уравнения свободной поверхности фильтрующейся жидкости в пространстве k-форм, заданных на гладком компактном ориентированном римановом многообразии без края.
Бесплатно
О задаче минимальной реализации
Статья научная
Предполагается, что для линейной конечномерной стационарной динамической системы с дискретным временем известна степень МакМиллана и конечная последовательность ее марковскиx параметров , . Рассматриваются задачи восстановления по этим данным переходной матрицы-функции системы, минимальных индексов и взаимно простых дробных факторизаций , минимальных решений соответствующих уравнений Безу, минимальной реализации . Для каждой из них существует отдельный алгоритм решения. В данной работе предлагается единый подход к исследованию этих проблем. Он основан на методе индексов и существенных многочленов конечной последовательности матриц. Этот метод был ранее разработан для явного решения задачи факторизации Винера - Хопфа мероморфных матриц-функций. Показано, что решение всех вышеуказанных задач может быть получено, как только будут найдены индексы и существенные многочлены последовательности . Вычисление индексов и существенных многочленов можно осуществить средствами линейной алгебры. Для матриц с элементами из поля рациональных чисел алгоритм реализован в среде Maple в виде процедуры ExactEssPoly.
Бесплатно
О качественном анализе семейства дифференциальных уравнений с первыми интегралами выше 2-й степени
Статья научная
Исследуется семейство дифференциальных уравнений, возникшее в результате обобщения классических интегрируемых случаев динамики твердого тела. Исследуемая система допускает полиномиальные первые интегралы 4 и 6 степени. При определенных ограничениях на параметры семейства дифференциальные уравнения интерпретируются как уравнения движения твердого тела в центральном поле сил, идеальной жидкости, электрически заряженного тела. Проводится качественный анализ уравнений: находятся особые инвариантные множества различной размерности и исследуется их устойчивость по Ляпунову. Для анализа задачи используются обобщения метода Рауса - Ляпунова и программные средства компьютерной алгебры.
Бесплатно
О конечном спектре трехточечных краевых задач
Краткое сообщение
Статья посвящена решению одной из проблем Джона Локкера, а именно вопросу, может ли краевая задача для дифференциального уравнения иметь конечный спектр. На задачи такого рода можно смотреть и как на обратные задачи определения коэффициентов дифференциального уравнения по заданному спектру. В работе показано, что если дифференциальное уравнение не имеет кратных корней характеристического уравнения, то тогда спектр соответствующей трехточечной краевой задачи не может быть конечным. Доказательство теоремы основано на том, что соответствующий характеристический определитель представляет собой целую функцию класса К, а так же результатах В.Б. Лидского и В.А. Садовничего, из которых следует, что количество корней характеристического уравнения (если они есть) бесконечно. Если же корни характеристического уравнения являются кратными, то спектр может быть конечным. Более того, существуют краевые задачи с наперед заданным конечным спектром.
Бесплатно
О корректной разрешимости задачи Коши для обобщенного телеграфного уравнения
Статья научная
В работе устанавливается равномерно корректная разрешимость задачи Коши для обобщенного телеграфного уравнения с переменными коэффициентами, частным случаем которого является классическое телеграфное уравнение. Установление корректной разрешимости математических задач является одним из основных условий при их численной реализации. Как известно, для классического телеграфного уравнения решение задачи Коши находится в классе дважды непрервно дифференцируемой функции и с помощью метода Римана выписывается в явном виде. Однако, при этом вопрос устойчивости решения в зависимости от начальных данных, требующий использования соответствующих метрических пространств в этих работах не обсуждается. Между тем этот вопрос является наиболее важным при корректной численной реализации решения задачи, когда его существование и единственность доказаны. В настоящей заметке методами теории полугрупп линейных преобразований, устанавливается равномерно корректная разрешимость задачи Коши в пространствах функций интегрируемых с экспоненциальным весом для некоторого класса дифференциальных уравнений с переменными коэффициентами. Получено точное решение задачи Коши и указаны условия на коэффициенты, при которых задача раномерно корректна в некоторых функциональных пространствах. Следствием из этих результатов является равномерная корректность задачи Коши для классического телеграфного уравнения с постоянными коэффициентами.
Бесплатно
О корректной разрешимости некоторых задач фильтрации в пористой среде
Статья научная
В работе методом теории полугрупп линейных преобразований устанавливается равномерно корректная разрешимость начально-краевых задач для одного класса интегрально-дифференциальных уравнений, рассматриваемых в ограниченной и полуограниченной областях, которые описывают процессы нестационарной фильтрации сжимающей жидкости в пористой среде. Частный случай таких уравнений на полубесконечной прямой с условием Дирихле на границе рассматривался в работе Ю.И. Бабенко. В этой работе требовалось найти градиент давления на границе области. Здесь ответ получен формальным применением дробного интегро-дифференцирования, не затрагивая вопроса о корректной разрешимости и устойчивости решения к погрешностям по исходным данным. При этом решение задачи представляется в виде формального ряда с неограниченным оператором, сходимость которого также не обсуждается. Метод теории сильно непрерывных полугрупп преобразований позволяет установить равномерно корректную разрешимость задач Дирихле и Неймана как для конечных так и бесконечных областей. Это дает возможность в случае задачи Дирихле корректно вычислить градиент давления на границе и значение решения на границе в случае условий Неймана. Здесь же доказана устойчивость решения по начальным данным.
Бесплатно
О криптоанализе системы BBCRS на двоичных кодах Рида - Маллера
Статья научная
В работе рассматривается система система BBCRS - модификация криптосистемы Мак-Элиса, предложенная М. Балди и др. В модификации матрица публичного ключа представляет собой произведение трех матриц: невырожденной -матрицы , порождающей матрицы секретного -кода и невырожденной -матрицы специального вида. Отличие системы BBCRS от системы, предложенной Р. Мак-Элисом, состоит в том, что подстановочная матрица, используемая в системе Мак-Элиса, заменена матрицей , представляющей сумму подстановочной матрицы и матрицы малого ранга . Позже В. Готье и др. построили атаку, позволяющую дешифровать сообщения в случае, когда - обобщенный код Рида - Соломона (ОРС-код) и . Ключевыми этапами построенной атаки являются, во-первых, нахождение пересечения линейных оболочек и , натянутых соответственно на строки матриц и , а во-вторых, нахождение кода по подкоду . В настоящей работе строится атака в случае, когда - двоичный код Рида - Маллера порядка и длины при . В построенной в настоящей работе атаке этапы нахождения кодов и полностью отличаются от соответствующих этапов для ОРС-кодов, а остальные шаги атаки адаптируют известные результаты криптоанализа системы BBCRS на ОРС-кодах.
Бесплатно
О локальной разрешимости линейных эволюционных уравнений с памятью
Статья научная
Доказана локальная однозначная разрешимость задачи Коши для линейного эволюционного уравнения с векториальным оператором и с интегральным оператором памяти в банаховом пространстве. Результат работы проиллюстрирован на примере начально-краевой задачи для интегро-дифференциального уравнения с частными производными. Работа проводилась при финансовой поддержке РФФИ, грант № 07-01-96030-р_урал_а.
Бесплатно
О моделировании деформаций пластин
Краткое сообщение
Рассматривается эллиптические краевые задачи четвертого порядка, лежащие в основе математических моделей деформаций пластин на упругих основаниях при смешанных краевых условиях четырех теоретически возможных типов. Предлагаются замещения этих задач в вариационной форме на их фиктивные продолжения. Решения последних задач с помощью модификаций методов фиктивных компонент сводятся к решениям задач в прямоугольной области. Приводятся оптимальные оценки сходимости итерационных процессов на непрерывном уровне. При простой дискретизации фиктивно продолженных задач по методу конечных элементов на параболических восполнениях получаются эффективные численные модификации методов фиктивных компонент простые при практической реализации на ЭВМ. Получаемые системы линейных алгебраических уравнений могут оптимально решаться с помощью методов итерационных факторизаций. В итоге предложенные численные методы являются логарифмически оптимальными или оптимальными по количеству арифметических операций, необходимых для достижения задаваемых относительных погрешностей.
Бесплатно
О моделировании с использованием дифференциально-алгебраических уравнений в частных производных
Статья научная
Рассматриваются эволюционные системы дифференциальных уравнений в частных производных, зависящие от одной пространственной переменной. Предполагается, что матрицы перед производными искомой вектор-функции вырожденные во всей области определения. Такие системы принято называть дифференциально-алгебраическими уравнениями (ДАУ) в частных производных. Свойства ДАУ существенно отличаются от свойств невырожденных систем. В частности, невозможно судить о типе систем по виду корней характеристических уравнений. В работе вводится понятие расщепляемых систем. Под такими уравнениями понимаются системы, допускающие существование невырожденных преобразований, расщепляющих исходный объект на подсистемы с единственным решением, функциональным произволом от одной из переменных и собственно невырожденную подсистему уравнений в частных производных. Этот прием позволяет исследовать структуру общих решений ДАУ и в ряде случаев установить разрешимость начально краевых задач.
Бесплатно
