Проекты

Технологии информационного моделирования (ТИМ) получают все большее распространение при реализации сложных проектов в области архитектуры и строительства. Главной мотивацией их внедрения являются улучшение и модернизация процессов проектирования, строительства и эксплуатации зданий и сооружений с сокращением капитальных и эксплуатационных затрат. В то время как нормативно-правовая база применения ТИМ в РФ совершенствуется, развитию отечественных информационных технологий уделяется недостаточно внимания. Разработки программного обеспечения носят фрагментарный и проприетарный характер, а возможности их комплексного применения крайне ограничены.

В рамках данного проекта, выполняемого несколькими отделами ИСП РАН, отдел системной интеграции и прикладных программных комплексов проводит работы по развитию и исследованию методов растеризации больших динамических сцен. Класс целевых приложений чрезвычайно широк и охватывает системы компьютерной графики и анимации.

Цель данного проекта – разработка методов и создание инструментов поиска ошибок в исходном и бинарном коде программ с использованием результатов, полученных по итогам предыдущего проекта «Исследование и разработка методов поиска повторного использования фрагментов кода (клонов)».

Различные методы анализа случайных графов, построение новых математических моделей безмасштабных графов (подчиняющихся так называемому степенному закону) является актуальным направлением исследований, в связи с анализом сетей в интернете (в частности, социальных таких как Фейсбук, Твиттер и многих других). При этом их свойства и параметры таких сетей могут изменятся. Для предсказания таких изменений и служит изучение общих свойств математических моделей таких сетей, которые можно рассматривать как случайные графы.

Исследование возможности использования гомоморфных вычислений, для организации конфиденциальных вычислений, в том числе разработка модели конфиденциальных вычислений на облаке, использующие пороговые гомоморфные вычисления. Исследование алгоритмической сложности решения уравнений в полугруппе конечных подстановок первого порядка.