|
|
|
|
| LEADER |
03537nab a2200325 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 Матросова, Анжела Юрьевна
|
| 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 статьи в журналах
|
| 700 |
1 |
|
|a Митрофанов, Евгений Владимирович
|
| 700 |
1 |
|
|a Ахунова, Дина Иманбековна
|
| 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
|
| 908 |
|
|
|a статья
|
| 999 |
|
|
|c 1141732
|d 1141732
|
