Двоичные динамические системы дискретной автоматики. Мельников А.А - 155 стр.

UptoLike

Составители:

Рубрика:

158

2.5. Аппарат селлерсовского дифференцирования

в задачах анализа булевого описаний

НДДС дискретной автоматики

В своей работе [65] Ф. Селлерс ввел в практику использование про-

изводных (разностей) булевых функций на предмет обнаружения оши-

бок в функционировании дискретных устройств, аналитическое пред-

ставление которых задается с помощью аппарата БФ. В своей моно-

графии [47] Ф. Селлерс переносит предложенный аппарат на задачу

обнаружения ошибок в работе ЭВМ. Однако аппарат

селлерсовского

дифференцирования, за некоторым исключением [1, 9, 17], остается за

пределами массовой технической литературы, проблемно ориентиро-

ванной на разработки устройств дискретной автоматики.

Задача параграфа – привлечь внимание разработчиков УДА к воз-

можностям аппарата селлерсовского дифференцирования и предло-

жить инструментарий для исследования аналитических описаний УДА

в классе НДДС представлений. С этой целью сформулируем основные

положения

аппарата селлерсовского дифференцирования.