Институт

Евстигнеев В.А. Научно-организационная деятельность Комиссии по системному математическому обеспечению ККВТ АН СССР

Хроника деятельности Комиссии по СМО

Отчеты о деятельности Комиссии по СМО были опубликованы в 1984 г. [1] и в 1986 г. [2]. Краткие отчеты о деятельности Комиссии публиковались в Бюллетене ККВТ АН СССР.

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

Первое заседание (6 февраля 1979 г.)

Первое заседание проходило в Москве (МГУ). Повестка дня включала пять вопросов.

1. Задачи Комиссии и порядок ее работы.

Докладчик — А.П.Ершов.

2. Рассмотрение программы исследований по важнейшим фундаментальным изысканиям на период 1980—1990 гг. в части системного математического обеспечения.

Докладчик — А.П.Ершов.

3. Рассмотрение поправок к Договору о сотрудничестве между АН СССР и Минрадиопромом и вопросов координации с организациями Минрадиопрома СССР.

Докладчик — В.Л.Катков.

4. О подготовке доклада "Математическое обеспечение средств вычислительной техники" на мартовском пленуме Координационного комитета АН СССР.

Докладчик — А.П.Ершов.

5. Постановочные вопросы.

Второе заседание (4 июня 1979 г.)

Второе заседание Комиссии проходило в Киеве в Институте кибернетики АН УССР. Повестка дня включала четыре вопроса.

1. О состоянии исследований в области системного математического обеспечения в АН СССР и АН союзных республик.

Докладчики — Э.З.Любимский; содокладчики — А.А.Летичевский, В.М.Курочкин, И.В.Поттосин, Д.А.Корягин, Б.А.Бабаян, В.М.Брябрин, В.Ф.Хорошевский.

2. О проекте плана работы Комиссии по системному математическому обеспечению на 1980—1982 гг.

Докладчик — А.П.Ершов.

3. Информация о координации работ АН в области системного программирования с Минприбором, МЭП и Минвузом.

Докладчики — И.Я.Дандау, Л.Н.Королев, А.П.Ершов.

4. Разное.

Третье заседание (4—7 декабря 1979 г.)

Третье заседание Комиссии проходило в Новосибирске в ВЦ СОАН СССР. Повестка дня включала четыре вопроса.

1. О состоянии работ в области технологии программирования.

Докладчики — Г.Д.Чинин, И.В.Вельбицкий.

2. Рассмотрение предложений к проекту постановления Правительства СССР в части системного математического обеспечения.

Докладчик — А.П.Ершов.

3. О программе совместных работ АН СССР и организаций Минприбора и Минвуза.

Докладчики — А.П.Ершов и представители соответствующих ведомств.

4. Разное.

Четвертое заседание (3—4 июня 1980 г.)

Четвертое заседание Комиссии проходило в Киеве в Институте кибернетики АН УССР. Повестка дня включала три вопроса.

1. Отчет Института кибернетики АН УССР по работам в области системного программирования.

Докладчик — зам. директора чл.-корр. АН УССР А.А.Стогний.

2. Языки и системы программирования.

Докладчики — И.В.Поттосин, М.Р. Шура-Бура, В.В.Липаев, Л.А.Серебровский.

3. О взаимодействии с Комиссией по пакетам прикладных программ.

4. Разное.

Перед обсуждением первого вопроса с вступительным словом выступил А.П.Ершов. Он уточнил смысл предстоящего отчета Института кибернетики, указав, что главое — подробно ознакомиться с работой института и сопоставить результаты, достигнутые институтом, с требованиями народного хозяйства и с мировым уровнем.

По итогам обсуждения было принято Заключение.

Перед обсуждением второго вопроса А.П.Ершов сказал: "Данный вопрос — основной для нашей Комиссии, по имеющейся тематике наработан большой опыт, поэтому результаты работы Комиссии будут иметь большое значение. В дискуссии хотелось бы услышать мнения по ряду вопросов.

1) Есть ли единый взгляд на ситуацию с языками программирования?

2) Как делать трансляторы?

3) Как ликвидировать дефицит литературы?

4) Как хорошо учить системному программированию?"

Пятое заседание (17—18 февраля 1981 г.)

Пятое заседание Комиссии проходило в Москве в Институте прикладной математики им. М.В.Келдыша АН СССР. Повестка дня включала следующие вопросы:

1. Отчет Института прикладной математики им. М.В.Келдыша АН СССР в области системного программирования.

Докладчик — чл.-корр. АН СССР В.В.Русанов.

2. Системное математическое обеспечение пакетов прикладныъх программ.

Докладчики — М.М.Бежанова, Д.А.Корягин, Э.Х.Тыугу.

3. О плане дальнейшей работы Комиссии.

По первому вопросу содокладчиками выступили заведующие отделами М.Р.Шура-Бура, В.С.Штаркман, И.Б.Задыхайло, В.А.Крюков, Э.З.Любимский.

По второму вопросу были заслушаны следующие доклады:

М.М.Бежанова. О состоянии работ в области ППП за рубежом.

Д.А.Корягин. О состоянии работ в области системного обеспечения пакетов прикладных программ в СССР.

Э.Х.Тыугу. Способы управления пакетами прикладных программ.

Шестое заседание (21—22 мая 1981 г.)

Шестое заседание Комиссии проходило в Новосибирске в Вычислительном центре СО АН СССР. Повестка дня включала три вопроса.

1. О работах Вычислительного центра СО АН СССР в области системного математического обеспечения.

Докладчик — зам. директора В.Е.Котов.

2. Операционные системы для ЭВМ и МВК.

Докладчики — Б.А.Бабаян, Л.Б.Эфрос, И.Я.Ландау, Л.Д. Райков.

3. Разное.

По первому вопросу содокладчиком выступил директор НФ ИТМ и ВТ АН СССР Г.Д.Чинин c докладом "Об истории создания НФ ИТМ и ВТ и о совместных с ВЦ СО АН СССР работах".

По второму вопросу были заслушаны следующие доклады:

Л.Б.Эфрос Актуальные проблемы создания операционных систем для современных ЭВМ и вычислительных комплексов,

Б.А.Бабаян История развития ОС в СССР и современное состояние вопроса,

И.Я.Ландау Исторический обзор развития работ по операционным системам в Минприборе,

Л.Д.Райков О состоянии дел в области операционных систем ЕС ЭВМ.

Седьмое заседание (15—16 декабря 1981 г.)

На декабрьском заседании 1981 г., проходившем в Москве в Вычислительном центре АН СССР, был заслушан отчет ВЦ АН СССР по работам в области системного математического обеспечения. Научная программа включала в себя обсуждение состояния дел в теоретическом программировании. Этот отчет завершил серию заседаний Комиссии, на которых были заслушаны доклады о деятельности академических институтов, внесших наибольший вклад в становление программирования в СССР — Института Кибернетики АН УССР, Института прикладной математики АН СССР, Вычислительного центра СО АН СССР, Вычислительного центра АН СССР.

По п.1 повестки дня с докладами о деятельности Вычислительного центра АН СССР выступили зам. директора д.ф.-м.н. Ю.Г.Евтушенко и ведущие специалисты Института В.М.Курочкин, В.М.Брябрин, М.А.Копытов, И.Е.Педанов, В.П.Мазурик.

По научной программе заседания (п. 2 повестки дня) были заслушаны доклады:

В.А.Непомнящий, И.М.Дехтярь "Математическая теория программирования. Обзор зарубежных работ",

А.А.Летичевский "Математическая теория программирования. Состояние дел в СССР".

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

  1. разработка и теоретическое обоснование практических методов и алгоритмов решения задач анализа и синтеза, а также оптимизации алгоритмов в системах математического обеспечения современных и перспективных ЭВМ;
  2. построение и исследование новых моделей вычислений и вычислительных систем с учетом перспектив развития архитектуры и технологии проектирования ЭВМ и систем математического обеспечения;
  3. разработка теоретических проблем проектирования математического обеспечения для решения отдельных классов задач (вычислительной математики, обработки данных, искусственного интеллекта и т.п.).

Восьмое заседание (10-11 марта 1982 г.)

На мартовском заседании 1982 г., проходившем в Таллине в Институте кибернетики АН ЭССР, были заслушаны отчеты прибалтийских Академий наук по работам в области системного программирования; научная сессия была посвящена вопросу методологии программирования.

С отчетами выступили чл.-корр. АН ЛитССР Л.А.Телькснис, д.ф.-м.н. Я.М.Барздинь и чл.-корр. АН ЭССР Э.Х.Тыугу. Комиссия отметила достижения ученых прибалтийских республик в исследованиях по теоретическим вопросам программирования, пакетам прикладных программ (Литва), в исследованиях по системному математическому обеспечению для вычислительных сетей, по индуктивному синтезу программ и автоматизации тестирования (Латвия), в исследованиях по автоматическому синтезу программ, сложности алгоритмов, по языкам программирования и трансляторам (Эстония).

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

чл.-корр. АН СССР С.С.Лавров "Методология программирования",

Б.Г.Чеблаков "Влияние идей Парнаса на методологию программирования",

И.Р.Агамирзян, А.С.Иванов, А.В.Проскурин "Механизм абстракции в расширяющихся системах",

Н.Н.Непейвода "Методология программирования".

Девятое заседание (4—8 октября 1982 г.)

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

Научная программа заседания включала следующие доклады, посвященные проблемам создания программного обеспечения задач искусственного интеллекта:

В.М.Брябрин "О проблематике задач искусственного интеллекта и о состоянии исследований по искусственному интеллекту в СССР",

В.Н.Пильщиков "Языки и системы программирования для задач искусственнного интеллекта и состоянии исследований за рубежом",

Ю.Д.Петросян, Л.Л.Цинман "О проблемах машинного перевода и об экспериментальной системе машинного перевода ЭТАП-1".

Дискуссия показала, что иследования в области искусственного интеллекта ведутся с большой интенсивностью во всем мире, особенно в Японии и США. В Советском Союзе создан ряд систем искусственного интеллекта, относящихся к лучшим на мировом уровне. Однако при их разработке применялись языки программирования, не ориентированные на этот класс задач, а использование средств высокого уровня ограничено малым числом использующих их коллективов и недостаточной производительностью машин.

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

Десятое заседание (18—22 апреля 1983 г.)

Десятое заседание Комиссии проходило в апреле 1983 г. в г. Дубне. Заседание было совместным с Комиссией по вычислительным измерительно-информационным системам (Пред. Н.Н.Говорун). В повестке было три вопроса:

  1. О работах в области системного программирования, проводимых в физических центрах СССР.
  2. О программном обеспечении микропроцессорной вычислительной техники.
  3. О программном обеспечении роботов.

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

По второму вопросу выступили:

Е.Е.Дудников (МНИИПУ) "Зарубежные домашние и учебные компьютеры",

В.М.Брябрин (ВЦ АН СССР) "Профессиональные персональные компьютеры", Г.Р.Громов "Индустрия ЭВМ и персональные компьютеры",

И.С.Лосев "Операционные системы для персональных компьютеров",

А.В.Гиглавый, И.Я.Ландау "Микро-ЭВМ линии СМ", А.Ф.Иоффе и А.Ю.Кривцов "Вычислительный комплекс "Агат"",

А.Б.Либеров "Автоматизация программирования для микро-ЭВМ",

В.В.Липаев, Ф.А.Каганов "Адаптируемые кросс-системы для проектирования программ микро-ЭВМ на технологической базе универсальных и персональных ЭВМ",

И.В.Вельбицкий "Сообщение о работе целевой подгруппы микропроцессорной техники Рабочей группы ГКНТ по технологии программирования".

После обсуждения Комиссия приняла решение, в котором подчеркивалось, что необходимо:

  1. развернуть работы по созданию отечественных ПК всех типов;
  2. создать системы автоматизации проектирования и программирования микро-ЭВМ;
  3. форсировать работы по созданию системного и прикладного ПО профессиональных ЭВМ, ориентированного на пользователя, не являющегося профессиональным программистом;
  4. первоочередное внимание должно быть уделено организации сети сервиса ПЭВМ;
  5. необходимо рекомендовать МЭП согласовывать с Комиссией по СМО разрабатываемые перспективные БИС, предназначенные для использования в микро-ЭВМ;
  6. интенсифицировать создание систем автоматизации научного эксперимента на базе микро-ЭВМ;
  7. форсировать работы по созданию локальных сетей микро-ЭВМ.
  8. наладить крупносерийное производство микропериферийных устройств (цветных мониторов, накопителей на гибких магнитные дисках; знакосинтезирующих принтеров, жестких минидисков типа "Винчестер", устройств графического управления типа "Джойстик", "Маус" и др.);
  9. необходимо популяризовать и распространять информацию о возможностях микро-ЭВМ и ПЭВМ и областях их применения;
  10. необходима более активная кооперация с организациями стран СЭВ по созданию ПЭВМ и их системного и прикладного обеспечения.

По третьему вопросу повестки дня были заслушаны следующие доклады:

А.В.Платонов "О работах по созданию программного обеспечения роботов",

С.С.Камынин "Программное обеспечение сборочного робота",

Н.Р.Швыдкой "Программное обеспечение сварочного робота",

В.В.Никифоров "Программное обеспечение устройства УНМ-772 и его развитие",

С.Л.Зенкевич, А.В.Назарова "Операционная система управления и обучения манипуляционного робота",

Ю.М.Лазутин "Инструментальное ПО, разрабатываемое в ИПМ АН СССР".

После обсуждения было принято развернутое решение.

Одиннадцатое заседание (6—10 сентября 1983 г.)

Очередное заседание Комиссии проходило в сентябре 1983 г. в г. Владивостоке на базе ИАПУ. В повестке дня два вопроса.

  1. О работах ИАПУ ДВНЦ АН СССР в области ситемного программирования.
  2. О програмном обеспечении машинной графики.

По первому вопросу выступили с докладами:

В.Л.Перчук "О научных исследованиях Института автоматики и процессов управления ДВНЦ АН СССР",

Е.А.Голенков "О работах ИАПУ в области системного математического обеспечения",

М.В.Оленин "Системы баз данных в научных исследованиях ИАПУ",

А.С.Клещев "О работах ИАПУ в области создания экспертных систем".

Заслушивание и обсуждение докладов по п. 2 повестки дня было предварено вступительным словом А.П.Ершова. Он сказал следующее: "Обсуждать тематические вопросы — традиция Комиссии. Привлекая ведущих специалистов, мы проводим обсуждение состояния работ в СССР с учетом мирового уровня. Цель докладчиков — расширить кругозор членов Комиссии и повысить их способность вырабатывать рекомендации. В ближайшие два года в обсуждении тематических вопросов проявится еще одна составляющая, связанная с намерением перевести управление развитием вычислительной техники на программно—целевой принцип. До этого момента все делали,что могли или что хотели. Теперь стоит задача формулирования конкретных целей для выхода на мировой уровень, т.е. способность выполнять при наличии ресурсов любую работу. Мы уже свыклись с мыслью об отставании, некоторые организационные формы даже увековечивают это отставание. Программа 12-й пятилетки будет уже строиться на программно—целевом уровне. Мы как Комиссия должны дать ответ на вопрос, что, где и в какой срок может быть сделано.

Машграфика из экзотической области программирования становится одной из компонент базового ПО, визуализация становится актуальной в связи с выходом на массового пользователя. В 12-й пятилетке машграфике будет уделяться повышенное внимание, становится важным оценить состояние дел в этой области и дать программу на 12-ю пятилетку."

Были заслушаны следующие доклады:

А.А.Карлов, П.В.Вельтмандер, В.А.Бобков, Г.А.Панкеев "Некоторые вопросы машинной графики: состояние и проблемы",

В.А.Бобков "О работах ИАПУ ДВНЦ АН СССР в области машиной графики",

Э.А.Талныкин "Система синтеза визуальной информации в реальном времени",

В.А.Дебелов "О работах по машинной графике в ВЦ СО АН СССР",

Л.Д.Райков, В.В.Городилов, А.А.Мкртумян "О разработке базисной графической системы в соответствии с проектом международных стандартов ИСО",

П.В.Вельтмандер "Некоторые приложения растровой машинной графики".

По третьему пункту повестки дня был заслушан и обсужден доклад А.П.Ершова "Пятое поколение ЭВМ". Докладчик подчеркнул отличие этих машин от ЕС ЭВМ в сторону развития асинхронного типа архитектуры, развитие гетерогенных вычислительных систем. Но каждый процессор внутри системы будет фонНеймановским. В дискуссии приняли участие М.Р.Шура-Бура, В.Л.Катков, Л.Д.Райков, М.Е.Неменман, И.Я.Ландау, В.М.Курочкин, Э.Х.Тыугу, В.Ф.Хорошевский, И.В.Поттосин, Г.Д.Чинин.

Двенадцатое заседание (17—20 апреля 1984 г.)

Очередное заседание Комиссии проходило в г. Минске на базе Института математики АН БССР и НИИЭВМ. Повестка дня включала следующие вопросы.

1. О разработке программного обеспечения как продукции производственно-технического назначения.

Докладчик — В.И.Саликовский.

2. О работах институтов АН БССР в области системного программного обеспечения.

Докладчики — Н.В.Шкут, Г.К.Столяров, А.С.Метельский, чл.-корр. АН БССР А.Д.Закревский.

3. О развитии программного обеспечения ЕС ЭВМ.

Докладчики — чл.-корр. АН СССР Г.П.Лопато, Г.В.Пеледов, В.В.Наумов,В.П.Данилочкин, Э.В.Ковалевич, М.П.Котов, В.Л. Катков.

По п.1 повестки дня был заслушан и обсужден доклад В.И.Саликовского.

Во вступительном слове А.П.Ершов сказал: "В контексте Постановления ЦК КПСС и Совета Министров СССР о развитии работ по вычислительной технике программное обеспечение рассматривается как продукт производственно-технического назначения. Что под этим скрывается? Програмное обеспечение — самостоятельное изделие, ПО входит в состав основных фондов предприятия, ПО получает товарную цену, коллективы программистов становится элементом производственой сферы. Этим подводится база (материальная и организационная) под становление отрасли. К этому мы шли давно, и тем не менее постановление застало нас врасплох. Наша дискуссия — это последовательность вопросительных знаков. Руководящие органы задали высокий темп работы по выпуску нормативных документов, подводящих базу под становление отрасли промышленности. Здесь нужно диалектически взять сложившуюся схему, принятую в отраслях, и вложить туда то специфическое, что несет в себе программирование. Это могут сделать только специалисты, нам нужно заняться политэкономией программирования".

По п.2 повестки дня были заслушаны следующие доклады:

Н.В.Шкут "О работах по математическому обеспечению ЭВМ в Институте математики АН БССР",

А.Д.Закревский "О работах по математическому обеспечению ЭВМ в Институте технической кибернетики АН БССР",

Г.К.Столяров "О работах ИМ АН БССР в области СУБД",

А.С.Метельский "О работе Республиканского ФАП при ИМ АН БССР".

По п.3 повестки дня были заслушаны следующие доклады:

Г.В.Пеледов "Программное обеспечение ЕС ЭВМ",

В.В.Наумов "Операционная система ОС.7",

В.П.Данилочкин "Программное обеспечение телеобработки данных ЕС",

Г.П.Лопато "О структуре и основных направлениях работы НИИ ЭВМ",

Э.В.Ковалевич "О работах НИИ ЭВМ по програмному обеспечению",

М.П.Котов "Система виртуальных машин ЕС ЭВМ",

В.Л.Катков "Инструментальный комплекс для разработки ПО ЕС ЭВМ".

Открывая дискуссию, А.П.Ершов сказал: "Я отмечу ряд моментов, которые не прозвучали в докладах представителей НИЦЭВТа. Наиболее существенное — ничего не было сказано о перспективах, кроме самых краткосрочных. Реакция на общее развитие ВТ только намечена. Что произвело впечатление? По-прежнему господствует ориентация на пакетную обработку, переход на комбинированный, даже не диалоговый, не прозвучал. Не видно давления на промышленность в части номенклатуры и соотношений. Работы по ЕС развиваются изнутри, наблюдается дефицит суммарных опережающих разработок, отсутствует ряд перспективных направлений. НИЦЭВТ до сих пор не поставляет интегрированные технологии разработки ПО. По обеспеченности оборудованием 10 тыс. ЕС эквивалентны примерно 15 тыс. хороших персональных ЭВМ, т.е. использование ЕС ЭВМ до сих пор нерентабельно.

Очень чувствительным местом является интерфейс, где безответственные научные разработки переходят в серьезные конструкторские решения. Вокруг НИЦЭВТа кормится масса научных организаций, а НИЦЭВТ продолжает всемирный поиск прототипов. Желательно было бы иметь хорошо подготовленных сотрудников, отслеживающих направления, и достаточно авторитетных, чтобы они могли бы что-то внедрить в планы исследовательских работ".

Тринадцатое заседание (23—24 ноября 1984 г.)

Очередное заседание Комиссии проходило в г. Ленинграде на базе ИТА АН СССР. В повестку дня было включено три вопроса:

1. О работах институтов Ленинградского научного центра в области системного программирования.

Докладчики — чл.-корр. АН СССР С.С.Лавров, Ю.В.Матиясевич, И.В.Клокачев, А.Н.Терехов, Г.С.Цейтин, В.П.Котляров.

2. Доказательное программирование.

Докладчики — чл.-корр. АН ЭССР Э.Х.Тыугу, В.А.Непомнящий, Я.М.Барздинь.

3. Разное.

По п. 1 повестки дня были заслушаны следующие доклады:

Чл.-корр. АН СССР С.С.Лавров "Работы Института теоретической астрономии АН СССР в области системного программирования",

И.В.Клокачев, Б.Л.Овсиевич "О работах Института социально-экономических проблем (ИСЭП) в области системного программирования",

Ю.В.Матиясевич "О работах ЛОМИ в области системного программирования",

А.Н.Терехов "О работе лаборатории системного программирования ВЦ ЛГУ",

Г.С.Цейтин "О работах лаборатории математической лингвистики НИИММ ЛГУ",

В.П.Котляров "О работах Ленинградского политехнического института им. М.И.Калинина в области системного программирования".

По п.2 повестки дня были заслушаны следующие доклады:

Э.Х.Тыугу "О трех направлениях в доказательном программировании",

В.А.Непомнящий, В.К.Сабельфельд "Трансформационный синтез корректных программ",

Я.М.Барздинь "О состоянии исследований в области индуктивного синтеза программ".

Четырнадцатое заседание (27 мая — 2 июня 1985 г.)

Очередное, четырнадцатое заседании Комиссии проходило в г. Калинине на базе "Центрпрограмсистем" совместно с Научно-техническими комиссиями ГКНТ СССР по языкам и системам программирования и технологии программирования. Повестка дня включала следующие вопросы:

  1. О разработке программного обеспечения как продукции производственно-технического назначения (проекты нормативных документов).
  2. О работе ГосФАПа.

По первому вопросу повестки дня были заслушаны и обсуждены доклады В.И.Саликовского о работах, проводимых отделом общесистемного и прикладного программного обеспечения ГУВТиСУ ГКНТ СССР; В.П.Тихомирова об индустрии программного обеспечения; К.Е. Волковицкого о комплексе нормативно-технических документов; В.П.Суханова о деятельности Государственного фонда алгоритмов и программ.

По второму вопросу повестки дня были заслушаны и обсуждены доклады В.П.Тихомирова об основных направлениях деятельности НПО "Центрпрограмсистем"; В.П.Куприянова об опыте разработки и внедрения средств технологии программирования; А.Н.Наумова об основных результатах по разработке и сопровождению программных средств СУБД; Ю.В.Исаева о перспективных работах по программным средствам для ГАП.

Пятнадцатое заседание (7—10 апреля 1986 г.)

Очередное, пятнадцатое заседание Комиссии проходило в Вильнюсе на базе Института математики и кибернетики АН Лит.ССР. Повестка дня включала в себя следующие вопросы:

  1. Программное обеспечение персональных ЭВМ.
    Докладчики — В.М.Брябрин, М.Е.Неменман, А.Л.Шмундак, А.В.Гиглавый.
  2. О работах Института математики и кибернетики АН Лит.ССР в области системного программирования.
    Докладчики — А.Л.Телькснис, А.А.Чаплинскас, Р.Й.Шейнаускас, Е.Каргаускас, Г.Григас.
  3. Разное.
По первому пункту повестки дня были заслушаны и обсуждены следующие доклады:

В.М.Брябрин "Состояние и проблемы в области персональных ЭВМ",

М.Е.Неменман "Персональная ЭВМ ЕС-1840",

С.И.Сидорас "Новый 32-разрядный вычислительный комплекс",

А.В.Гиглавый "Состояние разработок учебных персональных ЭВМ",

А.Л.Шмундак "Система МикроПРИЗ".

По второму пункту повестки дня были заслушаны и обсуждены следующие доклады:

Л.А.Телькснис "Вычислительная система "Моксиас" для автоматизации научных исследований",

А.А.Чаплинскас "Инструментальная система "Вильнюс"",

Й.В.Моцкус "Пакет прикладных программ для глобальной оптимизации",

Р.Шейнаускас, К.Карчаускас "Программное обеспечение систем автоматизации проектирования",

Г.К.Григас "Республиканская (заочная) школа молодых программистов".

Специального решения по этому вопросу не принималось.


Состав и структура |  Хроника деятельности |  Завершение работы