автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.18, диссертация на тему:Математическое моделирование мезоскопических сверхпроводящих электромагнитных подвесов с использованием конечно-элементного анализа

На правах рукописи

БАТАРОНОВА Маргарита Игоревна

МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВ; МЕЗОСКОПИЧЕСКИХ СВЕРХПРОВОДЯЩИХ ЭЛЕКТРОМАГНИТНЫХ ПОДВЕСОВ С ИСПОЛЬЗОВАНИЕМ КОНЕЧНО-ЭЛЕМЕНТНОГО АНАЛИЗА

Специальность 05.13.18 - Математическое моделирование, численные методы и комплексы программ

АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата технических наук

1 0 2072

Воронеж-2012

005017090

Работа выполнена в ФГБОУ ВПО «Воронежский государственный технический университет».

Научный руководитель: Шунин Генадий Евгеньевич

кандидат физико-математических наук, старший научный сотрудник, Воронежский государственный технический университет, профессор кафедры высшей математики и физико-математического моделирования

Официальные оппоненты: Ряжских Виктор Иванович

доктор технических наук, профессор, Воронежский государственный университет инженерных технологий, зав. кафедрой высшей математики;

Пастернак Юрий Геннадьевич доктор технических наук, профессор, Воронежский государственный технический университет, профессор кафедры радиоэлектронных устройств и систем

Ведущая организация: ФГБОУ ВПО «Воронежский

государственный университет»

Защита состоится 24 мая 2012 г. в

10сю

в конференц-зале на заседании диссертационного совета Д 212.037.01 Воронежского государственного технического университета по адресу: 394026 Воронеж, Московский просп., 14.

С диссертацией можно ознакомиться в научной библиотеке Воронежского государственного технического университета.

Автореферат разослан 24 апреля 2012 г.

Ученый секретарь

диссертационного совета

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ Актуальность темы. Для расчета электромеханических характеристик мезоскопических сверхпроводящих электромагнитных подвесов (МСЭМП), на основе которых могут быть созданы сверхвысокочувствительные миниатюрные криогенные гравиинерциальные измерители, требуется знать распределение магнитных полей и токов в их конструктивных элементах, размеры которых сравнимы с лондоновской глубиной проникновения магнитного поля в сверхпроводник. Для этого необходимо найти численное решение связанной системы уравнений Лондонов и стационарных уравнений Максвелла в трёхмерных областях сложной формы с заданными граничными условиями. Для этой цели наилучшим образом подходит метод конечных элементов (МКЭ) как наиболее универсальный метод с минимальными ограничениями. МКЭ успешно применяется при решении задач в различных областях науки и техники. На его основе разработаны универсальные компьютерные системы инженерного анализа технических объектов, такие, как ANSYS, NISA, Cosmos/M, Maxwell, Elcut и др. Однако математические модели, используемые в этих системах, не включают уравнения электродинамики мезоскопических сверхпроводников, в силу чего их использование для моделирования МСЭМП невозможно. Требуется разработка дополнительных модулей к ним, либо применение специализированных систем конечно-элементного анализа. Для этих целей перспективно использовать наиболее мощную адаптируемую систему конечно-элементного мультифизического анализа COMSOL Multiphysics, а также разрабатываемый в Воронежском государственном техническом университете на кафедре высшей математики и физико-математического моделирования комплекс программ FEMPDESoIver, предназначенный для численного решения скалярных дифференциальных уравнений в частных производных (ДУЧП) второго порядка методом конечных элементов с дополнительными условиями, учитывающими специфику электродинамики макроскопических сверхпроводников. С его помощью можно решать двух- и трехмерные задачи моделирования электрических и магнитных полей в многосвязных областях сложной формы в присутствии сверхпроводящих токонесущих элементов и рассчитывать электромеханические характеристики СЭМП. Для компьютерного моделирования МСЭМП требуется дальнейшее его развитие и расширение физико-математических моделей лежащих в его основе.

Данная диссертационная работа выполнена в рамках госбюджетных НИР: Б5/07 «Моделирование топохимических и магнитомеханических процессов в многосвязных системах» (2007-2008 гг., № госрегистрации 01200707633), Б14/09 «Физико-математическое моделирование и исследование перспективных материалов, конструкций на основе титановых сплавов для авиационной и космической техники» (2009-2010 гг., № госрегистрации 01200952212), проводимых по заданию Федерального агентства по образованию в рамках тематического плана «Фундаментальные исследования», а также ГБ 2007.14 «Компьютерное моделирование криогенных магнитогравиинерциальных устройств», ГБ 2010.14 «Физико-

математическое моделирование криогенных магнитогравиинерциальных устройств», и соответствует одному из основных научных направлений Воронежского государственного технического университета - «Наукоемкие технологии в машиностроении, авиастроении и ракетно-космической технике».

Цель и задачи исследования. Целью работы является развитие комплекса программ РЕМРОЕ5о1уег позволяющая численно решать двухмерное уравнение Лондонов и учитывать условие постоянства потенциала на внутренних границах многосвязных двухмерных и трёхмерных областей, а также построение и исследование математических моделей основных типов МСЭМП и вычислительный эксперимент над ними.

Для достижения этой цели были поставлены следующие задачи:

1. Рассмотреть основные типы СЭМП, методы их математического моделирования и возможности существующих универсальных систем мультифизического конечно-элементного анализа. Адаптировать комплекс программ РЕМРБЕБоЬег для решения двухмерного уравнения Лондонов.

2. В рамках метода интегральных уравнений построить дискретную модель распределения плотности токов в системе многих токонесущих сверхпроводящих тел и провести ее исследование на сходимость и обусловленность.

3. На основе вариационного подхода построить конечно-элементную модель учёта постоянства потенциала и заданных значений потоков его градиента на внутренних границах многосвязной области его определения, провести её алгоритмизацию и программную реализацию.

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

Методы исследования. При выполнении работы использованы основные положения электродинамики сверхпроводников, методы математической физики, метод конечных элементов, вычислительные методы линейной алгебры, методы структурного, объектно-ориентированного и визуального программирования.

Тематика работы соответствует следующим пунктам паспорта специальности 05.13.18 «Математическое моделирование, численные методы и комплексы программ»: п. 2 «Развитие качественных и приближенных аналитических методов исследования математических моделей», п. 3 «Разработка, обоснование и тестирование эффективных вычислительных методов с применением современных компьютерных технологий» и п. 4 «Реализация эффективных численных методов и алгоритмов в виде комплексов проблемно-ориентированных программ для проведения вычислительного эксперимента».

Научная новизна работы. В диссертации получены следующие результаты, характеризующиеся научной новизной:

- дискретная математическая модель распределения плотности токов в системе токонесущих сверхпроводящих тел, построенная в рамках метода

интегральных уравнений и учитывающая лондоновское проникновение магнитного поля в сверхпроводник;

- метод регуляризации дискретной модели распределения плотности

токов в системе сверхпроводящих тел, отличающийся сохранением хорошей обусловленности модели при увеличении числа тел;

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

- модифицированный комплекс программ РЕМРБЕБо^ег 2.2, позволяющий численно решать ДУЧП эллиптического типа в многосвязных двухмерных и трёхмерных областях с заданными потоками градиентов потенциала и условием постоянства потенциала на внутренних границах, а также уравнение Лондонов в двухмерных областях;

- результаты вычислительных экспериментов, показавшие устойчивость подвеса мезоскопического сверхпроводящего кольца с постоянным магнитным потоком над (под) закреплённым мезоскопическим сверхпроводящим кольцом с постоянным магнитным потоком того же направления но другой величины;

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

Реализация и внедрение результатов работы. Процессор комплекса программ РЕМРОЕБокег 2.2 зарегистрирован в ФГУП ВНТИЦ и внедрен в учебный процесс подготовки студентов специальностей «Техника и физика низких температур» и «Техническая физика» Воронежского государственного технического университета по дисциплине «Математические методы моделирования физических процессов».

Апробация работы. Результаты диссертационной работы докладывались и обсуждались: на II, 1У-УШ Международных семинарах «Физико-математическое моделирование систем» (Воронеж, 2005, 2007-2011); на V Международном семинаре «Компьютерное моделирование электромагнитных процессов в физических, химических и технических системах» (Воронеж, 2007); Воронежской зимней математической школе «Современные методы теории функций и смежные проблемы» (Воронеж, 2011); IV Международной научной конференции «Современные проблемы прикладной математики, теории управления и математического моделирования» (Воронеж, 2011); научно-технических конференциях профессорско-преподавательского состава, аспирантов и студентов Воронежского государственного технического университета (2005-2011).

Публикации. Основные результаты диссертации опубликованы в 16 научных работах, в том числе 6 в изданиях, рекомендованных ВАК РФ.

В работах, опубликованных в соавторстве и приведенных в автореферате, лично соискателю принадлежит: в [5, 9, 14, 16] - модификация физико-математического, алгоритмического и программного обеспечения процессора комплекса программ FEMPDESoIver; в [6] - аппроксимационные схемы и обобщение на трёхмерный случай; в [1-4, 8, 11-13] - проведение вычислительных экспериментов, участие в обсуждении результатов; в [15] -построение дискретных моделей и их численное исследование; [7, 10, 14]-анализ специализированных конечно-элементных программ.

Структура и объем работы. Диссертация состоит из введения, четырёх глав, заключения, списка литературы, включающего 185 наименований, и приложения. Основная часть работы изложена на 153 страницах и содержит 42 рисунка и 25 таблиц.

ОСНОВНОЕ СОДЕРЖАНИЕ РАБОТЫ

Во введении обоснована актуальность темы, сформулированы цели и задачи исследования, определены научная новизна и практическая значимость результатов работы.

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

Конечно-элементный комплекс программ FEMPDESoIver численно решает скалярные дифференциальные уравнения в частных производных эллиптического и параболического типов в двух- и трехмерных областях произвольной формы при заданных начальных данных, граничных условий 1, 2 или 3 рода, скачка неизвестной функции и потока её градиента на разрезах, периодических условий. При разбиении области могут использоваться конечные элементы 1 и 2 порядка (треугольники, четырёхугольники, тетраэдры), в том числе изопараметрические, а также бесконечные элементы для решения задач открытого типа. Осуществляется визуализация результатов, получение интегральных и дифференциальных характеристик, графиков и таблиц. Развиваемая в диссертационной работе версия 2.2 этого комплекса отличается от предыдущих возможностью учитывать условия постоянства потенциала и заданный поток его градиента на замкнутых внутренних границах трёхмерных областей и решать уравнение Лондонов в двухмерных областях совместно с уравнением Пуассона. Для этого случая разработана специализированная пре/постпроцессорная оболочка со сторонним конечно-элементным разбивщиком Triangle. С помощью универсальной системы компьютерной математики Maple 14 разработан также программный модуль для решения системы интегральных уравнений Фред-гольма 1-го и 2-го рода с логарифмической сингулярностью ядра.

Во второй главе в рамках метода интегральных уравнений на основе соотношения Лондонов для вектор-потенциала магнитного поля в сверхпроводнике формулируется математическая модель для распределения плотности сверхтока по объему лондоновских сверхпроводников и по поверхности мейснеровских сверхпроводников в виде системы интегральных уравнений Фредгольма 1-го и 2-го рода:

\ РЛ(СХ1)

sr, и=1 с.

Мо

2к

2ящ,

Р кЛр'

(ext)

О)

Mo

где k = \..К , S0 - сечение тел, через которые протекает объемный сверхток с плотностью Ck — контур поперечного сечения А-тела, через который протекает поверхностный сверхток с плотностью Jk, К - число связных мейснеровских тел в системе, ядро К определяется формулой

K=yfppi/(m(p,z,p',z')), Ф* - поток через контур к-тела, рк - радиальная

цилиндрическая координата на поверхности этого тела, - ф-компо-

нента вектор-потенциала внешнего магнитного поля. Ядро К в уравнении (1) имеет логарифмическую особенность при (p,z) = (p',z'), поэтому (1) относится к классу слабо сингулярных интегральных уравнений.

Регуляризация уравнений (1) физико-математической модели проводилась на основе метода выделения особенности и в результате была получена численная модель системы:

(ext)

j

К

S

п=1 /'

г> А V

Р ijAi,j

Mo

J_ 27t

l,f n=l /'

_ Ф*

P ¡Ai

(ext)

2к[10

где А, , — шаги дискретизации по координатам, выбранным в сечениях тел,

л/Р<,;Р1',//(ЧУ)> ' *или

\

К= ij

i.j

- f \ \(

In 16р

lh2+AJ2) 2 v

д А, А, д 1 н—- arctg —L- + —- arctg —-

А, А,-

i )

i Ф Г У*/

- матричные элементы ядра интегрального уравнения, а элементы К'и получаются предельным переходом А, -» А,, Ду —> 0 .

Ввиду полной идентичности уравнений (1) математической модели для всех тел задача моделирования системы многих тел сводится к простому геометрическому построению контуров сечений тел, формулировка же уравнений фактически исключается из задачи.

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

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

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

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

На основании полученных результатов по интегральным параметрам /, методом Рунге-Ромберга определялась главная часть Д ошибки модели и показательр скорости сходимости.

Результаты исследования показывают линейную сходимость рассматриваемой модели по шагу дискретизации. При этом рассчитанные значения параметров в зависимости от числа шагов по экрану (шару) перестают меняться уже начиная с 100, а параметры сходимости по А^ совпадают с полученными для всей системы. Это показывает, что для практических потребностей достаточно использования /V, = 50-=-100.

Зависимость числа обусловленности системы от числа точек дискретизации для рассмотренных систем приведена на рис. 1. Как видно, обусловленность модели резко ухудшается с ростом числа степеней свободы: ус<хЛго2. Однако анализ результатов позволил обнаружить, что такой рост числа обусловленности связан с увеличением числа точек дискретизации по экрану (шару). Если выбрать данные при постоянном М,, то обусловленность системы перестает вообще зависеть от числа точек дискретизации (рис. 2).

Таким образом, значение Л/, = 50^-100 является не только достаточным для обеспечения хорошей точности модели, но и необходимым для

обеспечения ее обусловленности. Для мезоскопической системы предлагаемый прием является фактически методом регуляризации модели.

Число обусловленности обнаруживает слабую корневую зависимость ус = 3650-А^0,5

от числа тел в системе в регуляризованной модели (рис. 3). При этом относительная ошибка определения интегральных параметров оказывается ограниченной на уровне 0,1-0,3% (рис. 4).

100

»с. 10* ® т

100 юоо и0

Рис. 1. Число обусловленности модели от числа точек дискретизации для системы различного числа тел (числа у линий)

ус, Ю3

Рис. 2. Число обусловленности модели от числа точек дискретизации по кольцам для системы различного числа тел (числа у линий)

3 4 5

Рис. 3. Число обусловленности регуляризованной модели от числа тел в системе

4 5 <

Рис. 4. Относительная ошибка определения силы 5F от числа тел в системе

В результате регуляризованная модель допускает расчет с большим числом сверхпроводящих тел в системе.

В третьей главе на основе вариационного подхода построена конечно-элементная модель учёта постоянства неизвестной функции и заданных значений потоков её градиента на внутренних границах многосвязной области его определения при решении краевых задач для дифференциальных уравнений в частных производных эллиптического типа. Приведены результаты тестирования комплекса программ РЕМРЭЕ8о1уег 2.2 на модельных задачах, имеющих точное аналитическое решение.

В постановке ряда краевых задач, в частности, для уравнения Лапласа, встречается дополнительное условие постоянства значений функции вдоль некоторой границы П:

«I = const. (2)

111

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

Данное условие допускает вариационную формулировку. Действительно, если рассматривать функционал

F(i,) = U(VU)2dn + Qulri.

^ п

в котором второе слагаемое равно произведению потенциала ср и некоторой скалярной величины Q и отлично от нуля только на поверхности границы Гь на множестве всех функций достаточной степени гладкости, заранее принимающих постоянное значение на Гь то можно показать, что функция, доставляющая минимум этому функционалу, будет удовлетворять на Q уравнению Лапласа V2m = 0, на границе, за исключением rt - естественному граничному условию ди/дп = 0 (Неймана), и интегральному соотношению

11

(Здесь нормаль п' направлена от границы Г] внутрь области Q.)

Из методов численного решения краевых задач, допускающих вариационную формулировку, наиболее эффективным является метод конечных элементов (МКЭ). Рассмотрим особенности применения МКЭ к решению краевой задачи для уравнения Лапласа с учетом дополнительных условий типа постоянства функции (2) и соотношения (3).

Условие м|_ = const приводит к тому, что все узловые переменные

'м

{«/}, соответствующие узлам на Гь заменяются одной ассоциированной переменной и*.

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

1) каждому отдельному интегральному условию вида (3) ставится в соответствие ассоциированная переменная и* — в реальности узловая переменная, связанная с одним из узлов на Г]; в глобальной системе уравнений резервируется соответствующее ей уравнение, под исключенные степени свободы место не выделяется,

2) цикл по всем конечным элементам - формирование локальных систем происходит обычным образом - как в стандартном МКЭ,

3) если хотя бы один узел обрабатываемого конечного элемента принадлежит поверхности Г,, данная локальная система подвергается перестройке по одной из представленных выше схем - в зависимости от того, сколько узлов этого элемента лежит на Гь

4) локальные системы добавляются в глобальную систему дискретных конечно-элементных уравнений по обычным правилам - в соответствии с локальной и глобальной нумерацией узлов, причем уравнения, которые соответствуют ассоциированной степени свободы и*, добавляются в соответствующее уравнение глобальной системы,

5) на завершающем этапе в правой части уравнения глобальной системы, которое соответствует и*, записывается соответствующее значение величины интеграла (3) со знаком минус (-0.

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

В итоговой системе будет присутствовать уравнение, явно отвечающее за выполнение соотношения (3). Рассмотрев структуру вкладов в это уравнение, можно обнаружить помимо основных интегралов - по граням, целиком лежащим на Гь от ди/дп, - дополнительный вклад в полный интеграл дают посторонние слагаемые - линейные интегралы по граням тетраэдров, имеющим только один или два узла на поверхности Г|.

Если считать функцию ди/дп строго непрерывной в каждой точке сетки, то при суммировании вкладов соседних элементов, примыкающих к поверхности Гь посторонние интегралы будут взаимно уничтожаться. Поэтому фактически окончательно формировать уравнение глобальной системы, соответствующее ассоциированной степени свободы и*, будут поверхностные интегралы по граням, целиком принадлежащим поверхности Г|.

Но непрерывность нормальной производной выполняется только для эрмитовых тетраэдров, которые имеют слишком большое число степеней свободы и поэтому редко используются на практике. Лагранжевы же тетраэдральные конечные элементы обеспечивают только непрерывность функции, но не частных производных. Поэтому градиент и является кусочно-непрерывной функцией, оставаясь непрерывной функцией внутри каждого элемента (постоянной функцией для тетраэдров 1-го порядка и линейной -для 2-го порядка). Из-за этого посторонние интегралы по смежным граням тетраэдров, примыкающих к Гь в общем случае уничтожаться не будут, внося тем самым некоторую поправку. Если провести анализ, рассмотрев фрагмент конечно-элементной сетки, то можно обнаружить, что данные интегралы дают величины, не зависящие от линейных размеров конечных элементов. Влияние геометрии элемента идет только через угловые соотношения. Причем показано, что слишком маленькие углы могут спровоцировать неоправданный рост указанных величин.

Несложно указать один простой частный случай, когда эта поправка точно обращается в ноль. Это когда все элементы - правильные конечные элементы, у которых все углы одинаковы. Еще в одном случае - расположенных регулярно элементов внутри сплошного слоя указанная погрешность близка к нулю.

В целом можно сделать вывод, что результаты аппроксимации интегрального условия (3) будут зависеть от качества конечно-элементной сетки, а также её регулярности. Отсутствие плохих (вытянутых) элементов и регулярная структура сетки обеспечивают плавное изменение и, а значит, более точное вычисление градиента. С другой стороны, с измельчением сетки в МКЭ точность вычисления решения задачи должна повышаться, а значит, и точность учета дополнительного условия. В этой связи заметим, что уменьшение размеров конечных элементов, а также повышения степени интерполяционного многочлена, действительно ведет к убыванию лишних слагаемых, вносящих ошибку.

В качестве тестовой задачи для уравнения Лондонов рассмотрен сверхпроводящий шар радиуса Я ~ Хь помещенный во внешнее однородное магнитное поле напряженностью Н0 .Требуется найти распределение магнитного поля Н внутри и в окрестности шара с учетом лондоновского проникновения. Выбрав цилиндрическую систему координат и поместив ее начало в центр шара, искомое распределение можно определить, решив уравнения

д (I сН|Л 1

— —— +— --75-Ч/ = 0 внутри шара (П2); дг\г дг ) дг )

д (1 &|Л д (1 Э1|Л п

где X/. — так называемая лондоновская глубина проникновения, V)/ = 2ягА — функция потока, А = А(г, г) ■ ев - векторный потенциал. Так как Н~ША, то компоненты напряженности магнитного поля выражаются через \\) так:

н ___н 1

2пг дг ' 1 2лг дг

При решении этой задачи методом конечных элементов расчетная область не может уходить на бесконечность, поэтому она выбиралась в виде прямоугольникаа<г<Ь,0<г<с достаточно больших размеров (рис. 5). Стороны этого прямоугольника были разнесены на 20Я по переменной г и 10/? - по 2. Как показал вычислительный эксперимент, при таких размерах влиянием границ на поле шара можно пренебречь. Наиболее густая сетка использовалась внутри шара и в его непосредственной близости (примерно 35 элементов вдоль радиуса шара). Тип конечных элементов - треугольники Лагранжа 1-го порядка. Граничные условия следующие: на оси г функция I)/ равна 0 (из-за у = 2пгА), на остальных границах ввиду удаления от шара поле должно быть приближенно равно внешнему, поэтому там ставятся условия Неймана:

Расчет произведен для случая ^/. = 0,3/?. График изменения напряженности вдоль линии ф = л/2 показан на рис. 6. Линии равных значений для функции у приведены на рис. 7, а. Для наглядности также на рис. 7, б изображен случай выталкивания поля из сверхпроводника при —> 0 (взято X¡. = 0,07Я).

Рис. 5. Расчетная область для Рис. 6. Изменение модуля век-

шара в однородном поле тора напряженности вдоль линии

ф = л/2

Рис. 7. Линии уровня поля Ц1 для случаев к/. = 0,3R (а) и = 0,07R (б)

Для рассматриваемой задачи известно точное решение, определенное для компонент поля Нг и Hv. Поэтому анализ погрешности конечно-элементного решения выполнен для производных функции у. Для лагранже-вых элементов, которые дают непрерывное решение для исходной функции и разрывное для ее градиента, точность вычисления и сходимость производных величин обычно значительно ниже аналогичных показателей самой функции. Тем не менее, непосредственное сравнение численного и аналитического решений для дц/дг и chy/dz показало достаточно хорошее соответствие. Во всех точках области относительная погрешность не превышает 1%, за исключением поверхности шара, где она равна 2%, а также в малой окрестности оси z, где она достигает 10%. Такая невысокая точность вблизи оси z объясняется наличием множителя 1/г в подынтегральных функциях элементов матрицы жесткости:

ч-Л

'дЫ дЫ ) дЫ, дЫ/ 1 дг дг дг дг Х1

— ¿гс1г. г

ье V 1- /

Тем самым обычные элементы 1-го порядка не в состоянии аппроксимировать столь быстрое изменение при г —» 0. Можно попытаться уменьшить ошибку вблизи г, если применить конечные элементы более высокого порядка либо разбиение повышенной плотности. Но особого смысла в этом нет, поскольку в остальной области обеспечивается удовлетворительная точность. Более того, применение сглаживающих процедур, например, среднеквадра-тическое приближение исходной функции у полиномами 5-6-го порядка, позволяет на порядок уменьшить ошибку вычисления производных.

Отметим также, что достаточно малые значения параметра X/ плохо влияют на обусловленность глобальной матрицы жесткости. Этому же способствует присутствие в подынтегральных выражениях множителя Иг, что приводит к резкому увеличению (от нескольких до десятков раз) итераций метода сопряженных градиентов. Использование предобусловленности в виде {г, г,}, где ri — /--координата /-го узла конечно-элементной сетки, позволяет заметно улучшить сходимость данного метода.

В четвертой главе проведена постановка краевых задач и осуществлён конечно-элементный анализ подвеса мезоскопической сверхпроводящей сферы в неоднородном магнитном поле сверхпроводящего кольца с током и левитации сверхпроводящего кольца в магнитом поле другого кольца.

Моделируемый объект представляет собой кольцо (радиус поперечного сечения а, осевой радиус Ь = 2,8а ), в котором течет сверхток I, в присутствии шара радиуса /? = 1,5а, центр которого находится на оси симметрии кольца на расстоянии 5 от плоскости кольца. Геометрия области в цилиндрической системе координат показана на рис. 8, а. Очевидно, задача имеет осевую симметрию.

При запитке кольца током I создается неоднородное магнитное поле, в котором, вследствие эффекта Мейсснера, осуществляется левитация шара в некотором равновесном положении, соответствующем рабочему зазору 6. Требуемое значение зазора достигается за счет подбора величины тока запит-ки /. Отметим, что кольцо может также находиться в режиме сохраняющегося потока, и тогда этот фиксированный поток Ф0 через отверстие кольца, а не ток I, будет полностью определять состояние системы.

Расчет поля осуществлен с учетом лондоновского проникновения поля внутрь шара. В то же время предполагается, что из толщи кольца поле вытеснено полностью. Математически задача формулируется в виде уравнений Лондонов и Лапласа, задаваемых в соответствующих подобластях, для функции потока ц/ = 2пгА (А - единственная отличная от нуля г-координата векторного магнитного потенциала). Граничные условия на поверхности шара могут учитывать как фиксированный поток (условие 1-го

рода у = Ф0), так и заданный ток (интегральное условие £<Э\|//Зи с/Г = ц0/).

Картина поля показана на рис. 8, б в виде распределения линий уровня.

Рис. 8. Расчетная область и распределение функции потока системы кольцо + шар

Проведен анализ подъемной силы, действующей на шар со стороны поля, в зависимости от его положения для трех значений лондоновской глубины проникновения Х^ = 0; 0,2а; 0,4а при постоянном магнитном потоке Ф0. Соответствующие кривые показаны на рис. 9 сплошными линиями. Максимум силы наблюдается при 5 » 0,8а. В режиме постоянного тока характер зависимости не меняется, только максимум смещается вправо и соответствует 8 и 1,0а. Одна из таких кривых, полученная при X/. = 0,2а, отображена пунктирной линией.

Рис. 9. Зависимость силы от положения шара для разных значений X/,. Fo — максимальное значение силы, достигаемое при X/. = 0

Рассмотрим взаимодействие двух одинаковых сверхпроводящих колец с круговым сечением (радиусы колец 2,8 мкм, радиус сечения 1 мкм) в случае так называемого «замороженного магнитного потока», когда поток через отверстие каждого кольца сохраняет своё неизменное значение при взаимном перемещении колец. Тогда, как известно, в каждом кольце будет устанавливаться ток и, создающий такой собственный поток, чтобы в сумме с потоком от другого кольца дать фиксированную величину Ф,. Распределение поле вблизи колец может быть найдено через скалярный магнитный потенциал и на основе вариационной формулировки. Требуемое распределение и, а также значения Л и /2, доставляют минимум функционалу

/?(и,/„/2) = -^- /^и^П + ЛФ,! +/2Ф2|Г2

1 п

с учетом дополнительных условий

(м+ -м_)|Г| = /,; (и+ -и_)|Гз = /2,

где Г| и Г2 - поверхности разреза, закрывающие отверстия колец, (и+ - и_ ) - скачок потенциала. Стационарное значение данного функционала соответствует уравнениям

V2« - 0 (уравнение Лапласа в области Л); ди/дп = 0 (граничные условия на границе Г);

|ц05ы/<Эпс/Г = Ф,, ^\10ди/дпс1Г = Ф2 (условия сохранения пото-г, г2

ков через Г) и Г2 ).

Для соосно расположенных колец, когда геометрия имеет осевую симметрию, задача носит двумерный характер. Были получены зависимости энергии и силы, действующей на одно из колеи, в зависимости от расстояния между плоскостями колец для разных значений сохраняющихся потоков Ф1 и Ф2.

При анализе боковых и угловых смещений одного из колец задача становится существенно трехмерной.

Математически рассматриваемая задача ставится во всем трехмерном пространстве, но для реальных численных расчетов область должна быть ограничена. Как правило, граница замыкания определяется эмпирически, т.е. таким образом, чтобы изменением энергии при увеличении размеров области можно было пренебречь. В данной серии расчетов внешняя граница области была выбрана в виде цилиндра, ось которого совпадает с осью колец. Радиус цилиндра — 17 мкм, его высота - 34 мкм. Конечно-элементные вычисления проводились с использованием лагранжевых тетраэдральных элементов 2-го порядка, имеющих 10 узлов. Полное число степеней свободы — около 640 тыс.

В случае, когда потоки Ф! и Ф2 равны и одного знака (при этом Ф, = Ф2 = 20,7-Ю"15 Вб), силы взаимодействия между кольцами носят характер притяжения. Расхождение между результатами вычислений энергии и силы в трехмерном и осесимметричном случаях лежит в пределах 1.5-2%. Это объясняется тем, что размер расчетной области в трехмерном случае был выбран меньше, чем в двумерном (из-за непомерного роста количества элементов/узлов). Как показал вычислительный эксперимент, с уменьшением отличия соответственных размеров трехмерной и двумерной расчетных областей указанные кривые сближаются.

Если для одного из колец изменить знак сохраняющегося потока на противоположный, то силы, действующие на кольца, становятся отталкивающими.. Изменение силы и энергии носит значительно более резкий характер, чем когда потоки имели одинаковый знак. Токи в кольцах равны, но

протекают в противоположных направлениях. Здесь отличие значений энергии в двумерном и трехмерном случаях менее заметно и не превышает 0.5 %.

Наиболее интересным представляется случай, когда потоки в кольцах разные по абсолютному значению (но с одинаковым знаком). Пусть, в частности, Ф( =20,7-10~15 Вб, Ф2 = 2Ф). Вид взаимодействия в данном случае меняется с изменением расстояния. На малых расстояниях друг от друга (примерно до радиуса колец) между кольцами действует сила отталкивания. На малых расстояниях друг от друга (примерно до 3/4 радиуса колец) между кольцами действует сила отталкивания, быстро нарастающая при их сближении. При удалении колец она сменяется силой притяжения, достигающей максимума (при </=1,7 мкм), а затем медленно убывающей до нуля. Зависимость энергии от расстояния характеризуется наличием потенциальной ямы (рис. 10).

Чтобы проверить наличие устойчивого положения и по другим степеням свободы, проведены расчеты при боковых и угловых смещениях одного кольца относительно другого. Они выполнены для расстояния между плоскостями колец 0,75 мкм, что соответствует минимуму энергии при осевых смещениях. Соответствующие графики изменения энергии в зависимости от малых боковых смещений и поворотов показаны на рис. 11 (а, б).

Рис. 10. Зависимости энергии (а) и силы (б) от расстояния между кольцами <1 (Ф2 = 2Ф])

о б

Рис. 11. Изменение энергии в зависимости от бокового смещения (а) и поворота (6) одного из колец (случай Ф2 = 2Ф,)

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

В целях обнаружения возможного устойчивого левитационного состояния было также проведено трехмерное компьютерное моделирование взаимодействия тонкого и толстого кольца. Радиус поперечного сечения первого (толстого) кольца г1 = I мкм, второго (тонкого) кольца г2 = 0,2 мкм, Радиусы колец одинаковы и, как и ранее, равны 2,8 мкм. Результаты вычислений показали, что данная система является неустойчивой по угловым возмущениям.

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

ОСНОВНЫЕ РЕЗУЛЬТАТЫ РАБОТЫ

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

2. Получена дискретная конечно-элементная модель учёта условия постоянства неизвестной функции и потока её градиента на внутренних границах многосвязных двухмерных и трёхмерных областей при численном решении краевой задачи для уравнений эллиптического типа методом конечных элементов.

3. Осуществлена модификация комплекса программ РЕМРОЕ8о1уег расширившая его функциональные возможности и позволившая с его помощью численно решать краевые задачи магнитостатики сверхпроводников (в том числе и для уравнения Лондонов) не только в формулировке скалярного магнитного потенциала, но и в формулировке векторного магнитного потенциала в плоском и осесимметричном случаях. Проведено его тестирование на устойчивость вычислительной процедуры, сходимость и точность путём численного эксперимента на модельных задачах, имеющих точное аналитическое решение.

4. Сформулированы краевые задачи и проведён конечно-элементный анализ трёхмерных и осесимметричных магнитных полей в мезоскопических сверхпроводящих левитационных системах: закреплённое сверхпроводящее

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

Основные результаты диссертации опубликованы в следующих работах:

Публикации в изданиях, рекомендованных ВАК РФ

1. Компьютерное моделирование сверхпроводящих систем методом конечных элементов / М.И. Батаронова, С.А. Кострюков, В.В. Пешков, Г.Е. Шу-нин // Вестник Воронежского государственного технического университета. — 2007. - Т. 3. - № 8. - С. 25-27.

2. Компьютерное моделирование двух сверхпроводящих колец с постоянными магнитными потоками / М.И. Батаронова, С.А. Кострюков, В.В. Пешков, Г.Е. Шунин // Известия АН. Серия Физическая. - 2008. - Т. 72. - № 9. - С. 1271-1274.

3. Трехмерный анализ взаимодействия двух токонесущих сверхпроводящих колец / М.И. Батаронова, С.А. Кострюков, В.В. Пешков, Г.Е. Шунин // Системы управления и информационные технологии. -2009. — № 3.2. - С. 212-214.

4. Батаронова М.И. Компьютерное моделирование левитации мезоскопи-ческой сверхпроводящей сферы в неоднородном магнитном поле / М.И. Батаронова, С.А. Кострюков, Г.Е. Шунин // Системы управления и информационные технологии. - 2009. -№ 4. — С. 52-53.

5. Конечно-элементный комплекс программ РЕМРЭЕ5о1уег / С.А. Кострюков, В.В. Пешков, Г.Е. Шунин, М.И. Батаронова и др. // Системы управления и информационные технологии. - 2010. -№ 4(42). - С. 52-57.

6. Учет условия постоянства неизвестной функции в конечно-элементном комплексе программ РЕМРЭЕЗоКег / М.И. Батаронова, С.А. Кострюков, В.В. Пешков, Г.Е. Шунин // Вестник Воронежского государственного технического университета. - 2010. - Т. 6. - № 11. - С. 227-230.

Статьи и материалы конференций

7. Шунин Г.Е. Свободно распространяемые программные средства для конечно-элементного анализа в сети Интернет / Г.Е. Шунин, Я.В. Сбитнев, М.И. Батаронова // Физико-математическое моделирование систем: материалы II меж-дунар. семинара. - Воронеж: ВГТУ, 2005. - Ч. 3. - С. 18-25.

8. Батаронова М.И. Решение уравнения Лондонов с помощью пакета РЕМРОЕ5о1уег / М.И. Батаронова, С.А. Кострюков, Г.Е. Шунин // Компьютерное моделирование электромагнитных процессов в физических, химических и технических системах: материалы V Междунар. семинара. - Воронеж: ГОУВПО «Воронежский государственный технический университет», 2007. — С. 165-168.

9. Физико-математические модели комплекса программ РЕМРОЕЗоКег / М.И. Батаронова, С.А. Кострюков, В.В. Пешков, Г.Е. Шунин // Физико-

математическое моделирование систем: материалы IV междунар. семинара. -Воронеж: ГОУВПО «Воронежский государственный технический университет», 2007. - Ч. 2.-С. 110-118.

10. Шунин Г.Е. Физико-математическое моделирование сверхпроводящих электромагнитных подвесов / Г.Е. Шунин, М.И. Батаронова // Физико-математическое моделирование систем: материалы V междунар. семинара. - Воронеж: ВГТУ, 2008. - Ч. 3. - С. 3-13.

11. Батаронова М.И. Конечно-элементный анализ сверхпроводящих электромагнитных подвесов // М.И. Батаронова, Г.Е. Шунин // Современные методы теории функций и смежные проблемы: материалы Воронежской зимней математической школы. - Воронеж: Издательско-полиграфический центр Воронежского государственного университета, 2011. — С. 41-42.

12. Батаронова М.И. Структура системы компьютерного моделирования сверхпроводящих электромагнитных подвесов / М.И. Батаронова, Г.Е. Шунин // Современные проблемы прикладной математики, теории управления и математического моделирования: материалы IV Междунар. науч. конф. - Воронеж: Изда-тельско-полиграфический центр Воронежского государственного университета, 2011.-С. 6-8.

13. Препроцессор комплекса программ FEMPDESolver / М.И. Батаронова, С.А. Кострюков, М.В. Мощёнский и др. // Физико-математическое моделирование систем: материалы VII междунар. семинара. — Воронеж: ФГБОУ ВПО «Воронежский государственный технический университет», 2011. - Ч. 3. - С. 104-108.

14. Шунин Г.Е. Разработка и моделирование сверхпроводящих электромагнитных подвесов / Г.Е. Шунин, М.И. Батаронова // Физико-математическое моделирование систем: материалы VII междунар. семинара. - Воронеж: ФГБОУ ВПО «Воронежский государственный технический университет», 2011. - Ч. 3. -С. 109-128.

15. Батаронова М.И. Численный анализ интегральных уравнений описывающих распределение плотности токов в мезоскопических сверхпроводящих подвесах / М.И. Батаронова Г.Е. Шунин // Физико-математическое моделирование систем: материалы VIII междунар. семинара. - Воронеж: ФГБОУ ВПО «Воронежский государственный технический университет», 2012. — Ч. 3. — С. 24-50.

16. Программа. Процессор пакета программ FEMPDESolver 2.2 / М.И. Батаронова, С.А. Кострюков, В.В. Пешков, Г.Е. Шунин. М.: ФГУП ВНТИЦ, 2010. № 50201001684.

Подписано в печать 23.04.2012. Формат 60x84/16. Бумага для множительных аппаратов. Усл. печ. л. 1,1. Тираж 90 экз. Заказ № £4 .

ФГБОУ ВПО «Воронежский государственный технический университет» 394026 Воронеж, Московский просп., 14

61 12-5/2734

ФБГОУ ВПО «Воронежский государственный технический университет»

На правах рукописи

БАТАРОНОВА Маргарита Игоревна

МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ МЕЗОСКОПИЧЕСКИХ

СВЕРХПРОВОДЯЩИХ ЭЛЕКТРОМАГНИТНЫХ ПОДВЕСОВ С ИСПОЛЬЗОВАНИЕМ КОНЕЧНО-ЭЛЕМЕНТНОГО АНАЛИЗА

Специальность 05.13.18 - Математическое моделирование, численные методы и комплексы программ

Диссертация на соискание ученой степени кандидата технических наук

Научный руководитель канд. физ.-мат. наук, ст. науч. сотр. Шунин Г.Е.

Воронеж 2012

СОДЕРЖАНИЕ

ВВЕДЕНИЕ......................................................................... 4

ГЛАВА 1. ФИЗИКО-МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ СВЕРХПРОВОДЯЩИХ ЭЛЕКТРОМАГНИТНЫХ ПОДВЕСОВ........ 9

1.1. Устойчивость диамагнитного и динамического магнитного

подвесов.................................................................. 9

1.2. Основные типы сверхпроводящих электромагнитных Подвесов.................................................................... 11

1.3. Методы расчёта и компьютерного моделирования сверхпрово-

дящих подвесов......................................................... 14

1.4. Основные физико-математические модели магнитостатики то-

конесущих сверхпроводящих систем............................... 18

1.5. Компьютерные системы конечно-элементного анализа......... 24

ГЛАВА 2. МОДЕЛИРОВАНИЕ ОСЕСИММЕТРИЧНОЙ СИСТЕМЫ МЕЗОСКОПИЧЕСКИХ ТОКОНЕСУЩИХ СВЕРХПРОВОДЯЩИХ МНОГОСВЯЗНЫХ ТЕЛ МЕТОДОМ ИНТЕГРАЛЬНЫХ УРАВНЕНИЙ......................................................................... 53

2.1. Формулировка математической модели распределения плотности тока в сверхпроводящих телах.............................. 53

2.2. Дискретизация интегральных уравнений, описывающих распределение плотности токов в сверхпроводящих телах............ 56

2.3. Исследование дискретной модели в случае конечной глубины проникновения магнитного поля в сверхпроводник............. 58

2.4. Исследование дискретной модели в случае идеального диамагнетизма ..................................................................... 65

ГЛАВА 3. УЧЁТ ПОСТОЯНСТВА ПОТЕНЦИАЛА И ПОТОКА ЕГО ГРАДИЕНТА НА ВНУТРЕННИХ ГРАНИЦАХ МНОГОСВЯЗНОЙ ОБЛАСТИ ПРИ ЧИСЛЕННОМ РЕШЕНИИ КРАЕВЫХ ЗАДАЧ

КОМПЛЕКСОМ ПРОГРАММ FEMPDESOLVER 2.2....................... 78

3.1. Вариационная формулировка условия постоянства потенциала и потока его градиента на внутренних границах области решения краевой задачи...................................................... 78

3.2. Конечно-элементная схема учёта постоянства потенциала и по-

тока его градиента на внутренней границе области решения .. 83

3.3. Особенности учета условия постоянства потенциала на внутрен-

них границах трёхмерных областей................................. 97

3.4. Тестирование комплекса программ FEMPDESolver 2.2............ 101

ГЛАВА 4. ПОСТАНОВКА КРАЕВЫХ ЗАДАЧ И КОНЕЧНО-ЭЛЕМЕНТНЫЙ АНАЛИЗ ОСНОВНЫХ ТИПОВ МЕЗОСКОПИЧЕСКИХ СВЕРХПРОВОДЯЩИХ ЭЛЕКТРОМАГНИТНЫХ ПОДВЕСОВ......... 111

4.1. Левитация мезоскопической сверхпроводящей сферы в неодно-

родном магнитном поле сверхпроводящего кольца с током... 111

4.2. Трехмерный конечно-элементный анализ энергии взаимодействия

двух токонесущих сверхпроводящих колец....................... 114

ЗАКЛЮЧЕНИЕ......................................................................... 133

ЛИТЕРАТУРА......................................................................... 135

ПРИЛОЖЕНИЕ

ВВЕДЕНИЕ

Актуальность темы. Для расчета электромеханических характеристик мезоскопических сверхпроводящих электромагнитных подвесов (МСЭМП), на основе которых могут быть созданы сверхвысокочувствительные миниатюрные криогенные гравиинерциальные измерители, требуется знать распределение магнитных полей и токов в их конструктивных элементах, размеры которых сравнимы с лондоновской глубиной проникновения магнитного поля в сверхпроводник. Для этого необходимо найти численное решение связанной системы уравнений Лондонов и стационарных уравнений Максвелла в трёхмерных областях сложной формы с заданными граничными условиями. Для этой цели наилучшим образом подходит метод конечных элементов (МЕСЭ) как наиболее универсальный метод с минимальными ограничениями. МКЭ успешно применяется при решении задач в различных областях науки и техники. На его основе разработаны универсальные компьютерные системы инженерного анализа технических объектов, такие, как ANSYS, NISA, Cosmos/M, Maxwell, Elcut и др. Однако математические модели, используемые в этих системах, не включают уравнения электродинамики мезоскопических сверхпроводников, в силу чего их использование для моделирования МСЭМП невозможно. Требуется разработка дополнительных модулей к ним, либо применение специализированных систем конечно-элементного анализа. Для этих целей перспективно использовать наиболее мощную адаптируемую систему конечно-элементного мультифизического анализа COMSOL Multiphysics, а также разрабатываемый в Воронежском государственном техническом университете на кафедре высшей математики и физико-математического моделирования комплекс программ FEMPDESolver, предназначенный для численного решения скалярных дифференциальных уравнений в частных производных (ДУЧП) второго порядка методом конечных элементов с дополнительными условиями, учитывающими специфику электродинамики макроскопических сверхпроводников. С его помощью можно

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

Данная диссертационная работа выполнена в рамках госбюджетных НИР: Б5/07 «Моделирование топохимических и магнитомеханических процессов в многосвязных системах» (2007-2008 гг., № госрегистрации 01200707633), Б14/09 «Физико-математическое моделирование и исследование перспективных материалов, конструкций на основе титановых сплавов для авиационной и космической техники» (2009-2010 гг., № госрегистрации 01200952212), проводимых по заданию Федерального агентства по образованию в рамках тематического плана «Фундаментальные исследования», а также ГБ 2007.14 «Компьютерное моделирование криогенных магнитогравиинер-циальных устройств», ГБ 2010.14 «Физико-математическое моделирование криогенных магнитогравиинерциальных устройств», и соответствует одному из основных научных направлений Воронежского государственного технического университета - «Наукоемкие технологии в машиностроении, авиастроении и ракетно-космической технике».

Цель и задачи исследования. Целью работы является развитие комплекса программ РЕМРОЕ8о1уег позволяющая численно решать двухмерное уравнение Лондонов и учитывать условие постоянства потенциала на внутренних границах многосвязных двухмерных и трёхмерных областей, а также построение и исследование математических моделей основных типов МСЭМП и вычислительный эксперимент над ними.

Для достижения этой цели были поставлены следующие задачи: 1. Рассмотреть основные типы СЭМП, методы их математического моделирования и возможности существующих универсальных систем мульти-

физического конечно-элементного анализа. Адаптировать комплекс программ РЕМРОЕ8оЬ/ег для решения двухмерного уравнения Лондонов.

2. В рамках метода интегральных уравнений построить дискретную модель распределения плотности токов в системе многих токонесущих сверхпроводящих тел и провести ее исследование на сходимость и обусловленность.

3. На основе вариационного подхода построить конечно-элементную модель учёта постоянства потенциала и заданных значений потоков его градиента на внутренних границах многосвязной области его определения, провести её алгоритмизацию и программную реализацию.

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

Методы исследования. При выполнении работы использованы основные положения электродинамики сверхпроводников, методы математической физики, метод конечных элементов, вычислительные методы линейной алгебры, методы структурного, объектно-ориентированного и визуального программирования.

Тематика работы соответствует следующим пунктам паспорта специальности 05.13.18 «Математическое моделирование, численные методы и комплексы программ»: п. 2 «Развитие качественных и приближенных аналитических методов исследования математических моделей», п. 3 «Разработка, обоснование и тестирование эффективных вычислительных методов с применением современных компьютерных технологий» и п. 4 «Реализация эффективных численных методов и алгоритмов в виде комплексов проблемно-ориентированных программ для проведения вычислительного эксперимента».

Научная новизна работы. В диссертации получены следующие результаты, характеризующиеся научной новизной:

- дискретная математическая модель распределения плотности токов в системе токонесущих сверхпроводящих тел, построенная в рамках метода интегральных уравнений и учитывающая лондоновское проникновение магнитного поля в сверхпроводник;

- метод регуляризации дискретной модели распределения плотности токов в системе сверхпроводящих тел, отличающийся сохранением хорошей обусловленности модели при увеличении числа тел;

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

- модифицированный комплекс программ ЕЕМРВЕ8о1уег 2.2, позволяющий численно решать ДУЧП эллиптического типа в многосвязных двухмерных и трёхмерных областях с заданными потоками градиентов потенциала и условием постоянства потенциала на внутренних границах, а также уравнение Лондонов в двухмерных областях;

- результаты вычислительных экспериментов, показавшие устойчивость подвеса мезоскопического сверхпроводящего кольца с постоянным магнитным потоком над (под) закреплённым мезоскопическим сверхпроводящим кольцом с постоянным магнитным потоком того же направления но другой величины;

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

Реализация и внедрение результатов работы. Процессор комплекса программ РЕ1УПЮЕ8о1уег 2.2 зарегистрирован в ФГУП ВНТИЦ и внедрен в учебный процесс подготовки студентов специальностей «Техника и физика низких температур» и «Техническая физика» Воронежского государственного

технического университета по дисциплине «Математические методы моделирования физических процессов».

Апробация работы. Результаты диссертационной работы докладывались и обсуждались: на И, IV-VIII Международных семинарах «Физико-математическое моделирование систем» (Воронеж, 2005, 2007-2011); на V Международном семинаре «Компьютерное моделирование электромагнитных процессов в физических, химических и технических системах» (Воронеж, 2007); Воронежской зимней математической школе «Современные методы теории функций и смежные проблемы» (Воронеж, 2011); IV Международной научной конференции «Современные проблемы прикладной математики, теории управления и математического моделирования» (Воронеж, 2011); научно-технических конференциях профессорско-преподавательского состава, аспирантов и студентов Воронежского государственного технического университета (2005-2011).

Публикации. Основные результаты диссертации опубликованы в 16 научных работах, в том числе 6 в изданиях, рекомендованных ВАК РФ. В работах, опубликованных в соавторстве и приведенных в автореферате, лично соискателю принадлежит: в [5,9,14,16] - модификация физико-математического, алгоритмического и программного обеспечения процессора комплекса программ FEMPDESolver; в [6] - аппроксимационные схемы и обобщение на трёхмерный случай; в [1-4,8,11-13] - проведение вычислительных экспериментов, участие в обсуждении результатов; в [15] - построение дискретных моделей и их численное исследование; [7,10,14]-анализ специализированных конечно-элементных программ.

Структура и объем работы. Диссертация состоит из введения, четырёх глав, заключения, списка литературы, включающего 185 наименований, и приложения. Основная часть работы изложена на 153 страницах и содержит 42 рисунка и 25 таблиц.

ГЛАВА 1. ФИЗИКО-МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ СВЕРХПРОВОДЯЩИХ ЭЛЕКТРОМАГНИТНЫХ ПОДВЕСОВ

Несмотря на свою многовековую историю, проблема левитации тел в силовых полях продолжает оставаться актуальной и в наше время. Интерес к ней значительно усилился со второй половины 80-х годов двадцатого века в связи с открытием высокотемпературных сверхпроводников и созданием на их основе магнитных опор большой грузоподъемности. Электромагнитные подвесы различных типов находят применение в электротехнике, точном приборостроении, транспортной и измерительной технике.

Вопросам теории и техники неконтактного подвешивания твердых тел в электромагнитных полях посвящены монографии [26, 88, 16, 93, 27, 49, 46, 159, 21, 170] и обзоры [52, 180, 24, 147, 148, 116, 117, 183, 49, 145, 176]. Аннотированную библиографию более 300 публикаций, вышедших до 1991 года, можно найти в работе [182].

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

В этой главе даётся обзор работ, посвященных проблеме физико-математического моделирования сверхпроводящих электромагнитных подвесов. Рассмотрены основные типы СЭМП, в том числе мезоскопические. Наибольшее внимание уделено рассмотрению методов расчёта СЭМП, а также возможностям и ограничениям компьютерных систем мультифизического конечно-элементного анализа. Детально рассматривается структура и функциональные возможности конечно-элементного комплекса программ FEMPDESolver и физико-математические модели, используемые в нем. Содержание данной главы, частично, основывается на публикациях [108, 101, 109,33,75,82, 8,81, 110 ].

1.1. Устойчивость диамагнитного и динамического магнитного подвесов

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

Так еще в 1600 г. Гильберт писал о невозможности осуществить подвес железных предметов с помощью постоянных магнитов из-за возрастания магнитной силы при их сближении [17]. Герике в 1672 г. обнаружил, что пушинка притягивается наэлектризованным шаром, более того, ему даже удавалось, перемещая шар, заставить пушинку плавать в воздухе (своеобразный прототип управляемого электростатического подвеса) [45].

В 1842 г. Ирншоу, рассматривая корпускулярную модель эфира, показал, что система частиц, взаимодействующих по закону обратных квадратов, не может находиться в устойчивом статическом равновесии [134]. Спустя несколько лет после работы Ирншоу и открытия Фарадеем явления диамагнетизма, Томпсон (лорд Кельвин) теоретически показал, что диамагнитные тела могут быть в принципе подвешены в неоднородном магнитном поле [179]. Максвелл в своем знаменитом «трактате об электричестве и магнетизме» в 1873 г. сформулировал и доказал утверждение о том, что заряженное тело, помещенное в электростатическое поле, не может находиться в состоянии устойчивого равновесия и назвал его теоремой Ирншоу [48].

В 1939 г. Браунбек [118-119] достаточно детально проанализировал проблему статической левитации твердых тел с учетом их магнитной (ц) и диэлектрической (с) проницаемостей. Он показал, что устойчивая статистическая левитация в неоднородных электрических (магнитных) полях возможна при условии 0 < s < 1 (или 0 < ]i < 1). Так как таких диэлектрических материалов нет, то устойчивая электростатическая подвеска невозможна. Он не только подтвердил теоретически результат Кельвина, но и осуществил

и

впервые подвес диамагнитных частичек висмута и графита массой несколько десятков миллиграмм в неоднородном магнитном поле с индукцией порядка 2 Тл, а также предложил использовать для экспериментов сверхпроводники, которые, вследствие эффекта Мейсснера-Оксенфельда, ведут себя в магнитном поле как вещества с ц, = 0. В последующем появилось большое число работ посвященных как теоретическим и техническим аспектам диамагнитной левитации (см., например [171, 80, 174, 133]).

Задача устойчивости орбитального движения двух свободных магнитов с магнитными моментами перпендикулярными плоскости орбиты была рассмотрена Козорезом в 1974 г. [27,29]. Стабильная левитация