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

Loading...
Thumbnail Image
Date
2003
Authors
Дорошенко, Анатолій
Алістратов, Олег
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Двійкові діаграми рішень відомі як ефективний засіб подання систем булевих функцій і широко застосовуються в проектуванні цифрових систем, аналізі скінченних автоматів, у задачах штучного інтелекту та математичної логіки. У цій роботі розглянуто питання представлення логічних специфікацій реактивних алгоритмів та запропоновано представлення у вигляді двійкових діаграм рішень як таке, що передбачає ефективну реалізацію алгоритмів синтезу та верифікації реактивних систем.
Description
Keywords
реактивний алгоритм, логічна специфікація, двійкова діаграма, реактивна система
Citation
Дорошенко Анатолій Юхимович. Засоби логічних специфікацій реактивних алгоритмів / А. Ю. Дорошенко, О. В. Алістратов // Наукові записки НаУКМА. - 2003. - Т. 21 : Комп'ютерні науки. - С. 10-15.