Проектування моделей цифрових автоматів для генерації тестів у середовищі Active-HDL
Розробка моделі предикатних функцій збудження управляючого автомата, підтримуючих стандарт VHDL. Проектування детермінованого методу генерації тестів для змістовного графа автомата шляхом рішення настановної задачі на предикатних функціях збудження.
Подобные документы
Запропоновано принципи побудови, архітектуру та методику проектування багатоканальних апаратно-орієнтованих процесорів СБШ на основі багатоканальних процесорних елементів з врахуванням параметрів каналів передачі даних та низькими затратами обладнання.
автореферат, добавлен 22.06.2014Проблеми моделювання та аналізу динамічних режимів коливних систем та достовірної ідентифікації об‘єктів складної природи. Напрями створення нового класу дискретних моделей коливних систем довільного порядку для проектування радіоелектронних пристроїв.
автореферат, добавлен 28.09.2015Вивчення сучасних методів та технологій будування корпоративних мереж зв'язку при передачі даних. Здійснення вибору технології мережі, підбору мережевого обладнання, проектування схеми прокладки кабелю та розрахунку вартості компонентів мережі.
курсовая работа, добавлен 30.12.2018Алгоритм исследования метода оптимизации управляющего автомата. Генерация формального описания. Доказательство эквивалентности моделей автоматов. Анализ отчетов верификации и синтеза. Описание метода, основанного на замещении символов входного алфавита.
автореферат, добавлен 01.07.2018Розробка приладів безперервного магнітного контролю дефектів, викликаних водневою корозією техногенно небезпечних промислових об’єктів. Вплив температури на функцію перетворення. Конструкція первинного магніточутливого елемента та спосіб його збудження.
автореферат, добавлен 13.07.2014Розробка рекурентних методів чисельного рішення задач радіозв'язку, модельованих інтегральними рівняннями Фредгольма другого роду. Апробування методів оптимізації на прикладі задачі синтезу неоднорідної імпедансної смуги та оцінка їх ефективності.
автореферат, добавлен 27.07.2014Особливості організації видів зв'язку на залізниці. Характеристика цифровізації кабельних ліній первинної мережі. Розгляд процедури паспортизації кабельної лінії. Опис траси на дільниці. Проектування цифрового тракту Е1 на обладнанні ЦСП Megatrans 4.
курсовая работа, добавлен 29.01.2017Методи визначення оптимальних значень пропускної здатності каналів зв’язку. Підвищення ефективності проектування мультисервісних телекомунікаційних систем, які базуються на застосуванні властивостей інформаційних потоків як самоподібних процесів.
автореферат, добавлен 29.09.2015Моделювання і проектування погоджуючих ланцюгів малошумливих підсилювачів міліметрового діапазону. Рекомендації щодо конструкції робочих об'ємів каскадів підсилювачів, елементів монтажу з врахуванням технології паяння, зварки і приклеювання при монтажі.
автореферат, добавлен 29.09.2014- 110. Методика прийняття рішення по управлінню мережею обміну даними в умовах невизначеності інформації
Розробка методу визначення ймовірнісно-часових характеристик етапів процесу прийняття рішення в управлінні мережами обміну даними. Прийняття рішень в управлінні якістю обслуговування в мережі обміну даними з урахуванням пріоритетності потоків інформації.
автореферат, добавлен 27.07.2014 Особливості та принцип дії цифрового пристрою, що проектується. Його структурна електрична схема. Основні параметри генерації сигналів. Вибір елементів блоків індикації, генератора опорних частот, вибору межі вимірювання. Параметри функціональних вузлів.
курсовая работа, добавлен 27.11.2018Варіанти технологічного процесу формування К–МОН структур цифрових компараторів, що забезпечують підвищення швидкодії. Схемотехнічні та технологічні рішення цифрових компараторів високої швидкодії, реалізованих з використанням кремнієвої технології.
статья, добавлен 30.10.2016Структура і склад системи керування. Настроювання системи керування за допомогою конфігуратора HW Config. Проектування системи керування рухом на основі контролера Simatic S7-300, частотних перетворювачів Sinamics G120 та абсолютних датчиків положення.
реферат, добавлен 23.07.2015Дослідження стану пристроїв та систем електроживлення телекомунікаційних систем України. Формулювання принципів побудови, розробка функціональної схеми комплексу програмного забезпечення, розробка алгоритмів і створення програмного забезпечення.
автореферат, добавлен 22.07.2014Аналіз методології часткової динамічної реконфігурації компанії, що реалізована на базі широко використовуваних розробниками стандартних засобів проектування цифрових пристроїв на ПЛІС. Особливості створення мікросхем сімейств на базі програми Virtex 4.
статья, добавлен 29.08.2016Ідентифікація динамічних об’єктів у вигляді інтегро-степеневих рядів Вольтерри з використанням детермінованих сигналів ступінчастого впливу визначеної амплітуди. Simulink-моделі для реалізації однорідного регулярного інтегрального оператора n-го степеня.
статья, добавлен 25.08.2016- 117. Методи та засоби теплового проектування мікроелектронних пристроїв з кристалами на жорстких виводах
Сучасні тенденції розвитку електронних систем. Врахування теплових факторів у процесі проектування мікроелектронних пристроїв. Аналіз температурних полів елементів з кристалами на жорстких виводах. Дослідження процесів теплообміну в режимі функціонування.
автореферат, добавлен 24.06.2014 Створення програмних засобів проектування електродинамічних структур з розподіленими нелінійними елементами, які забезпечують прийнятні для практики точність визначення параметрів і швидкодію. Вияснення вірогідності основних положень розробленої теорії.
автореферат, добавлен 15.07.2014Розробка структури МСДЦ "Каскад" на дільниці, обладнання центрального посту диспетчерською централізацією. Розробка комплексу лінійного пункту "ЛП Каскад". Проектування системи контролю стану перегінних пристроїв сигналізації, централізації і блокування.
курсовая работа, добавлен 17.11.2017Проектування пристроїв відображення інформації та вибір способу кодування і зображення даних у процесі розробки інформаційної моделі. Методика визначення межових змін параметрів оцінюваної функції. Порівняння пристроїв відображення цифрової інформації.
автореферат, добавлен 12.11.2013Дослідження граничних значень цифрових систем передачі, які функціонують на базі існуючих кабельних ліній зв’язку, шляхом модернізації моделі та раціонального вибору лінійних сигналів. Побудова ефективних цифрових систем передачі на базі xDSL технологій.
автореферат, добавлен 28.10.2015Визначення, опис та характеристика основних критеріїв та факторів сучасних викликів та стратегії розвитку інтелектуальних інформаційних систем, які можуть виникати під час проектування та реалізації системної інтеграції. Аспекти системної інтеграції ІІС.
статья, добавлен 21.06.2024Аналіз існуючих методів кодування цифрових голосових сигналів. Дослідження статистичних властивостей дискретного перетворення Уолша. Розробка й оцінка методу стиску і відновлення цифрових голосових сигналів на основі виявлених статистичних властивостей.
автореферат, добавлен 28.08.2015Застосування методів форсованих випробувань для отримання залежності діагностичного параметру від часу напрацювання цифрових радіоелектронних компонентів. Застосування методу власного випромінювання для технічної діагностики радіоелектронних блоків.
статья, добавлен 27.07.2021Застосування аналого-цифрового перетворення при передачі сигналів в цифровій формі. Дослідження амплітуди пікових викидів на фронтах. Визначення кроку квантування та вибір частоти дискретизації. Схема генератора тактових сигналів та матриці резисторів.
курсовая работа, добавлен 04.06.2014