Anatolii M. Petrushenko
Anatolii M. Petrushenko
Associate Professor

Information

Position: Associate Professor
Degree: Candidate of Physical and Mathematical Science
Title: Associate Professor
Room: 607
Phone: 259-05-11
E-mail:
Research interests: transformation (grammatical-algebraic) method of analysis and synthesis of computing systems (software and hardware) and development supporting tools, analysis and synthesis of organizational and technical management systems based on workflow, computer systems of artificial intelligence

Courses:

Discrete Math
Foundations of Object-Oriented Programming
Theoretical Foundations and Methods of Information Systems Development
Algebraic and Automata-Based Methods of Software Design
Transformation Methods of Computing Systems Synthesis

Publications:

  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.