Showing 1 - 20 results of 33 for search '"эквивалентная нормальная форма"', query time: 0.70s Refine Results
  1. 1
    Academic Journal

    О возможностях замены произвольных тестовых пар, обнаруживающих робастно тестируемые неисправности задержек пути, на тестовые пары, соседние по входной переменной пути ; About changing arbitrary test pairs detecting robust testable PDFs for ones consisting of neighbor Boolean vectors

    Authors: Матросова, Анжела Юрьевна, Тычинский, Вячеслав Зиновьевич

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2025. № 72. С. 134-143

    Subject Terms: комбинационные схемы, эквивалентная нормальная форма, робастно тестируемые неисправности задержек пути, булева разность пути

    File Description: application/pdf

    Relation: http_0210-40860. Вестник Томского государственного университета. Управление, вычислительная техника и информатика; koha:001266705; https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001266705

    Availability: https://doi.org/10.17223/19988605/72/13
    https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001266705

    View record from BASE
    Save to List
  2. 2
    Academic Journal

    Булева разность и обнаружение неисправностей задержек пути ; Boolean difference and path delay faults detection

    Authors: Матросова, Анжела Юрьевна, Тычинский, Вячеслав Зиновьевич, Андреева, Валентина Валерьевна

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2024. № 66. С. 108-119

    Subject Terms: комбинационные схемы, эквивалентная нормальная форма, робастно тестируемые неисправности задержек путей, булевы разности

    File Description: application/pdf

    Relation: koha:001139693; https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001139693

    Availability: https://doi.org/10.17223/19988605/66/11
    https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001139693

    View record from BASE
    Save to List
  3. 3
    Academic Journal

    Обнаружение ложных путей в последовательностных схемах

    Source: Известия высших учебных заведений. Физика. 2017. Т. 60, № 10. С. 170-178

    Subject Terms: последовательностные схемы, ROBDD-графы, ложные пути, эквивалентная нормальная форма

    File Description: application/pdf

    Access URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000628328

    View record at OpenAIRE
    Save to List
  4. 4
    Academic Journal

    SELECTION OF THE FLIP-FLOPS FOR PARTIAL ENHANCED SCAN TECHNIQUES

    Authors: Matrosova, Anzhela, Melnikov, Alexey, Mukhamedov, Ruslan, Ostanin, Sergey, Singh, Virendra

    Subject Terms: НЕИСПРАВНОСТЬ ЗАДЕРЖКИ ПУТИ, РОБАСТНО ТЕСТИРУЕМЫЙ ПУТЬ, ЭКВИВАЛЕНТНАЯ НОРМАЛЬНАЯ ФОРМА (ЭНФ), PATH DELAY FAULT (PDF), EQUIVALENT NORMAL FORM (ENF)

    File Description: text/html

    Availability: http://cyberleninka.ru/article/n/selection-of-the-flip-flops-for-partial-enhanced-scan-techniques
    http://cyberleninka.ru/article_covers/14013556.png

    View record from BASE
    Save to List
  5. 5
    Academic Journal

    OBSERVABILITY ESTIMATION OF A STATE VARIABLE WHEN THE LOS TECHNIQUE IS APPLIED

    Authors: Melnikov, Alexey

    Subject Terms: PATH DELAY FAULT (PDF),ROBUST PDF,EQUIVALENT NORMAL FORM (ENF),LAUNCH-ON-SHIFT (LOS) SCAN TECHNIQUE,НЕИСПРАВНОСТЬ ЗАДЕРЖКИ ПУТИ,РОБАСТНАЯ НЕИСПРАВНОСТЬ ЗАДЕРЖКИ,ЭКВИВАЛЕНТНАЯ НОРМАЛЬНАЯ ФОРМА (ЭНФ),LOS-ТЕХНИКА СКАНИРОВАНИЯ СОСТОЯНИЙ СХЕМЫ

    File Description: text/html

    Availability: http://cyberleninka.ru/article/n/observability-estimation-of-a-state-variable-when-the-los-technique-is-applied
    http://cyberleninka.ru/article_covers/13993027.png

    View record from BASE
    Save to List
  6. 6
    Academic Journal

    ОБНАРУЖЕНИЕ ЛОЖНЫХ ПУТЕЙ В КОМБИНАЦИОННОЙ СХЕМЕ

    Authors: Матросова, Анжела, Кудин, Дмитрий, Николаева, Екатерина

    Subject Terms: ЭКВИВАЛЕНТНАЯ НОРМАЛЬНАЯ ФОРМА (ЭНФ),ЛОЖНЫЙ ПУТЬ,НЕИСПРАВНОСТЬ ЗАДЕРЖКИ ПУТИ,КОНСТАНТНАЯ НЕИСПРАВНОСТЬ,EQUIVALENT NORMAL FORM (ENF),FALSE PATH,PATH DELAY FAULTS (PDFS),STUCK-AT FAULTS

    File Description: text/html

    Availability: http://cyberleninka.ru/article/n/obnaruzhenie-lozhnyh-putey-v-kombinatsionnoy-sheme
    http://cyberleninka.ru/article_covers/14000531.png

    View record from BASE
    Save to List
  7. 7
    Academic Journal

    Selection of the flip-flops for partial enhanced scan techniques

    Authors: Melnikov, A. V., Mukhamedov, R. V., Ostanin, S. A., Singh, V., Matrosova, Anjela Yu.

    Contributors: Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования, Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2012. № 2 (19). С. 112-120

    Subject Terms: робастно тестируемый путь, НЕИСПРАВНОСТЬ ЗАДЕРЖКИ ПУТИ, РОБАСТНО ТЕСТИРУЕМЫЙ ПУТЬ, ЭКВИВАЛЕНТНАЯ НОРМАЛЬНАЯ ФОРМА (ЭНФ), PATH DELAY FAULT (PDF), EQUIVALENT NORMAL FORM (ENF), задержки путей схемы, триггеры, алгоритмы, эквивалентная нормальная форма

    File Description: text/html; application/pdf

    Access URL: http://cyberleninka.ru/article_covers/14013556.png
    http://cyberleninka.ru/article/n/selection-of-the-flip-flops-for-partial-enhanced-scan-techniques
    http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000431415

    View record at OpenAIRE
    Save to List
  8. 8
    Academic Journal

    Observability estimation of a state variable when the los technique is applied

    Authors: Melnikov, A. V.

    Contributors: Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2012. № 3 (20). С. 139-144

    Subject Terms: PATH DELAY FAULT (PDF), EQUIVALENT NORMAL FORM (ENF), LAUNCH-ON-SHIFT (LOS) SCAN TECHNIQUE, НЕИСПРАВНОСТЬ ЗАДЕРЖКИ ПУТИ, РОБАСТНАЯ НЕИСПРАВНОСТЬ ЗАДЕРЖКИ, ЭКВИВАЛЕНТНАЯ НОРМАЛЬНАЯ ФОРМА (ЭНФ), LOS-ТЕХНИКА СКАНИРОВАНИЯ СОСТОЯНИЙ СХЕМЫ, задержки путей схемы, триггеры, эквивалентная нормальная форма

    File Description: text/html; application/pdf

    Access URL: http://cyberleninka.ru/article/n/observability-estimation-of-a-state-variable-when-the-los-technique-is-applied
    http://cyberleninka.ru/article_covers/13993027.png
    http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000442842

    View record at OpenAIRE
    Save to List
  9. 9
    Academic Journal

    Тестирование неисправностей задержек путей в условиях ограничений на выбор пар тестовых наборов

    Authors: Матросова, А. Ю., Мельников, А. В.

    Source: Известия Томского политехнического университета

    Subject Terms: комбинационные схемы, эквивалентная нормальная форма, неисправности, задержки путей

    File Description: application/pdf

    Relation: Известия Томского политехнического университета [Известия ТПУ]. 2010. Т. 316, № 5: Управление, вычислительная техника и информатика; http://earchive.tpu.ru/handle/11683/3176

    Availability: http://earchive.tpu.ru/handle/11683/3176

    View record from BASE
    Save to List
  10. 10
    Academic Journal

    ТЕСТИРОВАНИЕ НЕИСПРАВНОСТЕЙ ЗАДЕРЖЕК ПУТЕЙ В УСЛОВИЯХ ОГРАНИЧЕНИЙ НА ВЫБОР ПАР ТЕСТОВЫХ НАБОРОВ

    Authors: Матросова, Анжела, Мельников, Алексей

    Subject Terms: комбинационная схема, эквивалентная нормальная форма, неисправности задержек путей, combinational circuit, equivalent normal form, path delay fault

    File Description: text/html

    Availability: http://cyberleninka.ru/article/n/testirovanie-neispravnostey-zaderzhek-putey-v-usloviyah-ogranicheniy-na-vybor-par-testovyh-naborov
    http://cyberleninka.ru/article_covers/8421526.png

    View record from BASE
    Save to List
  11. 11
    Academic Journal

    Тестирование неисправностей задержек путей в условиях ограничений на выбор пар тестовых наборов

    Source: Известия Томского политехнического университета

    Subject Terms: задержки путей, комбинационные схемы, неисправности, эквивалентная нормальная форма

    File Description: application/pdf

    Access URL: http://earchive.tpu.ru/handle/11683/3176

    View record at OpenAIRE
    Save to List
  12. 12
    Academic Journal

    ВЫЧИСЛЕНИЕ ТЕСТОВ ДЛЯ НЕИСПРАВНОСТЕЙ ТИПА «ВРЕМЕННАЯ ЗАДЕРЖКА» ПО ЭКВИВАЛЕНТНОЙ НОРМАЛЬНОЙ ФОРМЕ

    Authors: Сапожников, В., Сапожников, Вл, Лыков, А.

    Subject Terms: ВРЕМЕННАЯ ЗАДЕРЖКА,ЭКВИВАЛЕНТНАЯ НОРМАЛЬНАЯ ФОРМА,РОБАСТНЫЙ ТЕСТ,СОСЕДНИЙ ТЕСТ

    File Description: text/html

    Availability: http://cyberleninka.ru/article/n/vychislenie-testov-dlya-neispravnostey-tipa-vremennaya-zaderzhka-po-ekvivalentnoy-normalnoy-forme
    http://cyberleninka.ru/article_covers/14123389.png

    View record from BASE
    Save to List
  13. 13
    Academic Journal

    Обнаружение несущественных путей логических схем на основе совместного анализа и-или деревьев и SSBDD-графов

    Contributors: Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования

    Source: Автоматика и телемеханика. 2013. № 7. С. 126-142

    Subject Terms: деревья И/ИЛИ (графов теория), комбинационные схемы, константные неисправности, неисправности задержек путей, SSBDD-графы, эквивалентная нормальная форма

    File Description: application/pdf

    Access URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000465619

    View record at OpenAIRE
    Save to List
  14. 14
    Academic Journal

    Обнаружение ложных путей в комбинационной схеме

    Contributors: Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2011. № 2. С. 99-107

    Subject Terms: комбинационные схемы, константные неисправности, неисправности задержек путей, эквивалентная нормальная форма, ложные пути

    File Description: application/pdf

    Access URL: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000457709

    View record at OpenAIRE
    Save to List
  15. 15
    Academic Journal

    Обнаружение ложных путей в комбинационной схеме

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика.

    Subject Terms: ЭКВИВАЛЕНТНАЯ НОРМАЛЬНАЯ ФОРМА (ЭНФ), ЛОЖНЫЙ ПУТЬ, НЕИСПРАВНОСТЬ ЗАДЕРЖКИ ПУТИ, КОНСТАНТНАЯ НЕИСПРАВНОСТЬ, EQUIVALENT NORMAL FORM (ENF), PATH DELAY FAULTS (PDFS)

    File Description: text/html

    Access URL: http://cyberleninka.ru/article/n/obnaruzhenie-lozhnyh-putey-v-kombinatsionnoy-sheme
    http://cyberleninka.ru/article_covers/14000531.png

    View record at OpenAIRE
    Save to List
  16. 16
    Academic Journal

    Тестирование неисправностей задержек путей в условиях ограничений на выбор пар тестовых наборов

    Source: Известия Томского политехнического университета.

    Subject Terms: комбинационная схема, эквивалентная нормальная форма, неисправности задержек путей

    File Description: text/html

    Access URL: http://cyberleninka.ru/article/n/testirovanie-neispravnostey-zaderzhek-putey-v-usloviyah-ogranicheniy-na-vybor-par-testovyh-naborov
    http://cyberleninka.ru/article_covers/8421526.png

    View record at OpenAIRE
    Save to List
  17. 17
    Academic Journal

    Вычисление тестов для неисправностей типа «Временная задержка» по эквивалентной нормальной форме

    Source: Известия Петербургского университета путей сообщения.

    Subject Terms: ВРЕМЕННАЯ ЗАДЕРЖКА,ЭКВИВАЛЕНТНАЯ НОРМАЛЬНАЯ ФОРМА,РОБАСТНЫЙ ТЕСТ,СОСЕДНИЙ ТЕСТ

    File Description: text/html

    Access URL: http://cyberleninka.ru/article/n/vychislenie-testov-dlya-neispravnostey-tipa-vremennaya-zaderzhka-po-ekvivalentnoy-normalnoy-forme
    http://cyberleninka.ru/article_covers/14123389.png

    View record at OpenAIRE
    Save to List
  18. 18
    Academic Journal

    Обнаружение ложных путей в последовательностных схемах

    Authors: Андреева, Валентина Валерьевна, Чернышов, Семен Владимирович, Рожкова, Светлана Владимировна, Кудин, Дмитрий Владимирович, Матросова, Анжела Юрьевна

    Source: Известия высших учебных заведений. Физика. 2017. Т. 60, № 10. С. 170-178

    Subject Terms: последовательностные схемы, ROBDD-графы, ложные пути, эквивалентная нормальная форма

    File Description: application/pdf

    Relation: vtls:000628328; http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000628328

    Availability: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000628328

    View record from BASE
    Save to List
  19. 19
    Academic Journal

    Обнаружение несущественных путей логических схем на основе совместного анализа и-или деревьев и SSBDD-графов

    Authors: Матросова, Анжела Юрьевна, Останин, Сергей Александрович, Сингх, В.

    Contributors: Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования

    Source: Автоматика и телемеханика. 2013. № 7. С. 126-142

    Subject Terms: комбинационные схемы, эквивалентная нормальная форма, неисправности задержек путей, константные неисправности, деревья И/ИЛИ (графов теория), SSBDD-графы

    File Description: application/pdf

    Relation: vtls:000465619; http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000465619

    Availability: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000465619

    View record from BASE
    Save to List
  20. 20
    Academic Journal

    Обнаружение ложных путей в комбинационной схеме

    Authors: Матросова, Анжела Юрьевна, Кудин, Дмитрий Владимирович, Николаева, Екатерина Александровна

    Contributors: Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2011. № 2. С. 99-107

    Subject Terms: эквивалентная нормальная форма, комбинационные схемы, неисправности задержек путей, константные неисправности, ложные пути

    File Description: application/pdf

    Relation: vtls:000457709; http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000457709

    Availability: http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000457709

    View record from BASE
    Save to List

Search Tools: