Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 15 results.

    1.
    No cover image available
    Поиск ложных путей в логических схемах из двухвходовых вентилей с использованием операций над 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 :
    Log in to add tags Add to cart
    2.
    No cover image available
    Поиск всех тестовых наборов для неисправности логической схемы и представление их 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 :
    Log in to add tags Add to cart
    3.
    No cover image available
    4.
    No cover image available
    Поиск ложных путей в последовательностных схемах с использованием 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 :
    Log in to add tags Add to cart
    5.
    No cover image available
    Алгоритмы построения последовательности, доставляющей тестовые пары для робастно тестируемых 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 :
    Log in to add tags Add to cart
    6.
    No cover image available
    Синтез легко тестируемых последовательностных схем А. Ю. Матросова, Е. В. Митрофанов

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

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    7.
    No cover image available
    Синтез частично программируемых схем, ориентированный на маскирование вредоносных подсхем (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 :
    Log in to add tags Add to cart
    8.
    No cover image available
    Обнаружение ложных путей в последовательностных схемах А. Ю. Матросова, В. В. Андреева, С. В. Чернышов [и др.]

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

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    9.
    No cover image available
    Поиск всех тестовых наборов для неисправности логической схемы и представление их ROBDD-графом А. Ю. Матросова, С. А. Останин, А. В. Бухаров, И. Е. Кириенко

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

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    10.
    No cover image available
    Графовые представления множеств всех достижимых реакций комбинационной схемы В. А. Провкин, А. Ю. Матросова

    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 :
    Log in to add tags Add to cart
    11.
    No cover image available
    Синтез частично программируемых схем, маскирующих логические неисправности элементов А. Ю. Матросова, С. А. Останин, Е. А. Николаева

    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 :
    Log in to add tags Add to cart
    12.
    No cover image available
    Использование ROBDD-графов для тестирования задержек логических схем А. Ю. Матросова, В. В. Андреева, В. З. Тычинский, Г. Г. Гошин

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

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

    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 :
    Log in to add tags Add to cart
    14.
    No cover image available
    Алгоритм построения 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 :
    Log in to add tags Add to cart
    15.
    No cover image available
    Оценка искажения поведения логической схемы в присутствии неисправности В. А. Провкин, А. Ю. Матросова

    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 :
    Log in to add tags Add to cart