IRChNUT
Електронний архів Національного університету "Чернігівська політехніка"

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

ISSN 2415-363X

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

Казимир, В. В.; Посадська, А. С.
URI:
http://ir.stu.cn.ua/123456789/9485
Дата: 2015

Короткий опис(реферат):

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

Суть розробки, основні результати:

Казимир, В. В. Мережеве планування в режимі реального часу з використанням апарату темпоральних логік / В. В. Казимир, А. С. Посадська // Технічні науки та технології. – 2015. – № 1 (1). – C. 61-67.

Показати повний опис матеріалу

Долучені файли

Icon Blocked
Name: 9.pdf
Розмір: 573.4Kb
Формат: PDF
Опис файла: стаття
xmlui.dri2xhtml.METS-1.0.item-files-access-rightsКористувачі (group)

Даний матеріал зустрічається у наступних розділах