Alvarez, Tereza(Новосибирский государственный университет, 2006)
The stability of semiFredholm operators under strictly singular or small perturbation in Banach spaces were studied by several authors [9, 14, 16, 18],. . . . The main purpose of this paper is to study this problem for ...
Фокина, Екатерина Борисовна(Новосибирский государственный университет, 2006)
Объектом исследования являются счетные модели теорий. Рассматривается вопрос о структуре вычислимых моделей в классе всех счетных моделей теорий. Доказано, что для любого n существует теория со счетным числом счетных ...
Павловский, Евгений Николаевич(Новосибирский государственный университет, 2006)
Объектом исследования данной работы является свойство конечности конечно-определенных систем, задаваемых с помощью набора квазитождеств. Цель работы заключается в выявлении тех конкретных случаев, когда существует алгоритм, ...
Нечаев, Олег Валентинович; Нечаева, Ольга Валерьевна; Шурина, Элла Петровна; Эпов, Михаил Иванович(Новосибирский государственный университет, 2006)
В данной работе построены векторная вариационная формулировка для уравнения второго порядка относительно поля E и смешанная векторная вариационная формулировка для системы уравнений Максвелла первого порядка в частотной ...
Карманова, Мария Борисовна(Новосибирский государственный университет, 2006)
Работа посвящена основам геометрической теории меры на метрических пространствах. Известно, что многие важные результаты геометрической теории меры в Rn основаны на дифференциальных свойствах отображений. Если же отображение ...
Исхоков, Сулаймон Абунасрович; Тарасова, Галина Ивановна(Новосибирский государственный университет, 2006)
В работе исследуется однозначная разрешимость обобщенной задачи Дирихле для эллиптических уравнений высокого порядка, вырождающихся на неограниченных
C^0-многообразиях произвольной размерности, меньше чем размерности ...
Боровских, Алексей Владиславович(Новосибирский государственный университет, 2006)
В работе приводятся результаты, описывающие расслоение уравнений эйконала для трехмерной неоднородной среды на классы эквивалентности. Используется аппарат группового анализа: группы симметрий, группы эквивалентности для ...
Чубаров, Д.Л.(Новосибирский государственный университет, 2006)
Рассматривается процедура построения дерева достижимости для систем с бесконечным числом состояний в символьном представлении. Показано, что вариант процедуры с локальным тестом на включение является разрешающей процедурой ...
Одинцов, С.П.(Новосибирский государственный университет, 2006)
На основе сравнения логики классической опровержимости Карри и модальной логики Лукасевича предложено обобщения понятия отрицания как сведения к унарному оператору абсурдности. Исследована возможность представления в таком ...
Максимова, Л.Л.; Шрайнер, П.А.(Новосибирский государственный университет, 2006)
В данной работе описываются алгоритмы, позволяющие осуществить автоматическое распознавание свойств табличности и предтабличности у суперинтуиционистских и позитивных пропозициональных логик, а также программы, реализующие ...
Коробов, А.А.(Новосибирский государственный университет, 2006)
Дается полное описание нелинейных полных групп автоморфизмов конечно порожденных относительно свободных групп с нетривиальным тождеством. Показано, что причиной нелинейности группы автоморфизмов таких почти разрешимых групп ...
Шелухин, В.В.(Новосибирский государственный университет, 2006)
Изучается классическая модель фильтрации трех несжимаемых несмешивающихся жидкостей. Найдены функции капиллярных давлений, соответствующие треугольному тензору капиллярной диффузии. Модель сведена к вырождающейся параболической ...
Старовойтов, В.Н.(Новосибирский государственный университет, 2006)
В работе исследуется задача о безынерционном движении абсолютно твёрдого тела в вязкой несжимаемой жидкости, течение которой подчиняется уравнениям Стокса.
Доказано, что если в начальный момент времени тело не касается ...
Рудой, Е.М.(Новосибирский государственный университет, 2006)
Рассматривается модель трехмерного упругого тела, содержащего поверхностную трещину. На берегах трещины задаются условия непроникания в виде неравенств (условия Синьорини). Анализируются задачи оптимизации формы трещины и ...
Плотников, П.И.(Новосибирский государственный университет, 2006)
Доказывается, что решения интегрального уравнения Мак-Леода, описывающего поведение установившихся волн на поверхности идеальной жидкости вблизи вершины волны, допускают аналитическое продолжение в комплексную плоскость с ...
Монахов, В.Н.(Новосибирский государственный университет, 2006)
В работе доказываются теоремы существования обобщенных и классических решений стационарных краевых задач для модели тепловой двухфазной фильтрации (МЛТ модель). Предлагается итерационный процесс нахождения решения этих ...
Мамонтов, А.Е.(Новосибирский государственный университет, 2006)
Описываются классы измеримых функций, для которых известны оценки в пространствах Lp с нормами ω(p) при всех p ∈ (α, β). Для некоторых простейших функций ω при β = +∞ хорошо известно, что эти классы вложены в соответствующие ...
Алексеев, Г.В.(Новосибирский государственный университет, 2006)
Рассматриваются обратные экстремальные задачи для стационарных уравнений тепловой конвекции. Доказывается их разрешимость, выводятся и анализируются системы оптимальности, описывающие необходимые условия экстремума. На ...