|
|
|
|
| LEADER |
00000nam0a2200000 4500 |
| 001 |
109211 |
| 005 |
20231031115937.0 |
| 010 |
|
|
|a 5922107275
|
| 035 |
|
|
|a (RuTPU)RU\TPU\book\117887
|
| 090 |
|
|
|a 109211
|
| 100 |
|
|
|a 20070201d2006 km y0rusy50 ca
|
| 101 |
0 |
|
|a rus
|
| 102 |
|
|
|a RU
|
| 105 |
|
|
|a y z 001zy
|
| 200 |
1 |
|
|a Теория тестирования логических устройств
|f В. Б. Кудрявцев [и др.]
|g под ред. В. А. Садовничего
|
| 210 |
|
|
|a Москва
|c Физматлит
|d 2006
|
| 215 |
|
|
|a 160 с.
|
| 320 |
|
|
|a Библиогр.: с. 152-156.
|
| 330 |
|
|
|a Тестирование логических устройств — активно развивающееся научно-прикладное направление кибернетики, возникшее в середине прошлого столетия. Оно по праву связывается с именем С. В. Яблонского. Тематика направления группируется вокруг задач характеризации тестов и их построения и фокусируется на устройствах, представленных на макро- и структурном уровнях. В книге эта тематика раскрывается на модели логического устройства в его макровиде. Решаются задачи описания сложности тестов для устройств, реализующих булевы функции из классов Поста, а также функции k-значной логики. Приводятся соответствующие процедуры построения таких тестов. Для студентов, аспирантов и специалистов в области надежности и контроля управляющих систем.
|
| 610 |
1 |
|
|a кибернетика математическая
|
| 610 |
1 |
|
|a логические устройства
|
| 610 |
1 |
|
|a управление
|
| 610 |
1 |
|
|a теория
|
| 610 |
1 |
|
|a тестирование
|
| 610 |
1 |
|
|a неисправности
|
| 610 |
1 |
|
|a контроль
|
| 610 |
1 |
|
|a логические схемы
|
| 610 |
1 |
|
|a классы Поста
|
| 610 |
1 |
|
|a функции Шеннона
|
| 610 |
1 |
|
|a алгоритмы построения
|
| 675 |
|
|
|a 519.7
|v 3
|
| 701 |
|
1 |
|a Кудрявцев
|b В. Б.
|g Валерий Борисович
|
| 701 |
|
1 |
|a Гасанов
|b Э. Э.
|g Эльяр Эльдарович
|
| 701 |
|
1 |
|a Долотова
|b О. А.
|g Оксана Александровна
|
| 701 |
|
1 |
|a Погосян
|b Г. Р.
|g Грант Рафаелович
|
| 702 |
|
1 |
|a Садовничий
|b В. А.
|4 340
|
| 801 |
|
1 |
|a RU
|b 63413507
|c 20070201
|g PSBO
|
| 801 |
|
2 |
|a RU
|b 63413507
|c 20120601
|g PSBO
|
| 942 |
|
|
|c BK
|
