ФОРМАЛЬНАЯ ОЦЕНКА ИДЕНТИФИЦИРУЮЩИХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ ЦИФРОВЫХ УСТРОЙСТВ

ИВАНОВ, Дмитрий Евгеньевич (2014) ФОРМАЛЬНАЯ ОЦЕНКА ИДЕНТИФИЦИРУЮЩИХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ ЦИФРОВЫХ УСТРОЙСТВ. ПИТ, 01 (015). pp. 1-320. ISSN 1998-7005

[img] Text
7.pdf

Download (260kB)
Official URL: http://pit.hntu.com.ua/

Abstract

В статье предлагается построение формального математического аппарата оценки качества диагностических последовательностей цифровых устройств, описанных на структурном уровне. Для достижения этой цели введены понятия функций поведения устройства структурного уровня: установки значения компонент, активности и различающей активности по паре и по множеству компонент. Показано применение введённого формализма для построения функций оценки для наиболее часто используемых диагностических последовательностей. Показана возможность расширения аппарата на трёхзначные логики. Применение построенного математического аппарата позволяет формализовать информацию о поведении устройств на структурном уровне, более точно оценивать строящиеся последовательности и, следовательно, улучшить сходимость методов генерации диагностирующих последовательностей различных типов.

Item Type: Article
Uncontrolled Keywords: цифровое устройство, диагностирующая последовательность, оценочная функция, моделирование
Subjects: Проблеми IT, Проблемы IT, IT issues > Випуск №15 (2014р.), Выпуск №15 (2014г.), Edition №15 (2014)
Depositing User: доцент Елена Николаевна Ляшенко
Date Deposited: 14 Dec 2015 07:21
Last Modified: 14 Dec 2015 07:21
URI: http://epr.kntu.net.ua/id/eprint/89

Actions (login required)

View Item View Item