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

Інформація

Посада: доцент
Науковий ступінь: кандидат фізико-математичних наук
Звання: доцент
Аудиторія: 607
Телефон: 259-05-11
E-mail:
Наукові інтереси: трансформаційний (алгебро-граматичний) метод аналізу та синтезу обчислювальних систем (програм та апаратури) та розробка інструментальної підтримки цього методу, структурна теорія автоматів, комп'ютерні системи штучного інтелекту

Читає курси:

Дискретна математика
Основи об'єктно-орієнтованого програмування
Теоретичні основи та методи розробки інформаційних систем
Алгебро-автоматні методи проектування програмного забезпечення
Трансформаційні методи синтезу обчислювальних систем

Публікації:

  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.