NETWORK PLANNING IN REAL TIME MODE USING THE TEMPORAL LOGIC

Author:

Kazymyr Volodymyr, Chernihiv National University of Technology (95 Shevchenka Str., 14027 Chernihiv, Ukraine)

Posadska Alina, Chernihiv National University of Technology (95 Shevchenka Str., 14027 Chernihiv, Ukraine)

Language: ukrainian

Annotation:

The problems of work of network planning systems operating in real-time mode are investigated. The usage of the mathematical apparatus of temporal logic to determine the formal properties of processes of network planning in real time, which make it possible to monitor and forecast these processes, is considered in the article. The use of semantics for propositional logic for formalizing the requirements for performing work plan is presented.

Key words:

network planning in real-time, temporal logic, network schedule, formalization of properties

References:

  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.

Download