КОРОТКО О ГЛАВНОМ
В лаборатории конструирования и оптимизации программ разработаны
теория, методы и программные системы повышения эффективности и
надежности программного обеспечения на основе трансформационного
подхода, аннотирования программ и теоретико-графовых методов.
Выполнен цикл работ по исследованию методов и базисных алгоритмов
для классов деревьев, бесконтурных и сводимых графов.
Вышли в свет четыре тома "энциклопедии" теории графов для
программистов, в том числе толковый словарь.
Разработано программно-методическое обеспечение для поддержки
общего и специального обучения по информатике и программированию,
включая вводный курс по программированию на Паскале в заданиях и
упражнениях.
* * *
В лаборатории теоретического программирования проводились работы
по проекту "Методы и средства верификации и анализа
распределенных систем", в частности, разработана
экспериментальная система, предназначенная для верификации
коммуникационных протоколов. Проведены успешные эксперименты по
анализу, верификации и оптимизации ряда протоколов, используемых
в современных коммуникационных системах.
* * *
В 1999 году доктору физико-математических наук, профессору
И.Поттосину присвоено звание "Заслуженный деятель науки РФ", а
сотрудник лаборатории искусственного интеллекта Е.Петров стал
лауреатом премии СО РАН для молодых ученых им. А.П.Ершова.
* * *
Институт -- признанный лидер в области анализа и преобразования
программ, а также -- методах создания качественного и
эффективного программного обеспечения.
В лаборатории смешанных вычислений разработан смешанный
вычислитель для языка Модула 2, на уровень превосходящий по
качеству специализации и по времени исполнения другие известные
смешанные вычислители для императивных языков.
В лаборатории системного программирования создан
высокоэффективный анализатор программ для широкого класса языков
(Модула 2, Оберон, Ява), на основе которого построен процессор
статического обнаружения ошибок исполнения, существенно
превосходящий известные зарубежные системы.
* * *
В лаборатории искусственного интеллекта разработана комплексная
формальная модель представления и обработки знаний, включающая
аппарат управления по данным и событиям. Эта модель построена
путем интеграции основных классических и ряда современных средств
и методов представления знаний. Данная модель может служить
основой для создания эффективных интеллектуальных систем для
различных приложений. В частности, комплексная модель и созданная
на ее основе макетная версия языка представления знаний
опробованы при разработке экспериментальной системы понимания
метеорологических телеграмм.
* * *
В 1999 году в рамках совместного международного проекта с
Франко-русским институтом информатики и прикладной математики
имени А.М.Ляпунова (г.Москва) разработаны языки для спецификации
нелинейных и комбинаторных задач, которые позволяют эффективно
использовать недоопределенные модели А.Нариньяни в системе
логического программирования ECLiPSe. В результате реализована
библиотека "Конечные множества", включающая в себя единый набор
типов и эффективных алгоритмов для обработки неточных чисел и
неточных конечных множеств.
Совместно с Institut de recherche en informatique de Nantes при
университете г. Нант (Франция) проделана исследовательская работа
по применению методов интервального анализа в программировании в
ограничениях. На базе библиотеки Опак ("OpAc"), разработанной
французскими коллегами, были выполнены эксперименты по
одновременному применению метода распространения ограничений и
интервальных методов Ньютона, Гаусса-Зейделя с
предобуславливанием для решения нелинейных ограничений.
Эксперименты показали, что такой подход перспективен при решении
плотных нелинейных систем ограничений.
стр.
|