УСЛОВИЯ ВЫДЕЛЕНИЯ ОСОБЫХ ГРУПП ВЫХОДОВ ЛОГИЧЕСКИХ УСТРОЙСТВ ДЛЯ ОРГАНИЗАЦИИ КОНТРОЛЯ ВЫЧИСЛЕНИЙ
Установлено полное множество особых групп выходов логических устройств автоматики и вычислительной техники, которые целесообразно учитывать при организации контроля вычислений. Особые группы выходов образуются при условии, что на них исключены ошибки определенных видов. Введены функциональные описания, которые позволяют определить, какие виды ошибок могут возникать в любой группе выходов. Показано, что полная группа выходов основана на разделении ошибок на монотонные, симметричные и асимметричные. При этом особые группы выходов подразделяются на независимые и зависимые, а последние – на монотонно, симметрично и (или) асимметрично независимые выходы, либо же выходы, которые невозможно классифицировать в особые группы (полностью зависимые выходы). На практике использование полученных в работе результатов позволяет организовывать технические средства контроля вычислений с учетом особенностей структур логических устройств автоматики и вычислительной техники, в том числе с применением средств автоматизированного проектирования.
Ключевые слова: логическое устройство, схема встроенного контроля, контроль вычислений логическим устройством, обнаружение ошибок на выходах устройства, монотонные ошибки, симметричные ошибки, асимметричные ошибки, группы функционально независимых выходов устройства.
