НАУЧНАЯ ИНФОРМАЦИЯ О РАБОТЕ КОМИССИИ ПО СИСТЕМНОМУ МАТЕМАТИЧЕСКОМУ ОБЕСПЕЧЕНИЮ КООРДИНАЦИОННОГО КОМИТЕТА ПО ВЫЧИСЛИТЕЛЬНОЙ ТЕХНИКЕ АН СССР В 1983-1984 ГГ.

В 1983-1984 гг. прошли очередные заседания Комиссии в городах Дубне, Владивостоке, Минске и Ленинграде. На апрельском заседании 1983 г., проходившем в Дубне, были заслушаны доклады о работах в области системного программирования в ряде ведущих физических центров страны, таких, как ОИЯИ, ЛИЯФ АН СССР, ИАЭ им. И. В. Курчатова, ИФВЭ, ИЯФ АН КазССР и др. Докладчиками выступили чл.-кор. АН СССР Н. Н. Говорун, А. Н. Румянцев, В. Д. Жильченков, М. А. Ташимов, Ю. Ф. Рябов.

Научная программа заседания включала в себя два вопроса: о программном обеспечении микропроцессорной техники и о программном обеспечении роботов. По первому вопросу были заслушаны доклады Е. Е. Дудникова «Домашние и учебные персональные ЭВМ», В. М. Брябрина «Профессиональные персональные ЭВМ», Р. Г. Громова «Индустрия персональных ЭВМ», И. С. Лосева «Операционные системы персональных ЭВМ», А. В. Гиглавого и И. Я. Ландау «Микро-ЭВМ линии СМ», А. Ф. Иоффе и А. Ю. Кривцова «Вычислительный комплекс „Агат"», А. Б. Либерова «Автоматизация программирования для микро-ЭВМ», В. B. Липаева и Ф. А. Каганова «Адаптируемые кросс-системы для проектирования программ микро-ЭВМ на технологической базе универсальных и персональных ЭВМ», а также сообщение И. В. Вельбицкого «О работе целевой подгруппы по микропроцессорной технике. Рабочей группы по технологии программирования ГКНТ СССР».

По второму вопросу были заслушаны доклады, подготовленные Рабочей группой по программному обеспечению роботов Научного совета АН СССР по проблеме «Роботы и робототехнические системы». С докладами выступили А. К. Платонов «О работах по созданию программного обеспечения роботов», С. С. Камынин «Программное обеспечение сборочного робота», Н. Р. Швыдский «Программное обеспечение сварочного робота», В. В. Никифоров «Программное обеспечение устройства УКМ-772 и его развитие», С. Л. Зенкевич и А. В. Назарова «Операционная система для управления и обучения роботов», Ю. М. Лазутин «Инструментальное ПО, разрабатываемое в ИПМ им. М. В. Келдыша АН СССР».

Комиссия указала на целесообразность направления усилия специалистов по системному математическому обеспечению на разработку:

• САПР архитектур, программ и микропрограмм микропроцессорных устройств управления и контроллеров;
• САПР заказных микропроцессорных систем;
• средств разработки специализированных ОС реального времени;
• систем управления роботов, основанных на распределенной обработке.

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

На сентябрьском заседании 1983 г., проходившем во Владивостоке, был заслушан отчет Института автоматики и процессов управления ДВНЦ АН СССР по работам в области системного программирования. С докладами выступили директор Института, д-р техн. наук В. Л. Перчук, ведущие специалисты института Е. А. Голенков,. М. В. Оленин, А. С. Клещев.

Научная программа заседания была посвящена вопросам машинной графики. Были заслушаны доклады А. А. Карпова «Некоторые вопросы машинной графики: состояние и проблемы», В. А. Бобкова «О работах по машинной графике в ИАПУ ДВНЦ АН СССР», Э. А. Талныкина и А. М. Ковалева «Системы синтеза визуальной информации», В. А. Дебелова «О работах по машинной графике в ВЦ СО АН СССР», Л. Д. Райкова, В. В. Городилова, А. А. Мкртумяна «О разработке базисной графической системы в соответствии с проектом международных стандартов ИСО», В. Л. Каткова «РИС - язык наборной графики», П. В. Вельтмандера «Некоторые приложения растровой машинной графики».

На апрельском заседании 1984 г., состоявшемся в Минске, была заслушаны отчеты институтов АН БССР по работам в области системного программирования. Были заслушаны доклады представителей Института математики Н. В. Шкута, Г. К. Столярова, представителя Института технической кибернетики чл.-кор. АН БССР А. Д. Закревского, представителя Республиканского фонда алгоритмов и программ при ИМ АН БССР А. С. Метельского. Комиссия отметила большой вклад институтов АН БССР в развитие отечественной вычислительной техники и программирования, ими была проделана значительная работа по созданию математического обеспечения ЭВМ серии «Минск» и ЕС ЭВМ. Ведутся интенсивные работы по автоматизации проектирования и технологической подготовки производства в машиностроении. Вместе с тем Комиссия указала на ряд недостатков и рекомендовала пути их устранения.

Комиссия обсудила также два вопроса, связанные с разработкой программного обеспечения как в целом, так и конкретно для ЕС ЭВМ. По первому вопросу был заслушан и обсужден доклад начальника отдела ГУ ВТиСУ ГКНТ СССР, канд. техн. наук В. И. Саликовского «О разработке программного обеспечения как продукта производственно-технического назначения». В обсуждении доклада приняли участие Л. Н. Королев, С. С. Лавров, Н. Н. Лозинский, Э. 3. Любимский, В. В. Липаев, Г. К. Столяров, Д. Б. Подшивалов, Г. Д. Чинин, Д. А. Корягин, М. Е. Неменман, А. П. Ершов. Комиссия приняла решение вернуться к обсуждению этого вопроса в 1985 г.

По вопросу о развитии программного обеспечения ЕС ЭВМ была заслушаны доклады Г. В. Пеледова «Программное обеспечение ЕС ЭВМ», В. В. Наумова «Операционная система ОС 7», В. П. Данилочкина «Программное обеспечение средств телеобработки», Э. В. Ковалевича «Работы НИИ ЭВМ по программному обеспечению», М. П. Котова «Система виртуальных машин ЕС ЭВМ», В. Л. Каткова «Инструментальный комплекс для разработки ПО ЕС». В принятом заключении Комиссия констатировала состояние программного обеспечения ЕС ЭВМ на текущий момент и оценила его ближайшие перспективы. Кроме того, Комиссия поставила перед разработчиками ПО ЕС ЭВМ ряд проблем, решение которых представляется важным.

На ноябрьском заседании 1984 г., проходившем в Ленинграде, были заслушаны отчеты институтов Ленинградского научного центра по работам в области системного программирования. С докладами выступили директор ИТА АН СССР, чл.-кор. АН СССР С. С. Лавров, представители институтов: Института социально-экономических проблем Н. В. Клокачев и Б. Л. Овсиевич, Ленинградского отделения МИ АН СССР Ю. В. Матиясевич, представитель Ленинградского университета А. Н. Терехов, Т. С. Цейтин, Б. А. Кацев, представитель Ленинградского политехнического института В. П. Котляров.

Научная программа заседания предусматривала обсуждение вопроса о доказательном программировании. По этому вопросу были заслушаны доклады чл.-кор. АН ЭССР Э. X. Тыугу «О трех направлениях в доказательном программировании», В. А. Непомнящего и В. К. Сабельфельда «Трансформационный синтез корректных программ», Я. М. Барздиня «О состоянии исследований в области индуктивного синтеза программ», чл.-кор. АН СССР С. С. Лаврова «О синтезе программ». В обсуждении докладов приняли участие А. А. Летичевский, В. В. Липаев, М. Р. Шура-Бура, В. М. Курочкин, А. П. Ершов. В принятом решении Комиссия подчеркнула перспективность автоматического синтеза программ в деле автоматизации программирования, целесообразность создания систем программирования с высокой степенью автоматизации, включающих элементы автоматического синтеза программ, важность включения в математическое обеспечение разрабатываемых профессиональных ПЭВМ элементов автоматического синтеза программ и т. д.

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

Евстигнеев В. А.