Алгоритмы антиунификации и их применение для вычисления инвариантов программ
Цель главы 1 этой работы — выяснить, какова сложность задачи антиунификации в том случае, когда рассматриваемые термы представлены ациклическими ориентированными графами. Задача антиунификации термов эквивалентна задаче антиунификации подстановок. Под подстановкой в данном случае понимается отображение из одного множества переменных в множество термов, построенное над конечным множеством…
Диссертация
Алгебры операторов, связанные с интерполяционными пространствами
Аналогичное представление в виде суммы двух треугольных алгебр верно и для идеала С (Н) вполне непрерывных операторов в обоих пространствах, Но и Н. В параграфах 1.6. и 1.7. изучаются идеалы операторов в алгебре Ь (Н). В частности, показано, что также, как для алгебры Ь (Н) всех операторов в гильбертовом пространстве, множество конечномерных операторов в алгебре Ь (Н) является минимальным идеалом…
Диссертация
Экспериментальное исследование прикатодной области сильноточных электрических дуг
Отдельная глава посвящена предлагаемому методу использования высокоскоростной цветной цифровой камеры для получения полей температуры на поверхности катода с учётом экранирующего действия собственного излучения плазмы, с временным разрешением в несколько мкс и пространственным разрешением в 20 — 30 мкм. Приводятся результаты градуировочных экспериментов на теплофизической установке, оценки…
Диссертация
Эволюция плазмы в токамаке — моделирование и сравнение с экспериментом
Во второй группе кодов моделируется эволюция плазмы со свободной границей во внешних изменяющихся магнитных полях. Рассчитывается эволюция токов и напряжений в обмотках управления, в вакуумной камере и проводниках пассивной стабилизации. Эта группа моделей в разных приближениях используется для самосогласованного моделирования сценариев плазмы в существующих токамаках. В большинстве кодов этой…
Диссертация
Дифференциальные уравнения и включения с производными в среднем
Понятие производных в среднем было введено Э. Нельсоном (см.,) для нужд построенной им стохастической механики (вариант квантовой механики). Уравнение движения в этой теории (так называемое уравнение Ньютона-Нельсона) было первым примером уравнений с производными в среднем. Затем было показано, что в терминах уравнений с производными в среднем описывается движение вязкой несжимаемой жидкости…
Диссертация
Корректная постановка краевой задачи Римана с коэффициентом, имеющим разрывы почти-периодического типа
В 1968 году И. Ц. Гохбергом и И. А. Фельдманом был рассмотрен интегрально-разностный оператор Винера-Хопфа.Значение этой работы состоит в том, что в ней впервые в теории интегральных уравнений типа свертки появились вопросы, связанные с бесконечным индексом /см. также/. Оказалось, что указанный оператор Винера-Хопфа является односторонне обратимым в Lp (qoo), но его ядро или коядро зависят…
Диссертация
Краевые задачи о контакте упругих тел разных размерностей
Задачи о контакте двух упругих пластин расположенных под заданным углом, впервые рассмотрены в работах,. В исследованы две модели. В первой модели предполагается, что нижняя пластина деформируется в своей плоскости, а в задаче для второй модели считается, что она подвергается лишь изгибу. При этом уравнение равновесия верхней пластины задается в области с разрезом. Приводятся различные…
Диссертация
Квантовые явления в процессе релаксации подсистемы структурных дефектов ионных кристаллов в магнитном поле
Апробация работы. Полученные результаты были представлены на следующих конференциях и семинарах: XXXTV Международный семинар «Актуальные проблемы прочности», (Тамбов, 1998) — XX Международная конференция «Релаксационные явления в твердых телах» (Воронеж, 1999) — E-MRS 1999 spring meeting (Strasbourg, France, 1999) — XXXV семинар «Актуальные проблемы прочности» (Псков, 1999) — VI Международная…
Диссертация
Классификация уравнений Монжа-Ампера
Основные результаты диссертации были представлены на следующих семинарах и конференциях: на семинаре по дифференциальной геометрии под руководством профессора В. В. Вишневского (Казань, КГУ им. В. И. Ульянова-Ленина, май 2006 г.) — на семинаре по геометрии дифференциальных уравнений под руководством профессора И. С. Красильщика (Москва, Независимый московский университет, апрель-май 2006, октябрь…
Диссертация
Механизмы лазерной абляции керамической YBaCuO мишени, выращивание ВТСП тонких пленок и исследование их свойств
Чтобы определиться с условиями обеспечивающими монокристаллический рост пленки в процессе лазерной абляции потребовались упорные экспериментальные исследования. На кафедре общей физики ОмГУ под руководством доктора ф.-м. наук, профессора Югая К. Н. были экспериментально обнаружены пределы по плотности мощности лазерного излучения и по времени напыления, в которых происходит бескапельный рост…
Диссертация
Метод взвешенных полных наименьших квадратов в задачах математического моделирования
Почти любая задача математического моделирования, в которой исходных данных достаточно для того, чтобы переопределить решение, требует применения того или иного метода аппроксимаций. По ряду вполне объективных причин наиболее часто в качестве критерия аппроксимации выбирают метод наименьших квадратов. Основной причиной широкого использования для решения многих практических задач математического…
Диссертация
Моделирование и формирование структуры распределенных систем обработки крупноформатных изображений на основе динамической организации данных
В частности, это актуально в области компьютерной обработки изображений. В этой области исследований следует отметить ведущие отечественные школы В. А. Сойфера, В. В. Сергеева, В. С. Киричука, Я. А. Фурмана, Ю. А. Брюханова, К. К. Васильева и др. Разработка систем параллельной обработки изображений ведется В. П. Пяткиным. В области создания распределенных систем параллельной обработки изображений…
Диссертация
Математическое моделирование процесса распространения волн в жидких и сыпучих средах
В настоящее время в связи с проблемами геофизики, океанологии и физики атмосферы, а также с использованием криогенных жидкостей в технике и рядом других проблем наибольший интерес вызывают задачи о распространении внутренних волн в стратифицированных жидкостях. Под стратифицированной жидкостью принято понимать жидкость, физические характеристики которой (плотность, теплоемкость, динамическая…
Диссертация
Математическое моделирование в задачах динамической устойчивости вязкоупругих элементов проточных каналов
За последние десятилетия проведено большое количество теоретических и экспериментальных исследований, посвященных теории вязкоупругости и устойчивости вязкоупругих тел, среди которых отметим работы Арутюняна Н. Х., Дроздова А. Д., Колмановского В. Б., Работнова Ю. Н. Предметом большого количества исследований является также динамика упругих тел, взаимодействующих с потоком жидкости или газа…
Диссертация
Обобщенная задача Коши и ее приложения
В работах В. М. Тешукова все исследования газодинамических задач с псодпомерными ударными волнами проведены по едппой оригинальной методике. А именно. Вводятся специальные криволинейные координаты, в которых поверхности, несущие граничные условия, становятся координатными гиперплоскостями. Вводятся новые неизвестные функции, граничные условия для которых являются однородными. Следует отметить…
Диссертация
О конечной порожденности предполных классов монотонных функций многозначной логики
В теории функций многозначной логики важное место занимают задачи классификационного характера. Одной из наиболее естественных и хороню изученных классификаций является разбиение множества Рвсех функций А'-значпой логики па классы, замкнутые относительно операции суперпозиции (см.). Все замкнутые классы функций двузначной логики были описаны Э. Постом, который показал, что число таких классов…
Диссертация
Расчетно-теоретическое исследование влияния неравновесной колебательной кинетики на устойчивость разряда и плазмохимические процессы в молекулярных газах
5 Дж * см" 3 • атм~* и значениях параметра Е/N — (0,5−5−7) • см2 существует аномально быстрый нагрев молекулярного азота в импульсных и квазистационарных разрядах, который обусловлен переходом колебательной энергии в поступательные степени свободы, в основном, за счет дефекта энергии при «V—V — обмене в процессе установления функции расцределения молекул по колебательным уровням. Один из широко…
Диссертация
Поляризационные оптические явления в полупроводниках и полупроводниковых структурах
Уменьшение размеров элементов в твердотельной электронике привело к созданию низкоразмерных структур — двумерных, одномерных, нульмерных. Понижение симметрии низкоразмерных структур по сравнению с объемными кристаллами приводит к новым оптическим свойствам, не имеющим место в объемных полупроводниках, среди них поляризация рекомбинационного излучения в таких структурах, которая является…
Диссертация
Стабилизация решений первой смешанной задачи для параболических уравнений и систем с младшими членами
Таким образом, нам представляется естественным, что поведение решения первой смешанной задачи в неограниченной области должно определяться двумя геометрическими характеристиками: первая является «средней шириной» выделенного куска Qr области Г2, а вторая определяет возможность перетока тепла на бесконечность. Если на роль первой характеристики естественным претендентом является функция Л (г…
Диссертация
Разработка методов и алгоритмов интеграции программных компонент в распределенных системах управления телекоммуникационными сетями и услугами
Реализация результатов исследования. Полученные в данной диссертационной работе результаты могут быть использованы при разработке проектов корпоративных вычислительных сетей промышленных предприятий и государственных учреждений, внедрены в ООО «МОБИ» (акт внедрения от 23.06.2008 г.), используются в ООО «РР-ИКС» (акт внедрения от 20.05.2008 г.), внедрены в ООО «Мартмастер» (акт внедрения от…
Диссертация
Разработка методов регистрации озона и синглетного 1 ? g кислорода в газовой фазе и их применение для изучения каталитического окисления пропилена
Эмиссия радикалов, а также высокоактивных или возбужденных молекулярных и атомных частиц с поверхности твердого тела давно привлекает внимание специалистов, работающих в области физики и химии поверхности. Неоднократно публиковались результаты работ, где были обнаружены эффекты десорбции атомов (О, Н), радикалов (СНз, КНУ и возбужденных молекул (Ог, СО) в результате протекания на поверхности…
Диссертация
Свойства функции быстродействия и позиционное управление линейной нестационарной системой
Теория оптимального быстродействия, основу которой составляет принцип максимума JI.C. Понтрягина—, предоставляет принципиальную возможность построения оптимальных процессов во многих прикладных задачах. Наиболее полно изучена задача быстродействия для линейных стационарных систем (см.- и библиографию в), для которых в ряде случаев удается построить позиционное управление,. Если же изучаемая…
Диссертация
Применение математического моделирования, численных методов и комплексов программ для решения задач оптимизации и проектирования гальванических процессов
Предложенные принципы построения программно-вычислительного комплекса позволяют с минимальными затратами наращивать и комбинировать функциональность программного комплекса в целом. Разработаны базовые классы программного комплекса с реализацией основных алгоритмов формирования системы уравнений математической модели. Наследование от созданных базовых классов позволит легко реализовать необходимые…
Диссертация
Теоретико-игровые модели управления финансовой деятельностью банка
До 1987 г. банковская система включала в себя три банка — монополиста: Госбанк СССР, Стройбанк СССР и Внешторгбанк СССР. Децентрализация управления экономикой в условиях перехода к рынку потребовала изменения роли банковской системы. Реорганизация началась в 1987 году и на первом ее этапе была создана новая структура государственных банков (двухуровневая банковская система — центрального…
Диссертация
Теория резонансных фотонных кристаллов и квазикристаллов
Новосибирск, 2007), российско-швейцарском семинаре «Excitons and Exciton Condensates in Confined Semiconductor Systems» (Москва, 2006), международной конференции «Optics of Excitons in Confined Systems» (Патти, Италия, 2007), международной школе «International School on Nanophotonics» (Маратея, Италия, 2007), между народной конференции «Physics of Light-Matter Coupling in Nanostructures» (Токио…
Диссертация
Теплоемкость и кинетические коэффициенты слаболегированных Мотт-Хаббардовских систем
Результаты исследований, изложенные в данной диссертации, опубликованы в журналах: Письма в ЖЭТФ, Теоретическая и математическая физика, Фазовые переходы, упорядоченные состояния и новые материалы, а также в трудах конференций. Основные результаты диссертации докладывались и обсуждались на конференциях: XXXIII Международной зимней школе физиков-теоретиков «Коуровка» (Россия, Новоуральск, 2010…
Диссертация
Влияние примесей редкоземельных металлов на электрофизические свойства аморфного гидрогенизированного кремния
Однако до 1990 года практически отсутствовали сведения о получении пленок а-81(Н), легированных примесями РЗМ. Ситуация изменилась после обнаружение вначале фотолюминесценции, а затем и электролюминесценции при длине волны 1.54 мкм в кристаллическом кремнии, в который были имплантирован эрбий, поскольку это сделало возможным создание источников излучения для оптоэлектронных приборов на основе…
Диссертация
Торические вырождения многообразий Фано
Как показано далее в диссертации, к сожалению, не все трехмерные многообразия Фано имеют малые торические вырождения, однако некоторые интересные многообразия всё-таки имеют, и в этих случаях сам факт существования вырождения позволяет решить иногда нетривиальные задачи исчислительной геометрии (например, найти некоторые инварианты Громова-Виттена многообразия V22 или V5 не прибегая к геометрии…
Диссертация
Транспорт тока, ЭПР и фотолюминесценция в пористом кремнии
Дополнительный 400−600°С отжиг в сухом кислороде при давлении 20 кПа образцов с 600 °C вакуумным отжигом приводил, начиная с 400 °C отжига, к уменьшению ЕХи Рь-спектров и их почти полному исчезновению при 600 °C окислении. Последующий отжиг в вакууме при 600 °C не восстанавливал ЭПР ЕХ-центров. По-другому менялся с окислением сигнал ЭПР ЕХ-центров в образцах, предварительно отожжённых в вакууме…
Диссертация
Электронная структура дефектов в оксиде и нитриде кремния
International Conference of Material Research Society, USA, Boston — 1996, International Conference of Material Research Society, USA, San Diego -1998, International Conference of Material Research Society, USA, San Francisco -1999; IV Российская конференция no физике полупроводников, Россия, Новосибирск, 1999; Material Research Society (MRS) Conference in Hong Kong — 1998; Material Research…
Диссертация