Сборники трудов ИСП РАН


Предисловие.

В.П. Иванников.

Аннотация

Этот сборник приурочен сразу к двум юбилеям, важным для Института системного программирования (ИСП РАН): 275 лет Российской академии наук и пять лет со дня создания Института. Именно поэтому статьи этого сборника подводят итоги исследовательских работ сотрудников Института за пять лет. Немного информации об истории и области деятельности Института. ИСП РАН был образован 25 января 1994 г. в день святой Татьяны, покровительницы Московского государственного университета и всех российских студентов. Несмотря на такой молодой возраст, Институт базируется на группе специалистов, которые работали совместно в течение более 30 лет (ИТМ и ВТ, НИИ "Дельта", ИПК АН). Группа начинала свою активность в области операционных систем (НД-70 для БЭСМ-6, операционная система для АС-6 и т.д.), а также в области компиляторов для различных языков (ассемблер, Фортран, расширенный BCPL, ПЛ/1 и т.д.). Конечно, в связи с требованиями сегодняшнего мира задачи Института несколько иные.


Что мы реально делаем? Имеются три основных направления:

Фундаментальные исследования в базовых областях Computer Science
Разработка прототипных и готовых к использованию программных систем
Обучение студентов и аспирантов.


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


Надеюсь, что содержащиеся в сборнике статьи дадут читателям достаточную информацию об исследовательской деятельности Института.

Издание

Труды Института системного программирования РАН, том 1, 2000, стр. 4.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Полный текст статьи в формате pdf Вернуться к содержанию тома