Шайна Я. Проектування цифрових систем з використанням логічного програмування : Автореф. дис... д-ра техн. наук : 05.13.13 / Я. Шайна; НАН України. Ін-т пробл. моделювання в енергетиці ім. Г.Є.Пухова. - Л., 2001. - 38 c. - укp.Наведено методологію автоматизації проектування та моделювання цифрових систем, що базуються на логічному програмуванні. Запропоновано новий оригінальний декларативний метод розпізнавання часових діаграм і метод автоматизації символічного синтезу цифрових систем, які описуються за допомогою логічних секвентів. Надано можливіть використання логічного програмування для динамічного моделювання з застосуванням баз даних, трансляції опису та автоматизації перетворення логічних виразів. Запропоновано мову моделювання цифрових систем і процесів ProWave, а також метод для розпізнавання складних часових діаграм. Індекс рубрикатора НБУВ: з972-02
Рубрики:
Шифр НБУВ: РА315047 Пошук видання у каталогах НБУВ
Повний текст Автореферати дисертацій
![](/irbis_nbuv/images/info.png) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|