Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

  • Your search returned 25 results.

    1.
    Введение в теорию графов учебно-методическое пособие Том. гос. ун-т, ФПМК ; [сост.: О. И. Голубева, А. Ю. Матросова]

    by Голубева, Ольга Ивановна [com] | Матросова, Анжела Юрьевна [com] | Томский государственный университет Факультет прикладной математики и кибернетики.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Томск [б. и.] 2011Availability: No items available :
    2.
    3.
    Методы синтеза самопроверяемых дискретных систем Диссертация на соискание ученой степени кандидата технических наук. 05.13.01 Никитин К. В. ; Науч. рук. А. Ю. Матросова; Том. гос. ун-т

    by Никитин, Константин Владимирович | Матросова, Анжела Юрьевна [sad] | Томский государственный университет.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск б. и. 2003Availability: 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.
    Синтез логических схем, контролепригодных относительно неисправностей задержек путей А. Ю. Матросова, Е. А. Николаева, Е. В. Румянцева

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

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote 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.
    Обеспечение тестируемости задержек путей при синтезе схем покрытием BDD-графов А. Ю. Матросова, Д. В. Кудин, Е. А. Николаева, Е. В. Румянцева

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

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    8.
    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.
    К вопросу об оптимальности представления однф в виде BDD-графа Ю. В. Седов, А. Ю. Матросова

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

    Source: Всесибирские чтения по математике и механике: Международная конференция, 17-20 июня 1997 г., г. Томск: Тезисы докладов. Т. 1Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    12.
    Синтез легко тестируемых последовательностных схем А. Ю. Матросова, Е. В. Митрофанов

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

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

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

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

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

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

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

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

    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 :
    18.
    Поиск простой цепи ограниченной длины в условиях динамически изменяющихся весов дуг А. Ю. Матросова, М. Л. Громов, В. В. Жамнов, Е. А. Николаева

    by Громов, Максим Леонидович | Жамнов, Вадим Владимирович | Николаева, Екатерина Александровна | Матросова, Анжела Юрьевна | Томский государственный университет Факультет прикладной математики и кибернетики Кафедра программирования | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур | Томский государственный университет Физический факультет Кафедра общей и экспериментальной физики.

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    19.
    Синтез частично программируемых схем, маскирующих логические неисправности элементов А. Ю. Матросова, С. А. Останин, Е. А. Николаева

    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 :
    20.
    Использование ROBDD-графов для тестирования задержек логических схем А. Ю. Матросова, В. В. Андреева, В. З. Тычинский, Г. Г. Гошин

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

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

    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 :
    22.
    Информационные технологии и математическое моделирование (ИТММ-2019) Ч. 2 материалы XVIII Международной конференции имени А. Ф. Терпугова, 26-30 июня 2019 г. Нац. исслед. Том. гос. ун-т, Саратов нац. исслед. гос. ун-т им. Н. Г. Чернышевского, Рос. ун-т дружбы народов, Ин-т проблем управления им. В. А. Трапезникова РАН ; [редкол.: А. А. Назаров и др.]

    by Назаров, Анатолий Андреевич [edt] | Моисеева, Светлана Петровна [edt] | Матросова, Анжела Юрьевна [edt] | Лисовская, Екатерина Юрьевна [edt] | Томский государственный университет.

    Material type: Set Set; Format: electronic available online remote Publication details: Томск Издательство НТЛ 2019Online access: Click here to access online Availability: No items available :
    23.
    Алгоритм построения 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 :
    24.
    К проблеме минимизации BDD-графов М. В. Астафьев, А. Ю. Матросова

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

    Source: Всесибирские чтения по математике и механике: Международная конференция, 17-20 июня 1997 г., г. Томск: Тезисы докладов. Т. 1Material type: Article Article; Format: print ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :
    25.
    Оценка искажения поведения логической схемы в присутствии неисправности В. А. Провкин, А. Ю. Матросова

    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 :