|
Автоматика и телемеханика, 1996, выпуск 8, страницы 154–165
(Mi at3474)
|
|
|
|
Техническая диагностика
Метод взвешенного ранжирования для решения задач контролепригодного проектирования последовательностных цифровых устройств
Г. Е. Сейтова Институт проблем управления РАН, г. Москва
Аннотация:
Приводятся результаты разработки метода взвешенного ранжирования для решения задачи обеспечения последовательностных цифровых устройств свойствами контролепригодности. Метод ориентирован на технологию сканирования элементов памяти, известную под названием LSSD-технологии, и решает задачи частичного сканирования. Предложенный алгоритм позволяет ранжировать устройства с обратными связями. Веса, поставленные в соответствие каждому ранжируемому элементу памяти, используются для установления факта нарушения условий контролепригодности и нахождения минимизированного набора элементов памяти, которые, будучи преобразованными в сканируемые, сделают устройство контролепригодным.
Поступила в редакцию: 12.04.1995
Образец цитирования:
Г. Е. Сейтова, “Метод взвешенного ранжирования для решения задач контролепригодного проектирования последовательностных цифровых устройств”, Автомат. и телемех., 1996, № 8, 154–165; Autom. Remote Control, 57:8 (1996), 1191–1199
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/at3474 https://www.mathnet.ru/rus/at/y1996/i8/p154
|
|