Доцент
Преподаваемые дисциплины
  • Методы программирования и информатика
  • ДС Технология решения логико-комбинаторных задач на ЭВМ
  • ДС Логическое программирование и искусственный интеллект
lulkin@bsu.by
(8 017) 209-53-61
пр. Независимости 4, к. 423

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Публикации

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

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

  1. Люлькин А.Е., Павлова Т.Г. Синтез тестов для программируемых логических матриц // Микроэлектроника. — 1983. — Т. 12, № 4. — С. 299-305.
  2. Коротаев Н.А., Люлькин А.Е. Автоматизация тестового диагностирования дискретных устройств. — Минск: Изд-во БГУ им. В.И.Ленина, 1983. — 144 с.
  3. Королюк Т.С., Люлькин А.Е. Некоторые результаты экспериментального исследования методов построения тестов для программируемых логических матриц // Вестн. Белорусского ун-та. Сер. I, физ., мат., мех. — 1985. — № 3. — С. 35-39.
  4. Люлькин А.Е. Построение проверяющих наборов для неисправностей в логических сетях из функционально-сложных элементов. Акад. наук Латвийской ССР. Ин-т электроники. — Рига, 1985. — 30 с. — Деп. в ВИНИТИ 19.09.85, № 6739-85 // Автоматика и вычислительная техника. — 1986. — № 1. — С. 91.
  5. Люлькин А.Е. К тестовой проверке ПЛМ с памятью // Микроэлектроника. — 1986. — Т. 15, № 4. — С. 299-307.
  6. Люлькин А.Е. Состав и организация системы автоматизированного построения тестов для дискретных устройств на программируемых БИС с матричной структурой // Управляющие системы и машины. — 1989. — № 4. — С. 93-96.
  7. Люлькин А.Е. Тестовое диагностирование программируемых логических структур // Электронное моделирование. — 1990. — Т. 12, № 1. — С. 64-68.
  8. Люлькин А.Е. Исследование методов построения тестов для логических сетей из программируемых логических матриц // Управляющие системы и машины. — 1991. — № 1. — С. 14-19.
  9. Люлькин А.Е. Построение моделей микропрограммируемых элементов для систем автоматизированного проектирования тестов // Электронное моделирование. — 1991. — Т. 13, № 3. — С. 67-73.
  10. Люлькин А.Е. Математические модели элементов большой интеграции в системах автоматизированного построения тестов // Микроэлектроника. — 1991. — Т. 20, № 2. — С. 208-215.
  11. Люлькин А.Е. К построению тестовых наборов для МОП-схем // Proceedings Design Automation Conference «APK’92». — Каунас, 1992. — С. 207-210.
  12. Люлькин А.Е. Построение тестовых наборов для МОП-схем // Микроэлектроника. — 1993. — Т. 22, № 5. — С. 20-25.
  13. Люлькин А.Е. Анализ МОП-схем на переключательном уровне // Электронное моделирование. — 1993. — Т. 15, № 6. — С. 61-64.
  14. Люлькин А.Е. Методы построения тестов для базовой КМОП-схемы // Электронное моделирование. — 1994. — Т. 16, № 4. — С. 67-71.
  15. Люлькин А.Е. Структурный метод построения тестовых последовательностей для КМОП-интегральных схем // Микроэлектроника. — 1995. — Т. 24, № 2. — С. 150-155.
  16. 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.
  17. Люлькин А.Е. Моделирование и построение тестов дискретных устройств на основе методов искусственного интеллекта // Автоматика и вычислительная техника. — 1995. — № 6. — С. 36-44.
  18. Люлькин А.Е. К тестовой проверке логических схем на КМОП-элементах // Микроэлектроника. — 1996. — Т. 25, № 2. — С. 139-142.
  19. Люлькин А.Е. Построение тестов для смешанных логических схем // Электронное моделирование. — 1996. — Т. 18, № 2. — С. 69-74.
  20. Люлькин А.Е. Состав и организация учебно-исследовательской системы автоматизированного построения тестов для дискретных устройств на ПЭВМ // Управляющие системы и машины. — 1996. — № 1-2. — С. 48-55.
  21. 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.
  22. Lyulkin A.E. Construction of Tests for Mixed Logical Circuits // Engineering Simulation. — 1997. — Vol. 14, N 2. — P. 291-299.
  23. Люлькин А.Е. Анализ и диагностика логических схем с использованием языка ПРОЛОГ // Автоматика и вычислительная техника. — 1997. — № 4. — С. 42-51.
  24. Люлькин А.Е. К проверке матриц Вайнбергера // Автоматизация проектирования дискретных систем (CAD DD’97): Материалы междунар. конференции / НАН Беларуси. Ин-т техн. кибернетики. — Минск, 1997. — Т. 3. — С. 59-65.
  25. Люлькин А.Е. Моделирование неисправностей в КМОП-схемах на переключательном уровне // Микроэлектроника. — 1998. — Т. 27, № 1. — С. 71-75.
  26. Люлькин А.Е. Моделирование неисправностей в функционально-переключательных КМОП-структурах // Электронное моделирование. — 1998. — Т. 20, № 5. — С. 49-59.
  27. Люлькин А.Е., Колесникова О.В. Моделирование последовательностных схем средствами логического программирования // Актуальные проблемы информатики: математическое, программное и информационное обеспечение: Материалы YI междунар. конференции. — Минск, 1998. — Т. 1. — С. 181-186.
  28. Люлькин А.Е. Тестовое диагностирование матриц Вайнбергера // Микроэлектроника. — 1998. — Т. 27, № 2. — С. 151-157.
  29. Люлькин А.Е. Тестовая проверка программируемых интегральных схем AND-EXOR // Микроэлектроника. — 1999. — Т. 28, № 3. — С. 217 — 223.
  30. Люлькин А.Е. Моделирование последовательностных схем с использованием логического программирования // Автоматика и вычислительная техника. — 1999. — № 2. — С. 51-59.
  31. Люлькин А.Е. Тестовая проверка программируемых логических интегральных схем AND-EXOR // Микроэлектроника. – 2000. – № 3. – С. 217-223.
  32. Люлькин А.Е. Асинхронное моделирование дискретных устройств на основе логического программирования // Автоматика и вычислительная техника. – 2000. – № 4. – С. 75-84.
  33. Люлькин А.Е. Функциональная верификация дискретных устройств средствами логического программирования // Доклады Третьей всероссийской конф. с междунар. участием «Новые информационные технологии в исследовании дискретных структур». – Томск, 2000. – С. 241-246.
  34. Люлькин А.Е. Моделирование дискретных устройств с использованием логического программирования // Труды Четвертой междунар. конф. «Новые информационные технологии (NITe’2000)». – Минск, 2000. – Т.2.–С.128-133.
  35. 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.
  36. Люлькин А.Е. Функциональное сравнение цифровых КМОП-схем на переключательном уровне с использованием логического программирования // Proceedings of the Fourth International Conference “Computer-Aided Design of Discrete Devices (CAD DD’2001)”. – Minsk, 2001. – V. 3. – P. 108-115.
  37. 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.
  38. Люлькин А.Е. Асинхронное моделирование КМОП-структур на переключательном уровне средствами логического программирования // Известия РАН. Теория и системы управления. – 2001. – № 5. – С. 799-804.
  39. Люлькин А.Е. Предикатное описание функционально-переключательных КМОП-схем с использованием логического программирования // Микроэлектроника. – 2002. – № 3. – С. 192-200.
  40. Люлькин А.Е. Применение предикатов логического программирования для описания КМОП-схем // Электронное моделирование. – 2002. – № 2. – С. 60-76.
  41. Люлькин А.Е. Логическое моделирование функционально-переключательных КМОП-структур // Доклады Четвертой всероссийской конф. с междунар. участием «Новые информационные технологии в исследовании сложных структур». – Томск, 2002. – С. 96-101.
  42. Lyulkin A.E., Linnik I. Parallel Fault Simulation in Functional-Switching CMOS-Structures // Proceedings of the 8th Biennial Baltic Electronics Conference. – Tallin, 2002. – P. 311-314.
  43. Люлькин А.Е. Построение тестов для КМОП-схем на переключательном уровне // Микроэлектроника. – 2003. – № 4. – С. 225-229.
  44. Люлькин А.Е. Построение тестов для логических КМОП-схем // Электронное моделирование. – 2003. – № 3. – С. 51-58.
  45. 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.
  46. Люлькин А.Е. Функциональная верификация дискретных устройств с использованием логического программирования // Управляющие системы и машины. – 2004. – № 2. – С. 38-45.
  47. Люлькин А.Е. Построение тестов для логических схем на КМОП-элементах // Труды 5-й Междунар. конф. «Автоматизация проектирования дискретных систем (CAD DD’04)». – Минск, 2004. – С. 108-115.
  48. Люлькин А.Е. Логическое программирование и его использование при обучении студентов-математиков // Материалы междунар. науч. конф. «Информатизация обучения математике и информатике: педагогические аспекты». – Минск:БГУ, 2006. – С. 244-247.
  49. Люлькин А.Е. Программная поддержка научно-исследовательской работы студентов в области моделирования и тестирования логических схем // Современные информационные компьютерные технологии: Сб. науч. ст. – Гродно: ГрГУ, 2006. – С. 133-138.
  50. Люлькин А.Е. Логическое программирование: вопросы применения и обучения // Современные информационные компьютерные технологии: Сб. науч. ст. – Гродно: ГрГУ, 2006. – С. 129-133.
  51. Романчик В.С., Люлькин А.Е. С++. Лабораторные рабо-ты по курсу “Методы программирования”// учебно-методическое пособие. Мн.: БГУ, 2006.
  52. Люлькин А.Е. Моделирование логических схем средствами логического программирования // Сб. научн. статей «Современные информационные компьютерные технологии». – Гродно, 2008. – Ч. 2. – С. 228-232.
  53. Люлькин А.Е. Построение тестов логических схем на основе генетических алгоритмов // Тез. докл. междунар. науч. конф. «X Белорусская математическая конференция». – Минск, 2008. – С. 91-92.
  54. Романчик В.С., Люлькин А.Е. Программирование в C++ BUILDER // учебное пособие. – Мн.: БГУ, 2008.
  55. Люлькин А.Е. Разработка и применение программных средств для обучения студентов специализации «Математическая электроника» // Матер. междунар. науч. конф. «Информатизация образования – 2008: интеграция информационных и педагогических технологий», Минск, 2008. – С. 327-330.
  56. Люлькин А.Е. Программные средства для обучения студентов специализации «Математическая электроника» // Матер. междунар. научно-практич. конф. «Современные информационные компьютерные технологии (mcIT-2008)», Гродно, 2008. – 5 с.
  57. Люлькин А.Е. Программная поддержка НИРС в области моделирования и диагностики цифровых устройств // Тез. докл. респ. науч.-метод. конф. «Высшее техническое образование: проблемы и пути развития», Минск, 2008. – С. 84-85.
  58. Люлькин А.Е. Моделирование дискретных устройств средствами логического программирования // Сб. матер. междунар. научно-практич. конф. «Веб-программирование и Интернет-технологии WebConf09», Минск, 2009, ч. 2. – С. 46 – 47.
  59. Люлькин А.Е. Асинхронное моделирование дискретных устройств на основе логического программирования // Сб. матер. междунар. научно-практич. конф. «Наука. Образование. Технологии», Барановичи, 2009. – 5 с.
  60. Люлькин, А.Е. Разработка и применение программных средств для анализа и диагностики логических схем при обучении студентов / Люлькин А.Е. // Матер. междунар. науч.-метод. конф. «Высшее техническое образование: проблемы и пути развмтия», Минск, 24-25 ноября 2010 г. – С. 150-152.
  61. Люлькин, А.Е. Моделирование логических схем с использованием логического программирования / Люлькин А.Е. // Сб. матер. междунар. науч.-практич. конф. «Актуальные вопросы современной информатики», Коломна, 2011. – С. 223-229.
  62. Люлькин, А.Е. Использование логического программирования при обучении студентов / Люлькин А.Е. // Матер. междунар. науч.-практич. конф. «Технологии информатизации и управления (TIM-2011)», Гродно, 2011. 5 с.
  63. Люлькин, А.Е. Моделирование схем из функциональных элементов на основе логического программирования / Люлькин А.Е. // Веб-программирование и Интернет-технологии WebConf 2012 : материалы 2-й Междунар. Конф., Минск, БГУ, 2012, с. 89.
  64. Люлькин, А.Е. Моделирование логических схем на переключательном уровне / Люлькин А.Е. // Веб-программирование и Интернет-технологии WebConf 2015 : материалы 3-й Междунар. конф., Минск, БГУ, 2015, с. 93-94.
  65. Люлькин, А.Е. Изучение студентами методов искусственного интеллекта на примере использования логического программирования / Люлькин А.Е. // Матер. YIII междунар. науч.-метод. конф. «Высшее техническое образование: проблемы и пути развития», Минск, 17-18 ноября 2016 г. –Ч. 2. С. 19-22
  66. Люлькин, А.Е. Программная поддержка научно-исследовательской работы студентов в области анализа логических схем / Люлькин А.Е. // Сб. научн. статей «Технологии информатизации и управления (TIM2016)», Гродно, 2016 – С. 165-170.
  67. Люлькин, А.Е. Логическое моделирование дискретных устройств на переключательном уровне / Люлькин А.Е. // Cб. матер. IV междунар. научн.-практич. конф. «Техника и технологии: инновации и качество», Барановичи, 2017. – С. 113-115.
  68. Люлькин, А.Е. Эффективное моделирование неисправностей на переключательном уровне / Люлькин А.Е. // Веб-программирование и Интернет-технологии WebConf 2018 : материалы 4-й Междунар. конф., Минск, БГУ, 2018, с. 106-107.

Публикации в электронном виде:

  1. Логическое программирование и его использование при обучении студентов-математиков
  2. Разработка и применение программных средств для обучения студентов специализации «Математическая электроника»
  3. Разработка теории и приложений численных методов для решения специализированных классов сеточных, дифференциальных и интегральных уравнений
  4. С++ ЛАБОРАТОРНЫЕ РАБОТЫ по курсу «МЕТОДЫ ПРОГРАММИРОВАНИЯ»
  5. МЕТОДЫ ПРОГРАММИРОВАНИЯ И ИНФОРМАТИКА. №ТД-G.157/тип.
  6. Моделирование схем из функциональных элементов на основе логического программирования
  7. Программирование в C++BUILDER
  8. Учебно-методический комплекс по учебной дисциплине «Методы программирования и информатика»