Классик Геллий Николаевич Поваров
Шалыто А.А.
Геллий Николаевич Поваров (см. Википедию) (1928—2004), классик в теории синтеза переключательных схем, которые так или иначе лежат в основе вычислительной техники.
Он в 1950 г. с отличием закончил мехмат МГУ. Г.И. Поваров работал в Институте автоматики и телемеханики, где в 1954 г. защитил кандидатскую диссертацию. С 1965 г. и до конца своих дней Гелий Николаевич работал в Московском инженерно-физическом институте (МИФИ). С 1994 г. – профессор кафедры «Кибернетика». Он владел несколькими иностранными языками.
Под его редакцией на русском языке в 1958 и 1968 гг. вышли два издания классической книги Н. Винера «Кибернетика, или управление и связь в животном и машине». Поваров опубликовал монографию «Ампер и кибернетика». Он входил в редколлегию авторитетного сборника «Логические исследования» Геллий Николаевич опубликовал в журнале «Автоматика и телемеханика» Т.15. 1954. № 6, с. 567-569 рецензию на книгу «Синтез электронных вычислительных и управляющих схем», которая во многом определила развитие логического синтеза в мире.
«В работах Г.Н. Поварова идеи Клода Эльвуда Шеннона (см. материал в Википедии) и Виктора Ивановича Шестакова (см. Википедию) (https://iphras.ru/uplfile/logic/log14/BiryukovVerstinLevin.pdf) были развиты применительно к задачам синтеза релейно-контактных схем. Его публикации начала 1950-х годов создали фундамент для возникновения школы синтеза переключательных схем. В частности, метод, называемый сегодня «методом каскадов Поварова» (https://computer-museum.ru/articles/tekhnologii-programmirovaniya/2433/), послужил Вадиму Николаевичу Рогинскому основанием при разработке «графического метода» синтеза релейно-контактных схем. На основе этого метода группой, возглавляемой Владимиром Георгиевичем Лазаревым, впервые в мире была создана машина для синтеза релейно-контактных схем. Эта машина успешно демонстрировалась на Всемирной выставке в Брюсселе в 1958 г. и получила Гран-при» (https://www.computer-museum.ru/articles/galglory_ru/1042/). Она в настоящее время находится в Политехническом музее.
Приведу перечень научных работ Поварова, опубликованных «на виду»:
-
Поваров Г.Н. К изучению контактных схем упорядоченного типа // Проблемы передачи
информации. –1954. № 4. -
Поваров Г.Н. Матричные методы анализа релейно-контактных схем по условиям несрабатывания // Автоматика и телемеханика. Т. 15, –1954. № 4, с. 332-335.
-
Поваров Г.Н. О функциональной разделимости булевых функций // Доклады АН СССР. Т. 94. 1954. № 5, с. 801—803; Т. 123, –1958. № 5, с. 774.
-
Поваров Г.Н. О синтезе контактных многополюсников // Доклады АН СССР. Т. 94. –1954. № 6, с. 1075—1078; Т. 96. № 6, с. 1084.
-
Поваров Г.Н. Исследование контактных схем с минимальным числом контактов. Диссертация на соискание ученой степени кандидата технических наук. –М.: Институт автоматики и телемеханики АН СССР, –1954.
-
Поваров Г.Н. К изучению симметрических булевых функций с точки зрения теории релейно- контактных схем // Доклады АН СССР. Т. 104. –1955. № 2, с. 183—185; Т. 123. –1958. № 5, с. 774.
-
Поваров Г.Н. О методике анализа симметрических контактных схем // Автоматика и телемеханика. Т. 16. –1955. № 4, с. 364—366.
-
Поваров Г.Н. Список отечественной литературы по теории релейно-контактных схем за 1950-1954 гг. // Автоматика и телемеханика. Т. 16. –1955, № 4, с. 411, 412.
-
Поваров Г. Н. Список иностранной и переводной литературы по теории релейно-контактных схем за 1950–1954 гг. // Автоматика и телемеханика. Т. 16. –1955, № 4, с. 412—420.
-
Поваров Г.Н. Математическая теория синтеза контактных (1, k)-полюсников // Доклады АН СССР. Т. 100. –1955. № 5, с. 909—912. Доклады АН СССР. Т. 102. –1957. № 2, с. 196.
-
Поваров Г.Н. О матричном анализе связей в частично ориентированных графах // Успехи математических наук. Том 11. 1956. № 5 (71), с. 195—202.
-
Поваров Г.Н. Метод синтеза вычислительных и управляющих контактных схем // Автоматика и телемеханика. Т. 18. –1957, № 2, с. 145—162.
-
Поваров Г.Н. К изучению контактных схем упорядоченного типа // Проблемы передачи информации. –1959. Вып. 4.
-
Поваров Г.Н. Логика и автоматизация / Логические исследования. Изд-во АН СССР. –1959, с. 300—314.
-
Поваров Г.Н. Математико-логическое исследование синтеза контактных схем с одним входом и k выходами / Логические исследования. Изд-во АН СССР. 1959, с. 379-405.
-
Поваров Г.Н. О логическом синтезе вычислительных и управляющих электронных схем / Логические исследования. Изд-во АН СССР. –1959.
-
Поваров Г.Н. О групповой инвариантности булевых функций / Применение логики в науке и технике. Изд-во АН СССР. –1960, с. 263—340.
-
Поваров Г.Н. Качественный анализ электрических схем с конечными проводимостями при помощи теории кумулятивных сетей // Доклады АН СССР. Т. 136. –1961. № 2, с. 308—310.
-
Поваров Г.Н. О булевых сравнениях. / Известия АН СССР. Техническая кибернетика, –1973. № 5.
-
Поваров Г.Н. Представление булевых функций в различных базисах и синтез логических сетей. / Управлениев распределенных интегральных сетях. –М.: Наука, –1991.
Для меня Геллий Николаевич уникален тем, что до защиты кандидатской диссертации (доктором наук он, к сожалению, не стал, но зато стал классиком) без соавторов публиковался в журнале «Доклады Академии наук» (https://news.itmo.ru/ru/blog/306/). Важная особенность этого журнала состоит в том, что в нем без представления действительного члена Академии, фамилия которого указывается в статье, нельзя быть напечатанным. Тогда за рубежом наши практически не публиковались, и поэтому статьи в этом журнале были высшим уровнем публикаций советских ученых. Он там публиковался и после защиты диссертации…
На одну из работ Поварова я сослался в книге «Настраиваемые модули для управляющих логических устройств», опубликованной еще в 1981 г. Потом часто на него ссылался, в том числе и в книге «Логическое управление. Методы аппаратной и программной реализации алгоритмов». –СПб.: Наука. –2000, 780 с.
С какого-то момента мы стали переписываться, и он прислал мне более десятка оттисков своих работ с автографами, которые входят в приведённый выше перечень. Я бережно хранил их, но, почему-то не выкладывал в Интернет, и при последнем переезде (из НПО «Аврора» в Университет ИТМО) не зафиксировал в памяти, куда их положил...
По указанной причине я уже несколько лет считаю себя в неоплатном долгу перед Геллием Николаевичем, так как некоторые из этих работ даже без его автографов до сих пор в Интернете отсутствуют.
Недавно я нашел дарованный мне автором препринт: Поваров Г.Н. Простой метод записи и проверки формул исчисления предикатов. МИФИ. 1990, 20 с. Страницу с его автографом я выложил в Интернет (https://t.me/ashalyto/302). Потом в архиве одного из основоположников кибернетики Алексея Андреевича Ляпунова я нашел еще один автограф Поварова.
О Геллии Николаевиче мы (Stankovic R., Astola J., Shalyto A., Strukov A.) написали также в двух текстах на английском: Reprints from the Early Days of Information Sciences. Early Work in Switching Theory and Logic Design in USSR. Tampere International Center for Signal Processing. Tampere. 2016 и Early work in Switching Theory and Logic Design of Gavrilov School in former Soviet Union.
Из изложенного следует, что стать классиком никогда не поздно – даже в 27 лет, как это случилось с Поваровым :-)
Об авторе: Анатолий Шалыто - докт. техн. наук, профессор, Университет ИТМО
Помещена в музей с разрешения автора
3 декабря 2022