Тарасюк, Игорь Валерьевич(Новосибирский государственный университет, 2009)
Исчисление боксов Петри PBC — известная алгебра параллельных процессов с семантикой сетей Петри. Автором было разработано дискретно-временное стохастическое расширение dtsPBC конечного PBC, дополненное позже оператором ...
Старовойтов, Виктор Николаевич; Старовойтова, Ботагоз Николаевна(Новосибирский государственный университет, 2009)
В работе предлагается математическая модель, описывающая динамику упругого тела в вязкой несжимаемой жидкости. Движение тела складывается из твердотельных перемещений (сдвиг и вращение) и упругих деформаций. В предположении ...
Первухин, Михаил Александрович(Новосибирский государственный университет, 2009)
Понятие регулярного частично упорядоченного полигона является обобщением понятия регулярного полигона. В работах Е. В. Овчинниковой и А. А. Степановой были исследованы моноиды, над которыми класс регулярных полигонов ...
Нещадим, Михаил Владимирович(Новосибирский государственный университет, 2009)
В данной работе идеи Ю.Е. Аниконова о конструктивном методе решения обратных задач прилагаются к решению обратной задачи для линейного дифференциального уравнения второго порядка от одной пространственной переменной. В ...
Неустроева, Наталья Валерьяновна(Новосибирский государственный университет, 2009)
Рассматривается контактная задача, описывающая равновесие упругих пластин под действием внешних сил (модель Кирхгофа-Лява). Пластины расположены под заданным углом друг к другу и в естественном состоянии соприкасаются по ...
Кононенко, Лариса Ивановна(Новосибирский государственный университет, 2009)
Исследуются релаксационные колебания и решения-утки в сингулярно возмущенных системах обыкновенных дифференциальных уравнений с одной медленной и одной быстрой переменными. Исследование основано на применении классической ...
Колпаков, Александр Александрович(Новосибирский государственный университет, 2009)
Исследовано бесконечное семейство конических многообразий, наделенных сферической метрикой с сингулярным множеством торический (p, q) узел, в случае если натуральные числа p и q взаимно просты или торическое (p, q) зацепление ...
Гребенёв, Владимир Николаевич; Филимонов, Михаил Юрьевич(Новосибирский государственный университет, 2009)
Доказано существование решения начально-краевой задачи для модели Миллионщикова при замыкании уравнения Кармана–Ховарта. Исследована сходимость решения при стремлении вязкости ν к нулю. Установлена асимптотическая устойчивость ...
Вшивцева, Полина Александровна; Денисова, Ирина Павловна; Денисов, Михаил Михайлович(Новосибирский государственный университет, 2009)
Рассмотрено произвольное N-мерное псевдориманово пространство, в котором задан некоторый ковариантный тензор второго ранга Ψik(x). Установлены и доказаны с использованием аксиального тензора Леви–Чивиты важные тензорные ...
Блохин, Александр Михайлович; Боярский, Станислав Андреевич; Семисалов, Борис Владимирович(Новосибирский государственный университет, 2009)
Рассматривается гидродинамическая модель, представляющая из себя квазилинейную систему уравнений, записанных в форме законов сохранения, полученных из системы моментных соотношений для уравнения переноса Больцмана. В работе ...
Пантелеев, Владимир Иннокентьевич(Новосибирский государственный университет, 2009)
Рассматриваются булевы функции с двумя видами неопределенности. Вводится соответствующее определение суперпозиции, замкнутых классов и доказывается критерий полноты.
Матвеева, Инесса Изотовна; Попов, Артем Михайлович(Новосибирский государственный университет, 2009)
Рассматривается задача Коши для системы дифференциальных уравнений, возникающей при моделировании многостадийного синтеза вещества. Изучаются свойства последней компоненты решения, описывающей концентрацию конечного продукта ...
Малых, Антон Александрович; Манцивода, Андрей Валерьевич; Ульянов, Владимир Сергеевич(Новосибирский государственный университет, 2009)
Дескриптивные логики имеют большие возможности для обработки данных и знаний в мировой информационной среде. Semantic Web (SW) преобразует этот потенциал в гармоничный подход, ориентированный на модернизацию всемирной ...
Кыров, Владимир Александрович; Мурадов, Роман Мохуббатович(Новосибирский государственный университет, 2009)
В данной работе устанавливается связь физической структуры ранга (n+1, 2) с группами Ли преобразований. Находятся инварианты групп Ли преобразований, задающих однометрические и двуметрические физические структуры.
Кучер, Николай Алексеевич; Прокудин, Дмитрий Алексеевич(Новосибирский государственный университет, 2009)
В работе исследуется корректность первой краевой задачи для системы уравнений с частными производными, описывающих стационарное движение двухкомпонентных смесей вязких сжимаемых жидкостей.
Бельхеева, Румия Катдусовна(Новосибирский государственный университет, 2009)
В работе представлено уравнение состояния для описания термодинамически равновесной пористой смеси нескольких конденсированных компонентов. При описании смеси используется модель взаимопроникающих и взаимодействующих ...
Афанасьев, Константин Евгеньевич; Попов, Андрей Юрьевич(Новосибирский государственный университет, 2009)
Работа посвящена исследованию методом SPH задачи о разрушении плотины при наличии слоя жидкости в нижнем бьефе. Приводится описание метода SPH, численного алгоритма и его тестирование на примере задачи о течении жидкости ...
Пинус, Александр Георгиевич(Новосибирский государственный университет, 2009)
Доказывается взаимная интерпретируемость друг в друге элементарной теории шкалы потенциалов вычислимости всех конечных алгебр и элементарной теории арифметики.
Папин, Александр Алексеевич(Новосибирский государственный университет, 2009)
Установлена однозначная разрешимость «в малом» по начальным данным однородной начально-краевой задачи для одномерных уравнений фильтрации двух вязких несжимаемых жидкостей.