История вычислительной техники в лицах

Современные ЭВМ невозможно проектировать без систем автоматизации проектно-конструкторских работ. На основе теоретических работ Глушкова в институте был развернут широкий фронт работ и создан ряд уникальных систем „ПРОЕКТ“ („ПРОЕКТ-1“, „ПРОЕКТ-ЕС“, „ПРОЕКТ-МИМ“, „ПРОЕКТ-МВК“) для автоматизированного проектирования ЭВМ вместе с математическим обеспечением. Первоначально они реализовывались на ЭВМ „Киев“, затем М-20, М-220 и БЭСМ-6 (с общим объемом в 2 млн. машинных команд), а со временем переведены на ЕС ЭВМ. Система „ПРОЕКТ-1“, реализованная в М-220 и БЭСМ-6, представляла собой распределенный специализированный программно-технический комплекс со своей операционной системой и специализированной системой программирования. В ней впервые в мире был автоматизирован (причем с оптимизацией) этап алгоритмического проектирования (В.М. Глушков, А.А. Летичевский, Ю.В. Капитонова). В рамках этих систем была разработана новая технология проектирования сложных программ — метод формализованных технических заданий (А.А. Летичевский, Ю.В. Капитонова). Системы „ПРОЕКТ“ разрабатывались как экспериментальные, на них отрабатывались реальные методы и методики проектирования схемных и программных компонентов ЭВМ. Эти методы и методики впоследствии были приняты в десятках организаций, разрабатывающих вычислительную технику. Заказчиком выступало Министерство радиопромышленности (ЦКБ „Алмаз“ и НИЦЭВТ). Разработанные системы стали прообразом реальных технологических линий выпуска документации для производства микросхем ЭВМ во многих организациях бывшего Советского Союза.

С системой „ПРОЕКТ-1“ тесно связана система автоматизации проектирования и изготовления БИС с помощью элионной технологии. В отделе, руководимом В.П. Деркачем (одним из первых аспирантов В.М. Глушкова), были созданы установки „Киев-67“ и „Киев-70“, управляющие электронным лучом при обработке с его помощью различного типа подложек. Необходимо заметить, что показатели этих установок давали рекордные параметры в микроэлеронике на то время.

Системы автоматизации проектирования „ПРОЕКТ“ имели коммуникационный интерфейс с „Киев-67“ и „Киев-70“, что позволяло выполнять сложные программы управления электронным лучом как при напылении, так и при графической обработке подложек.

Работы Глушкова, Деркача и Капитоновой по автоматизации проектирования ЭВМ были удостоены в 1977 году Государственной премии СССР.

Проблема автоматизации программирования также входила в круг основных интересов В.М. Глушкова. В работах этого направления он исходил из дальней цели полной автоматизации процесса разработки программ и ведения вычислений. Эта цель была сформулирована уже в 1957 году в статье Глушкова „Об одном методе автоматизации программирования“ (Проблемы кибернетики. — 1959, № 2), где предлагались первые реальные шаги для ее достижения. Работа заканчивалась словами: „В случае реализации метода во всей его полноте машине будет достаточно „показать“ бумагу с напечатанным на ней заданием (на привычном математическом языке. — Прим. автора), чтобы машина без дальнейшего вмешательства человека начала решать задачу и выдала через некоторое время ответ“. Метод специализированных программирующих программ, предложенный и развитый там же, в настоящее время реализуется в методологии построения интеллектуальных прикладных пакетов программ. В этой работе проявилась важная методологическая идея о правильном (сбалансированном) сочетании универсальных и специализированных средств при создании кибернетических систем, которая широко использовалась в дальнейшем и в других областях (архитектура ЭВМ, искусственный интеллект, системы управления).

Пути совершенствования технологии разработки программ В.М. Глушков видел в развитии алгебры алгоритмических языков, т. е. техники эквивалентных преобразований выражений в этих языках. В эту проблему он вкладывал общематематический и даже философский смысл, рассматривая создание алгебры языка конкретной области знаний как необходимый этап ее математизации. Сопоставляя численные и аналитические методы решения задач прикладной математики, Глушков утверждал, что развитие общих алгоритмических языков и алгебры таких языков приведет к тому, что выражения в этих языках

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