Закревский Аркадий Дмитриевич

Ученый в области технической кибернетики и информатики. Член-корреспондент НАН Беларуси, создатель Лаборатории логического проектирования Объединенного института проблем информатики. Доктор технических наук, профессор.

Биография Книги

Биография

Аркадий Дмитриевич Закревский родился 22 мая 1928 года в г. Ленинграде в семье служащих. В 1942 г. окончил семь классов средней школы. В 1943 г. он заканчивает ремесленное училище в г. Красноярске, получив специальность радиооператора. В 1943–1951 гг. работал радистом в изыскательских отрядах «Желдорпроекта» в районах Заполярья, Сибири, Монголии (Таймыр, Игарка, Норильск, р. Турухан), а затем в Забайкалье, Чите, Монголии.

В 1948 г. А. Д. Закревский сдает экстерном экзамены и получает Аттестат зрелости (Аттестат о среднем образовании). В 1951 г. поступает на физический факультет Томского государственного университета (далее — ТГУ), а в 1953 г. переходит на только что организованный радиофизический факультет. В 1956 г. с отличием окончил университет по специальности «радиофизика и электроника» с квалификацией «физик-радиоэлектроник». В том же году поступает в аспирантуру к профессору В. Д. Кессениху, ведет преподавательскую работу в университете, подбирает группу студентов-энтузиастов и вместе с ними начинает заниматься новой наукой — кибернетикой.

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

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

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

В 1969 г. ему было присуждено ученое звание профессора.

В 1972 г. А. Д. Закревский был избран членом-корреспондентом Национальной академии наук Беларуси.

А. Д. Закревский предложил матричный аппарат для логического анализа, синтеза и диагностики дискретных устройств на базе программируемых логических матриц. Разработаны методы решения логических уравнений и широкого класса логико-комбинаторных задач дискретной математики. Предложены методы выявления импликативных закономерностей в пространстве конечнозначных признаков, методы дедуктивного и индуктивного вывода.

Результаты его теоретических исследований легли в основу ряда программных комплексов автоматизации решения логико-комбинаторных задач: логического проектирования дискретных управляющих устройств в базисе СБИС; программной и аппаратной реализации параллельных алгоритмов управления и экспертной системы логического распознавания.

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

Автор более 500 научных работ, в том числе 25 монографий.

Председатель подкомиссии по автоматизации синтеза релейных устройств и конечных автоматов при Совете по кибернетике Академии наук СССР (1966 г.).

Академик Международной академии информационных процессов и технологий (1995).

Награжден почетными грамотами Верховного Совета БССР (1978 г., 1988 г.), а также медалями.

Умер 24 февраля 2014 года.