| ЗАКРЕВСКИЙ, Аркадий Дмитриевич | |
| Дата рождения: | |
|---|---|
| Место рождения: |
Ленинград |
ЗАКРЕВСКИЙ Аркадий Дмитриевич (родился 22 мая 1928, Ленинград) – профессор кафедры математической логики и программирования.
Его отец, Дмитрий Филиппович (1898-1942), родом из г. Речица Минской губ., инженер-лесопатолог, служил в Наркомлесе. Мать, Анна Андреевна (дев. Маркина, 1905-1988), родилась в Могилевской губ., работала учительницей, затем бухгалтером в Красноярске. С 1936 семья жила в Красноярске, где З. в 1942 окончил семь классов средней школы. После этого он обучался там же в ремесленном училище № 3, получив специальность радиооператора (1943). В июле того же года был принят радистом в Норильскую экспедицию Желдорпроекта Гл. упр. ж.-д. строительства НКВД (затем МГБ - МВД) СССР. До 1945 находился с экспедицией в низовьях Енисея и Оби. В 1946-1947 работал в Читинской экспедиции, в Якутской АССР. В 1948-1949 в составе Селенгинской экспедиции участвовал в изысканиях на территории МНР, в 1949-1951 в Сев. экспедиции Желдорпроекта в междуречье Обь - Енисей (Салехард - Игарка). В 1948 в Улан-Баторе (Монголия) сдал экстерном экзамены на аттестат зрелости в сов. средней школе № 1. В 1951 поступил на физ. ф-т ТГУ. После открытия радиофиз. ф-та продолжил обучение на новом ф-те. Его учителями были профессора М.А. Большанина, В.Н. Кессених, доценты Г.А. Бюлер, В.А. Чалдышев, В.А. Жданов и др. На 1-м курсе был старостой группы, на 2 - 3-м - членом НСО, на 4-м – старостой группы и возглавлял учеб. сектор в профкоме ун-та. Окончил с отличием ун-т в 1956 по специальности «радиофизика и электроника» с квалификацией «физик-радиоэлектроник». С окт. 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 - зав. каф. мат. логики и программирования ф-та прикладной математики. В ТГУ читал общие и спец. курсы - теория релейных схем, методы синтеза цифровых вычисл. машин, основы программирования, логические основы электронной вычисл. техники, мат. логика, программирование логических задач, теория вероятностей, теория графов. Основным направлением науч. исследований З. в период работы в ТГУ были теория дискретных автоматических устройств, разработка алгоритмов их синтеза, развитие соответствующей системы мат. обеспечения ЭВМ, методы решения логических задач более широкого класса. Еще студентом З. принимал активное участие в науч.-исслед. работе, на 5-м курсе был старостой кружка «Быстродействующие электронные машины». Он заинтересовался проблемой проектирования цифровых вычисл. машин. Тогда, в сер. 50-х гг., в СССР появились первые ЭВМ и возникла необходимость в создании мат. теории таких машин, в разработке мат. методов анализа и синтеза их устройств. З. занялся дискретной (конечной) математикой, ставшей мат. аппаратом не только для ЭВМ, но и для более широкого класса цифровых систем, называемых в кибернетике управляющими. Дипломную работу написал на тему «Электронный цифровой коррелятор» (науч. руководитель Ф.П. Тарасенко). Его первые ст. были посвящ. алгебре логики и теории автоматов. Полученные им результаты по минимизации булевых функций и конечных автоматов легли в основу дис. «Матричный метод синтеза релейных схем» (науч. руководитель проф. В.Н. Кессених) на соиск. учен. ст. канд. физ.-мат. наук, которую он защитил 19 окт. 1960 в совете ТПИ. Объединив вокруг себя группу талантливых учеников, выпускников радиофиз. и мех.-мат. ф-тов ТГУ (А.А. Уткин, Ю.Н. Печерский, Н.Р. Торопов, В.И. Каширов, Е.А. Бутаков, В.Г. Новоселов, В.В. Кирюхин, В.И. Островский, Ю.В. Поттосин, Г.П. Агибалов, И.Л. Фадеев, В.Л. Павлов, позже присоединились С.В. Быкова, А.Ю. Матросова, В.А. Воробьев, М.Я. Товштейн и Н.А. Белоусова), он в начале 60-х гг. сформировал коллектив, занявшейся разработкой методов автоматического синтеза дискретных автоматов, т.е. созданием специализированного мат. обеспечения ЭВМ, средствами которого вычисл. машина могла бы синтезировать различные цифровые управляющие системы, в том числе и другие ЭВМ. Уже в 1962 группой, возглавляемой З., был создан алгоритмический яз. ЛЯПАС – логический яз. для представления алгоритмов синтеза. В 1964 была создана основанная на этом яз. система автоматического программирования логических задач. По инициативе З. и чл.-корр. АН СССР М.А. Гаврилова в Томске (1964) состоялся I Всесоюзн. коллоквиум по яз. конечных автоматов, а яз. ЛЯПАС получил признание науч. общественности. В 1966 в изд-ве «Наука» (Москва) был издан коллективный тр. дискретной группы «Логический яз. для представления алгоритмов синтеза релейных устройств». Коллектив авторов во главе с З. был удостоен преми ТГУ за работу «Логический яз. для представления алгоритмов синтеза релейных устройств» (1967). В 1969 эта книга была переведена на англ. яз. и напечатана амер. изд-вом «Академик-Пресс». В 1967 в Ин-те автоматики и телемеханики (Москва) З. защитил дис. «Алгоритмический язык ЛЯПАС и автоматизация синтеза дискретных автоматов» на соиск. учен. ст. д-ра техн. наук (утв. ВАК 23 дек. 1967). Серия трансляторов с яз. ЛЯПАС на различные машины была разработана в Чехословакии, ГДР, Польше, Югославии, в 1973 в США был создан интерпретатор с этого яз. для ЭВМ системы ИБМ-360. В последующие годы были разработаны более совершенные системы ЛЯПАС – ЛЯПАС-71 и ЛЯПАС-М, а также целый ряд систем автоматического синтеза дискретных автоматов для проектных и науч.-исслед. организаций Москвы, Ленинграда, Омска, Миасса, Новосибирска, Воронежа, Казани и др. На базе ЛЯПАС-71 была создана программирующая система для ЭВМ 2-го поколения, предвосхитившая в себе многие идеи, реализованные за рубежом лишь в машинах 3-го поколения. СЭВ рекомендовал ЛЯПАС для распространения как междунар. логический яз. После отъезда из Томска (1971) З. – зав. лаб. Ин-та техн. кибернетики АН БССР (ныне – Нац. академия наук Беларуси), гл. науч. сотр. По совместительству – проф. Белорусского ун-та и Минского радиотехн. ин-та (ныне Белорусский гос. ун-т информатики и радиоэлектроники). Основные направления проводимых З. исследований: логическая теория дискретных устройств, автоматизация программирования логических задач, методы логического проектирования, логические основы интеллектуальных систем. Основные результаты: язык и система программирования логико-комбинаторных задач ЛЯПАС, методы минимизации частичных булевых функций многих переменных, применение кода Хэмминга к синтезу надежных логических схем, методы решения логических уравнений, аппарат матричных логических уравнений и синтез ПЛМ, методы проектирования систем логического управления параллельными процессами, обобщение результатов теории булевых функций на конечные предикты, методы индуктивного и дедуктивного вывода в приложении к распознаванию образов, оптимизация полиноминальных представлений систем частичных булевых функций. Им опубликовано свыше 350 работ. З. участвовал в работе междунар. науч. конф. и форумов в Польше, Германии, Англии, Канаде, Бельгии, Чехословакии, Словении, Греции, Болгарии, Индии, Финляндии, Португалии и др. Читал лекции по логическому подходу к распознаванию образов в Германии (Шмалькальден, Высшая техн. школа). Председатель подкомиссии по автоматизации синтеза релейных устройств и конечных автоматов при Совете по кибернетике АН СССР (1966). Награжден почетной грамотой Верховного Совета БССР (1978, 1988). Владеет англ., нем., пол. и белорус. яз. Увлекался горным туризмом. Чл.-корр. Нац. академии наук Беларуси (1972) и акад. Междунар. академии информационных процессов и технологий (1995). Женат на Людмиле Васильевне (дев. Спорышева, р. 1937), выпускнице мех.-мат. ф-та ТГУ. Дети: Нина (р. 1960) и Лев (р. 1968). Лев в настоящее время профессор ун-та Нью-Джерси (США).
