Мережеве планування в режимі реального часу з використанням апарату темпоральних логік

Казимир, В. В.; Посадська, А. С.

Головна сторінка IRChNUT
→
ПЕРІОДИЧНІ ВИДАННЯ НУ «Чернігівська політехніка»
→
Технічні науки та технології: науковий журнал
→
2015
→
№1(1)
→
Перегляд матеріалів

dc.contributor.author	Казимир, В. В.
dc.contributor.author	Посадська, А. С.
dc.date.accessioned	2015-09-22T12:38:53Z
dc.date.accessioned	2016-02-28T12:53:08Z
dc.date.available	2015-09-22T12:38:53Z
dc.date.available	2016-02-28T12:53:08Z
dc.date.issued	2015
dc.identifier.uri
dc.identifier.uri	http://ir.stu.cn.ua/123456789/9485
dc.description	Казимир, В. В. Мережеве планування в режимі реального часу з використанням апарату темпоральних логік / В. В. Казимир, А. С. Посадська // Технічні науки та технології. – 2015. – № 1 (1). – C. 61-67.	en_US
dc.description.abstract	Досліджено проблеми роботи систем мережевого планування в режимі реального часу. Розглянуто використання математичного апарату темпоральних логік для визначення формальних властивостей процесів мережевого планування в режимі реального часу, які дають можливість контролювати і прогнозувати ці процеси. Також представлено застосування семантики пропозиціональної логіки для формалізації вимог для виконання заданого плану робіт.	en_US
dc.language.iso	uk	en_US
dc.publisher	Чернігів: ЧНТУ	en_US
dc.relation.ispartofseries	Технічні науки та технології; №1 (1)
dc.subject	мережеве планування в режимі реального часу	en_US
dc.subject	темпоральні логіки	en_US
dc.subject	мережевий графік	en_US
dc.subject	формалізація властивостей	en_US
dc.title	Мережеве планування в режимі реального часу з використанням апарату темпоральних логік	en_US
dc.type	Article	en_US