Алгоритмические методы синтеза тестов

Алгоритмические методы синтеза тестов

Bibliographic Details
Main Author:	Матросова, Анжела Юрьевна
Corporate Author:	Сибирский физико-технический институт им. В. Д. Кузнецова (Томск)
Other Authors:	Быкова, Светлана Васильевна (Editor)
Format:	eBook
Language:	Russian
Published:	Томск Издательство Томского университета 1990
Subjects:	Вычислительные машины электронные - Программы тестовые - Синтез. логические уравнения. синхронные устройства. булевы уравнения. дискретные устройства. моделирование. асинхронные дискретные устройства. функциональные модели. синтез тестов (программы тестовые). логические неисправности. монографии
Online Access:	http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000069721 Перейти в каталог НБ ТГУ

Similar Items

Построение тестов для константных неисправностей произвольных логических элементов комбинационных схем на основе графического представления функций элементов
by: Матросова, Анжела Юрьевна

Алгоритмические методы контроля и диагностики дискретных устройств управления и проблемы контролепригодного проектирования диссертация на соискание ученой степени доктора технических наук : 05.13.01
by: Матросова, Анжела Юрьевна
Published: (1990)

Выделение подозреваемых логических неисправностей в комбинационных дискретных устройствах
by: Бабкин, Р. А.

Методы и алгоритмы параметрического анализа линейных и нелинейных моделей переноса Сборник научных трудов
Published: (1996)

Методы синтеза контролепригодных дискретных устройств Диссертация на соискание ученой степени кандидата технических наук. 05.13.01
by: Останин, Сергей Александрович
Published: (2000)

Проблемы синтеза цифровых автоматов [сборник статей]
Published: (1967)

Построение проверяющих тестов в процессе декомпозиционного синтеза управляющих автоматов диссертация на соискание ученой степени кандидата технических наук : 05.13.01
by: Каширова, Лилия Федоровна
Published: (1991)

Цифровые устройства [учебное пособие для студентов технических специальностей вузов]
by: Пухальский, Геннадий Иванович
Published: (1996)

Методы синтеза самопроверяемых дискретных систем Диссертация на соискание ученой степени кандидата технических наук. 05.13.01
by: Никитин, Константин Владимирович
Published: (2003)

Труды по теории синтеза самопроверяемых схем встроенного контроля на основе двоичных избыточных кодов в 2 т.
Published: (2021)

Построение последовательности, доставляющей тестовую пару для робастно тестируемой неисправности задержки пути
by: Матросова, Анжела Юрьевна

Метод построения дискретных схем на базе комплексных программируемых логических устройств
by: Оранов, Александр Михайлович

Алгоритм муравьиной колонии синтеза тестов для цифровых устройств
by: Соловьев, Владимир Михайлович канд. техн. наук

Анализ логических сетей и техника булевых вычислений
by: Уткин, Анатолий Александрович
Published: (1979)

Обеспечение надежности физических систем: синтез логических схем, в которых задержка каждого пути обнаружима, с одновременным компактным представлением тестовых пар
by: Матросова, Анжела Юрьевна

Проектирование цифровых устройств [учебное пособие для студентов высших учебных заведений, обучающихся по направлению подготовки 210400 - "Радиотехника"]
by: Пухальский, Геннадий Иванович
Published: (2012)

Теория тестирования логических устройств
Published: (2006)

Алгоритм построения ROBDD-графа, представляющего множество всех достижимых реакций комбинационной логической схемы
by: Провкин, Виктор Алексеевич

Обеспечение надежности физических систем: синтез частично программируемых логических схем
by: Матросова, Анжела Юрьевна

Синтез самопроверяемых дискретных устройств по BDD-реализациям их функционирования
by: Астафьев, Михаил Валерьевич

Синтез самотестируемых детекторов с использованием одновыходных ПЛБ
by: Буторина, Наталья Борисовна

Основы теории дискретных логических и вычислительных устройств
by: Шоломов Л. А.
Published: (2022)

Разработка алгоритмов синтеза и тестирования конечно-автоматных компенсаторов Диссертация на соискание ученой степени кандидата технических наук. 05.13.01
by: Ветрова, Мария Викторовна
Published: (2003)

Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов

Диагностика дискретных устройств рабочая программа дисциплины : направление подготовки: 010400 - Прикладная математика и информатика; квалификация выпускника: Бакалавр; форма обучения: очная
by: Матросова, Анжела Юрьевна
Published: (2011)

Об одном подходе к приближенному синтезу дискретных устройств с памятью
by: Сперанский, Дмитрий Васильевич 1939-

Коды Хэмминга в системах функционального контроля логических устройств
by: Сапожников, Валерий Владимирович
Published: (2018)

Свойства пар тестовых наборов, обнаруживающих неисправности задержек путей в логических схемах VLSI высокой производительности
by: Матросова, Анжела Юрьевна

Исследование сложности условных тестов для диагностики неисправностей схем из функциональных элементов Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. 05.13.17
by: Шевченко, Владимир Иванович
Published: (1995)

Логические методы анализа и синтеза схем
by: Поспелов, Дмитрий Александрович
Published: (1974)

Импульсные устройства на интегральных микросхемах учебное пособие
by: Турченков, Леонид Петрович
Published: (1984)

Основы теории дискретных логических и вычислительных устройств учебное пособие для вузов по направлению ВПО 010500 - "Прикладная математика и информатика" и 010400 - "Информационные технологии"
by: Шоломов, Лев Абрамович
Published: (2011)

Моделирование, тестирование и диагностика цифровых устройств [курс лекций]
by: Сперанский, Дмитрий Васильевич 1939-
Published: (2016)

Кратчайшие допустимые разбиения в синтезе и компоновке схем логического управления Диссертация на соискание ученой степени доктора технических наук. 05.13.01
by: Оранов, Александр Михайлович
Published: (1999)

Основы теории дискретных логических и вычислительных устройств [учебное пособие для студентов вузов, обучающихся по направлению ВПО 010500 - "Прикладная математика и информатика" и 010400 - "Информационные технологии"]
by: Шоломов, Лев Абрамович
Published: (2011)

Синтез последовательностных схем, устойчивых к кратковременным и перемежающимся неисправностям
by: Матросова, Анжела Юрьевна

Вводный курс цифровой электроники [учебное пособие в области проектирования цифровых интегральных схем]
by: Фрике, К.
Published: (2004)

Физика машинной памяти
by: Мнеян, Мирон Георгиевич
Published: (1990)

Справочник по электрическим машинам учебное пособие для среднего профессионального образования
by: Кацман, Марк Михайлович
Published: (2005)

Теория дискретных устройств автоматики и телемеханики в электроснабжении курс лекций для студ. спец. 190401 "электроснабжение железных дорог"
by: Лабунский, Л. С.
Published: (2011)