Файл: Виктор Михайлович Глушков..pdf

fr

АКАДЕМИЯ НАУК УЄСР

ВИКТОР

МИХАЙЛОВИЧ

ГЛУШКОВ

«НАУКОВА ДУМКА», КИЕВ — 1975

БИОБИБЛИОГРАФИЯ

УЧЕНЫХ

УКРАИНСКОЙ

ССР

ВСТУПИТЕЛЬНАЯ СТАТЬЯ

В. С. МИХАЛЕВИЧА, И. И. ЛЯШКО,

А. А. СТОГНИЯ. И. В. СЕРГИЕНКО,

Ю. В. КАПИТОНОВОЙ

УКАЗАТЕЛЬ ЛИТЕРАТУРЫ

СОСТАВИЛА Ю. В. КАПИТОНОВА

*

В книге освещаются основные этапы жизни, научно-исследовательская, научно-организацион­ ная, педагогическая и общественная деятельность известного советского ученого в области мате­

В. М. Глушкова. Помещенный в ней указатель литературы знакомит читателя с трудами уче­ ного.

Рассчитана на научных работников, а также всех, кто интересуется историей отечественной науки.

Редакционная коллегия:

академик АН УССР Г. ОП-и^аренко (предсе­ датель), академик И. К. РелодеВ-,^Д. П. Гу­ менный, академик АН УССР В. С. Гутыря, кандидат исторических наук С. К. Гутянский,

С. П. Демченко, академик АН УССР Ю. А. Мит­ ропольский, академик АН УССР И. Н. Фран­ цевич

Редакция научно-популярной литературы

30502—406

Г---------------

М221 (04)— 75

© Издательство «Наукова думка», 1975

КРАТКИЙ ОЧЕРК НАУЧНОЙ, НАУЧНО-ОРГАНИЗАЦИОННОЙ, ПЕДАГОГИЧЕСКОЙ И ОБЩЕСТВЕННОЙ

ДЕЯТЕЛЬНОСТИ АКАДЕМИКА В. М. ГЛУШКОВА

Академик В. Ai. Глушков — видный советский ученый, известный в нашей стране и за рубежом фундаменталь­ ными трудами по математике, теоретической и прикладной кибер­ нетике. Ему принадлежит более 400 научных публикаций, и в том числе 10 монографий, переведенных на многие языки мира. Под руководством и при непосредственном участии В. A4. Глушкова создан целый ряд первоклассных ЭВМ и АСУ, которые сыграли важную роль в развитии современного математического машино­ строения, и систем автоматизированного управления сложными объектами. В. A4. Глушков — основатель и глава школы кибер­ нетики, авторитет которой признан во всем мире.

В этом очерке охарактеризованы лишь наиболее значительные этапы многогранной деятельности В. М. Глушкова. Вот уже свы­

В. М. Глушков. Без преувеличения можно сказать, что все серьез­ ные успехи института связаны с развитием выдвинутых В. A4. Глуш­ ковым научных идей и являются результатом решения под его руководством самых различных теоретических и прикладных про­ блем. Ныне институт — одно из крупнейших в СССР научно-иссле­ довательских учреждений по кибернетике, на базе которого создается Кибернетический центр АН УССР.

Круг научных интересов В. М. Глушкова очень широк, но в каком бы направлении он ни работал, его исследования направлены на создание нового математического аппарата для решения прак­

тически важных задач.

В научном творчестве В. Лі. Глушкова можно выделить та­ кие основные направления: исследования в области современной алгебры; разработка теории автоматов и электронных вычислитель­ ных машин; создание ЭВАІ и систем их математического обеспе­ чения; исследования в области экономической кибернетики; авто­ матизация проектирования; разработка теории автоматизированных систем управления и систем обработки данных; исследования в

5

1950—1956 гг. Большое влияние на выбор Виктором Михайловичем этого направления исследований оказали труды Л. С. Понтрягина. Непосредственными учителями В. М. Глушкова были известные алгебраисты М. М. Черников и О. Г. Курош. Значительную роль в становлении трудов Глушкова по вопросам топологической ал­ гебры сыграл А. И. Мальцев, с которым Виктор Михайлович всег­ да поддерживал тесную связь, находя у Анатолия Ивановича, уче­ ного широкого профиля и выдающегося советского математика, помощь, совет и поддержку. Основными результатами ряда тру­ дов В. М. Глушкова по алгебре являются решение обобщенной пятой проблемы Гильберта, а также исследование свойств и строе­ ния локально бикомпактных групп и алгебр Ли. Пятая проблема Гильберта была сформулирована им в 1900 г. на II Международ­ ном конгрессе математиков. Традиционная формулировка ее такова: является ли группой Ли всякая локально эвклидова топологичес­ кая группа (при соответствующем выборе локальных координат)? Решение В. ЛІ. Глушковым этой проблемы стало возможным в результате создания им глубокой теории локально бикомпактных топологических групп, исследования их структуры и установления связей, существующих между этими группами и группами Ли. Ап­ парат, развитый в указанной теории, дал возможность получить полный обзор любых (а не только локально эвклидовых) локально бикомпактных групп. С помощью этого математического аппарата удалось получить фундаментальный результат о замкнутости класса групп Ли относительно расширения их с помощью групп Ли. Реше­ ние обобщенной пятой проблемы послужило окончательным толч­ ком к развитию теории топологических групп.

Выполнение доказательств всех утверждений, касающихся этой

Его влекло новое, неизвестное.

50-е годы нашего столетия были периодом пробного примене­ ния вычислительных машин для решения сложных задач. Открыва­ лась широкая перспектива внедрения вычислительной техники в народное хозяйство. Однако для построения, развития и исполь­ зования кибернетических устройств, и в частности вычислительных машин, необходима была теоретическая база.

Вооруженный современным математическим аппаратом, отто­ ченным на решении сложной классической проблемы, В. М. Глуш­ ков в 1957 г. начинает исследования в области теоретической ки­ бернетики. К разработке ее разнообразных проблем он привлекает молодых специалистов, работавших ранее в смежных направлениях

6

В основе теории лежит понятие цифрового автомата (каковым, в частности, являются и вычислительная машина, и человеческий организм). В теории рассматриваются способы задания автоматов, их свойства и изучаются методы решения задач анализа, синтеза и оптимизации автоматов. Здесь же исследуются взаимосвязи по­ нятия «автомат» с такими важными математическими понятиями, как «алгоритм», «полугруппа», «алгебра» и др. Уже в своих первых трудах по теории автоматов, появившихся в печати в 1959— 1960 гг., В. М. Глушков делает успешные попытки точно сформу­ лировать основные задачи теории и наметить пути их решения. Вскоре он находит фундаментальные результаты, благодаря кото­ рым теория автоматов превратилась в стройную математическую теорию, предназначенную для использования ее методов широким кругом специалистов, занимающихся разработкой радиоэлектрон­ ных устройств.

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

Развитие вычислительной техники, появление машин третьего поколения поставили перед теорией новые требования. В частности, необходимо было построить концепцию бесконечного автомата, способную обеспечить теоретическое обоснование решения задач проектирования ЦВМ. В. М. Глушков ввел понятия регистрового автомата, или абстрактного регистра, и преобразования на регистрах, изучил специальный тип преобразований, а именно пе­ риодически определенные преобразования. Все это позволило раз­ работать удобную для целей проектирования ЦВМ концепцию бесконечного автомата, рассмотреть некоторую новую модель ЦВМ и формализовать постановку многих проблем, важных с точки зрения оптимизации логической структуры машины, таких как ми­ нимизация последовательности микроопераций (микропрограмм), уменьшение числа регистров в машине, минимизация устройства управления ЦВМ и др.

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

7

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

В. М. Глушков развил математическую технику преобразова­ ния микропрограмм. Использование ее дало ему, в частности, воз­ можность получить автоматный аналог теорем о равносильности схем алгоритмов. Этот факт показал, что математическая техника позволяет исследовать вопросы, связанные с проблемой распозна­ вания эквивалентности алгоритмов. В. М. Глушковым и его уче­ никами ныне осуществляется широкий цикл работ по дальнейшему развитию полученных в этом направлении результатов. Уже первые попытки детально исследовать и использовать новые данные по„ тверждают эффективность предложенной математической техники для проектирования ЦВМ, с одной стороны, и привели к инте­ ресным теоретическим выводам относительно эквивалентных пре­ образований алгоритмов — с другой.

Широко известные основополагающие работы В. М. Глушкова по теории автоматов содержат не только конкретные фундаменталь­

будут создаваться завтра целые теории и направления. Упомянутые труды являются основой для традиционных направлений теории автоматов и развивают действительно глубокую, широко приме­ няемую для практических целей общую теорию дискретных пре­ образователей, которая базируется на оригинальных и принципи­ ально важых концепциях, связанных с понятиями дискретного пре­ образователя и пары микропрограммных алгебр. В частности, эта теория, ныне бурно развивающаяся, позволила с единой точки зрения взглянуть на проблемы теории программирования и сти­ мулировала исследования по параметрическим системам програм­ мирования, которые представляют собой далеко идущие обобщения синтаксически управляемых трансляторов.

Разрабатывая теорию автоматов, В. М. Глушков черпал пос­ тановку задач из реальных ситуаций, возникающих при создании вычислительных машин и других средств вычислительной техники. В процессе конкретных разработок проверялись те или иные тео­ ретические концепции. Такая черта характерна для всего научного творчества Виктора Михайловича.

В. М. Глушков принимает активное участие в создании вы­ числительных машин и систем. Широко известные вычислительные

8