Показати скорочений опис матеріалу
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 |