Главная » Страницы » Студенческая лаборатория информационных технологий и дизайна

Студенческая лаборатория информационных технологий и дизайна

my

Заведующий студенческой лаборатории информационных технологий и дизайна

БЕКТЕМЕСОВ АМАНЖОЛ ТОХТЯМОВИЧ
доктор PhD

Тема диссертации: Верификация параллельных программных систем численного моделирования на основе Model checking.

Отечественные научные консультанты: Данаев Н.Т., доктор физико-математических наук, профессор, академик НИА РК,  Ахмед-Заки Д.Ж.,  доктор технических наук.

Зарубежный научный консультант: Хельмут Вейс, доктор естественных наук, профессор.

Студенческая лаборатория информационных технологий и дизайна научно-исследовательского института «Математики и механики» — это место, где работают молодые PhD доктора, докторанты и магистранты кафедры информатики КазНУ имени Аль-Фараби.  Лаборатория существует с 2012 года и за время ее существования сотрудники участвовали во множестве проектов грантового и программно-целевого финансирования.

В первую очередь речь идет о информационной системе анализа разработки (ИСАР- II) нефтегазовых месторождений. Данная система представляет собой распределенную высокопроизводительную платформу для широкого круга расчетов, предоставляющую пользователям интерфейсов виде симулятора, похожего на симуляторы из пакетов программ Schlumberger Eclipse и GOCAD. Множество модулей данной системы, а именно: несколько расчетных модулей симуляций различных физических моделей фильтрации, модуль визуализации, мобильное и web приложения и т.д.  Для симуляции физических моделей разработаны фундаментальные математические модели, часть из которых была реализована численно: Blackoil и композиционная модели с дополнительными параметрами такими, как учет тепло- и массообмена, нагнетание поверхностно активных веществ, углекислого газа, биологических и других смесей в двух- и трехмерных случаях. Кроме того, специалистами лаборатории данные модели перенесены на высокопроизводительные расчетные системы на основе технологии CUDA, MPI и OpenMP.