Проекты
Текущие проекты
Эффективные алгоритмы для современных информационных систем.
Начало проекта – 2014 год.Целью проекта является исследование различных обобщений задач унификации и антиунификации алгебраических термов, оценка сложности и разработка эффективных алгоритмов решения указанных задач, исследование формальных моделей программ, с целью выбора таких моделей, в которых задача обнаружения подобия программ сводится к задачам проверки эквивалентности и минимизации программ, а также к задачам унификации и антиунификации алгебраических термов.
Исследование и разработка методов распределенной обработки больших баз графовых данных
Начало проекта – 2013 год.В настоящее время в области хранения и обработки данных наблюдается тенденция перехода от традиционной реляционной модели к использованию специализированных систем (NOSQL), позволяющих оптимизировать решение для заранее определенного класса приложений. В этой области ведутся активные разработки и уже существуют коммерческие системы разрабатываемые и используемые такими компаниями как Google, Microsoft, Facebook, HP и т.д.
Инструмент динамического символьного исполнения программ Anxiety
Начало проекта – 2012 год. Заказчик - ИСП РАН.В рамках перспективных направлений исследований по автоматическому обнаружению ошибок в машинном коде программ в 2012 году начата разработка инструмента Anxiety для проведения динамического символьного исполнения программ для операционных систем семейств Linux и Windows.
Завершенные проекты
Тестирование решений класса In-Memory Data Grid для задач Core banking.
Начало проекта – 2014 год. Окончание проекта - 2014 год.Проект посвящен тестированию решений класса In-Memory Data Grid в применении к области базовых банковских операций. В качестве решений тестировались GridGain, RedHat Infinispan и Hazelcast.
Annotame - сервис для автоматизации процесса разметки текстовых документов
Начало проекта – 2013 год. Окончание проекта - 2014 год.В рамках проекта разработан сервис для автоматизации процесса разметки текстовых документов различными аннотациями, такими как части речи, термины, соответствующие терминам понятия, ключевые понятия и т. п. Интеграция с системой Texterra и удобный Веб-интерфейс значительно упрощают работу пользователей, позволяя за короткое время получать достаточные объемы данных для обучения и тестирования разрабатываемых в отделе алгоритмов, в том числе алгоритмов определения терминов и разрешения лексической многозначности.
В рамках работ для компании Samsung в 2013 году группой анализа программ разработан инструмент анализа используемой памяти программами, написанными на языке Java и исполняющимися в Java-машине Dalvik, являющейся составной частью операционной системы Android.
Проект посвящен разработке инструмента для построения онтологии, или базы знаний, системы Texterra на основе анализа текстовых документов определенных предметных областей. Необходимость подобного инструмента вызвана тем, что наиболее распространенным, а иногда и единственным, способом представления знаний во многих предметных областях являются обычные текстовые документы.
Проект был направлен на создание научно-технического задела в области создания программных инструментов для поддержки процесса разработки параллельных приложений, гибкой и масштабируемой платформы для интеграции инструментальных средств управления вычислительными ресурсами суперкомпьютерного центра. В рамках данной работы был разработан метод обнаружения неэффективного использования коммуникационных шаблонов, логических и семантических ошибок в параллельных приложениях. Были разработаны и реализованы инструментальные средства для автоматизированного выявления ошибок в параллельных программах, написанных на языке C/C++ или Fortran с использованием библиотеки MPI , на языке UPC.
Проект направлен на создание научно-технического задела для разработки эффективной методики исследований и расчета нестационарных турбулентных течений в ближнем поле с точностью, необходимой для инженерных приложений в авиации, а также на создание научно-технического задела в области программного обеспечения для расчета акустических полей турбулентных течений в ближнем поле на суперкомпьютерах гибридной архитектуры.
Перспективные методы верификации масштабных моделей данных.
Начало проекта – 2013 год. Окончание проекта - 2015 год. Заказчик - Грант РФФИ 13-07-00390.Проект связан с созданием сложных программных систем на основе формальных статических моделей и адресован ключевым проблемам верификации масштабных моделей данных, применяемых в различных индустриальных областях и специфицируемых на популярных универсальных объектно-ориентированных языках (EXPRESS, UML/OCL и т.п.).
Разработка инструментов программирования гетерогенных вычислительных систем эксафлопсного класса.
Начало проекта – 2013 год. Окончание проекта - 2016 год. Заказчик - РФФИ.Целью работ является создание системной поддержки (компиляторов, языковых расширений, системных инструментов, библиотек времени выполнения и т.п.), повышающей эффективность труда программиста при написании программ для распределенных гетерогенных вычислительных системы (узлы которых состоят из одного или нескольких центральных многоядерных процессоров и одного или нескольких акселераторов) и опробование их на прикладных пакетах индустриального уровня.
Создание инфраструктуры для обработки генетических данных является перспективным направлением для развития биоинформатики. В настоящее время для решения стандартной задачи исследователь-экспериментатор должен полностью пройти путь расчётов на том вычислительном оборудовании, которое есть у него в наличии; это может отнять у конкретного исследователя несколько недель ожидания подсчёта результатов. Кроме того, вычислительных мощностей может и вовсе не хватить - вычислительная сложность генетических задач может быть очень велика.
Целью данного проекта являлась разработка с использованием технологии UniTESK и инструмента C++TESK системы функциональной верификации (тестовой системы) для кэш-памяти третьего уровня (L3) проекта «Процессор 1», а также проведение верификации с использованием разработанной тестовой системы.
Проект был направлен на создание научно-технического задела в области прямого численного моделирования турбулентности и метода крупных вихрей, а также на поиск путей наиболее эффективного использования суперкомпьютера в индустриальных приложениях. В рамках проекта было разработано программное обеспечение, реализующее алгоритмы, используемые для численного моделирования задач газо- и гидродинамики в индустриальных приложениях на основе свободного программного пакета OpenFOAM. На основе программного обеспечения разработана методика использования суперкомпьютера для численного моделирования задач газо- и гидродинамики в индустриальных приложениях.
Инструмент поиска ошибок синхронизации в многопоточных программах
Начало проекта – 2012 год. Окончание проекта - 2012 год. Заказчик - Samsung.В рамках работ для компании Samsung в 2012 году группой анализа программ разработан инструмент поиска ошибок синхронизации в многопоточных Java программах на основе инструментации Java байт-кода.
Реализованы алгоритмы инструментации Java байт-кода для сбора трасс выполнения программы и с применением библиотеки ThreadSanitizer реализован обнаружитель состояния гонки при доступе к ресурсам программы из разных потоков и взаимной блокировки потоков программы. Особенностью реализации инструмента является возможность его применения на Java машинах не поддерживающих встроенные механизмы инструментации (Dalvik).
Интеллектуальные сервисы для проектирования энергоэффективных сооружений
Начало проекта – 2012 год. Окончание проекта - 2014 год. Заказчик - Еврокомиссия Грант EU FP7-ICT-2011-7, соглашение номер 288819..Главной целью проекта является разработка информационной технологии и программной платформы для интеграции существующих инструментов проектирования энергоэффективных сооружений. Платформа использует облачные вычисления и реализует концепцию виртуальной лаборатории энергосбережения (Virtual Energy Lab), предусматривающую развитые сервисы для численного моделирования процессов теплообмена в зданиях и поиска оптимальных проектных решений. Существенно, что многофакторный стохастический анализ проводится с учетом физических свойств строительных конструкций и материалов, условий эксплуатации зданий, накопленных статистических метеорологических данных, стоимости электроэнергии и других экономических показателей.
Данный проект посвящен разработке программных инструментов, в автоматизированном режиме ищущих набор входных данных, на котором реализуется ошибка анализируемой программы. Инструменты рассчитаны на поиск ошибок в бинарном коде программ, осуществляющих взаимодействие по сети.
В рамках работ по контракту разработан программный комплекс «виртуальный суперкомпьютер». Программный комплекс разработан в модели свободного ПО и основан на компонентах с открытым исходным кодом.
Целью данного проекта являлась разработка с использованием технологии UniTESK систем автономной функциональной верификации (тестовых систем) для устройств проектов «Процессор 1» и «Процессор 2», доработка (приведение в актуальное состояние и расширение возможностей) существующих тестовых систем, а также проведение верификации с использованием разработанных заново и доработанных тестовых систем.
Высокоуровневые модели параллельных вычислений и их библиотеки поддержки времени выполнения.
Начало проекта – 2011 год. Окончание проекта - 2012 год. Заказчик - Министерство образования и науки.В рамках проекта была разработана программная модель для распределенных гетерогенных вычислительных систем, в составе узла которых находится многоядерный компьютер общего назначения (хост-машина) и один или несколько ПЛИС. В предлагаемой модели программирования гетерогенных систем будут объединены лучшие черты подходов, создающих высокоуровневые модели программирования, и подходов, максимально эффективно использующих возможности акселераторов с помощью библиотек поддержки времени выполнения. На высоком уровне программист может описывать параллельный по данным алгоритм, который можно параметризовать для конкретного гетерогенного узла.