Ведущие

научные

школы

Ведущие научные школы, работающие в институте в настоящее время и получившие признание в Республике Беларусь и за ее пределами

Логическое проектирование


Основатель и лидер научной школы: член-корреспондент НАН Беларуси, доктор технических наук, профессор А.Д. Закревский. Под его руководством в конце 50-х годов в Томском государственном университете возникло новое научное направление – компьютерная дискретная математика. В 1971 г. по приглашению Президента АН БССР А.Д. Закревский с группой сотрудников переехал в г. Минск, возглавив образованную в Институте технической кибернетики АН БССР лабораторию системного программирования и логического синтеза, впоследствии переименованную в лабораторию логического проектирования.
Участники научной школы: доктора наук Г.П. Агибалов , П.Н. Бибило , Е.А. Бутаков , Н.В. Евтушенко , А.Ю. Матросова ,  Ю.Н. Печерский Ю.Н., Л.Д. Черемисинова ,  А. Е. Янковская,  С.Н. Янушкевич, кандидаты наук К.В. Аношин ,  Н.А. Белоусова,  С.В. Быкова,  В.К. Василенок, И.В.Василькова , Е.И. Гольдберг,  А.А. Дудкин,  С.В. Енин,  С.Н. Кардаш,  Н.А. Кириенко,  В.В Кирюхин,  А.Г. Короткевич,  Л.В. Красильникова, И.П. Логинова, Г.К. Лукошко,  Я.А.Новиков,  В.Г. Новоселов ,  В.И. Островский, А.С. Поляков,  Ю.В. Поттосин,  А.А.Прихожий,  В.И. Романов,  В.Ф. Ротко,  А.В. Судницын, Д.М. Терешко ,  В.Ф. Томашев,  Н.Р. Торопов,  А.А. Уткин,  И.Л. Фадеев,  Д.И. Черемисинов,  А.А. Шестаков,  А.А.Шнейдер и др.
Защищено 8 докторских и более 40 кандидатских диссертаций. Опубликовано более 30 монографий. Начиная с 1975 по 2003 гг. ежегодно издавался сборник научных статей. Проведено 5 международных конференций. Разработан язык программирования ЛЯПАС-М и системы программирования на этом языке для всех поколений вычислительной техники, пакеты для решения логико-комбинаторных задач, методы решения логических уравнений, теория синтеза программируемых логических схем, язык ПРАЛУ для представления параллельных алгоритмов логического управления, методы схемной и программной реализации ПРАЛУ-алгоритмов логического управления, системы автоматизации алгоритмического и логического проектирования дискретных управляющих устройств в базисе схем малой, средней и большой степени интеграции и программируемых логических интегральных схем. Разработанные системы и пакеты программ внедрены в проектных организациях и вузах СССР и Республики Беларусь.
Сохранились тесные научные связи с научными коллективами г. Томска, которые продолжают исследования в области логического проектирования. В настоящее время они возглавляются доктор технических наук Г.П.Агибаловым (ТГУ, кафедры защиты информации и криптографии), доктор технических наук А.Ю. Матросовой (ТГУ, кафедры математической логики и программирования), доктор физико-математических наук Н. В. Евтушенко (ТГУ, кафедры информационных технологий в исследовании дискретных структур), доктор технических наук А. Е. Янковской (Инженерно-строительный институт). Поддерживаются связи с другими коллективами, созданными бывшими аспирантами А. Д. Закревского: доктор технических наук Е. А. Бутаковым (Севастопольский приборостроительный институт, Институт биологии южных морей) и доктор технических наук Ю. Н. Печерским (Институт математики Молдавии, лаборатория систем искусственного интеллекта). Успешно развиваются научные связи (решение задач, подготовка совместных публикаций) с другими коллективами с родственной тематикой в России, Украине, Прибалтике, Польше, Германии, США, Португалии.
Основные научные направления:
  • теория булевых функций и конечных предикатов;
  • теория автоматов;
  • логическое распознавание;
  • логико-комбинаторные задачи;
  • алгоритмическое и логическое проектирование дискретных управляющих устройств;
  • разработка систем автоматизации проектирования в микроэлектронике и приборостроении.