Методи синтезу структурних тестів для цифрових синхронних схем на основі апаратних засобів, що реконфігуруються
Методи побудови тестових послідовностей для схем з пам'яттю. Алгоритм оцінки довжини тестових послідовностей автомата. Апаратні засоби прискорення обчислень при синтезі тестів еволюційними методами, їх апробація на міжнародній бібліотеці послідовних схем.
Подобные документы
Основные принципы работы с логическими элементами и выполняемые ими функции. Возможность построения простых логических схем в специализированной программе Multisim. Способы задания логических функций. Аксиомы алгебры логики, таблица истинности и пр.
лабораторная работа, добавлен 13.12.2015Проблемы технического диагностирования программируемых логических интегральных схем. Построение геометрической формы автоматных моделей, Реализация алгоритма ортогонального преобразования. Анализ эффективности применения классических методов интерполяции.
статья, добавлен 28.02.2016- 103. Поколения компьютера
Конструирование компьютеров первого и второго поколений на основе электровакуумных ламп и транзисторов. Создание компьютеров третьего поколения на основе интегральных схем. Использование сверхбольших интегральных схем в конструировании компьютеров.
реферат, добавлен 15.03.2016 Висвітленння питання використання сучасних тестових програм. Аналіз роботи декількох програм-оболонок. Основний набір визначень та термінів з питань охорони навколишнього середовища. Проведення контролю знань та тренінгів учнів. Складання бази даних.
статья, добавлен 30.09.2018Сравнение схем нечеткого вывода. Уравнения, описывающие их. Способы создания иерархических систем: с выполнением фаззификации/дефаззификации промежуточных переменных и без нее. Отличие нечеткой энтропии от классической. Создание экспертной системы.
статья, добавлен 18.01.2018Обзор основных аппаратных и программных моделей реализации нейроморфных чипов. Анализ возможности применения логического многозначного моделирования на переключательном уровне для схем пороговой логики при моделировании пороговых функций в КМОП.
статья, добавлен 26.03.2016Класифікаційний аналіз методів розпізнавання зображень. Огляд сучасних матричних однорідних обчислювальних середовищ паралельної обробки інформації. Сутність основних вимог до побудови однорідних матричних структур. Комп’ютерне моделювання вектору.
автореферат, добавлен 26.07.2014Розробка алгоритму побудови моделей процесів управління на основі ретроспективних даних, що описують проходження цих процесів у минулому. Підвищення ефективності функціонування підприємств. Визначення мір подібності окремих атрибутів і об'єктів у цілому.
автореферат, добавлен 04.03.2014Розробка мультиагентних методів синтезу нейро-нечітких мереж для підвищення їхніх апроксимаційних та узагальнюючих здатностей. Динаміка роботи методів відбору інформативних ознак. Огляд програмних засобів для мультиагентного синтезу нейро-нечітких мереж.
автореферат, добавлен 20.07.2015Визначення й класифікація схем лічильників. Організація перенесень між розрядами лічильника. Синхронні й асинхронні лічильники. Побудова кодованої таблиці функцій збудження тригерів заданого типу. Синтез реверсивного синхронного десяткового лічильника.
курсовая работа, добавлен 01.09.2015Программа как формализованное описание процесса обработки данных. Интерпретация стандартных схем программ. Синтаксические и семантические свойства программ. Функции и графы. Свойства и виды стандартных схем программ. Языки формальной спецификации.
курс лекций, добавлен 03.03.2012Методи паралельного обчислення максимальних і мінімальних значень. Нормалізація – процедура попереднього опрацювання вхідних даних (навчальних, тестових і робочих вибірок). Спеціалізовані НВІС-структури для визначення максимальних і мінімальних значень.
статья, добавлен 29.08.2016Інтелектуальна технологія, що забезпечує зйомку, комп’ютерне розпізнавання та візуалізацію стереозображень неперервних поверхонь і поєднує сучасні апаратні мультимедійні засоби персональних комп’ютерів. Методи розпізнавання образів і оптимальної розмітки.
автореферат, добавлен 07.08.2014Использование симулятора для облегчения изучения алгебры логики. Основной базис построения вычислительных устройств и систем. Создание логических схем в виртуальной среде. Разработка приложения на языке Kotlin для обучения студентов программированию.
статья, добавлен 11.12.2024Використання системи управління тестуванням, що дозволяє визначати пріоритети тест-кейсів залежно від внесених до коду продукту виправлення, заснованої на нейромережевій моделі. Оцінювання інтелектуальних можливостей автоматичного запуску тестів.
статья, добавлен 14.12.2024Ознакомление и освоение среды Multisim. Исследование работы неинвертирующего и инвертирующего включения операционного усилителя. Имитационное моделирование схем мультивибраторов, получение осциллограмм напряжений и определение параметров сигналов.
лабораторная работа, добавлен 09.12.2016Изучение методологии, алгоритмов и инструментов систем автоматизированного проектирования в современном мире. Описание программ, предназначенных для автоматизации процессов проектирования и расчета электрических схем. Применение графических редакторов.
статья, добавлен 30.07.2018Проблема снижения энергопотребления цифровых систем, построенных на элементной базе микросхем FPGA. Традиционные пути снижения энергопотребления в цифровых системах. Анализ использования естественных возможностей конвейеризации схем в FPGA-проектах.
статья, добавлен 30.07.2016Аналіз методів синтезу й оптимізації характеристик автоматів з "жорсткою" логікою, схеми яких реалізуються в гетерогенному елементному базисі. Розробка структур і методів синтезу автомата Мілі з кодуванням наборів мікрооперацій і фрагментацією змінних.
автореферат, добавлен 29.08.2014Обзор аппаратных и программных моделей реализации нейроморфных чипов. Возможности применения логического многозначного моделирования на переключательном уровне для схем пороговой логики. Тестирование реализаций пороговых функций в КМОП-технологиях.
статья, добавлен 26.03.2016Аналіз методів та формулювання принципів побудови штучних імунних і гібридних систем інтелектуального аналізу даних. Розроблення методів і засобів структурно-параметричного синтезу нейронних мереж для розв'язання задач прогнозування та класифікації.
автореферат, добавлен 20.07.2015Перспективы развития системы автоматизации проектных работ и условие ее эффективного проектирования. Работа с САПР и редактирование моделей. Разработка электрических схем и печатных плат. Общий пользовательский интерфейс. Проектирование микропроцессоров.
контрольная работа, добавлен 11.02.2013Преимущества математического моделирования электронных схем с помощью персональных компьютеров. Компьютерное моделирование работы схемы управления. Графический ввод схем, библиотеки программы Capture. Анализ уровня шума и разработка печатной платы.
курсовая работа, добавлен 09.05.2012Разработка информационного обеспечения САПР. Перечень полей базы данных, схем и свойства данных. Этапы формирования чертежа и создание пользовательского меню. Организация связи элементов чертежа с базой данных. Аппаратное и программное обеспечение.
курсовая работа, добавлен 06.12.2013Основные подходы к построению математических моделей процессов функционирования реальной системы. Применение схем детерминированных вероятностных автоматов для разработки методов проектирования дискретных систем. Математическое понятие Р-автомата.
контрольная работа, добавлен 08.11.2012