Матросова Анжела Юрьевна

Публикации

Общее число записей - 87
1 Матросова А.Ю., Тычинский В.З., Андреева В.В. Булева разность и обнаружение неисправностей задержек пути // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2024. № 66. С. 108‒119. DOI: 10.17223/19988605/66/11
2 Провкин В.А., Матросова А.Ю. Оценка искажения поведения логической схемы в присутствии неисправности // Материалы X-й Международной молодёжной научной конференции «Математическое и программное обеспечение информационных, технических и экономических систем», Томск, 26-29 мая 2023 г. Томск: Изд-во Том. гос. ун-та, 2023. С. 59‒69.
3 Останин С.А., Матросова А.Ю., Андреева В.В. Построение аппроксимирующих схем для синхронных автоматов в рамках технологии троирования // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2023. № 62. С. 124‒131. DOI: 10.17223/19988605/62/14
4 Matrosova A.Yu., Ostanin S.A., Goshin G.G. Deriving Approximate Logic Circuits for TMR Technique // Russian Physics Journal. 2022. Vol. 65, № 4. P. 751‒760. DOI: 10.1007/s11182-022-02693-3
5 Провкин В.А., Матросова А.Ю. Графовые представления множеств всех достижимых реакций комбинационной схемы // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2022. № 61. С. 128‒138. DOI: 10.17223/19988605/61/13
6 Laputenko A., Yevtushenko N., Andreeva V., Matrosova A. Deriving FSM-based tests using a,b−faults for Logic Circuits // 2022 IEEE Computer Society Annual Symposium on VLSI (ISVLSI) : proceedings. [Los Alamitos], 2022. P. 80‒85. DOI: 10.1109/ISVLSI54635.2022.00027
7 Останин С.А., Матросова А.Ю., Андреева В.В. Построение аппроксимирующих схем для синхронных автоматов в рамках технологии троирования // Новые информационные технологии в исследовании сложных структур: материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г. Томск: Изд. дом Том. гос. ун-та, 2022. С. 78‒79.
8 Матросова А.Ю., Тычинский В.З., Андреева В.В. Сведение задачи поиска тестовых пар для робастно тестируемых неисправностей задержек пути к задаче выполнимости булевых формул // Новые информационные технологии в исследовании сложных структур: материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г. Томск: Изд. дом Том. гос. ун-та, 2022. С. 73‒74.
9 Провкин В.А., Матросова А.Ю. Алгоритм построения ROBDD-графа, представляющего множество всех достижимых реакций комбинационной логической схемы // Новые информационные технологии в исследовании сложных структур: материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г. Томск: Изд. дом Том. гос. ун-та, 2022. С. 72‒73.
10 Матросова А.Ю., Останин С.А., Гошин Г.Г. Построение аппроксимирующих схем в режиме троирования // Известия высших учебных заведений. Физика. 2022. Т. 65, № 4. С. 150‒159. DOI: 10.17223/00213411/65/4/150
11 Matrosova A.Yu., Chernyshov S.V., Kim O.Kh., Nikolaeva E.A. Constructing a Sequence Detecting Robustly Testable Path Delay Faults in Sequential Circuits // Automation and Remote Control. 2021. Vol. 82, № 11. P. 1949‒1965. DOI: 10.1134/S0005117921110102
12 Матросова А.Ю., Чернышов С.В., Ким О.Х., Николаева Е.А. Построение последовательности, обнаруживающей робастно тестируемые неисправности задержек путей в схемах с памятью // Автоматика и телемеханика. 2021. № 11. С. 148‒168. DOI: 10.31857/S0005231021110106
13 Matrosova A.Yu., Andreeva V.V., Tychinskiy V.Z. SAT Solvers Application of Deriving All Test Pairs Detecting Robust Testable PDFs //2021 IEEE East-West Design & Test Symposium (EWDTS) : proceedings, Batumi, Georgia, 10–13 september 2021. [Red Hook]: IEEE, 2021. P. 252-255.
14 Matrosova A., Provkin V. Applying Incompletely Specified Boolean Functions for Patch Circuit Generation //2021 IEEE East-West Design & Test Symposium (EWDTS) : proceedings, Batumi, Georgia, 10–13 september 2021. [Red Hook]: IEEE, 2021. P. 238-241.
15 Провкин В.А., Матросова А.Ю., Енютина А.И. О возможностях введения дополнительных вентилей с целью обфускации логических схем //Математическое и программное обеспечение информационных, технических и экономических систем : материалы VIII Международной молодежной научной конференции. Томск, 26-30 мая 2021 г. Томск: Изд-во Том. ун-та, 2021. С. 202-207.
16 Masking Circuit Faults and Trojan Circuit Injections Using Sat Solvers / Matrosova A.Yu., Provkin V.A., Tychinskiy V.Z., Nikolaeva E.A. [et al] // Russian Physics Journal. 2021. Vol. 63, № 12. P. 2178‒2188. DOI: 10.1007/s11182-021-02287-5
17 Матросова А.Ю., Провкин В.А., Тычинский В.З., Николаева Е.А., Гошин Г.Г. Построение с использованием SAT-решателей схем, маскирующих логические неисправности и вредоносные подсхемы управляющих компонент сложных физических систем //Известия вузов. Физика. 2020. Т. 63, № 12. С. 114-123.
18 Матросова А.Ю., Чернышов С.В. Алгоритмы построения последовательности, доставляющей тестовые пары для робастно тестируемых PDFs с использованием операций над ROBDD-графами //Математическое и программное обеспечение информационных, технических и экономических систем : материалы Международной научной конференции, Томск, 28-30 мая 2020 г. Томск: Изд-во Том. ун-та, 2020. С. 169-178.
19 Матросова А.Ю., Тычинский В.З., Андреева В.В. Построение тестовых последовательностей для робастно тестируемых неисправностей задержек путей с низкой потребляемой мощностью с использованием SAT-решателей и ROBDD-графов //Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС). 2020. № 2. С. 43-49.
20 Матросова А.Ю., Провкин В.А., Андреева В.В. Маскирование неисправностей полюсов логических схем с использованием частичных функций //Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика. 2020. Т. 20, № 4. С. 517-526.