Висвітлено математичні засади синтезу систем автоматизації наукових досліджень: теорії булевих функцій, теорії графів, синтезу скінченних автоматів та традиційні теорії алгоритмів. Розглянуто питання створення програмного забезпечення систем автоматизації, зокрема: аналіз мовних засобів, технологій програмування, операційних середовищ та концепцію відкритих систем. Наведено опис системи автоматизації досліджень алгоритмів протоколів маршрутизації в Internet.

Изложены математические основы синтеза систем автоматизации научных исследований: теории булевых функций, теории графов, синтеза конечных автоматов и традиционные теории алгоритмов. Рассмотрены основоположные вопросы создания программного обеспечения систем автоматизации, а именно: анализ языковых средств, технологий программирования, операционных сред и концепция открытых систем. Приведено описание системы автоматизации исследований алгоритмов протоколов маршрутизации в Internet.

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"