This Site Is Using an Outdated PHP Version

Dear site owner,
We have detected that this site is using an obsolete PHP version.
PHP version 7.4.32 will be removed from the server configuration on January 1, 2026.
Please update your site software to support a newer PHP version (minimum: 8.2.0, recommended: 8.5.X).
After upgrading your site software, please notify us at help+www at knu.ua.
You can also find instructions on how to change the PHP version yourself here.

Співробітники кафедри | Кафедра інтелектуальних програмних систем | КНУ імені Тараса Шевченка

Співробітники кафедри

Петрушенко Анатолій Миколайович

Петрушенко Анатолій Миколайович

доцент кафедри інтелектуальних програмних систем,
кандидат фізико-математичних наук, доцент,
Посилання: Scopus, Google Scholar.

Освіта та кар'єра:

1980 р. — Харківський державний університет імені О.М. Горького, механіко-математичний факультет.
1980-1982 рр. — інженер спеціального конструкторсько-технологічного бюро Інституту електродинаміки АН УРСР.
1982 р. — стажер-дослідник відділу автоматизації програмування Інституту кібернетики імені В.М. Глушкова АН УРСР.
1982-1992 рр. — молодший науковий співробітник відділу автоматизації програмування Інституту кібернетики імені В.М. Глушкова АН УРСР.
1992 р. — закінчив аспірантуру Інституту кібернетики імені В.М. Глушкова НАН України.
1992 р. — захистив кандидатську дисертацію на тему «Діалогові перетворення схем програм в алгоритмічних алгебрах». Науковий керівник — доктор фізико-математичних наук, професор, член-кореспондент НАН України Ющенко К.Л.
1992-2015 рр. — доцент кафедри інформаційних технологій факультету кібернетики Херсонського національного технічного університету.
2015-2016 рр. — доцент кафедри інформаційних систем факультету кібернетики Київського національного університету імені Тараса Шевченка.
2016-2019 рр. — доцент кафедри інформаційних систем факультету комп'ютерних наук та кібернетики Київського національного університету імені Тараса Шевченка.
З 2019 р. — доцент кафедри інтелектуальних програмних систем факультету комп'ютерних наук та кібернетики Київського національного університету імені Тараса Шевченка.

Сфера наукових інтересів:

  • Трансформаційний (алгебро-граматичний) метод аналізу та синтезу обчислювальних систем (програм та апаратури) та розробка інструментальної підтримки цього методу.
  • Аналіз та синтез організаційно-технічних систем управління на основі документообігу, комп'ютерні системи штучного інтелекту.

Під керівництвом Петрушенка А.М. захищено 1 кандидатську дисертацію:

  1. 2006 р. — Хохлов В.А. «Інструментарій проектування комп'ютерних систем на основі діалогових алгебро-граматичних моделей представлення знань». Дисертація на здобуття вченого ступеня кандидата технічних наук за спеціальністю 05.13.06 – "Інформаційні технології". Місце захисту: Херсонський національний технічний університет, Херсон, Україна.

Вибрані публікації:

  1. Петрушенко А.Н. Очерки по методологии научного познания: от математических к информационным моделям мира. – К.: Наукова думка, 1998. - 119 с.
  2. Petrushenko A.N. Interactive computations in algorithmic algebras // Cybernetics. – Consultants Bureau, New York and London, 1990. – Vol. 26, № 1. – P. 14-21.
  3. Petrushenko A.N. An approach to automation of optimizing transformations of algorithms and programs // Cybernetics and systems analysis. – Consultants Bureau, New York and London, 1992. – Vol. 27, № 5. – P. 744-753.
  4. Petrushenko A.N. On dialog transformations of program scheme in therm algebra and in accessibility spaсe // Cybernetics and computing technology. – Allerton press, Inc., New York, 1998. – Number 112. – P. 62-65.
  5. Петрушенко А.Н. Об одном подходе к решению проблемы общения человека с вычислительной системой на естественном языке // Проблемы программирования. – 1998. – Вып. 3. – С. 65-72.
  6. Петрушенко А.Н., Хохлов В.А. Об использовании естественного языка для представления абстрактных типов данных и полиморфизма // Проблемы программирования. – 1999. – №1. – С. 135-144.
  7. Петрушенко А.Н., Хохлов В.А., Ткачев В.А., Шепетухин Е.С. Диалоговая трансформационная машина: некоторые функциональные возможности // Проблемы программирования. – 2000. – № 1-2 (Спец. выпуск) – С. 323-334.
  8. Петрушенко А.М., Хохлов В.А. Концепція діалогових обчислень та деякі проблеми автоматизації програмування // Проблемы программирования. – 2004. – № 2-3 (Спец. выпуск) – С. 37-47.
  9. Петрушенко А.Н. Алгебры диалоговых алгоритмов и гиперсхем: некоторые их свойства и приложения // Вестник Международного Соломонова университета. – 2000. – №4. – С. 110-123.
  10. Петрушенко А.Н. О диалоговых преобразованиях схем программ в алгебре термов и пространстве достижимости // Кибернетика и вычислительная техника. – 1997. – Вып. 112. – С. 74-79.
  11. Петрушенко А.Н. Класс диалоговых схем программ и теорема о его мощности // Вестник Херсонского государственного технического университета. – 1997. 14) Петрушенко А.Н. О диалоговых преобразованиях в алгоритмических алгебрах и оптимизации алгоритмов и ассоциированных с ними программ // Там же. - 1997. - № 2. - С. 149-152. № 1. – С. 194-197.
  12. Петрушенко А.Н., Хохлов В.А. Диалоговая трансформационная машина как инструментарий прототипирования программных изделий со спиральной моделью жизненного цикла // Вестник Херсонского государственного технического университета. – 1997. – № 2. – С. 144-148.
  13. Петрушенко А.Н. О диалоговых преобразованиях в алгоритмических алгебрах и оптимизации алгоритмов и ассоциированных с ними программ // Вестник Херсонского государственного технического университета. – 1997. – № 2. – С. 149-152.
  14. Петрушенко А.Н. Понятие "алгоритм": история возникновения и формирования // Вестник Херсонского государственного технического университета. – 1998. – № 1 (3). – С.134-138.
  15. Петрушенко А.Н. О машинно-независимых методах программирования адресно-вычислимых функций // Вестник Херсонского государственного технического университета. – 1998. – № 4. – С.142-146.
  16. Петрушенко А.Н., Хохлов В.А. Пример синтеза в диалоговой трансформационной машине САА\Д-cхемы и реализующих ее программы и управляющего автомата операционного устройства // Вестник Херсонского государственного технического университета. – 1999. – № 3. – С. 440-443.
  17. Петрушенко А.Н. О разработке и реализации базиса систем алгоритмических алгебр для синтеза программного обеспечения специализированной САПР // Вестник Херсонского государственного технического университета. Спец. выпуск: Прикладные проблемы математического моделирования. – 1999. – № 4. – С. 135-137.
  18. Петрушенко А.Н. Об алгебраической трактовке процесса проектирования алгоритмов и программ в диалоговой трансформационной машине // Вестник Херсонского государственного технического университета. – 1999. – № 5. – С. 40-41.
  19. Петрушенко А.Н., Хохлов В.А., Шепетухин Е.С. Об автоматизации проектирования некоторых классов операционных устройств // Вестник Херсонского государственного технического университета. – 2000. – № 3 (9). – С. 196-201.
  20. Петрушенко А.Н., Хохлов В.А., Шепетухин Е.С. Основная задача программирования и синтез операционных устройств // Вестник Херсонского государственного технического университета. – 2001. – № 4 (10). – С. 216-221.
  21. Цейтлін Г.О., Петрушенко А.М. Про технологію та інструментарій побудови спеціалізованих експертних систем // Вестник Херсонского государственного технического университета. – 2002. – № 1 (14). – С. 240-244.
  22. Петрушенко А.М., Хохлов В.А., Шепетухін Є.С. Про розширення вхідної мови діалогової трансформаційної машини засобами проектування діалогових алгоритмів і програм. // Вестник Херсонского государственного технического университета. – 2002. – № 3 (16). – С. 234-239.
  23. Петрушенко А.Н., Хохлов В.А., Ткачев В.А. Об автоматизации проектирования управляющих автоматов с жесткой логикой // Автоматика. Автоматизация. Электротехнические комплексы и системы. – 1999. – № 1. – С. 80-87.
  24. Петрушенко А.Н. Диалоговая трансформационная машина как разновидность систем знаний // Автоматика. Автоматизация. Электротехнические комплексы и системы. – 1999. – № 2. – С. 65-72.
  25. Петрушенко А.Н. Диалоговая трансформационная машина и смешанные вычисления // Автоматика. Автоматизация. Электротехнические комплексы и системы. – 2000. – № 1 (6). – С. 91-97.
  26. Ивасенко А.В., Нагорная Л.И., Панфиленко Л.М., Петрушенко А.Н. // Архитектура транслятора П-КОБОЛ // Организация взаимодействия человека с ЭВМ: Сб. науч. тр. – К.: Ин-т кибернетики им. В.М. Глушкова АН УССР, 1985. – С. 16-20.
  27. Петрушенко А.Н. Об архитектуре системы МУЛЬТИПРОЦЕССИСТ с блоком аналитических преобразований алгоритмов и программ // Методы реализации систем программирования: Сб. науч. тр. – К.: Ин-т кибернетики им. В.М. Глушкова АН УССР, 1988. – С. 21-26
  28. Петрушенко А.Н. Граф-схемы Калужнина и синтез микропрограммных автоматов // Друга міжнародна конференція в Україні, присвячена пам'яті професора Л.А. Калужніна (1914-1990): Зб. наук. пр. – Київ-Вінниця: Київський університет ім. Тараса Шевченка, 1999. – С. 100-101.
  29. Петрушенко А.М. Принцип мікропрограмного керування та автоматизація проектування операційних пристроїв. I. Control Systems and Computers (УСіМ), № 1 (285), 2020, C. 3-22.
  30. Петрушенко А.М. Принцип мікропрограмного керування та автоматизація проектування операційних пристроїв. II. Control Systems and Computers (УСіМ), № 2 (286), 2020, C. 3-11.

Викладацька діяльність:

  1. Дискретна математика (практичні заняття) — бакалаври 1-го року навчання, 122 Комп'ютерні науки та інформаційні технології: інформатика.
  2. Структурна теорія цифрових автоматів (лекції, лабораторні заняття) — бакалаври 3-го року навчання, 121 Інженерія програмного забезпечення: програмна інженерія.
  3. Інформаційні системи (лекції) — бакалаври 4-го року навчання, 121 Інженерія програмного забезпечення: програмна інженерія.
  4. Трансформаційні методи синтезу обчислювальних систем (лекції) — магістри 1-го року навчання, 121 Інженерія програмного забезпечення: програмне забезпечення систем.
  5. Формальні методи програмної інженерії (лекції, лабораторні заняття) — магістри 2-го року навчання, 121 Інженерія програмного забезпечення: програмне забезпечення систем.

Теми курсових та дипломних робіт (2021-2022 н. р.):

  1. Дослідження трансформаційного (алгебро-граматичного) методу аналізу та синтезу програм та апаратури та розробка його інструментальної підтримки.
  2. Аналіз та синтез організаційно-технічних систем управління на основі документообігу.