Bel  ·  Eng  ·  Rus   |    Только текст  |   НАНБ в Facebook НАНБ в Vkontakte НАНБ в Telegram НАНБ в Twitter НАНБ в Instagram НАНБ в Youtube НАНБ в LinkedIn НАНБ в SlideShare rss-лента новостей Написать письмо 
   
НАН Беларуси on-line



Год науки - 2017
Официальный интернет-портал Президента Республики Беларусь
Официальный интернет-сайт Совета Министров Республики Беларусь
Перечень административных процедур, выполняемых НАН Беларуси и ее организациями
Национальный правовой Интернет-портал Республики Беларусь
Академия управления при Президенте Республики Беларусь
Интернет-портал Молодёжь Беларуси
Газета Навука
Республиканский Центр Трансфера Технологий

Члены-корреспонденты

Главная страница / Члены академии / Члены-корреспонденты

Закревский А.Д.

Член-корреспондент ЗАКРЕВСКИЙ Аркадий Дмитриевич

Аркадий Дмитриевич Закревский (р. 22.05.1928, г. Ленинград, Россия), ученый в области технической кибернетики и информатики. Член-корреспондент Национальной академии наук Беларуси (1972), доктор технических наук (1967), профессор (1969).

Окончил Томский университет (1956). В 1959-1971 гг. ассистент, старший научный сотрудник, заведующий лабораторией Сибирского физико-технического института, профессор, заведующий кафедрой Томского государственного университета. В 1971-1994 гг. заведующий лабораторией, с 1994 г. главный научный сотрудник Объединенного института проблем информатики Национальной академии наук Беларуси. Одновременно в 1971-1988 гг. профессор Белорусского государственного университета, в 1988-1999 гг. профессор Белорусского государственного университета информатики и радиоэлектроники.

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

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

Награжден медалями.

Основные труды:
1. LYaPAS: A programming language for logic and coding algorithms. N.-Y.; L.: Academic Press, 1969 (with M.A.Gavrilov).
2. Алгоритмы синтеза дискретных автоматов. М.: Наука, 1971.
3. Логические уравнения. Мн., 1975; 2 изд. М.: Едиториал УРСС, 2003.
4. Логический синтез каскадных схем. М.: Наука, 1981.
5. Boolesche Gleichungen: Theorie, Anwendung, Algorithmen. Berlin: VEB Verlag Technik, 1984 (mit D.Bochmann, Ch.Posthoff).
6. Логика распознавания. Мн., 1988; 2 изд. М.: Едиториал УРСС, 2003.
7. Параллельные алгоритмы логического управления. Мн., 1999; 2 изд. М.: Едиториал УРСС, 2003.
8. Полиномиальная реализация частичных булевых функций и систем. Мн., 2001 (совм. с Н.Р.Тороповым).
9. Основы логического проектирования: В 3 кн. (совм. с Ю.В. Потлосиным, Л.Д. Черемисиновой). Мн.: ОИПИ НАН Беларуси, 2004-2006.
10. Логические основы проектирования дискретных устройств. М.: Физматлит, 2007 (с ними же).
11. Design of logical control devices. TUT Press, 2009 (with Yu. Pottosin, L. Cheremisinova).

Литература:
1. Аркадий Дмитриевич Закревский (К 70-летию со дня рождения) // Изв. НАН Беларуси. Сер. физ.-техн. наук. 1998, №1.
2. Профессора Томского университета. Т.3. Томск, 2001.
3. Биобиблиография ученых Беларуси: Член-корреспондент Аркадий Дмитриевич Закревский. Мн.: ОИПИ НАН Беларуси, 2008.

Главная страница / Члены академии / Члены-корреспонденты / К началу страницы