Проектування цифрових систем з використанням логічного програмування

Методологія автоматизації проектування і моделювання цифрових систем, що базується на логічному програмуванні. Аналіз методів розпізнавання часових діаграм і автоматизації символічного синтезу систем, які описуються за допомогою логічних секвентів.

Рубрика Программирование, компьютеры и кибернетика
Предмет Обчислювальні машини, мережі і системи
Вид автореферат
Язык украинский
Прислал(а) Я. Шайна
Дата добавления 22.04.2014
Размер файла 53,8 K

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.


Подобные документы

  • Розробка моделі системи "Автомобільного магазину". Вивчення основи мови моделювання UML. Створення її для визначення, візуалізації, проектування й документування програмних систем. Використання діаграм кооперацій, послідовності, станів та класів.

    курсовая работа [257,8 K], добавлен 10.12.2014

  • Розробка спеціалізованої малої електронної обчислювальної машини, виконаної на основі контролера К1816ВЕ51. Проектування пам'яті, модуля клавіатури та індикації для корегування роботи машини. Перетворювання цифрових сигналів до аналогових та цифрових.

    курсовая работа [1,1 M], добавлен 12.11.2013

  • Класифікація інформаційних систем. Дослідження особливостей мови UML як засобу моделювання інформаційних систем. Розробка концептуальної моделі інформаційної системи поліклініки з використанням середи редактора програмування IBM Rational Rose 2003.

    дипломная работа [930,4 K], добавлен 26.10.2012

  • Поняття проектування та його автоматизації як комплексу засобів автоматизації проектування. Функції системи автоматизації проектних робіт (САПР), принципи системної єдності, сумісності, типовості, розвитку. Види комплексів засобів і компонентів САПР.

    реферат [123,2 K], добавлен 20.06.2010

  • Загальна характеристика мови моделювання UML. Розробка діаграм UML з метою автоматизації продаж в магазині. Rational Rose як засіб візуального моделювання об'єктно-орієнтованих інформаційних систем. Зворотне проектування як головна перевага Rational Rose.

    контрольная работа [1,7 M], добавлен 23.10.2014

  • Розробка алгоритмів виконання арифметичних операцій для систем числення в різних кодах з оцінкою точності. Проектування цифрового автомату в булевих базисах з використанням логічних елементів. Складення структурної схеми комбінаційних цифрових автоматів.

    курсовая работа [264,6 K], добавлен 10.09.2012

  • Розробка системи, що виконує функцію автоматизації процесу пропускного пункту підприємства з використанням мов програмування PHP, JavaScript і MySql. Практичні аспекти проектування ГІС із використанням WEB-технологій і баз даних, тестування програми.

    дипломная работа [1,5 M], добавлен 25.10.2012

  • Генезис програмувальних логічних інтегральних схем, їх класифікація та архітектура. Призначення системи автоматизованого проектування MAX+PLUS II. Теоретичні відомості про тригери. Програми реалізації тригерів в інтегрованому середовищі MAX+PLUS II.

    дипломная работа [1,6 M], добавлен 20.07.2010

  • Таблиця істинності логічних функцій пристрою, який необхідно синтезувати. Отримання логічних функцій пристрою та їх мінімізація за допомогою діаграм Вейча. Побудова та аналіз структурної схеми пристрою в програмі AFDK з логічними елементами до 3-х входів.

    курсовая работа [320,4 K], добавлен 03.05.2015

  • Проектування інформаційної системи; концептуальне (інфологічне) проектування, побудова ER-діаграми, нормалізація даних. Даталогічне проектування баз даних, фізичне проектування інформаційних систем. СУБД Access: об'єкти, створення таблиць, запитів, форм.

    курсовая работа [13,9 M], добавлен 09.01.2010

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.