Обеспечение надежности физических систем: синтез логических схем, в которых задержка каждого пути обнаружима, с одновременным компактным представлением тестовых пар
Одним из важных свойств физических систем является надежность их функционирования, которая достигается, в том числе, надежностью компонент, в частности надежностью логических управляющих компонент. Разработан новый подход к синтезу тестопригодных логических схем, в которых задержка каждого пути об...
| Published in: | Известия высших учебных заведений. Физика Т. 58, № 9. С. 105-114 |
|---|---|
| Main Author: | |
| Other Authors: | , |
| Format: | Article |
| Language: | Russian |
| Subjects: | |
| Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001141732 Перейти в каталог НБ ТГУ |
| LEADER | 03750nab a2200349 c 4500 | ||
|---|---|---|---|
| 001 | koha001141732 | ||
| 005 | 20240701165601.0 | ||
| 007 | cr | | ||
| 008 | 240625|2015 ru s c rus d | ||
| 035 | |a koha001141732 | ||
| 040 | |a RU-ToGU |b rus |c RU-ToGU | ||
| 100 | 1 | |a Матросова, Анжела Юрьевна |9 65116 | |
| 245 | 1 | 0 | |a Обеспечение надежности физических систем: синтез логических схем, в которых задержка каждого пути обнаружима, с одновременным компактным представлением тестовых пар |c А. Ю. Матросова, Е. В. Митрофанов, Д. И. Ахунова |
| 336 | |a Текст | ||
| 337 | |a электронный | ||
| 504 | |a Библиогр.: 7 назв. | ||
| 520 | 3 | |a Одним из важных свойств физических систем является надежность их функционирования, которая достигается, в том числе, надежностью компонент, в частности надежностью логических управляющих компонент. Разработан новый подход к синтезу тестопригодных логических схем, в которых задержка каждого пути обнаружима, позволяющий по сравнению с известными ранее методами упростить структуры синтезируемых схем и сократить длины путей в них. Для компактного представления информации обо всех тестовых парах, обнаруживающих неисправности задержек путей, предложено хранить порождающие их векторы. Число порождающих векторов не превосходит удвоенного числа внутренних вершин ROBDD-графа, в то время как число путей в схеме может экспоненциально зависеть от числа этих вершин. Предложен метод извлечения тестовых пар, обнаруживающих неисправности задержек путей из порождающих векторов. Процедура извлечения тестовых пар не требует существенных вычислительных затрат, а порождающие векторы находятся алгоритмом полиномиальной сложности. | |
| 653 | |a логические схемы | ||
| 653 | |a неисправности задержек путей | ||
| 653 | |a робастно тестируемые неисправности задержек путей | ||
| 653 | |a ROBDD-графы | ||
| 653 | |a тестовые пары | ||
| 655 | 4 | |a статьи в журналах |9 966793 | |
| 700 | 1 | |a Митрофанов, Евгений Владимирович |9 93283 | |
| 700 | 1 | |a Ахунова, Дина Иманбековна |9 480657 | |
| 773 | 0 | |t Известия высших учебных заведений. Физика |d 2015 |g Т. 58, № 9. С. 105-114 |x 0021-3411 |w 0026-80960 | |
| 852 | 4 | |a RU-ToGU | |
| 856 | 4 | |u http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001141732 | |
| 856 | |y Перейти в каталог НБ ТГУ |u https://koha.lib.tsu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=1141732 | ||
| 908 | |a статья | ||
| 039 | |b 100 | ||
| 999 | |c 1141732 |d 1141732 | ||