Засоби логічних специфікацій реактивних алгоритмів
eKMAIR
Переглянути архів ІнформаціяПоле | Співвідношення | |
Title |
Засоби логічних специфікацій реактивних алгоритмів
The Means of Logic Specifications of Reactive Algorithms |
|
Creator |
Дорошенко, Анатолій
Алістратов, Олег |
|
Subject |
реактивний алгоритм
логічна специфікація двійкова діаграма реактивна система |
|
Description |
Двійкові діаграми рішень відомі як ефективний засіб подання систем булевих функцій і широко застосовуються в проектуванні цифрових систем, аналізі скінченних автоматів, у задачах штучного інтелекту та математичної логіки. У цій роботі розглянуто питання представлення логічних специфікацій реактивних алгоритмів та запропоновано представлення у вигляді двійкових діаграм рішень як таке, що передбачає ефективну реалізацію алгоритмів синтезу та верифікації реактивних систем.
|
|
Date |
2016-02-17T08:43:37Z
2016-02-17T08:43:37Z 2003 |
|
Type |
Article
|
|
Identifier |
Дорошенко Анатолій Юхимович. Засоби логічних специфікацій реактивних алгоритмів / А. Ю. Дорошенко, О. В. Алістратов // Наукові записки НаУКМА. - 2003. - Т. 21 : Комп'ютерні науки. - С. 10-15.
http://ekmair.ukma.edu.ua/handle/123456789/8414 |
|
Language |
ua
|
|
Relation |
Наукові записки НаУКМА
|
|