Закревский Аркадий Дмитриевич
Закревский.jpg
Дата рождения:

22 мая 1928 г.

Место рождения:

Ленинград

Дата смерти:

24 февраля 2014 г.

Место смерти:

Минск

Научная сфера:

методы и языки программирования

Период работы в Томском университете :

1 сентября 1957 г. – 1971 г.

Место работы в Томском университете:

радиофизический факультет, СФТИ

Учёная степень:

доктор технических наук

Учёное звание:

профессор

Альма-матер:

Томский государственный университет

Научный руководитель:

В.Н. Кессених

Известные ученики:

А.А. Уткин, Ю.Н. Печерский, Н.Р. Торопов, В.И. Каширов, Е.А. Бутаков, В.Г. Новоселов, В.В. Кирюхин, В.И. Островский, Ю.В. Поттосин, Г.П. Агибалов, И.Л. Фадеев, В.Л. Павлов, С.В. Быкова, А.Ю. Матросова, В.А. Воробьев, М.Я. Товштейн, Н.А. Белоусова

ЗАКРЕВСКИЙ Аркадий Дмитриевич (22 мая 1928, Ленинград – 24 февраля 2014, Минск) – профессор кафедры математической логики и программирования Томского государственного университета. Автор языка программирования ЛЯПАС – логический язык для представления алгоритмов синтеза, который был рекомендован СЭВ (Совет экономической взаимопомощи) для распространения как международного логический языка.

Семья

Его отец, Дмитрий Филиппович (1898–1942), родом из г. Речица Минской губернии, инженер-лесопатолог, служил в Наркомлесе. Мать, Анна Андреевна (дев. Маркина, 1905–1988), родилась в Могилевской губернии, работала учительницей, затем бухгалтером в Красноярске.

Был женат на Людмиле Васильевне (дев. Спорышева, 1937–?), выпускнице механико-математического факультета Томского государственного университета. Дети: Нина (родилась в 1960) и Лев (родился в 1968). Лев в настоящее время профессор университета Нью-Джерси (США).

Школьные и студенческие годы

С 1936 г. семья жила в Красноярске, где А.Д. Зкревский в 1942 г. окончил семь классов средней школы. После этого он обучался там же в ремесленном училище № 3, получив специальность радиооператора (1943). В июле того же года был принят радистом в Норильскую экспедицию Желдорпроекта Главного управления железнодорожного строительства НКВД (затем МГБ – МВД) СССР. До 1945 г. находился с экспедицией в низовьях Енисея и Оби.

В 1946–1947 гг. работал в Читинской экспедиции, в Якутской АССР. В 1948–1949 гг. в составе Селенгинской экспедиции участвовал в изысканиях на территории МНР, в 1949–1951 гг. в Северной экспедиции Желдорпроекта в междуречье Обь–Енисей (Салехард–Игарка).

В 1948 г. в Улан-Баторе (Монголия) сдал экстерном экзамены на аттестат зрелости в советской средней школе № 1. В 1951 г. поступил на физический факультет Томского государственного университета (далее ТГУ). После открытия радиофизического факультета продолжил обучение на новом факультете. Его учителями были профессора М.А. Большанина, В.Н. Кессених, доценты Г.А. Бюлер, В.А. Чалдышев, В.А. Жданов и др. На 1-м курсе был старостой группы, на 2-3-м – членом НСО, на 4-м – старостой группы и возглавлял учебный сектор в профкоме университета. Окончил с отличием университет в 1956 г. по специальности «радиофизика и электроника» с квалификацией «физик-радиоэлектроник».

От младшего научного сотрудника до профессора

Аркадий Дмитриевич в 2008 году.jpg

С октября 1956 г. по сентябрь 1959 г. – аспирант. Одновременно с 1 сентября по 31 декабря 1957 г. и с 1 сентября 1958 г. по 31 сентября 1959 г. – младший научный сотрудник Сибирского физико-технического института (СФТИ).

С 1 октября 1959 г. – ассистент кафедры радиофизики, с 1 февраля по 6 апреля 1961 г. – старший научный сотрудник, с 21 августа 1962 г. по 10 ноября 1963 г., с 16 октября 1967 г. по 16 мая 1969 г. – заведующий проблемной лабораторией счетно-решающих устройств. С 6 апреля 1961 г. по 21 августа 1962 г., с 10 ноября 1963 по 16 октябрь 1967 г.– старший научный сотрудник (утвержден ВАК в ученом звании старшего научного сотрудника по специальности «теоретическая кибернетика»), с 16 мая 1969 г. по 1 сентября 1970 г. – заведующий лабораторией физики кристаллизации СФТИ.

По совместительству с 1 ноября 1965 г. по 1 марта 1967 г. – доцент, с 3 сентября 1968 г. по 1 сентября 1970 г. – профессор кафедры электронной вычислительной техники и автоматики (ЭВТиА) радиофизического факультета (утвержден ВАК в ученом звании профессора 3 сентября 1969). С 1 сентября 1970 г. по 22 ноября 1971 г. – заведующий кафедрой математической логики и программирования факультета прикладной математики.

После отъезда из Томска (1971) А.Д. Закревский – заведующий лабораторией Института технической кибернетики АН БССР (ныне – Национальная академия наук Беларуси), главный научный сотрудник. По совместительству – профессор Белорусского университета и Минского радиотехнического института (ныне Белорусский государственный университет информатики и радиоэлектроники).

Преподавательская деятельность

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

Научно-исследовательская деятельность

Основным направлением научных исследований А.Д. Закревского в период работы в ТГУ были теория дискретных автоматических устройств, разработка алгоритмов их синтеза, развитие соответствующей системы математического обеспечения ЭВМ, методы решения логических задач более широкого класса.

Еще студентом А.Д. Закревский принимал активное участие в научно-исследовательской работе, на 5-м курсе был старостой кружка «Быстродействующие электронные машины». Он заинтересовался проблемой проектирования цифровых вычислительных машин.

Тогда, в середине 50-х гг., в СССР появились первые ЭВМ и возникла необходимость в создании математической теории таких машин, в разработке математических методов анализа и синтеза их устройств. А.Д. Закревский занялся дискретной (конечной) математикой, ставшей математическим аппаратом не только для ЭВМ, но и для более широкого класса цифровых систем, называемых в кибернетике управляющими. Дипломную работу написал на тему «Электронный цифровой коррелятор» (научный руководитель Ф.П. Тарасенко).

Встреча А.Д. Закревского с коллегами на 125-летие ТГУ

Его первые статьи были посвящены алгебре логики и теории автоматов. Полученные им результаты по минимизации булевых функций и конечных автоматов легли в основу диссертации «Матричный метод синтеза релейных схем» (научный руководитель профессор В.Н. Кессених) на соискание ученой степени кандидата физико-математических наук, которую он защитил 19 октября 1960 г. в совете ТПИ.

Объединив вокруг себя группу талантливых учеников, выпускников радиофизического и механико-математического факультетов ТГУ (А.А. Уткин, Ю.Н. Печерский, Н.Р. Торопов, В.И. Каширов, Е.А. Бутаков, В.Г. Новоселов, В.В. Кирюхин, В.И. Островский, Ю.В. Поттосин, Г.П. Агибалов, И.Л. Фадеев, В.Л. Павлов, позже присоединились С.В. Быкова, А.Ю. Матросова, В.А. Воробьев, М.Я. Товштейн и Н.А. Белоусова), он в начале 60-х гг. сформировал коллектив, занявшейся разработкой методов автоматического синтеза дискретных автоматов, т.е. созданием специализированного математического обеспечения ЭВМ, средствами которого вычислительная машина могла бы синтезировать различные цифровые управляющие системы, в том числе и другие ЭВМ.

Уже в 1962 г. группой, возглавляемой А.Д. Закревским, был создан алгоритмический языка ЛЯПАС – логический язык для представления алгоритмов синтеза. В 1964 г. была создана основанная на этом языке система автоматического программирования логических задач. По инициативе А.Д. Закревского и члена-корреспондента АН СССР М.А. Гаврилова в Томске (1964) состоялся I Всесоюзный коллоквиум по языкам конечных автоматов, а язык ЛЯПАС получил признание научной общественности.

В 1966 г. в издательстве «Наука» (Москва) был издан коллективный труд дискретной группы «Логический язык для представления алгоритмов синтеза релейных устройств». Коллектив авторов во главе с А.Д. Закревским был удостоен премии ТГУ за работу «Логический язык для представления алгоритмов синтеза релейных устройств» (1967). В 1969 г. эта книга была переведена на английский язык и напечатана американским издательством «Академик-Пресс».

В 1967 г. в Институте автоматики и телемеханики (Москва) А.Д. Закревский защитил диссертацию «Алгоритмический язык ЛЯПАС и автоматизация синтеза дискретных автоматов» на соискание ученой степени доктора технических наук (утверждено ВАК 23 декабря 1967).

Серия трансляторов с языка ЛЯПАС на различные машины была разработана в Чехословакии, ГДР, Польше, Югославии, в 1973 г. в США был создан интерпретатор с этого языка для ЭВМ системы ИБМ-360. В последующие годы были разработаны более совершенные системы ЛЯПАС – ЛЯПАС-71 и ЛЯПАС-М, а также целый ряд систем автоматического синтеза дискретных автоматов для проектных и научно-исследовательских организаций Москвы, Ленинграда, Омска, Миасса, Новосибирска, Воронежа, Казани и др. На базе ЛЯПАС-71 была создана программирующая система для ЭВМ 2-го поколения, предвосхитившая в себе многие идеи, реализованные за рубежом лишь в машинах 3-го поколения. СЭВ рекомендовал ЛЯПАС для распространения как международного логический языка.

С начала 1970-х гг. основные направления проводимых А.Д. Закревским исследований: логическая теория дискретных устройств, автоматизация программирования логических задач, методы логического проектирования, логические основы интеллектуальных систем. Основные результаты: язык и система программирования логико-комбинаторных задач ЛЯПАС, методы минимизации частичных булевых функций многих переменных, применение кода Хэмминга к синтезу надежных логических схем, методы решения логических уравнений, аппарат матричных логических уравнений и синтез ПЛМ, методы проектирования систем логического управления параллельными процессами, обобщение результатов теории булевых функций на конечные предикты, методы индуктивного и дедуктивного вывода в приложении к распознаванию образов, оптимизация полиноминальных представлений систем частичных булевых функций.

Им опубликовано свыше 350 работ. А.Д. Закревский участвовал в работе международных научных конференций и форумов в Польше, Германии, Англии, Канаде, Бельгии, Чехословакии, Словении, Греции, Болгарии, Индии, Финляндии, Португалии и др. Читал лекции по логическому подходу к распознаванию образов в Германии (Шмалькальден, Высшая техническая школа). Председатель подкомиссии по автоматизации синтеза релейных устройств и конечных автоматов при Совете по кибернетике АН СССР (1966). Награжден почетной грамотой Верховного Совета БССР (1978, 1988). Владеет английским, немецким, польским и белорусским языками Увлекался горным туризмом. Член-корреспондент Национальной академии наук Беларуси (1972) и академик Международной академии информационных процессов и технологий (1995).

Увековечение памяти

Портрет А.Д. Закревского в 2018 г. был размещен в портретной галерее «Профессора Томского университета».

Труды

  • Логический язык для представления алгоритмов синтеза релейных устройств. М., 1966;
  • Алгоритмический язык ЛЯПАС и автоматизация синтеза дискретных автоматов. Томск, 1966;
  • LYaPAS: A programming language for logic and coding algorithms. Ed. by M.A. Gavrilov, A.D. Zakrevskii. N.Y. and L., 1969;
  • Алгоритмы синтеза дискретных автоматов. Москва, 1971;
  • Совместно с А.Е. Янковской, Л.И. Балаклей, Н.А. Елисеевой, А.М. Орановым и др. Синтез асинхронных автоматов на ЭВМ. Минск, 1975;
  • Логические уравнения. Минск, 1975;
  • Совместно с Н.Р. Тороповым. Система программирования ЛЯПАС-М. Минск, 1978;
  • Логический синтез каскадных схем. Москва, 1981;
  • Boolesche Gleichungen. Theorie, Anwendungen, Algorithmen. Hgb. von D. Bochmann, A. D. Zakrevskij, Ch. Pocthoff. Berlin, 1984;
  • Логика распознавания. Минск, 1988;
  • Параллельные алгоритмы логического управления. Минск, 1999.

Источники и литература