Розвиток теорії і розробка методології логічного синтезу НВІС на основі багаторівневих автоматних моделей
Методика багаторівневого ієрархічного і логічного синтезу асинхронних автоматів і надвеликих інтегральних схем. Проектування мікропрограмних пристроїв управління НВІС на засаді синхронних автоматів. Розробка мов опису проектних логічних специфікацій НВІС.
Подобные документы
Розробка методів для автоматизації синтезу моделей. Модифікування існуючих технологій базових елементів мікроелектромеханічних систем. Аналіз імітаційної тривимірної моделі технологічних операцій виготовлення елементів мікроелектромеханічних систем.
автореферат, добавлен 28.08.2015Розв'язання проблеми забезпечення безпомилковості процесу проектування реактивних алгоритмів промислового рівня складності, що передбачає розробку математичного апарату доказового проектування алгоритмів. Розробка методів синтезу автомата-розпізнавача.
автореферат, добавлен 27.04.2014Розробка та аналіз, на основі перекодованих структурно-блочних кодів, алгоритмів функціонування та математичних моделей суматорів. Дослідження та характеристика особливостей складності математичних моделей суматорів та їх основних функціональних схем.
автореферат, добавлен 25.08.2015Підвищення якості обробки цифрової інформації на основі математичних моделей паралельно-ієрархічного (ПІ) перетворення. Визначення та прогнозування координат зображень плям лазерних пучків. Використання математичного аналізу та теорії часових рядів.
автореферат, добавлен 14.09.2014Проект апаратно-програмної системи безпеки приміщення на платформі Arduino та сумісних з нею периферійних пристроїв. Аналіз середовища розробки. Створення схем підключення периферійних пристроїв та плати-мікроконтролера. Розробка програмного коду.
дипломная работа, добавлен 24.05.2023Розробка моделей і інформаційної технології управління розвитком корпоративної інформаційно-обчислювальної системи при нечіткій вихідній інформації. Критерії, що характеризують ефективність КІОС. Модель статичної задачі структурно-топологічного синтезу.
автореферат, добавлен 26.07.2014Розробка теоретичних та методологічних засобів опису лінгвістичних зв’язків української мови у вигляді рівнянь алгебри предикатів. Побудова математичних моделей акцентних характеристик і букво-фонемних відношень для голосних та приголосних звуків.
автореферат, добавлен 29.07.2014Дослідження методів проектування мікросмужкових фільтрів НВЧ. Розробка алгоритмів проектування допусків в залежності від технології виготовлення підсистеми мікросмужкових фільтрів з можливістю аналізу та синтезу допусків на основних етапах технології.
автореферат, добавлен 26.08.2014Комп’ютерне відтворення звуків, що утворює людина. Методика розв’язання проблеми синтезу розмовної інформації. Автоматизація штучного утворення звуків голосу людини, на основі спільного використання фізичних моделей голосового джерела та мовного тракту.
автореферат, добавлен 20.07.2015Дослідження задач прийняття рішень при неповній початковій інформації. Побудова алгоритмів синтезу цільових псевдобулевих функцій на основі знань. Обчислення паретівської множини шляхом попарних порівнянь точок. Розробка метода активних звужуючих запитів.
автореферат, добавлен 22.06.2014Розробка методів та апаратних засобів нанесення текстур з усуненням ефекту аліасинга для синтезу зображень методом зворотного трасування в системах візуалізації реального часу. Огляд методу анізотропної фільтрації в площині текстури для синтезу зображень.
автореферат, добавлен 30.07.2015Теоретичні основи та інформаційні технології нового класу систем підтримки прийняття рішень у медичній діагностиці на основі синтезу структурованих моделей складно організованих взаємозалежних підсистем організму. Процес автоматизації лікарських записів.
автореферат, добавлен 30.07.2015Дослідження структурних та метричних властивостей систем визначальних співвідношень для повністю визначених та часткових скінчених ініціальних автоматів. Взаємозв’язок між структурою графа автомата та структурою його систем визначальних співвідношень.
автореферат, добавлен 10.08.2014Аналіз сучасних технологій та засобів проектування комп’ютерних пристроїв. Розгляд процесу генерації ядер процесорів, які реалізують поширені алгоритми симетричного блокового шифрування та їх реалізації на програмованих логічних інтегральних схемах.
автореферат, добавлен 28.07.2014Визначення теоретичної складової ймовірнісних автоматів теплиці як поля для переміщення робота. Характеристика створення програмного забезпечення, що дозволяє розраховувати шлях пересування приладу в просторі оранжереї із урахуванням імовірних перешкод.
статья, добавлен 30.01.2017Розробка моделей надійності резервованих інформаційно-управляючих систем з додатковими компонентами для організації мережного мажоритування. Особливість методу конфігураційного синтезу цифрових програм при використанні раніше розроблених складників.
автореферат, добавлен 30.10.2015- 67. Проектування тестів для послiдовносних функціональних схем, що реалізованi у програмованiй логіці
Розробка та загальний опис структурно-функціональних моделей послiдовних схем і удосконалення методів генерації тестів для зменшення часу верифікації цифрових систем на стадіях їхнього автоматизованого проектування й імплементації в кристалах ПЛIС.
автореферат, добавлен 25.06.2014 Технології збору, аналізу результатів розподіленого моделювання для оцінки протоколів синхронізації логічних процесів з метою їхньої оптимізації. Розробка алгоритму оптимального відображення цифрових систем на граф мережних моделюючих процесорів.
автореферат, добавлен 29.09.2014Стратегія автоматизації предметної області, яка має відношення до проходження практики студентами у ВНЗ. Інформаційне забезпечення. Засоби концептуального моделювання за допомогою мови ER. Принципи логічного та фізичного проектування бази даних.
курсовая работа, добавлен 13.01.2017Застосування ЕОМ для автоматизації проектування і технологічної підготовки виробництва. Структура систем автоматизованого синтезу пристроїв. Побудова елементів по розрізах і моделювання деталей у системі КОМПАС. Особливості використання системи AutoCAD.
методичка, добавлен 16.10.2012Розробка нового підходу до визначення кількісної міри контрастності двох елементів зображень. Встановлення спільної основи побудови методів підвищення візуальної якості зображень, що обробляються в просторовій області, для створення шляхів їх синтезу.
автореферат, добавлен 12.11.2013Розробка машинного алгоритму операції. Синтез керуючого автомату. Способи виконання операції множення. Розробка алгоритму та операційного автомату. Приклад виконання для множення в прямих кодах з групуванням розрядів множника починаючи з старших розрядів.
реферат, добавлен 12.04.2009Створення алгоритмів та методів для автоматичної верифікації формальних моделей асинхронних промислових систем. Перевірка динамічних властивостей, редукції простору пошуку, генерації множини тестових сценаріїв, що задовольняють певним критеріям покриття.
автореферат, добавлен 26.09.2015Побудова методів пошуку виведення в класичній логіці першого порядку. Дослідження систем логічного програмування на коректність і повноту. Модуляційні розширення числення літеральний дерев. Модифікація резолюційних стратегій і методу елімінації моделей.
автореферат, добавлен 29.07.2015Дослідження систем керування базами даних, побудованих на основі графової моделі. Особливості застосування та реалізації предметно-орієнтованих мов програмування. Визначення можливості викорисання мови запитів Cypher в процесі обробки мережевих графіків.
статья, добавлен 11.12.2024