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 |