Розвиток теорії і розробка методології логічного синтезу НВІС на основі багаторівневих автоматних моделей
Методика багаторівневого ієрархічного і логічного синтезу асинхронних автоматів і надвеликих інтегральних схем. Проектування мікропрограмних пристроїв управління НВІС на засаді синхронних автоматів. Розробка мов опису проектних логічних специфікацій НВІС.
Подобные документы
Розробка моделей, методів і процедур синтезу легкотестованих компонентів мереж клітинних автоматів на базі програмованих логічних інтегральних схем. Створення методів синтезу вбудованих засобів сигнатурного моніторингу для однорідних клітинних мереж.
автореферат, добавлен 30.07.2015Аналіз існуючих структур композиційних мікропрограмних пристроїв керування (КМПК) без поділу кодів з метою виявлення шляхів їх вдосконалення. Розробка структур КМПК без поділу кодів з кешуванням сигналів та визначення області їх ефективного застосування.
автореферат, добавлен 29.08.2015Розробка інформаційних технологій проектування структурно-функціональних моделей скінчених автоматів для синтезу алгоритмів автоматизованого управління технологічними процесами. Вивчення методу моделювання алгоритмів автоматизованого управління.
автореферат, добавлен 20.07.2015Оптимізації характеристик композиційних мікропрограмних пристроїв керування (КМПК), схеми яких реалізуються в базисі програмування у вигляді конкатенації кодування логічних умов та перетворенням автомата адресації. Оцінка складності апаратурних витрат.
автореферат, добавлен 27.07.2014- 5. Нарощувані процесорні ядра НВІС для виконання ортогональних перетворень в реальному масштабі часу
Розробка та дослідження архітектур, принципів побудови та організації функціонування нарощуваних процесорних ядер НВІС для виконання ортогональних перетворень в реальному масштабі часу. Алгоритми обчислень ортогональних перетворень на основі базового.
автореферат, добавлен 05.01.2014 Проведення повного синтезу багатофункціонального регістру з покроковим описом всіх вироблюваних дій. Визначення булевої функції, опис її мінімізації методом карт Карно. Характеристика таблиці синтезу автоматів Мілі та Мура. Скорочені формули для них.
курсовая работа, добавлен 25.03.2014Аналіз моделей фасувальних автоматів шляхом розщеплення вершин та дуг графів. Аналіз діаграм станів кінцевих автоматів, проектування цифрових пристроїв Active-HDL. Зниження трудомісткості розробки алгоритмів управління механізмами фасувальних автоматів.
статья, добавлен 14.01.2017Розробка методології синтезу абстрактних, структурних і HDL-моделей безпечних логічних автоматів для ПЛІС-контролерів з паралельною архітектурою. Експериментальні дослідження, промислові випробування і оцінка функціональної безпеки ПЛІС-контролерів.
автореферат, добавлен 20.07.2015Реалізація методу синтезу композиційних мікропрограмних пристроїв керування з традиційними й елементарними операторними лінійними ланцюгами на основі адреси мікрокоманди у вигляді конкатенації коду операторного лінійного ланцюга та її компонентів.
автореферат, добавлен 27.02.2014Дослідження доцільності використання теорії абстрактних автоматів (зокрема, теорії клітинних автоматів), опис основних аспектів її реалізації в програмуванні. Розробка технології попіксельної обробки графіки, що базується на понятті клітинного автомата.
статья, добавлен 09.10.2018Аналіз методів синтезу й оптимізації характеристик автоматів з "жорсткою" логікою, схеми яких реалізуються в гетерогенному елементному базисі. Розробка структур і методів синтезу автомата Мілі з кодуванням наборів мікрооперацій і фрагментацією змінних.
автореферат, добавлен 29.08.2014- 12. Програмовані логічні контролери з вбудованими засобами тестового та функціонального діагностування
Аналіз сучасного стану і тенденцій розвитку типових структур програмованих логічних контролерів. Розробка і вдосконалення моделей, методів і алгоритмів синтезу і логічного проектування ПЛК з вбудованими засобами тестового і функціонального діагностування.
автореферат, добавлен 25.02.2015 Розробка інформаційних технологій для моделювання розвитку туристичної інфраструктури території з використанням асинхронних автоматів. Обґрунтування доцільності поєднання інтелектуальних технологій аналізу з можливостями геоінформаційних систем.
статья, добавлен 26.12.2016Розробка методів верифікації алгоритмів функціонування дискретних систем, що задовольняють заданим часовим обмеженням. Використання часових логік для опису властивостей алгоритмів і методів побудови моделей систем, описаних у сучасних мовах проектування.
автореферат, добавлен 29.08.2014Методи паралельного обчислення максимальних і мінімальних значень. Нормалізація – процедура попереднього опрацювання вхідних даних (навчальних, тестових і робочих вибірок). Спеціалізовані НВІС-структури для визначення максимальних і мінімальних значень.
статья, добавлен 29.08.2016Вивчення проблеми розробки структурних методів синтезу багатозначних оборотних засобів розв'язання систем логічних рівнянь для синтезу багатозначних логічних елементів прямої та зворотної дії, які використовують у системах та засобах штучного інтелекту.
автореферат, добавлен 20.07.2015Розгляд існуючих структур композиційних мікропрограмних пристроїв керування з розділенням кодів з метою виявлення шляхів їх удосконалення. Дослідження та характеристика розроблених структур з метою визначення області їх ефективного застосування.
автореферат, добавлен 27.07.2015Розробка методу синтезу формальних моделей комп’ютерних програм на основі семантичних анотацій їх елементів. Розробка методу навчання інтелектуальної системи синтезу семантичних моделей програм. Структура онтології для системи синтезу моделей програм.
автореферат, добавлен 26.08.2015Розробка моделі просторового графа синхронних потоків даних. Алгоритмізація їх обробки у паралельних обчислювальних системах. Застосування програмованих логічних інтегральних схем. Вирішення задач лінійної алгебри з мінімізацією простоїв процесорів.
автореферат, добавлен 11.08.2015Методологія автоматизації проектування і моделювання цифрових систем, що базується на логічному програмуванні. Аналіз методів розпізнавання часових діаграм і автоматизації символічного синтезу систем, які описуються за допомогою логічних секвентів.
автореферат, добавлен 22.04.2014Розробка аксіоматичного підходу до проектування лінгвістичних трансляторів в системах логічного програмування, що базується на традиційних логічних численнях, реалізації фаз синтаксичного аналізу і перекладу мов проектування за допомогою методу резолюцій.
автореферат, добавлен 11.10.2011Синтез двійкового суматора за допомогою програмного пакету Decomposer, для вирішення завдань автоматизованого логічного синтезу цифрових схем з використанням методів багаторівневої декомпозиції та їх реалізації на мікросхемах програмованої логіки.
курсовая работа, добавлен 15.03.2014Дослідження основних особливостей елементного базису програмувальних логічних інтегральних схем. Створення модифікованих структур і методів синтезу автомата Мура. Характеристика алгоритму вибору моделі автомата Мура з найменшими витратами апаратури.
автореферат, добавлен 18.07.2015Класифікація структурних кодів на основі базових груп. Аналіз показників оцінки потужності підмножин пріоритетів. Характеристика матрично-аналітичного методу синтезу основних шифрів. Метод мінімізації логічних функцій у формі поліномів Ріда-Мюллера.
автореферат, добавлен 15.07.2014Дослідження проектування автоматизованих систем управління. Обґрунтування використання діалогових алгебро-граматичних моделей представлення знань для їх синтезу. Розробка інструментарію проектування комп’ютерних систем – діалогова трансформаційна машина.
автореферат, добавлен 27.08.2014