МЕРЕЖЕВЕ ПЛАНУВАННЯ В РЕЖИМІ РЕАЛЬНОГО ЧАСУ З ВИКОРИСТАННЯМ АПАРАТУ ТЕМПОРАЛЬНИХ ЛОГІК
Ключові слова:
мережеве планування в режимі реального часу, темпоральні логіки, мережевий графік, формалізація властивостейАнотація
Досліджено проблеми роботи систем мережевого планування в режимі реального часу. Розглянуто використання математичного апарату темпоральних логік для визначення формальних властивостей процесів мережевого планування в режимі реального часу, які дають можливість контролювати і прогнозувати ці процеси. Також представлено застосування семантики пропозиціональної логіки для формалізації вимог для виконання заданого плану робіт.Посилання
Кудрявцев Е.М. 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##
Як цитувати
Номер
Розділ
Ліцензія
Авторське право (c) 2016 Чернігівський національний технологічний університет, 2015
Ця робота ліцензується відповідно до Creative Commons Attribution-NonCommercial 4.0 International License.
