Search Results: 47121
Качественные свойства и приближенные методы нахождения решений нелокальных краевых задач для систем гиперболических уравнений
Full Name of the work head: Асанова А.Т.
Исполнители проекта: Асанова А.Т.
: Институт математики и математического моделирования
Inventory number: 0212РК01453
Registration number: 0112РК02456
Keywords: Гиперболические уравнения Нелокальные краевые задачи
Установлены условия сходимости алгоритмов нахождения решений нелокальных многоточечных краевых задач для систем гиперболических уравнений со смешанными производными. Построены эффективные алгоритмы нахождения решения линейной нелокальной краевой задачи для систем нагруженных гиперболических уравнений. Получены условия разрешимости нелокальной краевой задачи с импульсными воздействиями для систем гиперболических уравнений со смешанными производными. Построены алгоритмы модификации метода ломаных Эйлера.
Нелинейная аппроксимация и поперечники функциональных компактов переменной гладкости и восстановление классов операторов
Full Name of the work head: Базарханов Д.Б.
Исполнители проекта: Балгимбаева Ш.А.
: Институт математики и математического моделирования
Inventory number: 0212РК01470
Registration number: 0112РК00603
Keywords: Функциональные пространства Оптимальное восстановление
Исследованы пространства Никольского - Бесова и Лизоркина - Трибеля. Развиты теории функциональных пространств переменной гладкости. Исследованы аппроксимативные свойства и поперечники функциональных компактов переменной гладкости. Построены и изучены методы приближенного восстановления классов операторов на этих функциональных компактах.
Исследование свойств уравнений Навье-Стокса
Full Name of the work head: Акыш А.Ш.
Исполнители проекта: Акыш А.Ш.
: Институт математики и математического моделирования
Inventory number: 0212РК01471
Registration number: 0112РК00832
Keywords: Уравнения навье-стокса Априорные оценки
Доказана однозначная разрешимость слабых решений задачи для УНС в целом по времени. Результаты распространены для линеаризованных систем Стокса и Озина.
Два семантических уровня выразительность в логике предикатов первого порядка соответствующие конечной и бесконечной комбинаторике
Full Name of the work head: Перетятькин М.Г.
Исполнители проекта: Кудайбергенов К.Ж.
: Институт математики и математического моделирования
Inventory number: 0212РК01473
Registration number: 0112РК00835
Keywords: Алгоритм Семантика Изоморфизм
Определены спецификации для конечной и бесконечной комбинаторики первого порядка. Охарактеризованы начальные сегменты алгебр Линденбаума теорий семантических классов. Показано, что алгебра Линденбаума класса сильно конструктивных простых моделей данной конечной богатой сигнатуры является универсальной ЕАЕ-алгеброй. Получены необходимые и достаточные условия, при которых теория не имеет свойства независимости, опровергнута сильная форма гипотезы Шелаха о том, что у любой теории без свойства независимости каждая модель достаточно большой мощности имеет бесконечную неразличимую последовательность.
Зависимые теории: обогащение моделей и счетный спектр
Full Name of the work head: Байжанов Б.С.
Исполнители проекта: Вербовский В.В.
: Институт математики и математического моделирования
Inventory number: 0212РК01469
Registration number: 0112РК00601
Keywords: Теория моделей Число счетных структур
Исследовано решение проблемы Воота для различных классов теорий без свойства независимости. Рассматривается возможность нахождения необходимых и достаточных условий сохранения спектра и таких свойств, как стабильность, зависимость и др., при обогащении модели неформульными отношениями.
Разработка многомерных модифицированных критериев проверки гипотез согласия и доверительных интервалов
Full Name of the work head: Воинов В.Г.
Исполнители проекта: Пя Н.Е.
: Институт математики и математического моделирования
Inventory number: 0212РК01462
Registration number: 0112РК00834
Keywords: Мощность критериев Критерии типа хи-квадрат
Впервые тремя различными способами построены приблизительные доверительные интервалы для параметра успеха распределения полиа- и гипергеометрического распределения. Построен и реализован программно-наилучший критерий типа хи-квадрат для проверки круговой нормальности.
Компактность резольвенты и оценки сингулярных чисел неполуограниченных дифференциальных операторов
Full Name of the work head: Муратбеков М.Б.
Исполнители проекта: Шыракбаев А.Б.
: Институт математики и математического моделирования
Inventory number: 0212РК01489
Registration number: 0112РК00609
Keywords: Неполуограниченный Оператор Сингулярные числа
Исследованы вопросы о существовании, компактности резольвенты и оценки сингулярных чисел неполуограниченных дифференциальных операторов гиперболического и смешанного типов, заданных в неограниченной области с растущими и колеблющимися коэффициентами.
Распараллеливание процесса решения линейных плохо-обусловленных алгебраических систем, связанных с уравнениями гидродинамики
Full Name of the work head: Отелбаев М.
Исполнители проекта: Омарова Ж.Я.
: Институт математики и математического моделирования
Inventory number: 0212РК01492
Registration number: 0112РК02214
Keywords: Уравнения гидродинамики Оценка количества операций
Исследовалась начально-краевая задача для уравнений Навье-Стокса в пространстве Соболева, моделирующая движение несжимаемой вязкой жидкости в ограниченной области с условиями прилипания. Изучена корректность и свойства рассматриваемой задачи. Для конечномерного приближения уравнений Навье-Стокса предложен итерационный метод и метод распараллеливания процесса решения. Предложен один способ перехода к конечномерной системе.
Математические модели тепловых и электрофизических процессов в электрических аппаратах
Full Name of the work head: Харин С.Н.
Исполнители проекта: к.ф.-м.н.
: Институт математики и математического моделирования
Inventory number: 0212РК01493
Registration number: 0112РК00839
Keywords: Уравнения параболического типа Краевые задачи
Получена основная система уравнений, описывающая эволюцию дугового разряда. Разработаны критерии замены отдельных уравнений экспериментальными осциллограммами. Приведены условия корректности гибридной модели.
Получение высококачественных материалов совмещением термической обработки и интенсивной пластической деформации
Full Name of the work head: Лежнев С.Н.
Исполнители проекта: Волокитина И.Е.
: Карагандинский государственный индустриальный университет
Inventory number: 0212РК02233
Registration number: 0112РК02872
Keywords: Высококачественные материалы Физико-механические характеристики
Разработаное новые способы пластической деформации с совмещенной термической обработкой позволит в промышленности экономить дорогостоящие материалы, за счет замены их менее дорогими.