Ревенко, Александра Анатольевна(Новосибирский государственный университет, 2008)
В [10] показано, что автоматные линейные порядки имеют конечный FC-ранг. В этой работе дан положительный ответ на вопрос о существовании вычислимого изоморфизма между автоматными представлениями ординалов и линейных порядков ...
Неустроева, Наталья Валериановна(Новосибирский государственный университет, 2008)
В работе исследуется вариационная задача, описывающая контакт упругой пластины с тонкой упругой балкой. Предполагается, что область контакта заранее неизвестна и подлежит определению. Данная модель описывается задачей ...
Мищенко, Евгения Васильевна(Новосибирский государственный университет, 2008)
В работе показано, что полиномы Жамалова, приведенные в монографии [4], приводят к вейвлетам Баттла – Лемарье любого порядка, причем система Франклина не является частным случаем кратномасштабного анализа Баттла – Лемарье ...
Демиденко, Геннадий Владимирович; Клевцова, Юлия Юрьевна(Новосибирский государственный университет, 2008)
Получены условия экспоненциальной дихотомии линейных систем дифференциальных уравнений с периодическими коэффициентами. Результаты формулируются в терминах разрешимости специальной краевой задачи для дифференциального ...
Данилов, Олег Александрович(Новосибирский государственный университет, 2008)
Целью настоящей работы является доказательство теорем существования и единственности разложения Тейлора для дискретной аналитической функции, определенной на некоторой конечной части гауссовой плоскости. В частности, ...
Гончаров, Сергей Савостьянович; Когабаев, Нурлан Талгатович(Новосибирский государственный университет, 2008)
В статье построен пример вычислимой структуры сигнатуры, состоящей из бесконечного числа бинарных предикатных символов, для которой не существует Σ01-классификации всех одноместных отношений, определимых в указанной структуре ...
Аниконов, Юрий Евгеньевич; Нещадим, Михаил Владимирович(Новосибирский государственный университет, 2008)
В работе для квантового кинетического уравнения получено дифференциальное тождество, на основе которого доказана теорема единственности обратной задачи определения решения и правой части по краевой и начальной информации. ...
Сычев, Анатолий Викторович(Новосибирский государственный университет, 2008)
Доктор физико-математических наук, профессор, заслуженный деятель науки РСФСР П. П. Белинский (23.09.1928 – 30.12.1986) — один из самых первых сотрудников Сибирского отделения РАН и первый декан механико-математического ...
Сервах, Владимир Вицентьевич; Щербинина, Татьяна Александровна(Новосибирский государственный университет, 2008)
В работе рассматривается задача календарного планирования проектов с учетом ограничений на складируемые ресурсы и критерием чистой приведенной прибыли. Доказано, что данная задача является NP-трудной в сильном смысле. ...
Минакова, Елизавета Викторовна(Новосибирский государственный университет, 2008)
Показано, что элементарная эквивалентность колец Ли нильтреугольных матриц над ассоциативно-коммутативными кольцами переносится на кольца коэффициентов.
Кожанов, Александр Иванович(Новосибирский государственный университет, 2008)
Для уравнений составного типа, называемых также псевдогиперболическими уравнениями, исследуется разрешимость некоторых задач нахождения вместе с решением неизвестного коэффициента, зависящего от временной переменной. Для ...
Клевцова, Юлия Юрьевна(Новосибирский государственный университет, 2008)
В работе рассматривается одна характеристика асимптотической устойчивости нулевого решения линейных систем дифференциальных уравнений с периодическими коэффициентами. Предлагается способ вычисления этой характеристики. На ...
Демиденко, Владимир Геннадьевич(Новосибирский государственный университет, 2008)
В работе исследуется задача восстановления параметров линейных моделей, возникающих при дискретном моделировании динамики генных сетей. Решение задачи проводится на основе известной модификации метода обратной итерации. ...
Блохин, Александр Михайлович; Семенко, Роман Евгеньевич(Новосибирский государственный университет, 2008)
Рассматриваются уравнения гидродинамической модели слоистых структур в присутствии электрического тока. Формулируется линейная задача об устойчивости ударных волн в такой модели. Доказывается некорректность этой задачи, ...
Александров, Владимир Михайлович(Новосибирский государственный университет, 2008)
Предложен метод вычисления оптимального по быстродействию управления в реальном времени линейной системой с неизвестным возмущением. Получена система линейных алгебраических уравнений, связывающая отклонения фазовых координат ...
Саженков, Сергей Александрович(Новосибирский государственный университет, 2008)
Рассматривается линеаризованная модель совместного движения упругого пористого грунта и целиком заполняющей поровое пространство вязкой сжимаемой жидкости с учетом теплопроводности. Считается, что поровое пространство ...
Пальчунов, Дмитрий Евгеньевич(Новосибирский государственный университет, 2008)
Статья посвящена разработке теоретико-модельных методов формализации онтологий и представления знаний. Исследуются вопросы о том, какие способы представления знаний могут быть реализованы во всех ситуациях, а какие только ...
Ковыршина, Анна Ивановна(Новосибирский государственный университет, 2008)
Рассматриваются неподвижные точки в свободных нильпотентных группах относительно всех автоморфизмов этой группы. Известно, что такие элементы существуют, но их нахождение является технически сложным процессом. В данной ...
Коровина, Маргарита Владимировна; Кудинов, Олег Викторович(Новосибирский государственный университет, 2008)
В данной статье мы даем положительный ответ на вопрос, поставленный Дана Скоттом, о существовании класса топологических пространств, расширяющего класс вычислимых метрических пространств и класс ω-непрерывных областей, и ...