Теория тестирования логических устройств

Теория тестирования логических устройств

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Кудрявцев В. Б. Валерий Борисович (редактор), Гасанов Э. Э. Эльяр Эльдарович, Долотова О. А. Оксана Александровна, Погосян Г. Р. Грант Рафаелович, Садовничий В. А.
Περίληψη:	Тестирование логических устройств — активно развивающееся научно-прикладное направление кибернетики, возникшее в середине прошлого столетия. Оно по праву связывается с именем С. В. Яблонского. Тематика направления группируется вокруг задач характеризации тестов и их построения и фокусируется на устройствах, представленных на макро- и структурном уровнях. В книге эта тематика раскрывается на модели логического устройства в его макровиде. Решаются задачи описания сложности тестов для устройств, реализующих булевы функции из классов Поста, а также функции k-значной логики. Приводятся соответствующие процедуры построения таких тестов. Для студентов, аспирантов и специалистов в области надежности и контроля управляющих систем.
Γλώσσα:	Ρωσικά
Έκδοση:	Москва, Физматлит, 2006
Θέματα:	кибернетика математическая логические устройства управление теория тестирование неисправности контроль логические схемы классы Поста функции Шеннона алгоритмы построения
Μορφή:	Βιβλίο
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=109211

Παρόμοια τεκμήρια

Основы теории дискретных логических и вычислительных устройств: учебное пособие
από: Шоломов Л. А. Лев Абрамович
Έκδοση: (СПб., Лань, 2011)

Техническая диагностика цифровых устройств
από: Гольдман Р. С. Рафаил Семенович
Έκδοση: (Москва, Энергия, 1976)

Синтез диагностируемых схем вычислительных устройств
από: Горяшко А. П. Александр Петрович
Έκδοση: (Москва, Наука, 1987)

Настраиваемые модули для управляющих логических устройств
από: Артюхов В. Л. Валерий Леонидович
Έκδοση: (Ленинград, Энергоиздат, 1981)

Синтез логических устройств в коммутационной технике
από: Берлин А. Н. Александр Наумович
Έκδοση: (Москва, Радио и связь, 1982)

Основы теории дискретных логических и вычислительных устройств
από: Шоломов Л. А.
Έκδοση: (Санкт-Петербург, Лань, 2022)

Диагностика программируемых логических матриц
από: Бутаков Е. А. Евгений Артемович
Έκδοση: (Москва, Радио и связь, 1991)

Теория алгоритмов учебно-методическое пособие
από: Куликов В. Г.
Έκδοση: (Москва, МИСИ – МГСУ, 2022)

Динамика логических устройств и систем
από: Левин В. И. Виталий Ильич
Έκδοση: (Москва, Энергия, 1980)

Основы теории дискретных логических и вычислительных устройств: учебное пособие
από: Шоломов Л. А. Лев Абрамович
Έκδοση: (Москва, Наука, 1980)

Разработка и реализация алгоритмов решения комбинаторно-логических задач проектирования цифровых устройств методом сокращенного обхода дерева поиска: диссертация на соискание ученой степени кандидата технических наук; Спец. 05.13.01.
από: Беляев В. А.
Έκδοση: (Томск, 1979)

Алгоритмы синтеза автоматов на программируемых матрицах
από: Ачасова С. М. Светлана Михайловна
Έκδοση: (Москва, Радио и связь, 1987)

Основы алгебры логики и теории конечных автоматов: учебное пособие по курсу "Теоретические основы автоматического управления"
από: Набебин А. А. Алексей Александрович
Έκδοση: (Москва, [Б. и.], 1979)

Математическая логика и теория алгоритмов учебно-методическое-пособие
από: Геут К. Л.
Έκδοση: (Екатеринбург, 2017)

Синтез логических схем: учебное пособие
από: Триханов А. В. Александр Васильевич
Έκδοση: (Томск, Изд-во ТПИ, 1986)

Синтез логических схем: учебное пособие
από: Триханов А. В. Александр Васильевич
Έκδοση: (Томск, Изд-во ТПИ, 1980)

Параллельные логические вычисления посредством арифметических полиномов
από: Малюгин В. Д. Владимир Дмитриевич
Έκδοση: (Москва, Наука, 1997)

К использованию логических методов для синтеза и анализа потенциально-импульсных релейных устройств: диссертация на соискание ученой степени кандидата технических наук
από: Собакин Е. Л. Евгений Леонидович
Έκδοση: (Томск, 1967)

Замкнутые классы булевых функций
από: Марченков С. С. Сергей Серафимович
Έκδοση: (Москва, Физматлит, 2000)

Анализ логических сетей и техника булевых вычислений
από: Уткин А. А. Анатолий Александрович
Έκδοση: (Минск, Наука и техника, 1979)

Исследование и проектирование комбинационных логических устройств в программной среде Multisim
από: Васильев И. А.
Έκδοση: (Москва, МГТУ им. Н.Э. Баумана, 2018)

Техническая кибернетика: [сборник]
Έκδοση: (Тбилиси, Изд-во ГПИ, 1980)

Схемотехника телекоммуникационных устройств учебное пособие
από: Барабанова Е. А.
Έκδοση: (Астрахань, АГТУ, 2020)

Программирование логических интегральных схем учебное методическое пособие
από: Покаместов Д. А.
Έκδοση: (Москва, ТУСУР, 2021)

Основы проектирования цифровых схем: [пер. с англ.]
από: Уилкинсон Б. Барри
Έκδοση: (Москва, Вильямс, 2004)

Проектирование бесконтактных управляющих логических устройств промышленной автоматики
Έκδοση: (Москва, Энергия, 1977)

Тестирование комбинационных схем с неисправностью типа задержка пути; Информационные технологии в науке, управлении, социальной сфере и медицине
από: Селиванов П. Е.
Έκδοση: (2015)

Проектирование логических устройств судовой автоматики: учебное пособие для вузов
από: Вирьянский З. Я. Залман Яковлевич
Έκδοση: (Ленинград, Судостроение, 1979)

Структурный синтез управляющих логических устройств. Гидропривод станков: учебное пособие
από: Оркин В. И. Владимир Иванович
Έκδοση: (Саратов, Изд-во Саратовского ун-та, 2002)

Исследование логических систем
Έκδοση: (Москва, Наука, 1970)

Задачи по дискретной математике (I семестр) учебно-методическое пособие
από: Чирков А. Ю.
Έκδοση: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2021)

Проектирование цифровых логических устройств: пер. с англ.
από: Голдсуорт Б. Брайен
Έκδοση: (Москва, Машиностроение, 1985)

Автоматизация проектирования сложных логических структур
Έκδοση: (Москва, Энергия, 1978)

Диагностика программируемых логических матриц
από: Бутаков Е. А. Евгений Артемович
Έκδοση: (Москва, Радио и связь, 1991)

Теория дискретных устройств автоматики и телемеханики в электроснабжении курс лекций для студ. спец. 190401 "электроснабжение железных дорог"
από: Лабунский Л. С.
Έκδοση: (Самара, СамГУПС, 2011)

Теория алгоритмов учебно-методическое пособие
από: Волобуева С. А.
Έκδοση: (Воронеж, ВГУ, 2021)

Проектирование цифровых устройств на программируемых логических интегральных схемах; Молодежь и современные информационные технологии; Т. 2
από: Старшинов В. С.
Έκδοση: (2016)

Логические и математические исчисления: учебное пособие
από: Шиханович Ю. А. Юрий Александрович
Έκδοση: (Москва, Научный мир, 2011)

Основы элементарной цифровой микросхемотехники учебное пособие для студентов направлений подготовки 09.03.01, 09.03.02, 10.03.01, 10.05.02, 11.03.02, 27.03.04, всех профилей подготовки всех форм обучения
από: Ланских Ю. В.
Έκδοση: (Киров, ВятГУ, 2020)

Осуществление элементарных логических операций а аналоговом виде; Схемотехника; № 6
Έκδοση: (2004)