|
В 1964 г. за цикл работ по теории автоматов В. М. Глушков был удостоен Ленинской премии. Значение этих работ трудно переоценить, так как использование понятия "автомат" в качестве математической абстракции структуры и процессов, происходящих внутри вычислительных машин, открыло совершенно новые возможности в технологии создания компьютеров. Современные системы автоматизации проектирования вычислительных машин повсеместно используют эти идеи. В 1964 г. В. М. Глушков был избран действительным членом АН СССР по Отделению математики (математика, в том числе вычислительная математика). В области теории программирования и систем алгоритмических алгебр В. М. Глушковым был сделан фундаментальный вклад в виде алгебры регулярных событий. Монография В. М. Глушкова, Г. Е. Цейтлина и Е. Л. Ющенко "Алгебра, языки, программирование", содержащая введение в теорию универсальных алгебр с учетом применения этого аппарата в теоретическом программировании, была опубликована в 1974 г. Важно подчеркнуть, что в связи с исследованиями по формализации языков, верификации программ и их оптимизации на стыке математической логики и теории программирования в середине 70-х годов возникло новое направление по алгоритмическим (программным) логикам и логикам процессов. Прообразом пропозициональных программных логик явились системы алгоритмических алгебр, исследованные В. М. Глушковым. Киевская школа (Е. Л. Ющенко, Г. Е. Цейтлин, В. Н. Редько и др.) развивала эти исследования в направлении аксиоматизации систем алгоритмических алгебр как основы схематологии структурного программирования и универсальных программных логик. Пути совершенствования технологии разработки программ В. М. Глушков видел в развитии алгебры алгоритмических языков, т. е. техники эквивалентных преобразований выражений в этих языках. В эту проблему он вкладывал общематематический и даже философский смысл, рассматривая создание алгебры языка конкретной области знаний как необходимый этап ее математизации. Сопоставляя численные и аналитические методы решения задач прикладной математики, В. М. Глушков утверждал, что развитие общих алгоритмических языков и алгебры таких языков приведет к тому, что выражения в этих языках (сегодняшние программы для ЭВМ) станут столь же привычными, понятными и удобными, какими сегодня являются аналитические выражения. При этом фактически исчезнет разница между аналитическими и общими алгоритмическими методами и мир компьютерных моделей станет основным источником развития новой современной математики, как это и происходит сейчас. Современные ЭВМ невозможно проектировать без систем автоматизации проектно-конструкторских работ. Возможность применения ЭВМ в процессе проектирования ЭВМ стала реальной после того, как в начале 60-х годов были созданы соответствующие разделы абстрактной и структурной теории автоматов, позволившие решить целый ряд задач, возникающих в процессе проектирования электронных схем. Дальнейшее развитие методики проектирования ЭВМ потребовало новой техники, в частности разработки методов блочного синтеза. Основы теории проектирования ЭВМ были заложены в статьях В. М. Глушкова, опубликованных в журнале "Кибернетика" в 1965—1966 гг. и в Вестнике АН СССР в 1967 г. Вскоре стало ясно, что для эффективного использования ЭВМ в процессе проектирования необходимо комплексное решение всех задач, возникающих при автоматизации проектирования. Необходимость применить системный подход к САПР ЭВМ проявилась при создании ЭВМ третьего поколения.
В США разработка универсальной управляющей машины была начата несколько раньше, но запуск ее в производство был осуществлен в 1961 г., т. е. практически одновременно с машиной "Днепр". Первые машины "Днепр" выпускал Киевский завод "Радиоприбор". Другим направлением работ Института кибернетики в области средств вычислительной техники стали ЭВМ для инженерных расчетов. Первой машиной этого класса была ЭВМ "Промiнь", которую выпускал с 1963 г. Северодонецкий приборостроительный завод. Это была первая машина со ступенчатым микропрограммным управлением, на которое позже В. М. Глушков получил авторское свидетельство. За ней последовали машина МИР-1 (1965 г.), МИР-2 (1969 г.) и МИР-3. Главным их отличием от других ЭВМ была аппаратная реализация машинного языка, близкого к языку программирования высокого уровня. ЭВМ семейства "МИР" интерпретировали алголоподобный язык "Аналитик", разработанный в Институте кибернетики под руководством В. М. Глушкова А. А. Летичевским, Ю. В. Благовещенским, А. А. Дородницыной. Коллектив разработчиков ЭВМ МИР-1 во главе с В. М. Глушковым был отмечен Государственной премией СССР. В конце 60-х годов под руководством В. М. Глушкова была начата разработка ЭВМ "Украина" — следующий шаг в развитии интеллектуализации ЭВМ и развитии архитектуры высокопроизводительных универсальных ЭВМ, отличной от архитектурных принципов Дж. фон Неймана. ЭВМ "Украина" не была построена из-за отсутствия в то время необходимой элементной базы. Идеи, положенные В. М. Глушковым в основу проекта "Украина", во многом предвосхищали то, что было использовано в американских универсальных ЭВМ 70-х годов. Монография "Вычислительная машина с развитыми системами интерпретации", написано В. М. Глушковым, А. А. Барабановым, Л. А. Калиниченко, С. Д. Михновским, З. Л. Рабиновичем, была издана в 1970 г. Она содержала теоретическое обоснование развития архитектуры ЭВМ в направлении реализации языков высокого уровня. В 1974 г. В. М. Глушков на конгрессе IFIP выступил с докладом о рекурсивной ЭВМ (соавторы В. А. Мясников, М. Б. Игнатьев, В. А. Торгашов). Он высказал мнение о том, что только разработка принципиально новой нефоннеймановской архитектуры вычислительных систем позволит решить проблему создания суперЭВМ, производительность которых наращивается неограниченно при наращивании аппаратных средств. Идея построения рекурсивной ЭВМ, поддержанной мощным математическим аппаратом рекурсивных функций, опередила свое время и осталась нереализованной из-за отсутствия необходимой технической базы. На конгрессе IFIP в 1974 г. в Стокгольме В.М. Глушкову по решению Генеральной Ассамблеи IFIP была вручена специальная награда – серебряный сердечник. Так был отмечен большой вклад ученого в работу этой организации в качестве члена Программного комитета конгрессов 1965 и 1968 гг., а также в качестве Председателя Программного комитета конгресса 1971 г. В конце 70-х годов В. М. Глушков предложил принцип макроконвейерной архитектуры ЭВМ со многими потоками команд и данных (архитектура MIMD по современной классификации) как принцип реализации нефоннеймановской архитектуры. Разработка макроконвейерной ЭВМ была выполнена в Институте кибернетики под руководством В. М. Глушкова С. Б. Погребинским (главный конструктор), В. С. Михалевичем, А. А. Летичевским, И. Н. Молчановым. Машина ЕС-2701 (в 1984 г.) и вычислительная система ЕС-1766 (в 1987 г.) были переданы в серийное производство на Пензенский завод ВЭМ. На тот период это были самые мощные в СССР вычислительные системы с номинальной производительностью, превышающей рубеж 1 млрд. оп./с. При этом в многопроцессорной системе обеспечивались почти линейный рост производительности по мере наращивания вычислительных ресурсов и динамическая реконфигурация. Они не имели аналогов в мировой практике и явились оригинальным развитием ЕС ЭВМ в направлении высокопроизводительных систем. Увидеть их в действии В. М. Глушкову уже не пришлось. По инициативе В. М. Глушкова была издана первая в мире "Энциклопедия кибернетики". В подготовке энциклопедии приняли участие более 100 ведущих ученых СССР, в том числе более 50 специалистов Института кибернетики АН Украины. В 1978 г. коллектив редакторов и ответственных за разделы энциклопедии был отмечен Государственной премией Украины. В энциклопедии освещались:
В. М. Глушков считал, что последовательное накопление знаний, представленных в виде компьютерных баз знаний, и эффективные способы их обработки помогут людям сохранить то лучшее, что они создают, а развитие интеллектуальных способностей ЭВМ обессмертит творцов человеческой цивилизации. Эта точка зрения становится в настоящее время главной в понимании проблем современной информатики. Большое внимание В. М. Глушков уделял работам по созданию автоматизированных систем управления (АСУ) на базе применения средств вычислительной техники. Для построения типовых АСУП В. М. Глушковым еще в 1965 г. было выдвинуто понятие специализированной операционной системы, предназначенной для систем с регулярным потоком задач, в отличие от операционных систем универсальных ЭВМ типа IBM/360, которые решают случайные потоки задач и хороши для пакетного режима вычислительных центров ("относительно хороши, конечно", как отмечал В.М.Глушков). Монография В. М. Глушкова "Введение в АСУ", которая была посвящена, в основном, системам организационного управления, вышла вторым изданием в 1974 г. В ней были систематизированы оригинальные результаты, полученные В. М. Глушковым в 1964—1968 гг.
В статье использованы материалы сайта http://www.peoples.ru/science/mathematics/viktor_glushkov/ Газета "Информатика" Ученый и организатор науки (Под руководством Виктора Михайловича Глушкова был создан целый ряд компьютеров и компьютерных систем: “Киев”, “Днепр”, “Проминь”, МИР, “Проект”, “Львов”, “Дисплан”) |
