Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

  • Your search returned 25 results.

    1.
    Диагностика отказов цифровых вычислительных систем пер. с англ. Г. Чжен, Е. Мэннинг, Г. Метц ; под ред. И. Б. Михайлова

    by Чжен, Г. Я | Мэннинг, Е | Метц, Г | Михайлов, И. Б [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: М. Мир 1972Other title: Fault diagnosisof digital systems.Availability: No items available :
    2.
    Проектирование автоматизированных станков и комплексов Т. 2 [учебник для студентов высших учебных заведений, обучающихся по направлению "Технологические машины и оборудование" и специальности "Проектирование технических и технологических комплексов"] в 2 т. [В. М. Утенков, Г. Н. Васильев, Б. М. Дмитриев и др.] ; под ред. П. М. Чернянского

    by Утенков, Владимир Михайлович | Чернянский, Петр Михайлович [edt] | Васильев, Герман Николаевич | Дмитриев, Борис Михайлович.

    Edition: 2-е изд., испр.Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Изд-во МГТУ им. Н. Э. Баумана 2014Availability: No items available :
    3.
    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 :
    4.
    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 :
    5.
    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 :
    6.
    Синтез самопроверяемых последовательностных схем для неисправностей задержек путей С. А. Останин, И. Е. Кириенко, В. А. Лавров

    by Останин, Сергей Александрович | Кириенко, Ирина Евгеньевна | Лавров, Валерий Александрович.

    Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 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 :
    7.
    Цифровая электроника для начинающих Павел Кириченко

    by Кириченко, Павел Г.

    Series: ЭлектроникаMaterial type: Text Text; Format: print ; Literary form: Not fiction Publication details: Санкт-Петербург БХВ-Петербург 2020Availability: No items available :
    8.
    Импульсные устройства на интегральных микросхемах Ч. 2 учебное пособие Л. П. Турченков ; [ред. В. С. Чернышев]

    by Турченков, Леонид Петрович | Чернышев, В. С [edt].

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Томск Издательство Томского университета 1984Online access: Click here to access online Availability: No items available :
    9.
    Построение аппроксимирующих схем для синхронных автоматов в рамках технологии троирования С. А. Останин, А. Ю. Матросова, В. В. Андреева

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

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Other title: Deriving approximate circuits for TMR technique applied to synchronous sequential circuits.Online access: Click here to access online Availability: No items available :
    10.
    Интервальные расширения булевых функций и троичное моделирование последовательностных схем О. И. Голубева

    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 :
    11.
    К построению тестов для последовательностных схем с использованием системы АВС Г. В. Кидярова

    by Кидярова, Галина Владимировна.

    Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 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 :
    12.
    Поиск ложных путей в последовательностных схемах с использованием 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 :
    13.
    Синтез отказоустойчивых последовательностных схем для неисправностей задержек путей С. А. Останин, А. Ю. Матросова, И. Е. Кириенко, Е. А. Николаева

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

    Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 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 :
    14.
    Синтез легко тестируемых последовательностных схем А. Ю. Матросова, Е. В. Митрофанов

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

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

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

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote 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.
    К верификации логических схем на основе временных автоматов Г. В. Кидярова

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

    Source: Известия высших учебных заведений. ФизикаMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    18.
    Троичное моделирование синхронных схем с памятью на последовательностях произвольной длины, основанное на 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 :
    19.
    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 :
    20.
    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 :
    21.
    Синтез последовательностных схем с использованием равновесного кодирования состояний Е. В. Митрофанов

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

    Source: Материалы Первой Всероссийской молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 17-18 мая 2013 г.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 :
    22.
    A fault-tolerant sequential circuit design for stuck-at faults and path delay faults A. Y. Matrosova, S. A. Ostanin, I. E. Kirienko [et.al.]

    by Matrosova, Anzhela Yu | Kirienko, Irina E | Nikolaeva, Ekaterina A | Ostanin, Sergey A.

    Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатикаMaterial type: Article Article; Format: electronic available online remote Other title: Проектирование отказоустойчивых последовательностных схем для константных неисправностей и неисправностей задержек путей.Online access: Click here to access online Availability: No items available :
    23.
    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 :
    24.
    Троичное моделирование последовательностной схемы и построение на его основе входных последовательностей, обеспечивающих заданные переходы схемы О. И. Голубева

    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 :
    25.
    Построение кратчайшей установочной последовательности последовательностной схемы с использованием 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 :