Электронная библиотека (репозиторий) Томского государственного университета
Матросова, Анжела Юрьевна | Останин, Сергей Александрович

Add to Quick Collection   All 18 Results

Showing items 1 - 15 of 18.
Sort:
 Add All Items to Quick Collection
Add   Построение аппроксимирующих схем для синхронных автоматов в рамках технологии троирования
Authors: Останин, Сергей Александрович | Матросова, Анжела Юрьевна | Андреева, Валентина Валерьевна
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2023. № 62. С. 124-131
Type: статьи в журналах
Date: 2023
Description: Троирование (Triple-Modular Redundancy (TMR) technique) является одним из широко применяемых на практике подходов к обеспечению надежности функционирования логических схем. В рамках этой технологии ис ... More
Add   Построение аппроксимирующих схем для синхронных автоматов в рамках технологии троирования
Authors: Останин, Сергей Александрович | Матросова, Анжела Юрьевна | Андреева, Валентина Валерьевна
Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.. Томск, 2022. С. 78-79
Type: статьи в сборниках
Date: 2022
Add   Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой международной конференции, 7-9 сентября 2020 г
Authors: Беккерман, Екатерина Николаевна | Шабалдина, Наталия Владимировна | Горцев, Александр Михайлович | Громов, Максим Леонидович | Торгаев, Станислав Николаевич | Медведев, Юрий Геннадьевич | Останин, Сергей Александрович | Прокопенко, Светлана Анатольевна | Захарова, Галина Борисовна | Матросова, Анжела Юрьевна | Нежельская, Людмила Алексеевна
Type: сборники
Date: 2020
Description: Тринадцатая конференция с международным участием «Новые информационные технологии в исследовании сложных структур» была проведена в дистанционном формате с 7 по 9 сентября 2020 г. Материалы сборника о ... More
Add   Труды Томского государственного университета. Т. 305
Authors: Шмырин, Игорь Сергеевич | Горцев, Александр Михайлович | Сущенко, Сергей Петрович | Дмитриев, Юрий Глебович | Моисеева, Светлана Петровна | Конев, Виктор Васильевич | Матросова, Анжела Юрьевна | Назаров, Анатолий Андреевич | Лившиц, Климентий Исаакович | Останин, Сергей Александрович
Type: сборники
Date: 2020
Description: Сборник содержит материалы Международной научной конференции «Математическое и программное обеспечение информационных, технических и экономических систем», проводившейся 28–30 мая 2020 г. на базе Инст ... More
Add   Материалы VII Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 23-25 мая 2019 г.
Authors: Шмырин, Игорь Сергеевич | Горцев, Александр Михайлович | Сущенко, Сергей Петрович | Дмитриев, Юрий Глебович | Моисеева, Светлана Петровна | Конев, Виктор Васильевич | Матросова, Анжела Юрьевна | Назаров, Анатолий Андреевич | Лившиц, Климентий Исаакович | Останин, Сергей Александрович
Type: сборники
Date: 2019
Description: Сборник содержит материалы VII Международной молодёжной научной конференции «Математическое и программное обеспечение информационных, технических и экономических систем», проводившейся 23–25 мая 2019 ... More
Add   Поиск ложных путей в логических схемах из двухвходовых вентилей с использованием операций над ROBDD-графами
Authors: Матросова, Анжела Юрьевна | Останин, Сергей Александрович | Чернышов, Семен Владимирович
Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.. Томск, 2018. С. 88-89
Type: статьи в сборниках
Date: 2018
Add   Синтез частично программируемых схем, маскирующих логические неисправности элементов
Authors: Матросова, Анжела Юрьевна | Останин, Сергей Александрович | Николаева, Екатерина Александровна
Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.. Томск, 2018. С. 73-74
Type: статьи в сборниках
Date: 2018
Add   Синтез частично программируемых схем, ориентированный на маскирование вредоносных подсхем (Trojan Circuits)
Authors: Матросова, Анжела Юрьевна | Останин, Сергей Александрович | Николаева, Екатерина Александровна
Source: Труды Института системного программирования РАН. 2017. Т. 29, вып. 5. С. 61-73
Type: статьи в журналах
Date: 2017
Description: При синтезе современных интегральных схем разработчики все чаще прибегают к услугам сторонних фирм для реализации тех или иных компонент системы (Intellectual Property cores, перепрограммируемых компо ... More
Add   Синтез монотонных детекторов для подмножества равновесных кодов
Authors: Останин, Сергей Александрович | Буторина, Наталья Борисовна | Гребнев, Антон Олегович | Матросова, Анжела Юрьевна
Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.. Томск, 2016. С. 58-59
Type: статьи в сборниках
Date: 2016
Add   Синтез отказоустойчивых последовательностных схем для неисправностей задержек путей
Authors: Останин, Сергей Александрович | Кириенко, Ирина Евгеньевна | Николаева, Екатерина Александровна | Матросова, Анжела Юрьевна
Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.. Томск, 2016. С. 59-60
Type: статьи в сборниках
Date: 2016
Add   Обеспечение надежности физических систем: синтез частично программируемых логических схем
Authors: Матросова, Анжела Юрьевна | Останин, Сергей Александрович | Кириенко, Ирина Евгеньевна
Source: Известия высших учебных заведений. Физика. 2014. Т. 57, № 6. С. 127-132
Type: статьи в журналах
Date: 2014
Add   Поиск всех тестовых наборов для неисправности логической схемы и представление их ROBDD-графом
Authors: Останин, Сергей Александрович | Бухаров, Александр Вениаминович | Кириенко, Ирина Евгеньевна | Матросова, Анжела Юрьевна
Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участием. Томск, 2014. С. 53-54
Type: статьи в сборниках
Date: 2014
Add   Поиск всех тестовых наборов для неисправности логической схемы и представление их ROBDD-графом
Authors: Останин, Сергей Александрович | Бухаров, Александр Вениаминович | Кириенко, Ирина Евгеньевна | Матросова, Анжела Юрьевна
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2014. № 2. С. 82-89
Type: статьи в журналах
Date: 2014
Add   Обнаружение несущественных путей логических схем на основе совместного анализа и-или деревьев и SSBDD-графов
Authors: Матросова, Анжела Юрьевна | Останин, Сергей Александрович | Сингх, В.
Source: Автоматика и телемеханика. 2013. № 7. С. 126-142
Type: статьи в журналах
Date: 2013
Add   Функции алгебры логики : учебно-методическое пособие : [для студентов физико-математических специальностей]
Authors: Николаева, Евгения Александровна (математик) | Останин, Сергей Александрович | Матросова, Анжела Юрьевна
Date: 2013

Creator

Date

Subject

Resource Type

^