О деятельности

Теория чисел, математическая логика, алгебра, геометрия, теория вероятностей

Найден новый весьма обширный класс подмногообразий проективного пространства подмногообразий, которые совпадают со своим проективно двойственным многообразием. Дана полная характеризация групп автоморфизмов конечномерных простых алгебр над достаточно большими полями . (МИАН)

Дана новая оценка исключительного множества в бинарной аддитивной проблеме гольбахова типа. (МИАН)

Построены бесконечные серии собственных функций всех регулярных операторов Гекке на пространствах тета-рядов Маасса. (ПОМИ РАН)

Построен принципиально новый алгоритм вычисления оптимальных коэффициентов для многомерных квадратурных формул, более эффективный по сравнению с ранее известными. ( ИПМ ДВО РАН )

Установлена связь алгоритмической сложности категоричных в мощности теорий и их моделей. Решена известная проблема о существовании счетно и несчетно категоричных теорий любой арифметической сложности и имеющих вычислимые модели. (ИМ СО РАН)

Показано, что если группа Галуа неприводимого уравнения простой степени разрешима, то выполнены условия погружаемости для некоторой задачи погружения. Когда степень уравнения равна 5, доказано, что группа Галуа уравнения – симметрическая. (ПОМИ РАН)

Показано, что класс подрешеток решеток выпуклых подмножеств частично упорядоченных множеств является конечно базируемым многообразием; конечная решетка лежит в этом классе в том и только том случае, когда она вложима в решетку выпуклых подмножеств конечного частично упорядоченного множества. (ИМ СО РАН)

Получена характеризация ручных автоморфизмов колец многочленов от трех переменных в терминах некоторых специальных преобразований, дающая алгоритм для проверки является ли данный автоморфизм ручным. В частности, отрицательно решена «проблема ручных автоморфизмов». ( ИМ СО РАН)

Доказана конечность группы, порожденной классом сопряженных элементов порядка 3 конечного типа и действующей свободно на абелевой группе. (ИМ СО РАН)

С помощью теории характеров конечных групп найдены возможные порядки и строение подграфов неподвижных точек автоморфизмов сильно регулярных графов с малыми числами пересечений. (ИММ УрО РАН)

Изучены булевозначные реализации решеточно-упорядоченных модулей и экстремальные структуры модульно-выпуклых множеств. ( ИПМИ ВНЦ РАН)

Доказано, что производная категория когерентных пучков на многообразиях с обильным каноническим или анти-каноническим классом однозначно определяет многообразие. (МИАН)

Получены оценки снизу объемной энтропии для граф-поверхностей и трехмерных граф-многообразий; исследовано поведение геодезических на пространствах Адамара и строение границы на бесконечности. Найден новый квази-изометрический инвариант метрических пространств, названный субэкспоненциальным корангом. Доказан ряд гипотез Громова о невозможности квази-изометрических вложений гиперболических пространств в различные классы многообразий Адамара. (ПОМИ РАН)

Доказано, что любой функционал площади эллиптичен по Альмгрену над R тогда и только тогда, когда он является выпуклой функцией на соответствующем грассмановом конусе. Найдены нелинейные препятствия к существованию целочисленных цепей с плоской границей и данной гауссовой мерой. Доказано существование поверхности с наперед заданной гауссовой мерой. (ПОМИ РАН)

Исследовано асимптотическое поведение вероятностей невырождения докритических и критических ветвящихся процессов в случайной среде и доказаны функциональные предельные теоремы в редуцированных ветвящихся процессах в случайной среде. (МИАН)

Найдено асимптотическое поведение вероятности пересечения удаленной границы траекторией асимптотически однородной в пространстве цепи Маркова. Для таких цепей установлен аналог закона повторного логарифма. ( ИМ СО РАН)

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

Исследованы новые теоретико-игровые модели переговоров, представленные арбитражными схемами с дискретным распределением вероятностей. Найден вид равновесия и значение игры в таких моделях. Получено полное описание предельного поведения максимальной длины цикла случайной подстановки с известным числом циклов. (ИПМИ КарНЦ РАН)

Найдены условия, при которых доверительное оценивание стационарных характеристик сетей обслуживания, основанное на слабой регенерации, является существенно более эффективным в сравнении с классической регенерацией. (ИПМИ КарНЦ РАН )

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

Установлено точное условие на модуль непрерывности функции, обеспечивающее равномерную сходимость ряда Фурье, имеющее иной тип, чем известное условие Дини -Липшица. (МИАН, МГУ)

Обратное неравенство Гельдера является незаменимым инструментом в теории весовых оценок для сингулярных интегралов. Удалось построить точную функцию Беллмана для задачи об обратном неравенстве Гельдера для весов, удовлетворяющих условию Макенхаупта на прямой. (ПОМИ РАН)

Дан полный набор инвариантов измеримых функций нескольких переменных относительно раздельных или одновременных сохраняющих меру замен переменных. Исследовано универсальное метрическое пространство Урысона, дан критерий урысоновости и предложен метод изучения категории метрических пространств. Определено понятие случайного метрического пространства с произвольной статистикой. Доказано, что случайное метрическое пространство есть пространство Урысона. (ПОМИ РАН)

Решена проблема интерполяции в пространствах целых функций экспоненциального типа, индикаторы которых лежат в заданной выпуклой области комплексной плоскости при естественных ограничениях на кратность узлов интерполяции. (ИМсВЦ УНЦ РАН)

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

Для наилучшего среднеквадратического приближения периодических функций доказано неравенство Джексона с неулучшаемой константой для широкого класса модулей непрерывности, содержащего модули непрерывности, которые соответствуют разностным операторам с постоянными коэффициентами.(ИММ УрО РАН)

При исследовании сходимости процессов интерполирования многочленами и оценок неустранимых погрешностей важную роль играют нормы операторов. Найден точный порядок роста константы Лебега, нормы операторов интерполирования из пространства непрерывных функций в пространство непрерывных функций. (ИММ УрО РАН)

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

Построены оптимальные методы восстановления функций и их производных на классах гладких и аналитических функций из классов Харди - Соболева и Бергмана -Соболева. (ИПМИ ВНЦ РАН)

Разработан новый метод описания гильбертовых пространств аналитических функций, основанный на теории вейвлетов в топологических группах. Доказано, что весовое пространство Бергмана допускает описание в терминах преобразования Фурье - Лапласа тогда и только тогда, когда существует автоморфизм этого пространства, переводящий семейство функций Бергмана в семейство экспонент. (ИМсВЦ УНЦ РАН)

Разработан принципиально новый аналитико-численный метод решения пространственных краевых задач для одного класса эллиптических уравнений с разрывными коэффициентами в областях с сингулярностями типа многогранных углов или конусов с произвольным основанием.(ВЦ РАН)

Завершен цикл исследований краевых задач для эллиптических по Дуглису -Ниренбергу систем с большим параметром и смешанных задач для общих параболических систем. (ИПМ РАН)

Теория суперструн является общепринятым кандидатом на роль универсальной теории всех известных взаимодействий. Построен струннополевой лагранжиан, описывающий динамику D-бранов в суперструнах, обобщающий действие Е.Виттена.(МИАН)

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

Разработана техника вычисления когомологий алгебры Пуассона с коэффициентами в различных представлениях. Показано, что алгебра Пуассона не имеет нетривиальных центральных расширений, а ее алгебра Ли внешних дифференцирований одномерна. Результаты находят важные приложения в квантовой теории. (МИАН)

Решена давно стоящая задача о регулярности слабых решений задачи Коши для уравнений Навье - Стокса в предположении, что давление ограничено снизу. (ПОМИ РАН)

Проведено аналитическое исследование DM-солитонов нелинейного уравнения Шредингера с периодической дисперсией, описывающего распространение волн в перспективных оптических линиях связи. Найдена явная формула для одиночных DM-солитонов в случае кусочно-постоянной дисперсии и большого периода. (ИМсВЦ УНЦ РАН)

Обнаружен и теоретически обоснован новый эффективный механизм преобразования энергии лазерного импульса в энергию электростатических колебаний плазмы в условиях, когда частота волны значительно превышает гирочастоту электронов. (ИПМ РАН)

Разработаны элементы теории гиперболических отображений, связанных с задачами томографии. Доказаны теоремы о возможности отображения выпуклой области общего вида на каноническую область и теоремы единственности для обратных задач томографии. (ИМ СО РАН)

Показано, что обратная задача для системы уравнений Максвелла распадается на три последовательно решаемых задачи. Метод изучения задачи может служить основой для создания вычислительного алгоритма ее решения. (ИМ СО РАН)

Сформулирована и доказана теорема единственности решения трехмерной нелинейной обратной задачи для системы уравнений Ламе. (ИМ СО РАН)

Предложена новая модель двухфазной двухжидкостной среды, допускающая применение развитой математической теории и эффективных численных методов для анализа решений. ( ИМ СО РАН)

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

Исследован новый тип пропускной способности квантового канала связи, возникающего при использовании дополнительного информационного ресурса – сцепленного состояния, объединяющего вход и выход канала. Впервые построен контрпример к гипотезе о мультипликативности норм выходного состояния для тензорного произведения каналов, проливающий свет на фундаментальную проблему аддитивности пропускной способности в квантовой теории информации.(МИАН)

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

В задаче о сложности одновременного вычисления значений системы функций на нескольких наборах найдены условия для числа функций в системе и числа наборов, при которых сложность асимптотики не увеличивается по сравнению со сложностью вычисления значений функций системы на одном наборе. (ИПМ РАН, МГУ)

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

Доказано, что любая правильная раскраска двух вершин в плоском графе без

3-циклов может быть продолжена до правильной раскраски в три цвета всех вершин графа. (ИМ СО РАН)
Вычислительная математика, математическое моделирование, математические проблемы механики и исследования космоса
Создана математическая модель климатической системы на основе глобальных моделей общей циркуляции атмосферы и Мирового океана. Проведены численные эксперименты по оценке изменений климата в XXI веке при заданном сценарии изменения концентрации углекислого газа в атмосфере. (ИВМ РАН)

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

Обнаружены многочисленные связи параллельных вычислений с другими областями знаний, в первую очередь с алгоритмами и описывающими их программами, такие как: выявление параллельных ветвей вычислений, организация распределенных вычислений, построение математических моделей спецпроцессоров, в частности, систолических массивов и др. (ИВМ РАН)

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

Исследование свойств и численная реализация чебышевского представления для экстремальных многочленов требует рассмотрения пространства вещественных гиперэллиптических кривых. Получено четыре представления универсальной накрывающей этого пространства и доказана их эквивалентность. (ИВМ РАН)

Получены новые оценки матрицы Грина для системы обыкновенных дифференциальных уравнений, значительно более точные известных ранее. (ИВМ РАН)

На основе разработанных эффективных вычислительных алгоритмов проведено моделирование климатической циркуляции Мирового океана и изучены условия формирования её множественных равновесных состояний.(ИВМ РАН)

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

Разработаны и численно исследованы бикубические конечно-элементные реализации всех предложенных и обоснованных ранее быстросходящихся итерационных процессов с неполным и полным расщеплением граничных условий решения первой краевой задачи для сингулярно возмущенной системы типа Стокса в полосе с условием периодичности вдоль полосы. (ВЦ РАН)

Развита теория двойственности алгоритмов внутренней и внешней аппроксимации выпуклых компактных многомерных тел, которая позволила разработать серию методов внешней аппроксимации таких тел, асимптотически оптимальных по порядку числа гиперплоскостей внешних многогранников и по порядку числа вычислений опорной и дистанционной функций. (ВЦ РАН)

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

Для линейных операторных уравнений первого рода дано обоснование нового класса адаптивных экономичных итерационных методов, оптимизация которых в отличие от известных в настоящее время подходов не требует априорной спектральной информации. Полученные оценки скорости сходимости оптимальных адаптивных методов те же, что и неулучшаемые оценки при наличии априорной информации. (ИВММГ СО РАН)

Предложены новые эффективные численные методы решения трехмерных уравнений Навье - Стокса и теплопроводности с конвекцией на основе монотонных конечно-объемных аппроксимаций экспоненциального типа второго порядка точности и быстрых итерационных алгоритмов предобусловленных обобщенных сопряженных градиентов с рестартами. (ИВММГ СО РАН)

Показана возможность построения конечно-элементных разностных схем повышенной точности без привлечения дополнительных степеней свободы в методе конечных элементов. Построены схемы 4-го порядка точности для трехмерного уравнения Пуассона, для двумерных уравнений диффузии с разделением переменных в коэффициентах, для двумерных уравнений со смешанными производными. (ИВММГ СО РАН)

Разработан метод "автономного адаптивного управления" построения управляющих систем, которые позволяют решать на основе самообучения в реальном времени управления и в условиях допустимого минимума априорной информации, следующие задачи: автоматическая классификация, распознавание образов, получение и представление знаний, моделирование эмоций, адаптивное управление. (ИСП РАН)

Разработана компонентно-ориентированная технология для построения интегрированных программных комплексов, ориентированных на проведение междисциплинарных проектов в науке, промышленности и бизнесе. Разработаны и апробированы методология, программный инструментарий, библиотеки стандартных компонентов на основе поддержки международных стандартов и промышленных моделей STEP. (ИСП РАН)

Разработаны эффективные методы инвариантного моделирования развитой турбулентности многокомпонентных реагирующих газов применительно к специфике математического моделирования процессов тепломассопереноса и химической кинетики в различных природных средах. (ИПМ РАН)

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

Разработаны алгоритмы группового управления мобильных роботов. В качестве основного примера разработана серверная программа моделирования футбольной игры, основанная на механической модели мобильного робота, которые используются на международных соревнованиях роботов-футболистов. Эта программа и сопровождающие ее утилиты образуют программный пакет "Виртуальный футбол". (ИПМ РАН)

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

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

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

Рассмотрены вопросы построения разностных схем для численного решения задач фильтрационной консолидации с учетом сжимаемости жидкости. Построены численные алгоритмы для решения одномерных и многомерных задач при использовании различных расчетных сеток. Получены априорные оценки разностного решения задачи и на их основе устанавливается сходимость двуслойных разностных схем. (ИММ РАН)

Разработан новый тип модели, описывающий кривые холодного сжатия веществ в диапазоне давлений, начиная от последнего полиморфного фазового перехода до сотен миллиардов атмосфер. В качестве примера построена эталонная изотерма меди. На её основе внесена поправка в градуировку общеупотребительного рубинового датчика давлений, что повысило его точность в 57 раз. Это позволяет вывести мировые эксперименты и теорию в данной области на принципиально новый уровень точности.(ИММ РАН)

Показана возможность реализации саморегулируемого нейтронно-ядерного режима в реакторе с тяжелым теплоносителем на испытанном оксидном уран-плутониевом топливе . При этом минимизируется управление, возрастает безопасность, увеличивается время непрерывной работы реактора. Профиль энерговыделения меняется слабо. Показана возможность вести работу в замкнутом топливном цикле. (ИММ РАН)

Получены результаты компьютерного моделирования динамики фазового перехода для белковоподобного полимера. Проведен сравнительный анализ геометрической структуры белковоподобных молекул при различных внутримолекулярных взаимодействиях. Установлено, что белковоподобная последовательность обладает лучшими свойствами восстановления, чем случайная последовательность с тем же составом компонентов. (ИММ РАН)

Разработан комплекс программ для расчета развития гидродинамических неустойчивостей на многопроцессорных вычислительных системах. Проведены уникальные расчеты по прямому моделированию гравитационного перемешивания вплоть до достижения развитой турбулентности. (ИММ РАН)

Исследованы модели динамических игр, связанных с эксплуатацией биоресурсов, в которых стратегией центра является определение оптимального размера охраняемой территории. (ИПМИ КарНЦ РАН)

Предложены и алгоритмически реализованы новые методы математического моделирования для поиска и оценки параметров источников загрязнений природной среды, недоступных для непосредственного наблюдения и ответственных за повышение концентраций примесей. (ИВММГ СО РАН)

На базе нового понятия в теории переноса излучения - двойственного коэффициента поглощения, обобщено понятие меры видимости в рамках более общей математической модели процесса миграции фотонов в веществе для высокого энергетического уровня. Особо обоснована значимость этого коэффициента для задач рентгеновской томографии. Это открывает новые возможности для классификации трудных случаев в рентгеновской томографии, а также способов их преодоления. ( ИПМ ДВО РАН )

Рассмотрены длинные гравитационно-изгибные волны под ледовым покровом на поверхности идеальной несжимаемой жидкости конечной глубины. Показано, что в зависимости от значения волнового числа несущей волны реализуется либо локальный коллапс волновода, либо медленная «змеевидная» неустойчивость, приводящая к распаду волновода.(МИАН)

Разработан численный метод решения обобщенного кинетического уравнения Больцмана (уравнения Ван Чанг-Уленбека), описывающего газ с внутренними степенями свободы молекул. Метод позволяет изучать процессы обмена внутренней и поступательной энергией в реальных газах при любом отклонении от состояния термодинамического равновесия. Аналогов такого метода и примеров численного решения указанного кинетического уравнения в мире не существует. (ВЦ РАН)

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

Разработаны методы решения начально-краевых задач для класса дифференциальных уравнений дробного порядка, являющихся базовыми уравнениями математических моделей тепло- и массопереноса в средах с фрактальной геометрией и памятью; построены эффективные и компьютерно реализуемые модели движения грунтовых вод, динамики микрометеорологического режима при мелиорации земель.(НИИ ПМА КБ НЦ РАН)

Решены две математические проблемы газовой динамики до- и сверхзвуковых течений: получены критерий фредгольмовости и формула индекса задачи Пуанкаре для уравнения Лаврентьева - Бицадзе. (НИИ ПМА КБ НЦ РАН)

Показано, что продольное магнитное поле ослабляет негативное влияние эффекта Холла в каналах плазменных ускорителей. Получена структура электрического тока и характер пристеночной проводимости в канале стационарного плазменного двигателя (СПД). Впервые исследованы процессы в дебаевских пристеночных слоях СПД. Исследования представляют интерес в связи с применением СПД на современных космических аппаратах. (ИПМ РАН)

Разработана среда ParJava, которая является расширением Java средствами разработки программ для параллельных вычислительных систем с распределенной памятью. Среда ParJava, существенно сокращает расходы на перенос параллельных программ на вычислительные системы с другой архитектурой. (ИСП РАН)

Создан язык программирования mpC, который позволяет описать абстрактную неоднородную сеть, наиболее подходящую для выполнения параллельного алгоритма, а система программирования этого языка отображает ее на реальную сеть, на которой выполняется программа. В настоящее время система программирования mpC успешно работает на различных Unix и других системах. (ИСП РАН)

Решена проблема взаимодействия узлов протоколов IPv6 и IPv4 за счет объединения средств трансляции протоколов с возможностями динамической трансляции адресов и соответствующими шлюзами прикладного уровня, что позволяет обойтись без дорогостоящих изменений прикладных систем. (ИСП РАН)

Разработана универсальная технология параллельных вычислений для решения пространственных задач повышенной сложности, описываемых системами уравнений в частных производных гиперболического типа. Подготовлены достаточно универсальные процедуры обмена данными между процессорами. Данная технология позволяет значительно сократить время разработки новых параллельных приложений и была успешно применена для решения двух пространственных нестационарных задач — численного моделирования течений в атмосфере, вызванных пожарами или взрывами и распространения упругих волн в неоднородной среде. (ИАП РАН)

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

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

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

В Интернете создан сервер Math-Net.RU , включающий следующие действующие разделы: российские математические организации, директория российских математиков, электронные каталоги крупнейших математических библиотек, математические публикации ведущих математических журналов России. Подготовлены материалы для российской части справочника «World Directory of Mathematicians, 2002», представляющие 3430 математиков России. Справочник издан Международным математическим союзом к началу работы Международного конгресса математиков (2002 г., Китай). (ЦНТК РАН, МИАН, ВЦ РАН, БЕН РАН)