Верифікація моделей цифрових пристроїв, які подано мовами опису апаратури
Розробка методу зменшення кількості тестових наборів на основі звуження області можливих значень, що дозволяє зменшити загальний термін верифікації. Процеси автоматизованого проектування цифрових пристроїв, поданих мовами опису апаратури високого рівня.
Подобные документы
Поняття функції часу. Дослідження параметрів стабільності сигналів та пристроїв синхронізації у часовій області. Система технічних вимог до каналів синхронізації й принципів нормування стиків синхронізації для різних типів мереж цифрового зв’язку.
автореферат, добавлен 29.01.2016Аналіз сучасного стану цифрових методів управління параметрами каналів зв`язку телекомунікаційних систем та інформаційних сигналів. Розробка методів і схем побудови цифрових регуляторів для телекомунікаційних каналів з можливістю їх масштабування.
автореферат, добавлен 04.03.2014Дослідження показників безвідмовності (надійності) механічних, простих двовимірних та складних тривимірних конструкцій (пакетів плат з електрорадіоелементами), що являють собою пластинчасто-стрижневу конструкцію бортової апаратури літальних апаратів.
автореферат, добавлен 15.07.2014Показники надійності електронної апаратури, які є результатом механічних напружень, що виникають під час експлуатації в елементах конструкції за дії зовнішніх вібраційних та ударних впливів. Методи розрахунку надійності виводів та паяних з'єднань.
статья, добавлен 30.07.2016Швидкодія систем фазового автопідстроювання пристроїв (ФАП) зв’язку та її підвищення. Аналіз шляхів зменшення перехідної складової похибки систем пристроїв. Методика синтезу передаточної функції розімкненого каналу управління комбінованої системи ФАП.
автореферат, добавлен 28.07.2014- 106. Моделювання передавальних характеристик пристроїв захисту вхідних кіл приймачів надвисоких частот
Принципи моделювання передавальних характеристик пасивних захисних пристроїв мікрохвильового діапазону. Розрахунок залежності потужності вихідного сигналу від рівня вхідного. Вплив наявності попереднього каскаду на передавальні характеристики пристрою.
статья, добавлен 27.07.2016 Розрахунок навантажень, діючих в механізмі пересування мішені. Механічні характеристики двигуна. Розробка схеми управління тиристорним перетворювачем, що дозволяє зменшити діапазон коливань лінійної швидкості мішені при зміні радіусу намотки дроту.
статья, добавлен 29.10.2016Шляхи підвищення відмовостійкості цифрових систем керування з програмованою логікою, зниження часу і вартості їх створення на основі структурно-просторового підходу до моделювання та розробки. Основні методи адаптації цифрових систем керування.
автореферат, добавлен 13.10.2013Сучасний стан проблеми синтезу функціональних пристроїв обробки сигналів з підвищеним завадозахистом. Галузі застосування таких пристроїв та способи їх технічної реалізації. Методика оцінки статистичних параметрів випадкових технологічних відхилень.
автореферат, добавлен 23.11.2013Проблеми прийому і обробки сигналів в інфрачервоній частині спектру з великою роздільною здатністю, чутливістю в реальному масштабі часу, аналіз шляхів побудови та розробка конструкцій високонадійних пристроїв зчитування інформації у фокальній площині.
автореферат, добавлен 22.07.2014Розвиток методів аналізу хвильових процесів в резонаторі біжних хвиль, а також створення моделей пристроїв формування надвисоких частот радіоімпульсів малої тривалості. Розробка резонаторних методів вимірювання параметрів спрямованих відгалуджувачів.
автореферат, добавлен 27.09.2014Розробка математичних моделей для опису поляризаційних, спрямованих, частотних, енергетичних характеристик криволінійних дротових антен, а також їх вхідного опору. Дослідження нових типів антен на основі рамкових та спіральних випромінюючих структур.
автореферат, добавлен 05.08.2014Дослідження апаратури магнітного запису-відтворення мовної інформації для першого пілотованого польоту людини в космос. Історія та принцип роботи апаратури для документування космонавтами спостережень, перемовин членів екіпажу між собою та з Землею.
статья, добавлен 05.02.2023Розрахунок параметричної чутливості цифрових фільтрів з дійсними та триплексними коефіцієнтами. Порівняльний аналіз отриманих значень чутливості. Метод зниження параметричної чутливості цифрових фільтрів з гіперкомплексними та триплексними коефіцієнтами.
статья, добавлен 29.01.2019Розробка методів і пристроїв приймання сигналів при апріорній невизначеності із застосуванням теорії умовних марковських процесів і негауссівської апроксимації апостеріорної густини розподілу ймовірностей. Аналіз завадостійкості адаптивних алгоритмів.
автореферат, добавлен 28.07.2014Оцінка зовнішнього впливу довкілля на параметри телекомунікаційної мережі. Шляхи підвищення точності моделей опису її характеристик за рахунок використання апарату теорії нечітких множин. Ситуаційний опис функціонування мережі в умовах невизначеності.
автореферат, добавлен 17.07.2015Варіанти технологічного процесу формування К–МОН структур цифрових компараторів, що забезпечують підвищення швидкодії. Схемотехнічні та технологічні рішення цифрових компараторів високої швидкодії, реалізованих з використанням кремнієвої технології.
статья, добавлен 30.10.2016- 118. Фізико-технічні основи побудови оптичних запам’ятовуючих пристроїв на фотолюмінісцентних носіях
Забезпечення довготермінового зберігання великих обсягів інформації на оптичних носіях. Використання рідинного та твердотільного імерсійного запису цифрових даних ультрафіолетовим випромінюванням. Дослідження спектрів фотолюмінісцентних матеріалів.
автореферат, добавлен 23.08.2014 Дослідження стану пристроїв та систем електроживлення телекомунікаційних систем України. Формулювання принципів побудови, розробка функціональної схеми комплексу програмного забезпечення, розробка алгоритмів і створення програмного забезпечення.
автореферат, добавлен 22.07.2014У статті окреслено низку питань, що актуалізують проблеми забезпечення захисту радіоелектронної апаратури інформаційних систем технічних засобів Збройних Сил України від зовнішніх електромагнітних впливів. Здійснено аналіз наукових робіт в цій сфері.
статья, добавлен 16.01.2024Можливості зарубіжних бібліотек зі збереження та організації доступу до цифрових матеріалів. Використання цифрових каналів комунікації для формування конкурентоспроможності та затребуваності бібліотеки. Забезпечення довготривалого збереження веб-ресурсів.
статья, добавлен 21.09.2018Аналіз концепції параметричного синтезу частотно-вибіркових пристроїв, що максимально враховує особливості та системний потенціал ідентифікаційних підходів. Розробка алгоритму, що реалізує методами автоформалізації отримання технологічної моделі.
автореферат, добавлен 27.07.2014Розробка терморезисторних елементів струмового захисту радіоелектронної апаратури на основі керамічних напівпровідникових композитів CuxNi1-x-yCo2yMn2-уO4. Дослідження термокомпозиційних особливостей їх отримання, статистичної моделі терморезисторів.
автореферат, добавлен 21.11.2013Дослідження кореляційних та фрактальних характеристик флуктуацій яскравості пікселів стеганограм при багатоетапному вбудовуванні попередньо модифікованих стегоданих в зоні перетворення цифрових зображень. Основні наслідки приховання повідомлень.
статья, добавлен 27.07.2016Розробка структури МСДЦ "Каскад" на дільниці, обладнання центрального посту диспетчерською централізацією. Розробка комплексу лінійного пункту "ЛП Каскад". Проектування системи контролю стану перегінних пристроїв сигналізації, централізації і блокування.
курсовая работа, добавлен 17.11.2017