Тестирование логических устройств – активно развивающееся научно-прикладное направление кибернетики, возникшее в середине прошлого столетия. Оно по праву связывается с именем С. В. Яблонского. Тематика направления группируется вокруг задач характеризации тестов и их построения и фокусируется на устройствах, представленных на макро- и структурном уровнях. В книге эта тематика раскрывается на модели логического устройства в его макровиде. Решаются задачи описания сложности тестов для устройств, реализующих булевы функции из классов Поста, а также функции k-значной логики. Приводятся соответствующие процедуры построения таких тестов. Для студентов, аспирантов и специалистов в области надежности и контроля управляющих систем.
Категория: учебники и пособия для вузов
ISBN: 5-9221-0727-5
Правообладатель: Издательская фирма "Физико-математическая литература"
Год: 2006
Легальная стоимость: 349.00 руб.
Ограничение по возрасту: 0+
Комментарии ():