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

Add to Quick Collection   All 60 Results

Showing items 1 - 15 of 60.
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   Алгоритм построения ROBDD-графа, представляющего множество всех достижимых реакций комбинационной логической схемы
Authors: Провкин, Виктор Алексеевич | Матросова, Анжела Юрьевна
Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.. Томск, 2022. С. 72-73
Type: статьи в сборниках
Date: 2022
Add   Графовые представления множеств всех достижимых реакций комбинационной схемы
Authors: Провкин, Виктор Алексеевич | Матросова, Анжела Юрьевна
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2022. № 61. С. 128-138
Type: статьи в журналах
Date: 2022
Description: Рассматривается задача получения множества всех достижимых реакций комбинационной логической схемы. Предлагается алгоритм построения ROBDD-графа, представляющего все достижимые реакции схемы. Получаем ... More
Add   Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г
Authors: Горцев, Александр Михайлович | Замятин, Александр Владимирович | Громов, Максим Леонидович | Торгаев, Станислав Николаевич | Медведев, Юрий Геннадьевич | Матросова, Анжела Юрьевна | Нежельская, Людмила Алексеевна | Захарова, Галина Борисовна
Type: сборники
Date: 2022
Description: Четырнадцатая международная конференция "Новые информационные технологии в исследовании сложных структур" проводится в посёлке Листвянка Иркутской области с 19 по 24 сентября 2022 г. Материалы сборник ... More
Add   Построение аппроксимирующих схем в режиме троирования
Authors: Матросова, Анжела Юрьевна | Останин, Сергей Александрович (физик) | Гошин, Геннадий Георгиевич
Source: Известия высших учебных заведений. Физика. 2022. Т. 65, № 4. С. 150-159
Type: статьи в журналах
Date: 2022
Description: Троирование является одним из широко используемых на практике подходов к обеспечению надежности функционирования логических схем. Однако появившиеся в последние годы возможности одновременного внесени ... More
Add   Построение аппроксимирующих схем для синхронных автоматов в рамках технологии троирования
Authors: Останин, Сергей Александрович | Матросова, Анжела Юрьевна | Андреева, Валентина Валерьевна
Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.. Томск, 2022. С. 78-79
Type: статьи в сборниках
Date: 2022
Add   Сведение задачи поиска тестовых пар для робастно тестируемых неисправностей задержек пути к задаче выполнимости булевых формул
Authors: Матросова, Анжела Юрьевна | Тычинский, Вячеслав Зиновьевич | Андреева, Валентина Валерьевна
Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.. Томск, 2022. С. 73-74
Type: статьи в сборниках
Date: 2022
Add   О возможностях введения дополнительных вентилей с целью обфускации логических схем
Authors: Провкин, Виктор Алексеевич | Матросова, Анжела Юрьевна | Енютина, Арина Ивановна
Source: Материалы VIII Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-30 мая 2021 г.. Томск, 2021. С. 202-207
Type: статьи в сборниках
Date: 2021
Add   Алгоритмы построения последовательности, доставляющей тестовые пары для робастно тестируемых PDFs с использованием операций над ROBDD-графами
Authors: Матросова, Анжела Юрьевна | Чернышов, Семен Владимирович
Source: Материалы международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 28-30 мая 2020 г.. Томск, 2020. С. 169-178
Type: статьи в сборниках
Date: 2020
Add   Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой международной конференции, 7-9 сентября 2020 г
Authors: Беккерман, Екатерина Николаевна | Шабалдина, Наталия Владимировна | Горцев, Александр Михайлович | Громов, Максим Леонидович | Торгаев, Станислав Николаевич | Медведев, Юрий Геннадьевич | Останин, Сергей Александрович | Прокопенко, Светлана Анатольевна | Захарова, Галина Борисовна | Матросова, Анжела Юрьевна | Нежельская, Людмила Алексеевна
Type: сборники
Date: 2020
Description: Тринадцатая конференция с международным участием «Новые информационные технологии в исследовании сложных структур» была проведена в дистанционном формате с 7 по 9 сентября 2020 г. Материалы сборника о ... More
Add   Построение последовательности, доставляющей тестовую пару для робастно тестируемой неисправности задержки пути
Authors: Матросова, Анжела Юрьевна | Чернышов, Семен Владимирович
Source: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г.. Томск, 2020. С. 137
Type: статьи в сборниках
Date: 2020
Add   Построение с использованием SAT-решателей схем, маскирующих логические неисправности и вредоносные подсхемы управляющих компонент сложных физических систем
Authors: Матросова, Анжела Юрьевна | Провкин, Виктор Алексеевич | Тычинский, Вячеслав Зиновьевич | Николаева, Екатерина Александровна | Гошин, Геннадий Георгиевич
Source: Известия высших учебных заведений. Физика. 2020. Т. 63, № 12. С. 114-123
Type: статьи в журналах
Date: 2020
Description: С целью повышения надежности управляющих компонент сложных физических систем рассматривается проблема маскирования неисправностей и вредоносных подсхем, обнаруживаемых на заключительных этапах создани ... More
Add   Программируемая коммутационная среда
Authors: Матросова, Анжела Юрьевна | Ким, Олег Хонбинович | Солдатов, Андрей Алексеевич | Костина, Мария Алексеевна | Солдатов, Алексей Иванович
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2020. № 50. С. 114-122
Type: статьи в журналах
Date: 2020
Description: Рассмотрены основные тенденции современного развития электронной компонентной базы. Показаны основные проблемы, с которыми сталкиваются производители микросхем. Одним из путей решения указанных пробле ... More
Add   Труды Томского государственного университета. Т. 305
Authors: Шмырин, Игорь Сергеевич | Горцев, Александр Михайлович | Сущенко, Сергей Петрович | Дмитриев, Юрий Глебович | Моисеева, Светлана Петровна | Конев, Виктор Васильевич | Матросова, Анжела Юрьевна | Назаров, Анатолий Андреевич | Лившиц, Климентий Исаакович | Останин, Сергей Александрович
Type: сборники
Date: 2020
Description: Сборник содержит материалы Международной научной конференции «Математическое и программное обеспечение информационных, технических и экономических систем», проводившейся 28–30 мая 2020 г. на базе Инст ... More
Add   Информационные технологии и математическое моделирование (ИТММ-2019) : материалы XVIII Международной конференции им. А. Ф. Терпугова, 26−30 июня 2019 г. Ч. 2
Authors: Назаров, Анатолий Андреевич | Моисеева, Светлана Петровна | Матросова, Анжела Юрьевна | Лисовская, Екатерина Юрьевна
Type: сборники
Date: 2019
Description: Сборник содержит избранные материалы XVIII Международной конференции имени А.Ф. Терпугова по следующим направлениям: теория массового обслуживания и телетрафика, графы и их применение в задачах анализ ... More

Creator

Date

Subject

Resource Type

^