Рубрики:
автоматика.кибернетика--математическая кибернетика
Кл.слова (ненормированные):
логические устройства -- конечнозначная логика -- тестовый контроль -- тесты -- сложность контроля -- Поста классы -- кибернетика
автоматика.кибернетика--математическая кибернетика
Кл.слова (ненормированные):
логические устройства -- конечнозначная логика -- тестовый контроль -- тесты -- сложность контроля -- Поста классы -- кибернетика
Аннотация: Тестирование логических устройств — активно развивающееся научно-прикладное направление кибернетики, возникшее в середине прошлого столетия. Оно по праву связывается с именем С. В. Яблонского. Тематика направления группируется вокруг задач характеризации тестов и их построения и фокусируется на устройствах, представленных на макро- и структурном уровнях. В книге эта тематика раскрывается на модели логического устройства в его макровиде. Решаются задачи описания сложности тестов для устройств, реализующих булевы функции из классов Поста, а также функции k-значной логики. Приводятся соответствующие процедуры построения таких тестов. Для студентов, аспирантов и специалистов в области надежности и контроля управляющих систем.
Доп.точки доступа:
Кудрявцев, Валерий Борисович; Гасанов, Эльяр Эльдарович; Долотова, Оксана Александровна; Погосян, Грант Рафаелович; Садовничий, В. А. \ред.\
Экземпляры всего: 1
ЦНБ-АБ (1)
Свободны: ЦНБ-АБ (1)