Короткий опис(реферат):
Досліджено проблеми роботи систем мережевого планування в режимі реального часу. Розглянуто використання математичного апарату темпоральних логік для визначення формальних властивостей процесів мережевого планування в режимі реального часу, які дають можливість контролювати і прогнозувати ці процеси. Також представлено застосування семантики пропозиціональної логіки для формалізації вимог для виконання заданого плану робіт.
Суть розробки, основні результати:
Казимир, В. В. Мережеве планування в режимі реального часу з використанням апарату темпоральних логік / В. В. Казимир, А. С. Посадська // Технічні науки та технології. – 2015. – № 1 (1). – C. 61-67.