№ 3 (2013)
- Год: 2013
- Статей: 19
- URL: https://journals.rudn.ru/miph/issue/view/509
О некоторых обобщениях паракомпактности
Аннотация
В статье изучаются обобщения паракомпактных пространств, основанные на so-множествах, т.е. множествах, являющихся объединениями открытых и нигде не плотных множеств. Целью работы является установление связи между so-паракомпактными пространствами и другими обобщениями паракомпактных пространств и выяснение условий, при которых so-паракомпактное пространство является бикомпактным. Поставленные задачи решаются методами общей топологии. Доказано, что секвенциально компактное so-паракомпактное пространство бикомпактно. Доказано, что so-паракомпактность сохраняется при умножении на бикомпакт. Ранее другими авторами было введено понятие S-паракомпактного пространства, основанное на полуоткрытых множествах. Класс so-паракомпактных пространств шире класса S-паракомпактных пространств. В данной работе показано, что существуют so-паракомпактные пространства, не являющиеся S−паракомпактными.
Discrete and Continuous Models and Applied Computational Science. 2013;(3):5-10
5-10
Синтез 3D-динамических систем, имеющих состояния равновесия заданных топологических структур
Аннотация
Рассмотрена задача построения автономных систем обыкновенных дифференциальных уравнений, трёхмерные фазовые пространства которых имеют изолированные состояния равновесия с заданными локальными топологическими структурами. Для решения этой задачи предложен метод, который основан на использовании специальных векторных полей направлений сравнения. При выборе этих векторных полей учитывается, что локальная структура состояния равновесия полностью характеризуется: а) совокупностью особых фазовых траекторий и поверхностей, которые разбивают окрестность состояния равновесия на элементарные области; б) поведением неособых фазовых траекторий в этих областях. Полученные таким образом векторные поля позволяют при определённых условиях представить свойства локальной топологической структуры состояния равновесия в аналитической форме в виде конечных выражений относительно фазовых координат. Эти выражения используются для составления уравнений, число которых равно размерности фазового пространства и которые являются алгебраическими уравнениями относительно правых частей искомой нормальной системы дифференциальных уравнений. Основной целью работы является описание общего подхода к решению поставленной задачи, поэтому её решение рассмотрено только в одном частном случае, когда все элементарные области состояния равновесия искомой динамической системы являются элементарными областями одного из возможных типов. Приведённые в работе теоретические результаты иллюстрируются конкретным примером. Изложенное в данной работе является частичным обобщением ранее опубликованных результатов решения обратных задач теории динамических систем на плоскости.
Discrete and Continuous Models and Applied Computational Science. 2013;(3):11-20
11-20
Единственность решений для одного класса интегральных уравнений первого рода с двумя независимыми переменными
Аннотация
Данная статья посвящена исследованию единственности решений линейных интегральных уравнений первого рода с двумя независимыми переменными в которых оператор, порожденный ядрами, не является компактным оператором. Актуальность проблемы обусловлена потребностями в разработке новых подходов для регуляризации и единственности решения линейных интегральных уравнений первого рода с двумя независимыми переменными. В качестве приближённых решений таких задач, устойчивых к малым изменениям исходных данных, используются решения, получаемые методом регуляризации, которые принадлежат к классу некорректно поставленных задач. Один из классов таких некорректных задач составляют интегральные уравнения первого рода с двумя независимыми переменными. Целью работы является доказательства теорем единственности для решения линейных интегральных уравнений первого рода с двумя независимыми переменными и доказательство теорем единственности. В работе доказана теорема единственности решения интегральных уравнений первого рода с двумя независимыми переменными. Для получения сформулированных автором задач использованы методы функционального анализа и метод неотрицательных квадратичных форм. Полученные результаты являются новыми. Достоверность результата установлена доказательствами и иллюстрируется примерами. Работа носит теоретический характер. Полученные теоретические результаты могут быть применены в различных областях науки и техники.
Discrete and Continuous Models and Applied Computational Science. 2013;(3):21-29
21-29
Единственность и устойчивость решений для некоторых интегральных уравнений первого рода с двумя независимыми переменными
Аннотация
Статья посвящена исследованию единственности и устойчивости решений линейных интегральных уравнений первого рода с двумя независимыми переменными. Актуальность проблемы обусловлена потребностями в разработке новых подходов для регуляризации и единственности решения линейных интегральных уравнений первого рода с двумя независимыми переменными. Интегральные и операторные уравнения первого рода с двумя независимыми переменными возникают в теоретических и прикладных задачах. В работах А.Н. Тихонова, М.М. Лаврентьева и В.К. Иванова, в которых дано новое понятие корректности постановки таких задач, отличное от классического, показано средство для исследования некорректных задач, что стимулировало интерес к интегральным уравнениям, имеющим большое прикладное значение. В настоящее время бурно развивается теория и приложения некорректных задач. Один из классов таких некорректных задач составляют интегральные уравнения первого рода с двумя независимыми переменными. В статье доказано теорема единственности и получены оценки устойчивости для таких уравнений в семействах множеств корректностей. Для решения задачи использованы методы функционального анализа и метод неотрицательных квадратичных форм. Полученные результаты работы являются новыми.
Discrete and Continuous Models and Applied Computational Science. 2013;(3):30-35
30-35
Необходимые и достаточные условия потенциальности для нелинейного дифференциальноразностного оператора в частных производных
Аннотация
В статье исследуется на потенциальность дифференциальный оператор в частных производных с отклоняющимися аргументами на заданной области определения и относительно некоторой специальной билинейной формы. В случае потенциальности строится соответствующий функционал, т.е. исследуется вопрос существования решения обратной задачи вариационного исчисления для дифференциально-разностного оператора в частных производных. ..,.. билинейные нормированные линейные пространства над полем действительных чисел R. Оператор действует следующим образом .. : ..(..) > ..(..), где ..(..) . .., ..(..) . .. . Вводится понятие дифференциала Гато оператора .. в точке .. и оператора ....(.., ·): .. > .. , который есть производная Гато ....(.., ·): .. > .. . Область определения ..(..... ) состоит из элементов . . .., таких что (.. + ...) . ..(..) для любого достаточно малого ... Для заданного дифференциально-разностного оператора ..,.. в частных производных класса ....,.. ,получены необходимые и достаточные условия потенциальности. В качестве примеров рассматриваются нелинейный дифференциальный оператор второго порядка без отклонения аргументов и с отклоняющимися аргументами. С помощью полученных условий потенциальности построены соответствующие функционалы.
Discrete and Continuous Models and Applied Computational Science. 2013;(3):36-41
36-41
Моделирование динамики нелинейных волн в соосных геометрически и физически нелинейных оболочках, содержащих вязкую несжимаемую жидкость между ними
Аннотация
Настоящее исследование посвящено анализу распространения нелинейных волн деформаций в физически нелинейных соосных упругих цилиндрических оболочек, содержащих вязкую несжимаемую жидкость между ними. Волновые процессы в упругой цилиндрической оболочке без взаимодействия с жидкостью ранее исследованы с позиций теории солитонов. Наличие жидкости потребовало разработки новой математической модели и компьютерного моделирования процессов, происходящих в рассматриваемой системе.
Discrete and Continuous Models and Applied Computational Science. 2013;(3):42-51
42-51
Новый метод построения осцилляторных функций квантовой системы тождественных частиц в симметризованных координатах
Аннотация
Сформулирована в новых симметризованных координатах квантовая модель кластера, состоящего из A тождественных частиц с внутренними парными взаимодействиями, во внешнем поле мишени. Разработан новый метод и реализован в системе компьютерной алгебры MAPLE символьный алгоритм построения собственных функций (A − 1)-мерного осциллятора симметричных или антисимметричных относительно перестановок A частиц. Даны примеры построения симметричных и антисимметричных функций составной системы из нескольких тождественных частиц в одномерном евклидовом пространстве и выполнен анализ свойств симметрии решений. Выполнен анализ систем от трёх до шести частиц в одномерном евклидовом пространстве и выявлено соответствие между представлениями групп симметрии D3 и Td для A = 3 и A = 4 и симметризованными или антисимметризованными осцилляторными функциями. Показано, что преобразование (A − 1)-мерных осцилляторных функций в симметризованных координатах к якобиевским координатам сводится к перестановке координат и (A − 1)-мерных конечных вращений, реализованных с помощью (A − 1)-мерных осцилляторных функций Вигнера. Даны примеры построения с помощью предложенного алгоритма и метода математической индукции симметризованных или антисимметризованных осцилляторных функций в замкнутом аналитическом виде. Подход ориентирован на решение задачи туннелирования кластеров, состоящих из нескольких тождественных частиц через отталкивающие барьеры мишени.
Discrete and Continuous Models and Applied Computational Science. 2013;(3):52-67
52-67
Определение безопасности сложной технической системы на основе измерения и наблюдения её параметров. Обобщённый показатель безопасности
Аннотация
В статье даётся методологический подход к обоснованию безопасности системы на основе измерений и наблюдений её параметров в результате воздействия внешних и внутренних сил. В процессе работы сложной технической системы в результате воздействия на неё внутренних и внешних сил (нагрузки) изменяются физико-механические и технические свойства конструкций (материалов), из которых создана сложная техническая система и её составляющие (элементы, агрегаты, модули). Изменение физико-механических или технических свойств может носить как обратимый, так и необратимый характер, а главное — эти изменения приводят к появлению постепенных (износовых) отказов или, в аварийном случае, к мгновенным отказам составляющих, входящих в сложную техническую систему. Эти отказы характеризуют надёжность системы, а силы, приводящие к таким последствиям, являются внутренними. Воздействие на систему внешних сил, особенно целенаправленных или вызванных ошибками оператора, управляющего эксплуатационными процессами в сумме с внутренними, влияет на безопасность работы исследуемой сложной технической системы. В статье представлено состояние динамической системы по разработанной модели вектора параметров системы и вектора фазовых координат. Показана необходимость выбора измеряемых параметров системы для оценки состояния управления. Дана формулировка безопасности системы и формализация количественной оценки безопасности.
Discrete and Continuous Models and Applied Computational Science. 2013;(3):68-71
68-71
Методы наблюдаемости динамических систем с целью обеспечения безопасности функционирования сложной технической системы
Аннотация
В статье изложен методологический подход к задаче формализации процесса наблюдения и измерения параметров динамической системы. Показана необходимость выбора измеряемых параметров системы для оценки состояния управления. Дана формулировка понятия безопасности системы и предложена формализация количественной оценки безопасности функционирования и изменения состояния сложной технической системы (СТС) во времени. Важным процессом обеспечения безопасности функционирования технической системы, особенно специального назначения, является измерение и наблюдение за её параметрами. Процесс состояния динамики исследуемого объекта (системы) описывается моделью в виде уравнений динамики в векторной форме. Динамическая система управления и её измерительный комплекс представляют собой линейную стационарную систему, которая описывается моделью в матричном виде. При оценке состояния безопасности технической системы могут иметь место различные алгоритмы измерения параметров. В любом случае разрешающие операции реализуются оператором, который для линейной стационарной динамической системы также является линейным. Предложенный в статье метод определения оптимального набора параметров наблюдений, характеризующих состояние системы, значительно влияет на безопасность исследуемой динамической системы при наличии внутренних возмущающих воздействий. Варьируя этими параметрами, можно определить тот момент времени и такой интервал наблюдения, когда текущее состояние динамической системы определяется с максимальной точностью.
Discrete and Continuous Models and Applied Computational Science. 2013;(3):72-75
72-75
О моделях с парциальным распределением точности
Аннотация
Большинство моделей, описывающих какие-либо колебательные процессы, имеют парциальное распределение точности, т.е. эти модели описывают эволюцию нормальной моды тем хуже, чем выше её номер. Поэтому вопрос о сходимости ряда по нормальным волнам, занимающий центральное место при классическом подходе, неизбежно выводит за рамки применимости модели. Традиционно в этом видят недостаток моделей — ещё одно из многих затруднение на пути доказательства сходимости ряда и существования классического решения. В этой статье предложен новый подход к описанию таких моделей. Изложение проиллюстрировано конкретным примером простейшей модели с парциальным распределением точности — задачи о колебании струны. В таких задачах всегда имеется некоторая неопределённость в начальных условиях. Так, обычно профиль начальных скоростей, используемый для описания удара молоточком, считают ступенчатой функцией или «шапочкой», но можно рассмотреть и целый класс подходящих профилей, а, следовательно, и целое семейство начально-краевых задач. Эта неопределённость в начальных условиях позволяет оценить ошибку для каждой моды в отдельности. Как и следовало ожидать, ошибка растёт при увеличении номера гармоники и даже становится бесконечно большой в пределе. Все решения рассматриваемого семейства задач можно разложить в ряд по нормальным волнам, в нем младшие моды имеют близкие амплитуды. Это позволяет сохранить все классические утверждения о младших модах, но избежать трудного и выводящего за рамки модели исследования сходимости ряда по нормальным волнам.
Discrete and Continuous Models and Applied Computational Science. 2013;(3):76-80
76-80
Решение дифференциальных уравнений движения для механических систем со связями
Аннотация
В работе рассматривается задача построения систем дифференциальных уравнений по известным частным интегралам. Приводится метод определения правых частей систем дифференциальных уравнений, основанный на определении общего решения системы линейных алгебраических уравнений с прямоугольной матрицей коэффициентов. Предлагается использовать для численного решения построенной системы дифференциальных уравнений метод Рунге-Кутта. Для рассматриваемой задачи ранее были использованы простейшие разностные схемы первого порядка и метод Рунге Кутта для случая линейных дифференциальных уравнений возмущений связей с постоянными коэффициентами. В статье получены ограничения на коэффициенты уравнений возмущений связей, зависящие от фазовых координат системы, при решении дифференциальных уравнений методом Рунге-Кутта. Подробно рассмотрены случаи разностных уравнений первого порядка, состоящих из нескольких стадий. Получена общая форма условий стабилизации уравнений связей. Метод иллюстрируется на примере решения кинематической задачи кривошипно-шатунного механизма.
Discrete and Continuous Models and Applied Computational Science. 2013;(3):81-91
81-91
Построение уравнений динамики связанных механических систем
Аннотация
В статье предлагается новый метод решения задачи построения уравнений динамики механической системы, обеспечивающий стабилизацию связей при численном решении. Исходными данными для составления уравнений динамики являются функция Лагранжа, диссипативные и непотенциальные силы и ограничения, выраженные уравнениями голономных и неголономных связей. Рассматриваются случаи идеальных и неидеальных связей. Определение правых частей систем дифференциальных уравнений используется обобщенная обратная матрица. Для исследования поведения отклонений решения системы от уравнений связей вводятся добавочные переменные. Устойчивость по отношению к уравнениям связей определяется по уравнениям возмущений связей, составленных по расширенным функциям Лагранжа и диссипативной функции. Ограничиваясь добавлением в лагранжиан и диссипативную функцию квадратичных форм с постоянными коэффициентами, получены дифференциальные уравнения возмущений связей линейными с постоянными коэффициентами. Это позволяет обеспечить условия асимптотической устойчивости на основе критерия Рауса–Гурвица. Метод иллюстрируется на примере решения задачи скатывания цилиндра с поверхности закреплённого цилиндра без проскальзывания.
Discrete and Continuous Models and Applied Computational Science. 2013;(3):92-104
92-104
Самонастраиваемое управление процессом безударного приведения состояния механических систем в заданное многообразие
Аннотация
Описана процедура построения самонастраиваемого управляющего вектора для приведения состояния механических систем без удара в заданное многообразие за конечный промежуток времени в условиях неопределённости. Ранее было получено решение задачи приведения фазового состояния системы в заданную окрестность многообразия, образованного нестационарными голономными программными связями. В данной работе этот подход распространяется на решение задачи безударного приведения фазового состояния системы за конечный промежуток времени в многообразие, образованное голономными и неголономными программными связями. При этом сама механическая система может иметь кроме стационарных и нестационарные связи. Получено множество векторов управления, обеспечивающих решение этой задачи самонастраиваемым управлением по принципу обратной связи по квазиускорениям в дискретные моменты времени. А затем из этого множества выделяются векторы управления с размерностью, меньшей числа степеней свободы системы, в том числе вектора минимальной размерности. В случаях, когда размерность векторов управления больше минимальной, выделяются векторы с минимальной евклидовой нормой. Полученные результаты позволяют решать задачи прикладного характера, такие как управление процессом безударной стыковки наземных, плавательных, летательных и космических аппаратов при их свободном движении в пространстве, а также процессом безударной посадки спускаемых аппаратов на подвижные платформы, характер движения которых известен не полностью. Для иллюстрации эффективности предложенного способа решения таких задач приводится пример управления процессом безударного придания положению тела заданной ориентации при преследующем движении центра масс тела по принципу пропорциональной навигации.
Discrete and Continuous Models and Applied Computational Science. 2013;(3):105-112
105-112
Архитектура комплекса конвейерно-параллельной обработки данных в гетерогенной вычислительной среде
Аннотация
Гетерогенная вычислительная среда использует различные типы вычислительных блоков. Примером такой среды является GPU-кластер, содержащий процессоры общего назначения (central processing unit, CPU) и графические процессоры специального назначения (graphics processing unit, GPU). Современные GPU уже сейчас значительно превосходят по производительности CPU и, несмотря на ограничения, накладываемые на разрабатываемые в рамках концепции GPGPU-вычислений (general-purpose graphics processing units), параллельные алгоритмы находят свое применение при решении задач, требующих интенсивных вычислений. Организация так называемого «GPU-кластера» может стать эффективным решением, обладающим приемлемым соотношением «цена/производительность» и, что самое важное, возможностью легкого наращивания производительности вычислительной системы. Известно несколько видов параллелизма высокопроизводительных алгоритмов, актуальных и для GPU-кластеров, в том числе параллелизм задачи и параллелизм данных. В работе произведен анализ их применимости в качестве основы комплекса конвейернопараллельной обработки данных. Исследованы варианты создания высокопроизводительных алгоритмов, предложена схема адаптации ранее разработанного программного комплекса к новым условиям. Библиотека алгоритмов GPU-вычислений в первую очередь должна обладать потокобезопасной реализацией (программный код является потокобезопасным, если он функционирует корректно при использовании нескольких параллельно запущенных вычислительных потоков). Важным и требующим внимания остается вопрос совместного использования ресурсов конкурирующими потоками. Для того, чтобы выявить влияние этого фактора на эффективность решения прикладной задачи, был поставлен эксперимент, выявляющий узкие места GPU-кластера при работе с конкурирующими потоками. Сделаны оценки порога эффективного наращивания числа вычислительных потоков, предполагающего дальнейшее ускорение счета.
Discrete and Continuous Models and Applied Computational Science. 2013;(3):113-117
113-117
Учёт поверхностной энергии в спиновом Гамильтониане Гейзенберга
Аннотация
Используя квантово-механический гамильтониан Боголюбова для локализованных электронных возбуждений кристаллической системы, нами получен гамильтониан спиновых возбуждений модели Гейзенберга с учётом поверхностной энергии. Данный гамильтониан получен в нулевом приближении по спин-спиновому взаимодействию для ферромагнитного кристалла при условии жесткого закрепления ионов в узлах решётки. Также приведены соответствующие выражения для случая смещения ионов в узлах кристаллической решётки.
Discrete and Continuous Models and Applied Computational Science. 2013;(3):118-128
118-128
Топологические солитонные конфигурации в 8-спинорной нелинейной модели
Аннотация
Изучается структура заряженных топологических солитонов в лептонном секторе нелинейной 8-спинорной модели, когда на малых расстояниях используется приближение замкнутых струн. Оцениваются масса, спин и магнитный момент солитонной конфигурации с единичным лептонным числом. Модель основана на хорошо известном 8-спинорном тождестве, предложенном итальянским геометром Бриоски. В силу этого тождества дираковский ток оказывается временно-подобным 4-вектором, что позволяет ввести специальную форму потенциала Хиггса, зависящего от квадрата тока. В рамках этой модели может быть реализована естественная классификация лептонов и барионов благодаря механизму Хиггса. Ограничившись лептонным сектором, мы изучаем простейшую солитонную конфигурацию, наделённую единичным индексом Хопфа, который играет роль лептонного числа. Исследуя поведение решений на больших и малых расстояниях, мы получаем численную оценку физических характеристик топологического солитона. В наших расчётах используется специальная группа симметрий, включающая комбинированные вращения в обычном и изотопическом пространствах. Соответствующие эквивариантные спинорные поля включают фазовые функции, линейно зависящие от азимутального и тороидального углов. Это свойство позволяет найти явное значение топологического инварианта для аксиально-симметрической конфигурации и исследовать зависимость физических характеристик от топологии.
Discrete and Continuous Models and Applied Computational Science. 2013;(3):129-136
129-136
О движении жидкости с отрицательным давлением под действием собственного гравитационного поля
Аннотация
В работе в нерелятивистском подходе рассмотрено движение трёх типов жидкостей с отрицательным давлением (космический вакуум, квинтэссенция, газ Чаплыгина) под действием собственного гравитационного поля. Введение в космологические модели вещества с отрицательным давлением является одним из альтернативных подходов к объяснению существования ускоренного расширения Вселенной. Космический вакуум обладает не только определённой плотностью энергии, но также и давлением. Если плотность вакуума положительна, то его давление отрицательно. Связь между давлением и плотностью, т. е. уравнение состояния, имеет для вакуума вид: P + = 0. Это уравнение состояния совместимо с определением вакуума как формы энергии со всюду и всегда постоянной плотностью, независимо от системы отсчёта. Исследование свойств таких жидкостей представляет определённый научный интерес с точки зрения существования у них обычных гидродинамических свойств, в частности, существование волновых движений под действием собственного гравитационного поля. Движение жидкости с постоянным отрицательным давлением рассмотрено в сферических координатах когда учитывается только радиальная компонента скорости u(r,t). При этом установлено, что для идеальной жидкости типа космического вакуума с постоянным отрицательным давлением, движение возможно только в том случае, если есть функция источника, не зависящая от пространственных координат, а скорость движения жидкости является линейной функцией расстояния от начала координат, что напоминает закон Хаббла в космологии. Для идеальной жидкости с уравнением состояния типа квинтэссенции установлено, что движение жидкости под действием собственного гравитационного поля для одномерного движения возможно только в том случае, если её плотность не меньше некоторого критического значения, движение происходит в ограниченной области 0 ≤ x ≤ xmax, а скорость меняется от некоторого критического значения uкр до u = 0. Исследовано также движение среды с уравнением состояния газа Чаплыгина под действием собственного гравитационного поля в одномерном случае и показано, что существует три различных режима течения.
Discrete and Continuous Models and Applied Computational Science. 2013;(3):137-143
137-143
Моделирование волновых процессов в цепочке связанных оптических микрорезонаторов с помощью виртуальной радиочастотной модели
Аннотация
В работе приводятся результаты радиочастотного моделирования волновых процессов в оптических волноведущих структурах, состоящих из связанных оптических микрорезонаторов. Для моделирования используется компьютерная программа Multisim 11. Созданная в среде Multisim виртуальная модель оптической волноведущей структуры представляет собой цепочку электрических колебательных контуров с трансформаторной связью между соседними контурами. Обосновывается правомерность использования результатов радиочастотного моделирования для анализа оптических волновых процессов.
Discrete and Continuous Models and Applied Computational Science. 2013;(3):144-152
144-152
Наши авторы
Discrete and Continuous Models and Applied Computational Science. 2013;(3):153-154
153-154