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