Засоби логічних специфікацій реактивних алгоритмів
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 |
Наукові записки НаУКМА
|
|