МАТЕМАТИЧЕСКИЕ БИБЛИОТЕКИ 

Востребованы как в прикладных пакетах, так и в составе системного ПО

Разработкой библиотек для решения наукоемких задач и поддержки различных программных платформ мы  занимаемся почти два десятка лет. Некоторые примеры:

Реализация математических библиотек для платформы «Эльбрус» (Москва, с 2014)

Разработка новых функций для высокопроизводительной математической библиотеки, портирование и оптимизация существующих широко используемых библиотек c открытым кодом для эффективной работы на аппаратной платформе «Эльбрус»:

  • Библиотека математических функций EML  — реализация функций линейной алгебры для разреженных матриц и функций обработки изображений.
  • Библиотека OpenCV -  перенос на платформу  и оптимизация пакета компьютерного зрения
  • Библиотека LibreSSL –  оптимизация для платформы  библиотеки шифрования
  • Библиотека JavaCV – перенос на платформу  библиотеки java-интерфейсов для OpenCV.
  • Разработка библиотеки функций цифровой обработки сигналов для специализированного сопроцессора DSP

Технологии: методы оптимизации программ (профилирование, оптимизация циклов), разработка оптимизированных математических алгоритмов и алгоритмов обработки сигналов, программные технологии (C, C++, Assembler и др.)

Разработка решателя (USA, 2014-2015)

Разработан программный решатель уравнений для систем параболических дифференциальных уравнений второго порядка для метода конечных объёмов (без графического интерфейса). После тестирования интегрирован с программными инструментами заказчика.

Технологии: С++ / компилятор gcc / OS Linux / OpenMP для оптимизации /make

Решатели для обработки данных каротажа (USA, 2004-2006)

Cверхбыстрое решение прямой задачи и быстрое решение обратной задач моделирования скважин, определение электромагнитных характеристик среды. В составе пакета программ для автоматизированной обработки данных электромагнитного каротажа нефтяных скважин.

Технологии: С++, XML.

Моделирование процессов электромиграции (USA, 2002-2003)

Построение модели Сu-Si чипа. Проведение расчетов, сравнение с реальными данными.

Технологии: С++, метод конечных элементов, iterations: GenCG, DD-preconditioning, Fourier transformation, Predictor-corrector explicit difference scheme. Cовместное решение уравнений диффузии /теплопроводности /фильтрации /электростатики /теромупругости.