Теория тестирования логических устройств
| מחברים אחרים: | Кудрявцев В. Б. Валерий Борисович (340), Гасанов Э. Э. Эльяр Эльдарович, Долотова О. А. Оксана Александровна, Погосян Г. Р. Грант Рафаелович, Садовничий В. А. |
|---|---|
| סיכום: | Тестирование логических устройств — активно развивающееся научно-прикладное направление кибернетики, возникшее в середине прошлого столетия. Оно по праву связывается с именем С. В. Яблонского. Тематика направления группируется вокруг задач характеризации тестов и их построения и фокусируется на устройствах, представленных на макро- и структурном уровнях. В книге эта тематика раскрывается на модели логического устройства в его макровиде. Решаются задачи описания сложности тестов для устройств, реализующих булевы функции из классов Поста, а также функции k-значной логики. Приводятся соответствующие процедуры построения таких тестов. Для студентов, аспирантов и специалистов в области надежности и контроля управляющих систем. |
| יצא לאור: |
Москва, Физматлит, 2006
|
| נושאים: | |
| פורמט: | ספר |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=109211 |
פריטים דומים
Основы теории дискретных логических и вычислительных устройств учебное пособие
מאת: Шоломов Л. А. Лев Абрамович
יצא לאור: (СПб., Лань, 2011)
מאת: Шоломов Л. А. Лев Абрамович
יצא לאור: (СПб., Лань, 2011)
Техническая диагностика цифровых устройств
מאת: Гольдман Р. С. Рафаил Семенович
יצא לאור: (Москва, Энергия, 1976)
מאת: Гольдман Р. С. Рафаил Семенович
יצא לאור: (Москва, Энергия, 1976)
Синтез диагностируемых схем вычислительных устройств
מאת: Горяшко А. П. Александр Петрович
יצא לאור: (Москва, Наука, 1987)
מאת: Горяшко А. П. Александр Петрович
יצא לאור: (Москва, Наука, 1987)
Теория алгоритмов учебно-методическое пособие
מאת: Куликов В. Г.
יצא לאור: (Москва, МИСИ – МГСУ, 2022)
מאת: Куликов В. Г.
יצא לאור: (Москва, МИСИ – МГСУ, 2022)
Диагностика программируемых логических матриц
מאת: Бутаков Е. А. Евгений Артемович
יצא לאור: (Москва, Радио и связь, 1991)
מאת: Бутаков Е. А. Евгений Артемович
יצא לאור: (Москва, Радио и связь, 1991)
Настраиваемые модули для управляющих логических устройств
מאת: Артюхов В. Л. Валерий Леонидович
יצא לאור: (Ленинград, Энергоиздат, 1981)
מאת: Артюхов В. Л. Валерий Леонидович
יצא לאור: (Ленинград, Энергоиздат, 1981)
Синтез логических устройств в коммутационной технике
מאת: Берлин А. Н. Александр Наумович
יצא לאור: (Москва, Радио и связь, 1982)
מאת: Берлин А. Н. Александр Наумович
יצא לאור: (Москва, Радио и связь, 1982)
Основы теории дискретных логических и вычислительных устройств
מאת: Шоломов Л. А.
יצא לאור: (Санкт-Петербург, Лань, 2022)
מאת: Шоломов Л. А.
יצא לאור: (Санкт-Петербург, Лань, 2022)
Основы теории дискретных логических и вычислительных устройств учебное пособие
מאת: Шоломов Л. А. Лев Абрамович
יצא לאור: (Москва, Наука, 1980)
מאת: Шоломов Л. А. Лев Абрамович
יצא לאור: (Москва, Наука, 1980)
Динамика логических устройств и систем
מאת: Левин В. И. Виталий Ильич
יצא לאור: (Москва, Энергия, 1980)
מאת: Левин В. И. Виталий Ильич
יצא לאור: (Москва, Энергия, 1980)
Разработка и реализация алгоритмов решения комбинаторно-логических задач проектирования цифровых устройств методом сокращенного обхода дерева поиска диссертация на соискание ученой степени кандидата технических наук Спец. 05.13.01.
מאת: Беляев В. А.
יצא לאור: (Томск, 1979)
מאת: Беляев В. А.
יצא לאור: (Томск, 1979)
Основы алгебры логики и теории конечных автоматов учебное пособие по курсу "Теоретические основы автоматического управления"
מאת: Набебин А. А. Алексей Александрович
יצא לאור: (Москва, [Б. и.], 1979)
מאת: Набебин А. А. Алексей Александрович
יצא לאור: (Москва, [Б. и.], 1979)
Замкнутые классы булевых функций
מאת: Марченков С. С. Сергей Серафимович
יצא לאור: (Москва, Физматлит, 2000)
מאת: Марченков С. С. Сергей Серафимович
יצא לאור: (Москва, Физматлит, 2000)
Алгоритмы синтеза автоматов на программируемых матрицах
מאת: Ачасова С. М. Светлана Михайловна
יצא לאור: (Москва, Радио и связь, 1987)
מאת: Ачасова С. М. Светлана Михайловна
יצא לאור: (Москва, Радио и связь, 1987)
Математическая логика и теория алгоритмов учебно-методическое-пособие
מאת: Геут К. Л.
יצא לאור: (Екатеринбург, 2017)
מאת: Геут К. Л.
יצא לאור: (Екатеринбург, 2017)
Синтез логических схем учебное пособие
מאת: Триханов А. В. Александр Васильевич
יצא לאור: (Томск, Изд-во ТПИ, 1980)
מאת: Триханов А. В. Александр Васильевич
יצא לאור: (Томск, Изд-во ТПИ, 1980)
Синтез логических схем учебное пособие
מאת: Триханов А. В. Александр Васильевич
יצא לאור: (Томск, Изд-во ТПИ, 1986)
מאת: Триханов А. В. Александр Васильевич
יצא לאור: (Томск, Изд-во ТПИ, 1986)
К использованию логических методов для синтеза и анализа потенциально-импульсных релейных устройств Диссертация на соискание ученой степени кандидата технических наук
מאת: Собакин Е. Л.
יצא לאור: (Томск, 1967)
מאת: Собакин Е. Л.
יצא לאור: (Томск, 1967)
Параллельные логические вычисления посредством арифметических полиномов
מאת: Малюгин В. Д. Владимир Дмитриевич
יצא לאור: (Москва, Наука, 1997)
מאת: Малюгин В. Д. Владимир Дмитриевич
יצא לאור: (Москва, Наука, 1997)
Задачи по дискретной математике (I семестр) учебно-методическое пособие
מאת: Чирков А. Ю.
יצא לאור: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2021)
מאת: Чирков А. Ю.
יצא לאור: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2021)
Анализ логических сетей и техника булевых вычислений
מאת: Уткин А. А. Анатолий Александрович
יצא לאור: (Минск, Наука и техника, 1979)
מאת: Уткин А. А. Анатолий Александрович
יצא לאור: (Минск, Наука и техника, 1979)
Исследование и проектирование комбинационных логических устройств в программной среде Multisim
מאת: Васильев И. А.
יצא לאור: (Москва, МГТУ им. Н.Э. Баумана, 2018)
מאת: Васильев И. А.
יצא לאור: (Москва, МГТУ им. Н.Э. Баумана, 2018)
Схемотехника телекоммуникационных устройств учебное пособие
מאת: Барабанова Е. А.
יצא לאור: (Астрахань, АГТУ, 2020)
מאת: Барабанова Е. А.
יצא לאור: (Астрахань, АГТУ, 2020)
Основы проектирования цифровых схем [пер. с англ.]
מאת: Уилкинсон Б. Барри
יצא לאור: (Москва, Вильямс, 2004)
מאת: Уилкинсон Б. Барри
יצא לאור: (Москва, Вильямс, 2004)
Программирование логических интегральных схем учебное методическое пособие
מאת: Покаместов Д. А.
יצא לאור: (Москва, ТУСУР, 2021)
מאת: Покаместов Д. А.
יצא לאור: (Москва, ТУСУР, 2021)
Теория алгоритмов учебно-методическое пособие
מאת: Волобуева С. А.
יצא לאור: (Воронеж, ВГУ, 2021)
מאת: Волобуева С. А.
יצא לאור: (Воронеж, ВГУ, 2021)
Проектирование цифровых устройств на программируемых логических интегральных схемах
מאת: Старшинов В. С.
יצא לאור: (2016)
מאת: Старшинов В. С.
יצא לאור: (2016)
Техническая кибернетика [сборник]
יצא לאור: (Тбилиси, Изд-во ГПИ, 1980)
יצא לאור: (Тбилиси, Изд-во ГПИ, 1980)
Тестирование комбинационных схем с неисправностью типа задержка пути
מאת: Селиванов П. Е.
יצא לאור: (2015)
מאת: Селиванов П. Е.
יצא לאור: (2015)
Исследование логических систем
יצא לאור: (Москва, Наука, 1970)
יצא לאור: (Москва, Наука, 1970)
Проектирование логических устройств судовой автоматики учебное пособие для вузов
מאת: Вирьянский З. Я. Залман Яковлевич
יצא לאור: (Ленинград, Судостроение, 1979)
מאת: Вирьянский З. Я. Залман Яковлевич
יצא לאור: (Ленинград, Судостроение, 1979)
Структурный синтез управляющих логических устройств. Гидропривод станков учебное пособие
מאת: Оркин В. И. Владимир Иванович
יצא לאור: (Саратов, Изд-во Саратовского ун-та, 2002)
מאת: Оркин В. И. Владимир Иванович
יצא לאור: (Саратов, Изд-во Саратовского ун-та, 2002)
Диагностика программируемых логических матриц
מאת: Бутаков Е. А. Евгений Артемович
יצא לאור: (Москва, Радио и связь, 1991)
מאת: Бутаков Е. А. Евгений Артемович
יצא לאור: (Москва, Радио и связь, 1991)
Проектирование цифровых логических устройств пер. с англ.
מאת: Голдсуорт Б. Брайен
יצא לאור: (Москва, Машиностроение, 1985)
מאת: Голдсуорт Б. Брайен
יצא לאור: (Москва, Машиностроение, 1985)
Проектирование бесконтактных управляющих логических устройств промышленной автоматики
יצא לאור: (Москва, Энергия, 1977)
יצא לאור: (Москва, Энергия, 1977)
Автоматизация проектирования сложных логических структур
יצא לאור: (Москва, Энергия, 1978)
יצא לאור: (Москва, Энергия, 1978)
Логические и математические исчисления учебное пособие
מאת: Шиханович Ю. А. Юрий Александрович
יצא לאור: (Москва, Научный мир, 2011)
מאת: Шиханович Ю. А. Юрий Александрович
יצא לאור: (Москва, Научный мир, 2011)
Теория дискретных устройств автоматики и телемеханики в электроснабжении курс лекций для студ. спец. 190401 "электроснабжение железных дорог"
מאת: Лабунский Л. С.
יצא לאור: (Самара, СамГУПС, 2011)
מאת: Лабунский Л. С.
יצא לאור: (Самара, СамГУПС, 2011)
Алгоритм синтеза нечётких логических регуляторов на основе самоорганизации
מאת: Усков А. А.
יצא לאור: (2004)
מאת: Усков А. А.
יצא לאור: (2004)
Осуществление элементарных логических операций а аналоговом виде
יצא לאור: (2004)
יצא לאור: (2004)
פריטים דומים
-
Основы теории дискретных логических и вычислительных устройств учебное пособие
מאת: Шоломов Л. А. Лев Абрамович
יצא לאור: (СПб., Лань, 2011) -
Техническая диагностика цифровых устройств
מאת: Гольдман Р. С. Рафаил Семенович
יצא לאור: (Москва, Энергия, 1976) -
Синтез диагностируемых схем вычислительных устройств
מאת: Горяшко А. П. Александр Петрович
יצא לאור: (Москва, Наука, 1987) -
Теория алгоритмов учебно-методическое пособие
מאת: Куликов В. Г.
יצא לאור: (Москва, МИСИ – МГСУ, 2022) -
Диагностика программируемых логических матриц
מאת: Бутаков Е. А. Евгений Артемович
יצא לאור: (Москва, Радио и связь, 1991)