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