2.1. 2.2. ccas_sed 2.3.1. Отдел систем математического обеспечения 2.3.2. Software engineering department 2.4.1. СМО 2.4.2. SED 2.5. отдел 2.6. (095)135-54-71 2.6. 135-52-80 2.6. 42-20(внутр.) 2.7. 135-52-80 2.8. serebr@ccas.ru 2.8. smsall@ccas.ru 2.9. http://www.ccas.ru/~zavar/otd_sms.html 2.10.1. компьютерная алгебра, дифференциальные уравнения, разностные уравнения, транслятор, атрибутная грамматика, генерация кода, система построения трансляторов, СПТ, САПТ, параллельное программирование, объектно-ориентированное моделирование и проектирование, информационно-поисковая система, ИПС, электронная библиотека, система управления базами данных, СУБД, метаданные, интернет-технологии 2.10.2. computer algebra, differential equations, difference equations, compiler, attiribute grammar, code generation, compiler writing system, CWS, parallel computing, object oriented modeling and design, information retrieval system, digital library, database management system, Oracle, OLAP, metadata, internet 2.11.1.

Отдел СМО был одним из первых отделов Вычислительного Центра и был основан в 1955 г. Первым руководителем отдела был к.ф.-м.н. В.М.Курочкин. С 1967 по 1971 отдел возглавлял член-корр. АН СССР С.С.Лавров. В настоящее время руководителем отдела является д.ф.-м.н. В.А.Серебряков.

Первыми задачами, которые пришлось решать отделу, был расчет траекторий первых искусственных спутников.

В то же время начались работы в области реализации языков программирования. Для ЭВМ БЭСМ-2 был реализован компилятор с Алгола-60, затем полный компилятор с этого языка реализован для БЭСМ-6.

Основными неправлениями исследований отдела за время его существования были: конструирование компиляторов, компьютерная алгебра, системы управления базами данных и информационные системы. Были реализованы компиляторы с языков Снобол, Паскаль, Лисп, Модула-2. Велись работы в области исследования атрибутных грамматик и их применения для описания и реализации языков программирования. На принципах атрибутных грамматик была реализована система построения трансляторов Супер. Были выполнены некоторые исследования в области теории параллелизма, параллельных алгоритмов и методов автоматической параллелизации программ. Было предложено расширение языка С для паралельных ЭВМ. Были реализованы некоторые прикладные языки.

Были выполнены исследования в области теории баз данных и объектно-ориентированных систем управления базами данных. На основании этих исследований была реализована система управления базами данных КОМПАС.

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

SED is one of the first departments of the CC: it was found in the year 1955 and Dr. V.M.Kurochkin was his first head. From 1967 1971 S.Lavrov, corresponding member of the Academy of sciences of the USSR, headed the department. Now the Department is headed by prof. V.A.Serebriakov.

The first tasks that the department dealt with were computations of satellite orbits for the first Soviet satellites. At the same time researches in programming languages and their implementations started. The full Algol-60 compiler for one of the first Soviet computer BESM-2 and then for BESM-6 were implemented. And then during its history SED dealt mostly with problems in compiler construction, computer algebra, and database management and information systems. Compilers for Snobol, Pascal, Lisp, Modula-2 were implemented. Attribute grammars and their use for compiler design, technological and methodological problems in compiler construction were studied and as the result compiler writing system Super was implemented. Some research in theory of parallelism, parallel algorithms, parallelization techniques were carried out and an extension of C language for parallel computing was proposed. Some application languages were implemented. Researches in object-oriented data base management systems and database theory were carried out, and as a result a DBMS Compas was implemented.

Significant researches in computer algebra (symbolic and algebraic computations) especially in the field of building fast algorithms to solve important computer algebra problems: summation of functions, solving algebraic, difference and differential equations in symbolic form, etc. are being carried out. 2.12.1.

Основными направлениями исследований в настоящее время являются компьютерная алгебра (руководитель д.ф.-м.н. С.А.Абрамов) и распределенные информационные системы и цифровые библиотеки (руководитель д.ф.-м.н. В.А.Серебряков).

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

The main directions of research studies now are computer algebra (leader prof S.Abramov) and distributed information systems and digital libraries (leader prof. V.Serebriakov).

On the basic principles of digital libraries the Integrated System of Information Resources of RAS RU is implemented. It keeps and supports access to different information about RAS RU administrative structure, its organizations (prezidium, divisions, institutions, and others), people, publications, projects. The basic principle of its organization is its distributivity. It means from one side that the information can be distributed over organizations, and from other side that administartive support can be distributed too over people. It means that with the use of special forms people themselve or administrators of appropriate subset of the data with an according authorization control can support data actualization. 2.13. smo.gif 2.1. ccas_sed 2.2. ccas_sed_ssp 2.3.1. Сектор систем программирования 2.3.2. Software engineering sector 2.4.1. 2.4.2. 2.5. сектор 2.6. 135-54-71 2.7. 135-52-80 2.8. serebr@ccas.ru