МЕРЕЖЕВЕ ПЛАНУВАННЯ В РЕЖИМІ РЕАЛЬНОГО ЧАСУ З ВИКОРИСТАННЯМ АПАРАТУ ТЕМПОРАЛЬНИХ ЛОГІК

Автор:

Казимир Володимир Вікторович, Чернігівський національний технологічний університет (вул. Шевченка, 95, м. Чернігів, 14027, Україна)

Посадська Аліна Сергіївна, Чернігівський національний технологічний університет (вул. Шевченка, 95, м. Чернігів, 14027, Україна)

Мова статті: українська

Анотація:

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

Ключові слова:

мережеве планування в режимі реального часу, темпоральні логіки, мережевий графік, формалізація властивостей

Список використаних джерел:

  1. Кудрявцев Е.М. Microsoft Project. Методы сетевого планирования и управления проектом / Е. М. Кудрявцев. – М. : ДМК Прес, 2005. – 238 с.

  2. Сетевое планирование и управление. Методические указания по выполнению экономического раздела дипломного проекта / Михайловский экономический колледж-интернат. – Михайлов, 2007. – 17 с.

  3. Управление производством. Сетевое планирование : учеб. пособие / И. А. Ларионова, О. О. Скрябин, Л. А. Фёдоров, Е. П. Караваев. – М. : МИСиС, 2009. – 53 с.

  4. Еремеев А. П. Реализация интеллектуальных систем реального времени на основе сетей Петри с поддержкой темпоральных зависимостей / А. П. Еремеев, Ю. И. Королев // Программные продукты и системы. – 2013. – № 3. – С. 88–94.

  5. Еремеев А. П. Расширение возможностей моделирования временных зависимостей в интеллектуальных системах на основе применения темпоральных прецедентов / А. П. Еремеев, И. Е. Куриленко // Интеллектуальные системы : коллективная монография / под ред. В. М. Курейчика. – М. : Физматлит, 2013. – Вып. 6. – С. 89–118.

  6. Clarke E., Emerson E. Design and synthesis of synchronization skeletons using Branching Time Temporol Logic // Lecture Notes in Computer Science. – 1981.– Vol. 131. – P. 52–71.

  7. Emerson E., Clark E. Using branching–time temporal logic to synthesize synchronization skeleton // Science of Computer Programming. – 1982. – № 2.– P. 241–266.

  8. Стоянова О. В. Метод поддержки принятия решений по управлению временными аспектами проектов на промышленных предприятиях / О. В. Стоянова, А. И. Васицына // Программные продукты и системы. – 2012. – № 3. – С. 178–184.

  9. Коршунов Ю. М. Математические основы кибернетики : учеб. пособие для вузов / Ю. М. Коршунов. – 2 изд., перераб. и доп. – М. : Энергия, 1980. – 424 с.

  10. ABB [Електронний ресурс]. – Режим доступу : http://new.abb.com/.

  11. ArcGIS Tracking Analyst [Електронний ресурс]. – Режим доступу : http://nrtb.ru/products/arcgis_distrib/arcgis_modules/tracking_analyst.php.

  12. Asta Powerproject [Електронний ресурс]. – Режим доступу : http://www.astapowerproject.com/.

  13. Битрикс24 [Електронний ресурс]. – Режим доступу : http://www.bitrix24.ru/.

  14. ПО Microsoft [Електронний ресурс]. – Режим доступу : https://www.microsoft.com/ru-ru/softmicrosoft.

  15. Pnueli A. The temporal logic of programs // In Proceedings of the 18th Annual Symposium on Foundations of Computer Science. – IEEE Computer Society Press, 1977. – Р. 46–57.

  16. Pnueli A. Applications of temporal logic to the specification and verification of reactive systems: a survey of current trends // In J.W. de Bakker, W.–P. de Roever, and G. Rozenberg, editors, Current Trends in Concurrency, Lecture Notes in Computer Science. – Springer–Verlag, 1986. – Vol. 224.– Р. 510–584.

  17. Henzinger T. A. Half–order modal logic: how to prove real–time properties // In Proceedings of the Ninth Annual Symposium on Principles of Distributed Computing, ACM Press, 1990. – P. 281–296.

  18. Henzinger T. A. The temporal specification and verification of Real–Time Systems. PhD thesis, Stanford University, 1991. – 287 p.

  19. Henzinger T. A., Manna Z., and Pnueli A. Temporal proof methodologies for real–time systems // In Proceedings of the 18th Annual Symposium on Principles of Programming Languages, ACM Press, 1991. – P. 353–366.

  20. Казимир В. В. Верификация реактивных систем с помощью формул темпоральной логики на E-сетевых моделях / В. В. Казимир // Мат. машини і системи. – 2002. – № 1. – С. 29–40.

Завантажити