Классик
Геллий Николаевич Поваров (1928-2004) (https://ru.wikipedia.org/wiki/Поваров,_Геллий_Николаевич) – классик в теории синтеза переключательных схем, которые так или иначе лежат в основе вычислительной техники.
Он в 1950 г. с отличием закончил мехмат МГУ. Поваров работал в Институте автоматики и телемеханики (http://www.mathnet.ru/links/310a137b78010d756eb0860877f80d09/at11669.pdf), где в 1954 г. защитил кандидатскую диссертацию. С 1965 г. и до конца своих дней Гелий Николаевич работал в Московском инженерно-физическом институте (МИФИ). С 1994 г. он профессор кафедры «Кибернетика». Владел несколькими иностранными языками.
Под его редакцией на русском языке в 1958 и 1968 гг. вышли два издания классической книги Н. Винера «Кибернетика, или управление и связь в животном и машине». Поваров опубликовал монографию «Ампер и кибернетика». Он входил в редколлегию авторитетного сборника «Логические исследования» (https://istina.msu.ru/workers/19737393/, https://www.mat.univie.ac.at/~neretin/esenin/primenenie.pdf). Геллий Николаевич опубликовал в журнале «Автоматика и телемеханика» 1954. № 6, с. 567-569 (http://www.mathnet.ru/links/c757db6911660771bae4c983dad9e193/at13395.pdf) рецензию на книгу «Синтез электронных вычислительных и управляющих схем», которая во многом определила развитие логического синтеза в мире.
«В работах Г.Н. Поварова идеи Клода Эльвуда Шеннона ( https://ru.wikipedia.org/wiki/Шеннон,_Клод) и Виктора Ивановича Шестакова (https://ru.wikipedia.org/wiki/Шестаков,_Виктор_Иванович, https://iphras.ru/uplfile/logic/log14/BiryukovVerstinLevin.pdf) были развиты применительно к задачам синтеза релейно-контактных схем. Его публикации начала 50-х годов создали фундамент для возникновения школы синтеза переключательных схем. В частности, метод, называемый сегодня «методом каскадов Поварова» (http://www.mathnet.ru/links/502cdd0f0fed0e4652fa1ddaf8d27de3/rm9459.pdf, https://computer-museum.ru/articles/tekhnologii-programmirovaniya/2433/), послужил Вадиму Николаевичу Рогинскому основанием при разработке «графического метода» синтеза релейно-контактных схем. На основе этого метода группой, возглавляемой Владимиром Георгиевичем Лазаревым, впервые в мире была создана машина для синтеза релейно-контактных схем. Эта машина успешно демонстрировалась на Всемирной выставке в Брюсселе в 1958 г. и получила Гран-при» (http://www.computer-museum.ru/articles/galglory_ru/1042/). Она в настоящее время находится в Политехническом музее.
Приведу перечень научных работ Поварова, опубликованных «на виду»:
1. Поваров Г.Н. К изучению контактных схем упорядоченного типа // Проблемы передачи информации. 1954. № 4.
2. Поваров Г.Н. Матричные методы анализа релейно-контактных схем по
условиям несрабатывания // Автоматика и телемеханика. 1954. № 4, с. 332-335 (http://www.mathnet.ru/links/00f5110b92b951ab04b58cc995455eb3/at13515.pdf).
3. Поваров Г.Н. О функциональной разделимости булевых функций // Доклады АН СССР. 1954. № 5, с. 801-803.
4. Поваров Г.Н. О синтезе контактных многополюсников // Доклады АН СССР. 1954. № 6, с. 1075-1078.
5. Поваров Г.Н. Исследование контактных схем с минимальным числом контактов. Диссертация на соискание ученой степени кандидата технических наук. М.: Институт автоматики и телемеханики АН СССР, 1954.
6. Поваров Г.Н. К изучению симметрических булевых функций с точки зрения теории релейно- контактных схем // Доклады АН СССР. 1955. № 2, с. 183-185.
7. Поваров Г.Н. О методике анализа симметрических контактных схем // Автоматика и телемеханика. 1955. № 4, с. 364-366.
(http://www.mathnet.ru/links/475aa074fa739490421ef02dd64ad638/at13423.pdf).
8. Поваров Г.Н. Список отечественной литературы по теории релейно-контактных схем за 1950-1954 гг. // Автоматика и телемеханика. 1955, № 4, с. 411, 412 (http://www.mathnet.ru/links/07ae81cc21241da89a47bd50bb867aa2/at13432.pdf).
9. Поваров Г. Н. Список иностранной и переводной литературы по теории релейно-контактных схем за 1950–1954 гг. // Автоматика и телемеханика. Т. 16. 1955, № 4, с. 412-420 (http://www.mathnet.ru/links/3cfcea426980c75e910149867b9623ce/at13433.pdf).
10. Поваров Г.Н. Математическая теория синтеза контактных (1, k)-полюсников // Доклады АН СССР. 1955. № 5, с. 909-912.
11. Поваров Г.Н. О матричном анализе связей в частично ориентированных графах // Успехи математических наук. 1956. № 5 (71), с. 195-202 (http://www.mathnet.ru/links/8c047971e66d038ce2e7b5d3723e0938/rm7905.pdf).
12. Поваров Г. Н. Метод синтеза вычислительных и управляющих контактных схем // Автоматика и телемеханика. 1957, № 2, с. 145-162 (http://www.mathnet.ru/links/70cf904d3261e91adbc893e6e4a99440/at13107.pdf).
13. Поваров Г.Н. К изучению контактных схем упорядоченного типа // Проблемы передачи информации. 1959. Вып. 4.
14. Поваров Г.Н. Логика и автоматизация / Логические исследования. Изд-во АН СССР. 1959, с. 300-314.
15. Поваров Г.Н. Математико-логическое исследование синтеза контактных схем с одним входом и k выходами / Логические исследования. Изд-во АН СССР. 1959, с. 379-405.
16. Поваров Г.Н. О логическом синтезе вычислительных и управляющих электронных схем / Логические исследования. Изд-во АН СССР. 1959.
17. Поваров Г.Н. О групповой инвариантности булевых функций / Применение логики в науке и технике. Изд-во АН СССР. 1960, с. 263-340 (https://www.mat.univie.ac.at/~neretin/esenin/primenenie.pdf).
18. Поваров Г.Н. Качественный анализ электрических схем с конечными проводимостями при помощи теории кумулятивных сетей // Доклады АН СССР. 1961. № 2, с. 308-310 (http://www.mathnet.ru/links/3b4bfd25a7e589c36e1b8df82a584d99/dan24505.pdf).
19. Поваров Г.Н. О булевых сравнениях. / Известия АН СССР. Техническая кибернетика, 1973. № 5.
20. Поваров Г.Н. Представление булевых функций в различных базисах и синтез логических сетей. / Управление в распределенных интегральных сетях. М.: Наука, 1991.
Для меня Геллий Николаевич уникален тем, что до защиты кандидатской диссертации (доктором наук он, к сожалению, не стал, но зато стал классиком) без соавторов опубликовал несколько статей в журнале «Доклады Академии наук» (https://news.itmo.ru/ru/blog/306/). Важная особенность этого журнала состоит в том, что в нем без представления действительного члена Академии, фамилия которого указывается в статье, нельзя быть опубликованным. Тогда за рубежом наши практически не публиковались, и поэтому статьи в этом журнале были высшим уровнем публикаций советских ученых. Он там публиковался и после защиты диссертации…
На одну из работ Поварова я сослался в книге «Настраиваемые модули для управляющих логических устройств» (http://is.ifmo.ru/books/nastr_mod/), опубликованной еще в 1981 г. Потом часто на него ссылался, в том числе и в книге «Логическое управление. Методы аппаратной и программной реализации алгоритмов». СПб.: Наука. 2000, 780 с. (http://is.ifmo.ru/books/log_upr/1).
С какого-то момента мы стали переписываться, и он прислал мне более десятка оттисков своих работ с автографами, которые входят в приведенный выше перечень. Я бережно хранил их, но, почему-то не выкладывал в Интернет, и при последнем переезде (из НПО «Аврора» в Университет ИТМО) не зафиксировал в памяти, куда их положил...
По указанной причине я уже несколько лет считаю себя в неоплатном долгу перед Геллием Николаевичем, так как некоторые из этих работ даже без его автографов до сих пор в Интернете отсутствуют.
Недавно я нашел дарованный мне автором препринт: Поваров Г.Н. Простой метод записи и проверки формул исчисления предикатов. МИФИ. 1990, 20 с. Страницу с автографом я выложил в Интернет для того, чтобы сохранить хотя бы его (https://vk.com/club217144299?z=photo-217144299_457239018%2Falbum-217144299_288246174, https://t.me/ashalyto/302). Потом в архиве одного из основоположников кибернетики Алексея Андреевича Ляпунова (https://ru.wikipedia.org/wiki/Ляпунов,_Алексей_Андреевич) я нашел еще один автограф Поварова (http://lyapunov.vixpo.nsu.ru/?el=1163&int=VIEW&templ=VIEW_TYPE/).
О Геллии Николаевиче мы (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 (http://www.computer-museum.ru/books/ticsp-report-66.pdf) и Early work in Switching Theory and Logic Design of Gavrilov School in former Soviet Union (http://www.computer-museum.ru/english/galglory_en/Gavrilov_school_new.pdf).
Из изложенного следует, что стать классиком никогда не поздно – даже в 27 лет, как это случилось с Поваровым :-).
Но и классик не может нравиться всем студентам (http://www.mephist.ru/prepod/Поваров_Геллий_Николаевич), правда, классик не рубль, чтобы всем нравиться. Вот несколько высказываний о его лекциях: 1. Поваров Г.Н. – преподаватель кафедры 22. На лекциях полный мрак, можно спать, только он в микрофон громко говорит. Лекция занимает дай бог лист формата А4. Постоянно отвлекается, любит грузить иностранными языками. С каждым годом лекции все хуже, так что берите их у старших курсов, а то не сдадите экзамен. Если ему сдавать, то это как повезет. Может просто экзамен поставить, а может долго мучать, причем может пообещать одно, а сделает все по-другому» (Natalya); 2. «Геллий Николаевич Поваров – это живая история советской кибернетики. На лекции категорически ходить. Внимать раскрыв рот. Потом будет что рассказать детям. Жалею, что частенько вместо его лекций бегал практиковаться на Турбо Паскале. Ну и где теперь этот Турбо Паскаль?» (Малаков, окончил МИФИ в 1995 г.) 3. «Замечательный человек. Можно сказать: человек-легенда. Геллий Николаевич в кибернетике такая же величина, как Максвелл в физике или Лобачевский в математике. Это без преувеличения. Человек, чьим именем названы разделы науки. Очень было стыдно за тех придурков, которые срывали его лекции. Просто жаль, что многие этого не понимают» (Alan).
12.11.2021. Этот текст без последнего абзаца опубликован здесь: https://news.itmo.ru/ru/blog/334/, https://www.computer-museum.ru/articles/galglory/5510/