Штат кафедри

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

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

доцент кафедри інформаційних систем,
кандидат фізико-математичних наук, доцент,

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

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

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

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

Під керівництвом Петрушенка А.М. захищено 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.

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

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

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

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