Scientific Library of Tomsk State University

   E-catalog        

Refine your search


База знаний по целевым капиталам

  •    Эндаумент
       Фандрайзинг
       Нормативные документы

  • Your search returned 35 results.

    1.
    Detection and masking of Trojan Circuits in sequential logic A. Y. Matrosova, E. V. Mitrofanov, S. A. Ostanin, E. A. Nikolaeva

    by Mitrofanov, Evgenii V | Ostanin, Sergey A | Nikolaeva, Ekaterina A | Matrosova, Anzhela Yu.

    Source: Proceedings of 2017 IEEE East-West Design & Test Symposium (EWDTS), Novi Sad, Serbia, September 27 – October 2, 2017Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    2.
    Trojan Circuits masking and debugging of combinational circuits with LUT insertion A. Y. Matrosova, S. A. Ostanin

    by Matrosova, Anzhela Yu | Ostanin, Sergey A.

    Source: 2018 IEEE International conference on automation, quality and testing, robotics (AQTR) : THETA 21st edition, 24th-26th May, Cluj-Napoca, Romania : proceedingsMaterial type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    3.
    Finding false paths for sequential circuits using operations on ROBDDs A. Y. Matrosova, S. A. Ostanin, S. V. Chernyshov

    by Matrosova, Anzhela Yu | Ostanin, Sergey A | Chernyshov, Semen V.

    Source: 2018 IEEE 24th International Symposium on On-Line Testing and Robust System Design (IOLTS 2018), 2-4 July 2018, SpainMaterial type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    4.
    Поиск ложных путей в логических схемах из двухвходовых вентилей с использованием операций над ROBDD-графами А. Ю. Матросова, С. А. Останин, С. В. Чернышов

    by Матросова, Анжела Юрьевна | Останин, Сергей Александрович | Чернышов, Семен Владимирович.

    Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    5.
    Троичное моделирование комбинационных схем с использованием ROBDD О. И. Голубева

    by Голубева, Ольга Ивановна.

    Source: Компьютерные науки и информационные технологии : материалы Международной научной конференции, 2-3 июля 2018 г., СаратовMaterial type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    6.
    Поиск всех тестовых наборов для неисправности логической схемы и представление их ROBDD-графом А. Ю. Матросова, С. А. Останин, А. В. Бухаров, И. Е. Кириенко

    by Останин, Сергей Александрович | Бухаров, Александр Вениаминович | Кириенко, Ирина Евгеньевна | Матросова, Анжела Юрьевна | Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования | Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК.

    Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участиемMaterial type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    7.
    8.
    Интервальные расширения булевых функций и троичное моделирование последовательностных схем О. И. Голубева

    by Голубева, Ольга Ивановна.

    Source: Таврический научный обозревательMaterial type: Article Article; Format: electronic available online remote Other title: Interval extensions of boolean functions and three-value simulation of sequential circuits.Online access: Click here to access online Availability: No items available :
    9.
    Поиск ложных путей в последовательностных схемах с использованием ROBDD С. В. Чернышов, А. Ю. Матросова

    by Чернышов, Семен Владимирович | Матросова, Анжела Юрьевна.

    Source: Материалы VI Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 24-26 мая 2018 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    10.
    Алгоритмы построения последовательности, доставляющей тестовые пары для робастно тестируемых PDFs с использованием операций над ROBDD-графами А. Ю. Матросова, С. В. Чернышов

    by Матросова, Анжела Юрьевна | Чернышов, Семен Владимирович.

    Source: Материалы международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 28-30 мая 2020 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    11.
    Синтез легко тестируемых последовательностных схем А. Ю. Матросова, Е. В. Митрофанов

    by Матросова, Анжела Юрьевна | Митрофанов, Евгений Владимирович | Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования | Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК.

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    12.
    Синтез частично программируемых схем, ориентированный на маскирование вредоносных подсхем (Trojan Circuits) А. Ю. Матросова, С. А. Останин, Е. А. Николаева

    by Матросова, Анжела Юрьевна | Останин, Сергей Александрович | Николаева, Екатерина Александровна.

    Source: Труды Института системного программирования РАНMaterial type: Article Article; Format: electronic available online remote Other title: Partially programmable circuit design oriented to masking Trojan Circuits.Online access: Click here to access online Availability: No items available :
    13.
    Обнаружение ложных путей в последовательностных схемах А. Ю. Матросова, В. В. Андреева, С. В. Чернышов [и др.]

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

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    14.
    Троичное моделирование синхронных схем с памятью на последовательностях произвольной длины, основанное на ROBDD представлении функций О. И. Голубева

    by Голубева, Ольга Ивановна.

    Source: Таврический научный обозревательMaterial type: Article Article; Format: electronic available online remote Other title: Three-value simulation of sequential circuits on the input sequences of the arbitrary length, based on the ROBDD representation of functions.Online access: Click here to access online Availability: No items available :
    15.
    Использование неточных результатов для сокращения вычислительных затрат точного троичного моделирования последовательностных схем О. И. Голубева

    by Голубева, Ольга Ивановна.

    Source: Таврический научный обозревательMaterial type: Article Article; Format: electronic available online remote Other title: Using inexact results for the reduction of the computational costs of the exact three-value simulation of sequential circuits.Online access: Click here to access online Availability: No items available :
    16.
    Preventing and masking Trojan Circuits triggering out of working area A. Y. Matrosova, E. V. Mitrofanov, S. A. Ostanin, I. E. Kirienko

    by Mitrofanov, Evgenii V | Ostanin, Sergey A | Kirienko, Irina E | Matrosova, Anzhela Yu.

    Source: 2017 European Conference on Circuit Theory and Design (ECCTD), September 4-6, 2017, Catania, ItalyMaterial type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    17.
    Поиск всех тестовых наборов для неисправности логической схемы и представление их ROBDD-графом А. Ю. Матросова, С. А. Останин, А. В. Бухаров, И. Е. Кириенко

    by Останин, Сергей Александрович | Бухаров, Александр Вениаминович | Кириенко, Ирина Евгеньевна | Матросова, Анжела Юрьевна | Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования | Томский государственный университет Факультет прикладной математики и кибернетики Публикации студентов и аспирантов ФПМК.

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    18.
    ROBDD based path delay fault testable combinational circuit synthesis T. Shah, V. Singh, A. Matrosova

    by Shah, Toral | Singh, Virendra | Matrosova, Anzhela Yu.

    Source: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2016), Yerevan, Armenia, October 14-17, 2016Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    19.
    ROBDDS application for finding the shortest transfer sequence of sequential circuit or only revealing existence of this sequence without deriving the sequence itself A. Matrosova, V. Andreeva, A. Melnikov

    by Matrosova, Anzhela Yu | Andreeva, V. V | Melnikov, A. V.

    Source: Proceedings of IEEE East-West Design & Test Symposium (EWDTS'2016), Yerevan, Armenia, October 14-17, 2016Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    20.
    Simplification of fully delay testable combinational circuits and finding of pdf test pairs A. Yu. Matrosova, E. V. Mitrofanov, T. Shah

    by Matrosova, Anzhela Yu | Mitrofanov, Evgenii V | Shah, Toral.

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Other title: Упрощение контролепригодных комбинационных схем и поиск тестовых пар для неисправностей задержек путей.Online access: Click here to access online Availability: No items available :
    21.
    Графовые представления множеств всех достижимых реакций комбинационной схемы В. А. Провкин, А. Ю. Матросова

    by Провкин, Виктор Алексеевич | Матросова, Анжела Юрьевна.

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Other title: Graph representations of the sets of all reachable reactions of the combinational circuit.Online access: Click here to access online Availability: No items available :
    22.
    О свойствах ROBDD-графов, представляющих тестовые пары для робастно тестируемых неисправностей задержек путей В. З. Тычинский, В. В. Андреева

    by Тычинский, Вячеслав Зиновьевич | Андреева, Валентина Валерьевна.

    Source: Материалы VII Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 23-25 мая 2019 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    23.
    Использование пакета CUDD 3.0 для построения всех тестовых наборов для неисправности логической схемы в виде ROBDD-графа Д. А. Третьяков, С. А. Останин

    by Третьяков, Дмитрий Александрович | Останин, Сергей Александрович.

    Source: Материалы V Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 19-20 мая 2017 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    24.
    Тестирование кратных неисправностей в схемах, полученных покрытием вершин ROBDD-графов Invert-AND-XOR подсхемами Е. В. Митрофанов

    by Митрофанов, Евгений Владимирович.

    Source: Новые информационные технологии в исследовании сложных структур : материалы 11-й международной конференции, 6–10 июня 2016 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    25.
    Синтез частично программируемых схем, маскирующих логические неисправности элементов А. Ю. Матросова, С. А. Останин, Е. А. Николаева

    by Матросова, Анжела Юрьевна | Останин, Сергей Александрович | Николаева, Екатерина Александровна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    26.
    Использование ROBDD-графов для тестирования задержек логических схем А. Ю. Матросова, В. В. Андреева, В. З. Тычинский, Г. Г. Гошин

    by Андреева, Валентина Валерьевна | Тычинский, Вячеслав Зиновьевич | Гошин, Геннадий Георгиевич | Матросова, Анжела Юрьевна.

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    27.
    Сведение задачи поиска тестовых пар для робастно тестируемых неисправностей задержек пути к задаче выполнимости булевых формул А. Ю. Матросова, В. З. Тычинский, В. В. Андреева

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

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Obtaining test pairs for robust testable path delay faults by solving of Boolean satisfiability problem.Online access: Click here to access online Availability: No items available :
    28.
    Simplification of fully delay testable combinational circuits A. Matrosova, E. Mitrofanov, T. Shah

    by Matrosova, Anzhela Yu | Mitrofanov, Evgenii V | Shah, Toral.

    Source: Proceedings of the 21st IEEE International On-Line Testing Symposium Symposium (IOLTS), 6-8 July 2015, Athena Pallas Village, Elia, Halkidiki, GreeceMaterial type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    29.
    Троичное моделирование последовательностной схемы и построение на его основе входных последовательностей, обеспечивающих заданные переходы схемы О. И. Голубева

    by Голубева, Ольга Ивановна.

    Source: Таврический научный обозревательMaterial type: Article Article; Format: electronic available online remote Other title: Three-value simulation of the sequential circuit and the construction on its basis of transition sequences.Online access: Click here to access online Availability: No items available :
    30.
    Three-value simulation of combinational and sequential circuits and its applications O. Golubeva

    by Golubeva, Olga.

    Source: 2020 Moscow workshop on electronic and networking technologies (MWENT 2020), Moscow, Russia, 11-13 March 2020Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    31.
    Detection and masking of trojan circuits in sequential logic A. Y. Matrosova, E. V. Mitrofanov, S. A. Ostanin [et.al.]

    by Matrosova, Anzhela Yu | Ostanin, Sergey A | Butorina, Natalia B | Pakhomova, Elena Grigorievna | Shulga, Sergey Anatolievich | Mitrofanov, Evgenii V.

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Other title: Обнаружение и маскирование вредоносных подсхем в последовательностных схемах.Online access: Click here to access online Availability: No items available :
    32.
    Построение множества всех достижимых реакций комбинационных схем В. А. Провкин

    by Провкин, Виктор Алексеевич.

    Source: Материалы IX-й Международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-28 мая 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    33.
    Алгоритм построения ROBDD-графа, представляющего множество всех достижимых реакций комбинационной логической схемы В. А. Провкин, А. Ю. Матросова

    by Провкин, Виктор Алексеевич | Матросова, Анжела Юрьевна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Other title: Algorithm of building a ROBDD graph representing the set of all reacheable reactions of a combinational circuit.Online access: Click here to access online Availability: No items available :
    34.
    Построение кратчайшей установочной последовательности последовательностной схемы с использованием ROBDD С. В. Чернышов, В. В. Андреева

    by Чернышов, Семен Владимирович | Андреева, Валентина Валерьевна.

    Source: Материалы V Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 19-20 мая 2017 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :
    35.
    Оценка искажения поведения логической схемы в присутствии неисправности В. А. Провкин, А. Ю. Матросова

    by Провкин, Виктор Алексеевич | Матросова, Анжела Юрьевна.

    Source: Материалы X-й Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-29 мая 2023 г.Material type: Article Article; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Online access: Click here to access online Availability: No items available :