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