Электронный архив НГУ

Просмотр Том 11 (2011) по дате публикации (защиты ВКР)

Просмотр Том 11 (2011) по дате публикации (защиты ВКР)

Отсортировать по:Порядку:Результатам:

  • Язык формальной математики Russell 
    Власов, Дмитрий Юрьевич (Новосибирский государственный университет, 2011)
    Russell — это компьютерный язык формальной математики, предназначенный для представления современной математики на формальном уровне, надежной проверки доказательств и автоматизации рутинных (технических) доказательств при ...
  • Задача об одностороннем контакте двух пластин, одна из которых содержит жесткое включение 
    Ротанова, Татьяна Александровна (Новосибирский государственный университет, 2011)
    В представленной работе рассматривается контакт двух упругих пластин, расположенных под углом друг к другу. При этом одна из пластин содержит жесткое включение и деформируется в своей плоскости, а другая — в вертикальном ...
  • Двумерная пошаговая модель распространения трещины гидроразрыва 
    Алексеенко, Ольга Петровна; Есипов, Денис Викторович; Куранаков, Дмитрий Сергеевич; Лапин, Василий Николаевич; Черный, Сергей Григорьевич (Новосибирский государственный университет, 2011)
    В работе предлагается двумерная модель распространения трещины гидроразрыва, учитывающая одновременно напряженно-деформированное состояние породы в окрестности скважины и трещины, течение и утечку жидкости в трещине и ...
  • Равновесное распределение ресурсов в модели групповых взаимодействий 
    Астраков, Сергей Николаевич; Тахонов, Иван Иванович (Новосибирский государственный университет, 2011)
    Рассматривается распределенная система, моделируемая взвешенным двудольным графом G = (I ∪ J, E). Каждой вершине i ∈ I (агенту i) приписан ресурс, который она полностью распределяет между смежными вершинами из множества J ...
  • О двух задачах в теории однозначной определенности областей 
    Слуцкий, Дмитрий Анатольевич (Новосибирский государственный университет, 2011)
    В статье приводятся оценки для абсолютного и относительного конформных модулей граничного конденсатора, состоящего из двух параллельных отрезков. Доказывается теорема о том, что выпуклость рассматриваемой плоской области ...
  • Минимальные элементы и минимальные накрытия в полурешетке Роджерса вычислимых нумераций в гиперарифметической иерархии 
    Бакланова, Надежда Александровна (Новосибирский государственный университет, 2011)
    Доказано, что в полурешетке Роджерса бесконечного Σw-вычислимого семейства существует бесконечно много минимальных элементов, и у любой не 0′-универсальной нумерации существует бесконечно много минимальных накрытий.
  • Число примитивных элементов длины 1 и 2 в свободных неассоциативных алгебрах над конечным полем 
    Чеповский, Александр Андреевич (Новосибирский государственный университет, 2011)
    Пусть Fq — конечное поле, X = {x1, . . . , xn} — множество свободных порождающих. Получен критерий примитивности элемента свободной неассоциативной алгебры Fq(X). Пусть l — степень примитивного элемента. Найдено число ...
  • О критерии горизонтальной однородности среды в обратной кинематической задаче сейсмики 
    Аниконов, Юрий Евгеньевич; Волков, Юрий Степанович; Горшкалев, Сергей Борисович; Деревцов, Евгений Юрьевич; Мальцева, Светлана Васильевна (Новосибирский государственный университет, 2011)
    В рамках обратной кинематической задачи сейсмики предложены подходы к количественной оценке структуры множества линий уровня скорости, в частности степени ее горизонтальной однородности. Кратко приведены постановки обратной ...
  • Об особом оптимальном режиме управления при возмущении функции производства 
    Трубачева, Анна Евгеньевна (Новосибирский государственный университет, 2011)
    В большинстве работ, использующих методы оптимального управления, рассматриваются только вогнутые производственные функции. В реальной экономике производственная функция подвергается различным возмущениям, которые обусловлены ...
  • Разностная схема предиктор-корректор для численного решения уравнений Навье-Стокса сжимаемого теплопроводного газа 
    Ковеня, Виктор Михайлович; Кузьмин, Максим Павлович; Полторацкий, Роман Сергеевич (Новосибирский государственный университет, 2011)
    В работе для численного решения уравнений Эйлера и Навье–Стокса сжимаемого газа предложена модификация разностной схемы предиктор-корректор. Схема основана на специальной аппроксимации операторов на этапе предиктора, ...
  • Существование экстремальной формы трещины в задаче о равновесии пластины Тимошенко 
    Лазарев, Нюргун Петрович (Новосибирский государственный университет, 2011)
    В данной работе рассматривается вариационная задача о равновесии упругой пластины (модели Тимошенко), содержащей трещину. При этом на кривой, описывающей трещину, задаются краевые условия вида неравенств. Исследуется ...
  • О глобальной разрешимости двумерной задачи протекания для уравнений Эйлера с неограниченным вихрем на входе 
    Мамонтов, Александр Евгеньевич; Уваровская, Мария Ивановна (Новосибирский государственный университет, 2011)
    Рассматривается проблема глобальной разрешимости двумерной задачи протекания идеальной несжимаемой жидкости при как можно более слабых ограничениях на гладкость решения и входных данных, особенно вихря скорости. На всей ...
  • Об одной краевой задаче теории внутренних волн 
    Голосов, Кирилл Владимирович; Макаренко, Николай Иванович (Новосибирский государственный университет, 2011)
    Рассматривается эллиптическая краевая задача в двойной полосе, возникающая при описании стационарных волн на границе раздела однородной и экспоненциально стратифицированной жидкостей. С помощью Фурье-представления получена ...
  • Решетки выпуклых подмножеств 
    Батуева, Цындыма Чимит-Доржиевна (Новосибирский государственный университет, 2011)
    В статье дается характеризация решеток, изоморфных решеткам выпуклых подмножеств частично упорядоченных множеств конечной длины. Также описан класс решеток, изоморфных решеткам выпуклых подмножеств n-арных деревьев для ...
  • Достаточные условия разрешимости для булевых алгебр 
    Леонтьева, Маргарита Николаевна (Новосибирский государственный университет, 2011)
    Завершая исследование разрешимости булевых алгебр в терминах вычислимости некоторой последовательности канонических идеалов, мы приводим в данной работе доказательство достаточности полученных условий такой разрешимости ...
  • Эквивалентность категорий полукубических множеств и поступательных Чу-пространств с сохранением открытости морфизмов 
    Ошевская, Елена Сергеевна (Новосибирский государственный университет, 2011)
    Статья посвящена применению методов направленной алгебраической топологии для установления категорных взаимосвязей геометрических моделей параллельных процессов полукубических множеств и поступательных Чу-пространств. В ...
  • Неразрешимость элементарных теорий полурешеток Роджерса на предельных уровнях арифметической иерархии 
    Бакланова, Надежда Александровна (Новосибирский государственный университет, 2011)
    Доказано, что элементарная теория любой нетривиальной полурешетки Роджерса в гиперарифметической иерархии является неразрешимой.
  • О Галуа-соответствии между неявными операциями и категориями универсальных алгебр 
    Пинус, Александр Георгиевич (Новосибирский государственный университет, 2011)
    Приводится критерий, когда подполугруппа полугруппы внутренних гомоморфизмов универсальной алгебры является полугруппой внутренних гомоморфизмов некоторого обогащения этой алгебры.
  • Группоиды с примитивно нормальными и аддитивными теориями 
    Трикашная, Наталия Вячеславовна (Новосибирский государственный университет, 2011)
    В настоящей работе исследуются некоторые группоиды, теории которых примитивно нормальны и аддитивны. Доказывается, что теория полугруппы примитивно нормальна тогда и только тогда, когда данная полугруппа является раздуванием ...
  • Разностная схема на равномерной сетке для сингулярно возмущенной задачи Коши 
    Задорин, Александр Иванович; Тиховская, Светлана Валерьевна (Новосибирский государственный университет, 2011)
    Рассматривается задача Коши для сингулярно возмущенного обыкновенного дифференциального уравнения второго порядка. На основе сформулированного принципа максимума для начальной задачи проведена оценка решения и производных. ...