Теория тестирования логических устройств
| Kolejni autorzy: | Кудрявцев В. Б. Валерий Борисович (340), Гасанов Э. Э. Эльяр Эльдарович, Долотова О. А. Оксана Александровна, Погосян Г. Р. Грант Рафаелович, Садовничий В. А. |
|---|---|
| Streszczenie: | Тестирование логических устройств — активно развивающееся научно-прикладное направление кибернетики, возникшее в середине прошлого столетия. Оно по праву связывается с именем С. В. Яблонского. Тематика направления группируется вокруг задач характеризации тестов и их построения и фокусируется на устройствах, представленных на макро- и структурном уровнях. В книге эта тематика раскрывается на модели логического устройства в его макровиде. Решаются задачи описания сложности тестов для устройств, реализующих булевы функции из классов Поста, а также функции k-значной логики. Приводятся соответствующие процедуры построения таких тестов. Для студентов, аспирантов и специалистов в области надежности и контроля управляющих систем. |
| Wydane: |
Москва, Физматлит, 2006
|
| Hasła przedmiotowe: | |
| Format: | Książka |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=109211 |
Podobne zapisy
Основы теории дискретных логических и вычислительных устройств учебное пособие
od: Шоломов Л. А. Лев Абрамович
Wydane: (СПб., Лань, 2011)
od: Шоломов Л. А. Лев Абрамович
Wydane: (СПб., Лань, 2011)
Техническая диагностика цифровых устройств
od: Гольдман Р. С. Рафаил Семенович
Wydane: (Москва, Энергия, 1976)
od: Гольдман Р. С. Рафаил Семенович
Wydane: (Москва, Энергия, 1976)
Синтез диагностируемых схем вычислительных устройств
od: Горяшко А. П. Александр Петрович
Wydane: (Москва, Наука, 1987)
od: Горяшко А. П. Александр Петрович
Wydane: (Москва, Наука, 1987)
Теория алгоритмов учебно-методическое пособие
od: Куликов В. Г.
Wydane: (Москва, МИСИ – МГСУ, 2022)
od: Куликов В. Г.
Wydane: (Москва, МИСИ – МГСУ, 2022)
Диагностика программируемых логических матриц
od: Бутаков Е. А. Евгений Артемович
Wydane: (Москва, Радио и связь, 1991)
od: Бутаков Е. А. Евгений Артемович
Wydane: (Москва, Радио и связь, 1991)
Настраиваемые модули для управляющих логических устройств
od: Артюхов В. Л. Валерий Леонидович
Wydane: (Ленинград, Энергоиздат, 1981)
od: Артюхов В. Л. Валерий Леонидович
Wydane: (Ленинград, Энергоиздат, 1981)
Синтез логических устройств в коммутационной технике
od: Берлин А. Н. Александр Наумович
Wydane: (Москва, Радио и связь, 1982)
od: Берлин А. Н. Александр Наумович
Wydane: (Москва, Радио и связь, 1982)
Основы теории дискретных логических и вычислительных устройств
od: Шоломов Л. А.
Wydane: (Санкт-Петербург, Лань, 2022)
od: Шоломов Л. А.
Wydane: (Санкт-Петербург, Лань, 2022)
Основы теории дискретных логических и вычислительных устройств учебное пособие
od: Шоломов Л. А. Лев Абрамович
Wydane: (Москва, Наука, 1980)
od: Шоломов Л. А. Лев Абрамович
Wydane: (Москва, Наука, 1980)
Динамика логических устройств и систем
od: Левин В. И. Виталий Ильич
Wydane: (Москва, Энергия, 1980)
od: Левин В. И. Виталий Ильич
Wydane: (Москва, Энергия, 1980)
Основы алгебры логики и теории конечных автоматов учебное пособие по курсу "Теоретические основы автоматического управления"
od: Набебин А. А. Алексей Александрович
Wydane: (Москва, [Б. и.], 1979)
od: Набебин А. А. Алексей Александрович
Wydane: (Москва, [Б. и.], 1979)
Алгоритмы синтеза автоматов на программируемых матрицах
od: Ачасова С. М. Светлана Михайловна
Wydane: (Москва, Радио и связь, 1987)
od: Ачасова С. М. Светлана Михайловна
Wydane: (Москва, Радио и связь, 1987)
Математическая логика и теория алгоритмов учебно-методическое-пособие
od: Геут К. Л.
Wydane: (Екатеринбург, 2017)
od: Геут К. Л.
Wydane: (Екатеринбург, 2017)
Синтез логических схем учебное пособие
od: Триханов А. В. Александр Васильевич
Wydane: (Томск, Изд-во ТПИ, 1980)
od: Триханов А. В. Александр Васильевич
Wydane: (Томск, Изд-во ТПИ, 1980)
К использованию логических методов для синтеза и анализа потенциально-импульсных релейных устройств Диссертация на соискание ученой степени кандидата технических наук
od: Собакин Е. Л.
Wydane: (Томск, 1967)
od: Собакин Е. Л.
Wydane: (Томск, 1967)
Параллельные логические вычисления посредством арифметических полиномов
od: Малюгин В. Д. Владимир Дмитриевич
Wydane: (Москва, Наука, 1997)
od: Малюгин В. Д. Владимир Дмитриевич
Wydane: (Москва, Наука, 1997)
Анализ логических сетей и техника булевых вычислений
od: Уткин А. А. Анатолий Александрович
Wydane: (Минск, Наука и техника, 1979)
od: Уткин А. А. Анатолий Александрович
Wydane: (Минск, Наука и техника, 1979)
Задачи по дискретной математике (I семестр) учебно-методическое пособие
od: Чирков А. Ю.
Wydane: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2021)
od: Чирков А. Ю.
Wydane: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2021)
Схемотехника телекоммуникационных устройств учебное пособие
od: Барабанова Е. А.
Wydane: (Астрахань, АГТУ, 2020)
od: Барабанова Е. А.
Wydane: (Астрахань, АГТУ, 2020)
Исследование и проектирование комбинационных логических устройств в программной среде Multisim
od: Васильев И. А.
Wydane: (Москва, МГТУ им. Н.Э. Баумана, 2018)
od: Васильев И. А.
Wydane: (Москва, МГТУ им. Н.Э. Баумана, 2018)
Основы проектирования цифровых схем [пер. с англ.]
od: Уилкинсон Б. Барри
Wydane: (Москва, Вильямс, 2004)
od: Уилкинсон Б. Барри
Wydane: (Москва, Вильямс, 2004)
Программирование логических интегральных схем учебное методическое пособие
od: Покаместов Д. А.
Wydane: (Москва, ТУСУР, 2021)
od: Покаместов Д. А.
Wydane: (Москва, ТУСУР, 2021)
Техническая кибернетика [сборник]
Wydane: (Тбилиси, Изд-во ГПИ, 1980)
Wydane: (Тбилиси, Изд-во ГПИ, 1980)
Проектирование цифровых устройств на программируемых логических интегральных схемах
od: Старшинов В. С.
Wydane: (2016)
od: Старшинов В. С.
Wydane: (2016)
Тестирование комбинационных схем с неисправностью типа задержка пути
od: Селиванов П. Е.
Wydane: (2015)
od: Селиванов П. Е.
Wydane: (2015)
Теория алгоритмов учебно-методическое пособие
od: Волобуева С. А.
Wydane: (Воронеж, ВГУ, 2021)
od: Волобуева С. А.
Wydane: (Воронеж, ВГУ, 2021)
Проектирование логических устройств судовой автоматики учебное пособие для вузов
od: Вирьянский З. Я. Залман Яковлевич
Wydane: (Ленинград, Судостроение, 1979)
od: Вирьянский З. Я. Залман Яковлевич
Wydane: (Ленинград, Судостроение, 1979)
Исследование логических систем
Wydane: (Москва, Наука, 1970)
Wydane: (Москва, Наука, 1970)
Проектирование цифровых логических устройств пер. с англ.
od: Голдсуорт Б. Брайен
Wydane: (Москва, Машиностроение, 1985)
od: Голдсуорт Б. Брайен
Wydane: (Москва, Машиностроение, 1985)
Диагностика программируемых логических матриц
od: Бутаков Е. А. Евгений Артемович
Wydane: (Москва, Радио и связь, 1991)
od: Бутаков Е. А. Евгений Артемович
Wydane: (Москва, Радио и связь, 1991)
Логические и математические исчисления учебное пособие
od: Шиханович Ю. А. Юрий Александрович
Wydane: (Москва, Научный мир, 2011)
od: Шиханович Ю. А. Юрий Александрович
Wydane: (Москва, Научный мир, 2011)
Автоматизация проектирования сложных логических структур
Wydane: (Москва, Энергия, 1978)
Wydane: (Москва, Энергия, 1978)
Теория дискретных устройств автоматики и телемеханики в электроснабжении курс лекций для студ. спец. 190401 "электроснабжение железных дорог"
od: Лабунский Л. С.
Wydane: (Самара, СамГУПС, 2011)
od: Лабунский Л. С.
Wydane: (Самара, СамГУПС, 2011)
Осуществление элементарных логических операций а аналоговом виде
Wydane: (2004)
Wydane: (2004)
Алгоритм синтеза нечётких логических регуляторов на основе самоорганизации
od: Усков А. А.
Wydane: (2004)
od: Усков А. А.
Wydane: (2004)
Основы элементарной цифровой микросхемотехники учебное пособие для студентов направлений подготовки 09.03.01, 09.03.02, 10.03.01, 10.05.02, 11.03.02, 27.03.04, всех профилей подготовки всех форм обучения
od: Ланских Ю. В.
Wydane: (Киров, ВятГУ, 2020)
od: Ланских Ю. В.
Wydane: (Киров, ВятГУ, 2020)
Логический синтез релейных устройств пер. с англ.
od: Колдуэлл С. Х. Сэмюель
Wydane: (Москва, Изд-во иностранной литературы, 1962)
od: Колдуэлл С. Х. Сэмюель
Wydane: (Москва, Изд-во иностранной литературы, 1962)
Дискретная математика
od: Выборнов А. Н.
Wydane: (Москва, РТУ МИРЭА, 2023)
od: Выборнов А. Н.
Wydane: (Москва, РТУ МИРЭА, 2023)
Основы проектирования логических устройств учебное пособие
od: Харазов К. И. Конкордий Иннокентьевич
Wydane: (Москва, [Б. и.], 1979)
od: Харазов К. И. Конкордий Иннокентьевич
Wydane: (Москва, [Б. и.], 1979)
Синтез цифровых устройств циклического действия
od: Гудко Н. И. Николай Иванович
Wydane: (Москва, Горячая линия-Телеком, 2014)
od: Гудко Н. И. Николай Иванович
Wydane: (Москва, Горячая линия-Телеком, 2014)
Podobne zapisy
-
Основы теории дискретных логических и вычислительных устройств учебное пособие
od: Шоломов Л. А. Лев Абрамович
Wydane: (СПб., Лань, 2011) -
Техническая диагностика цифровых устройств
od: Гольдман Р. С. Рафаил Семенович
Wydane: (Москва, Энергия, 1976) -
Синтез диагностируемых схем вычислительных устройств
od: Горяшко А. П. Александр Петрович
Wydane: (Москва, Наука, 1987) -
Теория алгоритмов учебно-методическое пособие
od: Куликов В. Г.
Wydane: (Москва, МИСИ – МГСУ, 2022) -
Диагностика программируемых логических матриц
od: Бутаков Е. А. Евгений Артемович
Wydane: (Москва, Радио и связь, 1991)