Все  А   Б   В   Г   Д   Е   З   К   Л   М   Н   П   Р   С   Т   Ц   Ч   Ш   Я  

Закревский Аркадий Дмитриевич (22.5.1928, Ленинград) – ученый в области технической кибернетики и информатики.
  • Доктор технических наук (1967, тема диссертации «Алгоритмический язык ЛЯПАС и автоматизация синтеза дискретных автоматов», защита в Институте автоматики и телемеханики АН СССР, Москва; кандидат физико-математических наук с 1960)
  • Профессор (1969, кафедра «Электронная вычислительная техника и автоматика»; старший научный сотрудник - 1967)
  • Член-корреспондент НАН Беларуси (1972)
  • Академик Международной академии информатизации, информационных процессов и технологий (1995)

Сдал экстерном экзамены на аттестат зрелости в Улан-Баторе (1949). Окончил радиофизический факультет Томского государственного ун-та (ТГУ) с отличием (1956); аспирантуру ТГУ (1959). После смерти отца (1942) учился в Красноярском ремесленном училище связи. В 1943-51 работал радистом в изыскательских отрядах «Желдорпроекта» в районах Заполярья, Сибири, Монголии. С 1959 ассистент, ст. науч. сотр., зав. лабораторией счетно-решающих устройств, профессор, зав. кафедрой математической логики и программирования в ТГУ. С 1971 в ИТК АН БССР. Организовал и возглавил лабораторию системного программирования и логического синтеза (с 1988 - логического проектирования), с 1994 гл. науч. сотр. этой же лаборатории.

С 1956 проводил исследования в области технических приложений логики в ТГУ и Сибирском физико-техническом институте, руководил установкой в ТГУ первой в Сибири ЭВМ «Урал-1» (1958), заложил основы компьютерной дискретной математики, разработал технологию статистического исследования алгоритмов в эксперименте на ЭВМ. С 1971 эти исследования продолжил в Беларуси.
Область научных интересов: логические методы в приложении к технике, логическая теория дискретных устройств, автоматизация алгоритмического и логического проектирования, распознавание образов, логический вывод, защита информации, решение логических уравнений и др. комбинаторных задач.
Результаты выполненных исследований отражены более чем в 430 публикациях, в т.ч. 12 монографиях, получивших широкую известность. Две изданы за рубежом – в США и Германии. Один из авторов книги “Наука Беларуси в ХХ столетии” (2001). К основным достижениям относятся:

  • применение помехоустойчивого кода Хэмминга к синтезу надежных логических схем
  • визуально-матричный метод минимизации булевых функций
  • язык и система программирования ЛЯПАС, эффективная для логико-комбинаторных задач и нашедшая широкое применение в ряде организаций страны, а также в Чехословакии, Польше, ГДР, Югославии, ФРГ, США
  • ряд систем автоматизированного логического проектирования, внедренных в производство (в ЦКБ “Алмаз” (г. Москва), НИИ ЭВМ, НПО “Интеграл” и др.)
  • аппарат матричных логических уравнений для решения задач анализа, синтеза и диагностики неисправностей программируемых логических матриц
  • язык ПРАЛУ для описания параллельных алгоритмов логического управления и основанная на нем технология алгоритмического проектирования
  • обобщение методов теории булевых функций на конечные предикаты
  • методы индуктивного и дедуктивного вывода в приложении к распознаванию образов в пространстве бинарных и многозначных признаков
  • эффективные методы реализации слабоопределенных булевых функций полиномами Жегалкина и Рида-Маллера
  • понятие параллельного автомата и основанный на нем метод синтеза устройств логического управления
  • редукционные методы решения больших систем логических уравнений
  • методы нахождения кратчайших решений неопределенных и несовместных систем линейных логических уравнений

Научный редактор серии сборников трудов по методам и алгоритмам решения комбинаторных задач логического проектирования, материалов по мат. обеспечению ЭВМ, материалов научно-технических конференций (1975-1995, более 30), ежегодных сборников трудов «Логическое проектирование» (1996-2001) и «Методы логического проектирования» (2002-2003).
А.Д.Закревский читал курсы лекций по дискретной математике, программированию, методам логического проектирования и др. - в ТГУ, БГУ и БГУИР. Создал научную школу, подготовив 34 кандидата физико-математических и технических наук, 7 из них стали докторами наук и возглавили научно-педагогические коллективы в Минске, Томске, Севастополе, Кишиневе.

Награжден медалями, двумя Почетными грамотами Верховного Совета БССР (1978, 1988). Активно участвует в международных научных конференциях и семинарах. Член редколлегий научных журналов («Управляющие системы и машины», International Journal «Information Theories & Applications», «Информатика»). Сотрудничает с учеными России, Украины, Молдовы, Прибалтики, Польши, Болгарии, США, Германии, Португалии.

Член ряда Советов по защите диссертаций: ОИПИ, БГУ, Институт электроники Латвийской АН (1980-90). Участник важнейших научно-организационных мероприятий и событий в Институте и Академии наук Беларуси, связанных с развитием, направлениями и повышением результативности научных исследований. Председатель подкомиссии по автоматизации логического проектирования при совете по кибернетике Президиума АН СССР (1970-90). Один из разработчиков и исполнителей ГНТП, целевых и комплексных программ по созданию систем автоматизированного проектирования в электронном машиностроении.

Труды:
  • Алгоритмический язык ЛЯПАС и автоматизация синтеза дискретных автоматов. Томск,1966
  • LYaPAS: A programming language for logic and coding algorithms. Academic Press, N.-Y., L., 1969 (with M. A. Gavrilov)
  • Алгоритмы синтеза дискретных автоматов. М.,1971
  • Логический синтез каскадных схем. М.,1981; Логические уравнения. Мн.,1975, М.,2003
  • Синтез асинхронных автоматов на ЭВМ. Мн.,1975 (в соавторстве)
  • Система программирования ЛЯПАС-М. Мн.;1978 (с Н.Р. Тороповым)
  • Boolesche Gleichungen: Theorie, Anwendung, Algorithmen. VEB Verlag Technik, Berlin,1984 (mit D. Bochmann und Ch. Posthoff)
  • Логика распознавания. Мн.,1988, М.,2003 (дополненное издание)
  • Параллельные алгоритмы логического управления. Мн.,1999, М.,2003
  • Полиномиальная реализация частичных булевых функций и систем. Мн.,2001, М.,2003 (с Н.Р. Тороповым)

Возврат к списку