Люлькин Аркадий Ефимович

Доцент, кандидат технических наук

Дата рождения: 26 октября 1951
Место рождения: пос. Копцевичи, Петриковский р-н, Гомельская обл.

Среднюю школу закончил в 1968 году с золотой медалью. Трудовую деятельность начал в должности математика-программиста Вычислительного центра БГУ после окончания с отличием факультета прикладной математики и информатики БГУ в 1973 году. В 1977 году избран по конкурсу на должность старшего научного сотрудника Вычислительного центра. С 1988 года старший научный сотрудник НИЛ математического моделирования в электронике факультета прикладной математики и информатики. В 1989 присуждена ученая степень кандидата технических наук (защитил диссертацию в Каунасском политехническом университете). В 1990 присвоено ученое звание старшего научного сотрудника, в 2007 – ученое звание доцента.

Преподаваемые дисциплины

Методы программирования и информатика — для студентов 2-го курса (лекции, лабораторные занятия), УМК
ДС Технология решения логико-комбинаторных задач на ЭВМ
ДС Логическое программирование и искусственный интеллект

Научные интересы

Логический анализ и построение тестов для дискретных систем;
Логическое программирование и его применение.

Научные результаты

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

Научная работа

Основные научные работы А.Е. Люлькина посвящены разработке математических моделей, методов и программных комплексов для решения задач анализа и тестирования дискретных систем, реализованных в виде больших интегральных схем.
Ряд научных работ посвящен применению логического программирования для моделирования дискретных систем.

Тематика курсовых и дипломных работ

Примерная тематика курсовых работ

Классы С++ для работы с троичными и булевыми матрицами
Классы С++ для работы с булевыми функциями
Разработка приложений типа Клиент/Сервер
Автоматизация тестирования классов (модульное тестирование в C++, Java)
Решение логических уравнений (структуры данных; поиск одного решения; поиск всех решений; точные и эвристические алгоритмы)

Примерная тематика дипломных работ

Построение псевдослучайных логических схем с заданными параметрами
Автоматизированное тестирование программируемых логических структур
Решение логических уравнений средствами логического программирования
Автоматизированное построение тестов для логических схем на основе генетических алгоритмов

Публикации

Основные публикации

Опубликовал более 150 научных работ. Ниже приводятся основные публикации:

Люлькин А.Е., Павлова Т.Г. Синтез тестов для программируемых логических матриц // Микроэлектроника. — 1983. — Т. 12, № 4. — С. 299-305.
Коротаев Н.А., Люлькин А.Е. Автоматизация тестового диагностирования дискретных устройств. — Минск: Изд-во БГУ им. В.И.Ленина, 1983. — 144 с.
Королюк Т.С., Люлькин А.Е. Некоторые результаты экспериментального исследования методов построения тестов для программируемых логических матриц // Вестн. Белорусского ун-та. Сер. I, физ., мат., мех. — 1985. — № 3. — С. 35-39.
Люлькин А.Е. Построение проверяющих наборов для неисправностей в логических сетях из функционально-сложных элементов. Акад. наук Латвийской ССР. Ин-т электроники. — Рига, 1985. — 30 с. — Деп. в ВИНИТИ 19.09.85, № 6739-85 // Автоматика и вычислительная техника. — 1986. — № 1. — С. 91.
Люлькин А.Е. К тестовой проверке ПЛМ с памятью // Микроэлектроника. — 1986. — Т. 15, № 4. — С. 299-307.
Люлькин А.Е. Состав и организация системы автоматизированного построения тестов для дискретных устройств на программируемых БИС с матричной структурой // Управляющие системы и машины. — 1989. — № 4. — С. 93-96.
Люлькин А.Е. Тестовое диагностирование программируемых логических структур // Электронное моделирование. — 1990. — Т. 12, № 1. — С. 64-68.
Люлькин А.Е. Исследование методов построения тестов для логических сетей из программируемых логических матриц // Управляющие системы и машины. — 1991. — № 1. — С. 14-19.
Люлькин А.Е. Построение моделей микропрограммируемых элементов для систем автоматизированного проектирования тестов // Электронное моделирование. — 1991. — Т. 13, № 3. — С. 67-73.
Люлькин А.Е. Математические модели элементов большой интеграции в системах автоматизированного построения тестов // Микроэлектроника. — 1991. — Т. 20, № 2. — С. 208-215.
Люлькин А.Е. К построению тестовых наборов для МОП-схем // Proceedings Design Automation Conference «APK’92». — Каунас, 1992. — С. 207-210.
Люлькин А.Е. Построение тестовых наборов для МОП-схем // Микроэлектроника. — 1993. — Т. 22, № 5. — С. 20-25.
Люлькин А.Е. Анализ МОП-схем на переключательном уровне // Электронное моделирование. — 1993. — Т. 15, № 6. — С. 61-64.
Люлькин А.Е. Методы построения тестов для базовой КМОП-схемы // Электронное моделирование. — 1994. — Т. 16, № 4. — С. 67-71.
Люлькин А.Е. Структурный метод построения тестовых последовательностей для КМОП-интегральных схем // Микроэлектроника. — 1995. — Т. 24, № 2. — С. 150-155.
Lyulkin A.E. Test generation for CMOS circuits at switch level // Proceedings of the International Conference on Computer-Aided Design of Discrete Devices CAD’95. — Minsk, 1995. — Vol. 2. — P. 169-172.
Люлькин А.Е. Моделирование и построение тестов дискретных устройств на основе методов искусственного интеллекта // Автоматика и вычислительная техника. — 1995. — № 6. — С. 36-44.
Люлькин А.Е. К тестовой проверке логических схем на КМОП-элементах // Микроэлектроника. — 1996. — Т. 25, № 2. — С. 139-142.
Люлькин А.Е. Построение тестов для смешанных логических схем // Электронное моделирование. — 1996. — Т. 18, № 2. — С. 69-74.
Люлькин А.Е. Состав и организация учебно-исследовательской системы автоматизированного построения тестов для дискретных устройств на ПЭВМ // Управляющие системы и машины. — 1996. — № 1-2. — С. 48-55.
Lyulkin A.E. Parallel fault simulation in CMOS Circuits // Proceedings of the International Conference on Computer-Aided Design of Discrete Devices (CAD DD’97). — Minsk, 1997. — Vol. 1. — P. 109-112.
Lyulkin A.E. Construction of Tests for Mixed Logical Circuits // Engineering Simulation. — 1997. — Vol. 14, N 2. — P. 291-299.
Люлькин А.Е. Анализ и диагностика логических схем с использованием языка ПРОЛОГ // Автоматика и вычислительная техника. — 1997. — № 4. — С. 42-51.
Люлькин А.Е. К проверке матриц Вайнбергера // Автоматизация проектирования дискретных систем (CAD DD’97): Материалы междунар. конференции / НАН Беларуси. Ин-т техн. кибернетики. — Минск, 1997. — Т. 3. — С. 59-65.
Люлькин А.Е. Моделирование неисправностей в КМОП-схемах на переключательном уровне // Микроэлектроника. — 1998. — Т. 27, № 1. — С. 71-75.
Люлькин А.Е. Моделирование неисправностей в функционально-переключательных КМОП-структурах // Электронное моделирование. — 1998. — Т. 20, № 5. — С. 49-59.
Люлькин А.Е., Колесникова О.В. Моделирование последовательностных схем средствами логического программирования // Актуальные проблемы информатики: математическое, программное и информационное обеспечение: Материалы YI междунар. конференции. — Минск, 1998. — Т. 1. — С. 181-186.
Люлькин А.Е. Тестовое диагностирование матриц Вайнбергера // Микроэлектроника. — 1998. — Т. 27, № 2. — С. 151-157.
Люлькин А.Е. Тестовая проверка программируемых интегральных схем AND-EXOR // Микроэлектроника. — 1999. — Т. 28, № 3. — С. 217 — 223.
Люлькин А.Е. Моделирование последовательностных схем с использованием логического программирования // Автоматика и вычислительная техника. — 1999. — № 2. — С. 51-59.
Люлькин А.Е. Тестовая проверка программируемых логических интегральных схем AND-EXOR // Микроэлектроника. – 2000. – № 3. – С. 217-223.
Люлькин А.Е. Асинхронное моделирование дискретных устройств на основе логического программирования // Автоматика и вычислительная техника. – 2000. – № 4. – С. 75-84.
Люлькин А.Е. Функциональная верификация дискретных устройств средствами логического программирования // Доклады Третьей всероссийской конф. с междунар. участием «Новые информационные технологии в исследовании дискретных структур». – Томск, 2000. – С. 241-246.
Люлькин А.Е. Моделирование дискретных устройств с использованием логического программирования // Труды Четвертой междунар. конф. «Новые информационные технологии (NITe’2000)». – Минск, 2000. – Т.2.–С.128-133.
Lyulkin A.T. Asynchronous simulation of discrete devices on the base of logic programming // Proceedings of the Fourth International Conference “Computer-Aided Design of Discrete Devices (CAD DD’2001)”. – Minsk, 2001. – V. 1. – P. 98-103.
Люлькин А.Е. Функциональное сравнение цифровых КМОП-схем на переключательном уровне с использованием логического программирования // Proceedings of the Fourth International Conference “Computer-Aided Design of Discrete Devices (CAD DD’2001)”. – Minsk, 2001. – V. 3. – P. 108-115.
Lyulkin A. Simulation of CMOS circuits at the switch level using logic programming // Proceedings of the Seventh International Conference on Information Networks and Systems, Technologies. – Minsk, 2001. – V. 3. – P. 108-115.
Люлькин А.Е. Асинхронное моделирование КМОП-структур на переключательном уровне средствами логического программирования // Известия РАН. Теория и системы управления. – 2001. – № 5. – С. 799-804.
Люлькин А.Е. Предикатное описание функционально-переключательных КМОП-схем с использованием логического программирования // Микроэлектроника. – 2002. – № 3. – С. 192-200.
Люлькин А.Е. Применение предикатов логического программирования для описания КМОП-схем // Электронное моделирование. – 2002. – № 2. – С. 60-76.
Люлькин А.Е. Логическое моделирование функционально-переключательных КМОП-структур // Доклады Четвертой всероссийской конф. с междунар. участием «Новые информационные технологии в исследовании сложных структур». – Томск, 2002. – С. 96-101.
Lyulkin A.E., Linnik I. Parallel Fault Simulation in Functional-Switching CMOS-Structures // Proceedings of the 8^th Biennial Baltic Electronics Conference. – Tallin, 2002. – P. 311-314.
Люлькин А.Е. Построение тестов для КМОП-схем на переключательном уровне // Микроэлектроника. – 2003. – № 4. – С. 225-229.
Люлькин А.Е. Построение тестов для логических КМОП-схем // Электронное моделирование. – 2003. – № 3. – С. 51-58.
Lyulkin A., Linnik I. Test generation for hierarchical functional-switching structures // Proceedings of East-West Design&Test Conference (EWDTC’03). – Yalta, Alushta, 2003. – P. 37-40.
Люлькин А.Е. Функциональная верификация дискретных устройств с использованием логического программирования // Управляющие системы и машины. – 2004. – № 2. – С. 38-45.
Люлькин А.Е. Построение тестов для логических схем на КМОП-элементах // Труды 5-й Междунар. конф. «Автоматизация проектирования дискретных систем (CAD DD’04)». – Минск, 2004. – С. 108-115.
Люлькин А.Е. Логическое программирование и его использование при обучении студентов-математиков // Материалы междунар. науч. конф. «Информатизация обучения математике и информатике: педагогические аспекты». – Минск:БГУ, 2006. – С. 244-247.
Люлькин А.Е. Программная поддержка научно-исследовательской работы студентов в области моделирования и тестирования логических схем // Современные информационные компьютерные технологии: Сб. науч. ст. – Гродно: ГрГУ, 2006. – С. 133-138.
Люлькин А.Е. Логическое программирование: вопросы применения и обучения // Современные информационные компьютерные технологии: Сб. науч. ст. – Гродно: ГрГУ, 2006. – С. 129-133.
Романчик В.С., Люлькин А.Е. С++. Лабораторные рабо-ты по курсу “Методы программирования”// учебно-методическое пособие. Мн.: БГУ, 2006.
Люлькин А.Е. Моделирование логических схем средствами логического программирования // Сб. научн. статей «Современные информационные компьютерные технологии». – Гродно, 2008. – Ч. 2. – С. 228-232.
Люлькин А.Е. Построение тестов логических схем на основе генетических алгоритмов // Тез. докл. междунар. науч. конф. «X Белорусская математическая конференция». – Минск, 2008. – С. 91-92.
Романчик В.С., Люлькин А.Е. Программирование в C++ BUILDER // учебное пособие. – Мн.: БГУ, 2008.
Люлькин А.Е. Разработка и применение программных средств для обучения студентов специализации «Математическая электроника» // Матер. междунар. науч. конф. «Информатизация образования – 2008: интеграция информационных и педагогических технологий», Минск, 2008. – С. 327-330.
Люлькин А.Е. Программные средства для обучения студентов специализации «Математическая электроника» // Матер. междунар. научно-практич. конф. «Современные информационные компьютерные технологии (mcIT-2008)», Гродно, 2008. – 5 с.
Люлькин А.Е. Программная поддержка НИРС в области моделирования и диагностики цифровых устройств // Тез. докл. респ. науч.-метод. конф. «Высшее техническое образование: проблемы и пути развития», Минск, 2008. – С. 84-85.
Люлькин А.Е. Моделирование дискретных устройств средствами логического программирования // Сб. матер. междунар. научно-практич. конф. «Веб-программирование и Интернет-технологии WebConf09», Минск, 2009, ч. 2. – С. 46 – 47.
Люлькин А.Е. Асинхронное моделирование дискретных устройств на основе логического программирования // Сб. матер. междунар. научно-практич. конф. «Наука. Образование. Технологии», Барановичи, 2009. – 5 с.
Люлькин, А.Е. Разработка и применение программных средств для анализа и диагностики логических схем при обучении студентов / Люлькин А.Е. // Матер. междунар. науч.-метод. конф. «Высшее техническое образование: проблемы и пути развмтия», Минск, 24-25 ноября 2010 г. – С. 150-152.
Люлькин, А.Е. Моделирование логических схем с использованием логического программирования / Люлькин А.Е. // Сб. матер. междунар. науч.-практич. конф. «Актуальные вопросы современной информатики», Коломна, 2011. – С. 223-229.
Люлькин, А.Е. Использование логического программирования при обучении студентов / Люлькин А.Е. // Матер. междунар. науч.-практич. конф. «Технологии информатизации и управления (TIM-2011)», Гродно, 2011. 5 с.
Люлькин, А.Е. Моделирование схем из функциональных элементов на основе логического программирования / Люлькин А.Е. // Веб-программирование и Интернет-технологии WebConf 2012 : материалы 2-й Междунар. Конф., Минск, БГУ, 2012, с. 89.
Люлькин, А.Е. Моделирование логических схем на переключательном уровне / Люлькин А.Е. // Веб-программирование и Интернет-технологии WebConf 2015 : материалы 3-й Междунар. конф., Минск, БГУ, 2015, с. 93-94.
Люлькин, А.Е. Изучение студентами методов искусственного интеллекта на примере использования логического программирования / Люлькин А.Е. // Матер. YIII междунар. науч.-метод. конф. «Высшее техническое образование: проблемы и пути развития», Минск, 17-18 ноября 2016 г. –Ч. 2. С. 19-22
Люлькин, А.Е. Программная поддержка научно-исследовательской работы студентов в области анализа логических схем / Люлькин А.Е. // Сб. научн. статей «Технологии информатизации и управления (TIM2016)», Гродно, 2016 – С. 165-170.
Люлькин, А.Е. Логическое моделирование дискретных устройств на переключательном уровне / Люлькин А.Е. // Cб. матер. IV междунар. научн.-практич. конф. «Техника и технологии: инновации и качество», Барановичи, 2017. – С. 113-115.
Люлькин, А.Е. Эффективное моделирование неисправностей на переключательном уровне / Люлькин А.Е. // Веб-программирование и Интернет-технологии WebConf 2018 : материалы 4-й Междунар. конф., Минск, БГУ, 2018, с. 106-107.