Сводный каталог книг

w10=
Найдено документов в текущей БД: 2
   В18
   Т338

    Теория тестирования логических устройств
[] : Монография / В.Б. Кудрявцев и др. ; Под ред. В.А. Садовничего. - Москва : Физматлит, 2006. - 160 с. : ил., табл. - Библиогр.: с. 152-156. - ISBN 5-9221-0727-5 : 175.00 р.
УДК
ББК В18

Аннотация: Тестирование логических устройств — активно развивающееся научно-прикладное направление кибернетики, возникшее в середине прошлого столетия. Оно по праву связывается с именем С.В. Яблонского. Тематика направления группируется вокруг задач характеризации тестов и их построения и фокусируется на устройствах, представленных на макро- и структурном уровнях. В книге эта тематика раскрывается на модели логического устройства в его макровиде. Решаются задачи описания сложности тестов для устройств, реализующих булевы функции из классов Поста, а также функции k-значной логики. Приводятся соответствующие процедуры построения таких тестов. Для студентов, аспирантов и специалистов в области надежности и контроля управляющих систем.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Кудрявцев, Валерий Борисович; Гасанов, Эльяр Эльдарович; Долотова, Оксана Александровна; Погосян, Грант Рафаелович; Садовничий, В.А. \ред.\
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)
В18
Т 33

    Теория тестирования логических устройств
[Текст] : учебное пособие / В. Б. Кудрявцев [и др.] ; под ред. В. А. Садовничего. - Москва : ФИЗМАТЛИТ, 2006. - 156, [4] с. : рис., табл. - Библиогр.: с. 152-156. - ISBN 5-9221-0727-5 (в пер.) : 136.62 р.
ББК В18

Аннотация: Тестирование логических устройств — активно развивающееся научно-прикладное направление кибернетики, возникшее в середине прошлого столетия. Оно по праву связывается с именем С. В. Яблонского. Тематика направления группируется вокруг задач характеризации тестов и их построения и фокусируется на устройствах, представленных на макро- и структурном уровнях. В книге эта тематика раскрывается на модели логического устройства в его макровиде. Решаются задачи описания сложности тестов для устройств, реализующих булевы функции из классов Поста, а также функции k-значной логики. Приводятся соответствующие процедуры построения таких тестов. Для студентов, аспирантов и специалистов в области надежности и контроля управляющих систем.


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