Описание: Тестирование логических устройств - активно развивающееся научно-прикладное направление кибернетики, возникшее в середине прошлого столетия. Оно по праву связывается с именем С.В.Яблонского. Тематика направления группируется вокруг задач характеризации тестов и их построения и фокусируется на устройствах, представленных на макро - и структурном уровнях. В книге эта тематика раскрывается на модели логического устройства в его макровиде. Решаются задачи описания сложности тестов для устройств, реализующих булевы функции из классов Поста, а также функции K-значной логики. Приводятся соответствующие процедуры построения таких тестов. Для студентов, аспирантов и специалистов в области надежности и контроля управляющих систем.
Цена: 263 руб.
Знаете ли Вы, что ...
Рабочее время
Рабочее время - время, в течение которого работник в соответствии с правилами внутреннего трудового распорядка и условиями ...
Отек
Отек (oedema) - скопление избыточного количества жидкости в тканях; по-другому данное состояние называется водянкой (dropsy). ...
Обострение
Обострение (recrudescence) - рецидив заболевания после периода клинического улучшения или ремиссии ...
Эпидемия
Эпидемия (от греч. epidemia, epi - на, среди и demos - народ) - распространение какой-либо инфекционной болезни человека, ...
Элиминация
Элиминация (от лат. еlimino - выношу за порог, удаляю) (биол.) - гибель неприспособленных особей в процессе борьбы за ...
Экзотические болезни
Экзотические болезни - болезни, не свойственные данной территории, завезенные из других стран.