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

Автор(и)

  • В. В. Казимир Чернігівський національний технологічний університет, Україна
  • А. С. Посадська Чернігівський національний технологічний університет, Україна

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

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

Анотація

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

Біографії авторів

В. В. Казимир, Чернігівський національний технологічний університет

доктор технічних наук

А. С. Посадська, Чернігівський національний технологічний університет

аспірант

Посилання

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

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

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

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

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

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.

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

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

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

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

ArcGIS Tracking Analyst [Електронний ресурс]. – Режим доступу :

http://nrtb.ru/products/arcgis_distrib/arcgis_modules/tracking_analyst.php.

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

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

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

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.

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.

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

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

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.

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

##submission.downloads##

Як цитувати

Казимир, В. В., & Посадська, А. С. (2016). МЕРЕЖЕВЕ ПЛАНУВАННЯ В РЕЖИМІ РЕАЛЬНОГО ЧАСУ З ВИКОРИСТАННЯМ АПАРАТУ ТЕМПОРАЛЬНИХ ЛОГІК. Технічні науки та технології, (1 (1). вилучено із http://tst.stu.cn.ua/article/view/64486

Номер

Розділ

ІНФОРМАЦІЙНО-КОМП’ЮТЕРНІ ТЕХНОЛОГІЇ