Засоби логічних специфікацій реактивних алгоритмів

Simple item page
dc.contributor.authorДорошенко, Анатолій
dc.contributor.authorАлістратов, Олег
dc.date.accessioned2016-02-17T08:43:37Z
dc.date.available2016-02-17T08:43:37Z
dc.date.issued2003
dc.description.abstractДвійкові діаграми рішень відомі як ефективний засіб подання систем булевих функцій і широко застосовуються в проектуванні цифрових систем, аналізі скінченних автоматів, у задачах штучного інтелекту та математичної логіки. У цій роботі розглянуто питання представлення логічних специфікацій реактивних алгоритмів та запропоновано представлення у вигляді двійкових діаграм рішень як таке, що передбачає ефективну реалізацію алгоритмів синтезу та верифікації реактивних систем.uk
dc.identifier.citationДорошенко Анатолій Юхимович. Засоби логічних специфікацій реактивних алгоритмів / А. Ю. Дорошенко, О. В. Алістратов // Наукові записки НаУКМА. - 2003. - Т. 21 : Комп'ютерні науки. - С. 10-15.uk
dc.identifier.urihttps://ekmair.ukma.edu.ua/handle/123456789/8414
dc.language.isoukuk
dc.relation.sourceНаукові записки НаУКМАuk
dc.statuspublished earlieruk
dc.subjectреактивний алгоритмuk
dc.subjectлогічна специфікаціяuk
dc.subjectдвійкова діаграмаuk
dc.subjectреактивна системаuk
dc.titleЗасоби логічних специфікацій реактивних алгоритмівuk
dc.title.alternativeThe Means of Logic Specifications of Reactive Algorithmsen
dc.typeArticleuk
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Dowshenko_Zasoby_logichnyx_specyfikacij.pdf
Size:
382.36 KB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
7.54 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
021: Комп'ютерні науки