на сайт факультета информатики ТГУ
на сайт Томского государственного университета
  


НАЧАЛО ЛЮДИ ПРОВКИН В. А.

     ПРОВКИН В. А.



Провкин
Виктор Алексеевич


асп. каф. компьютерноя безопасности




Год обучения в аспирантуре второй

Руководитель Матросова Анжела Юрьевна




Публикации последних лет (с 1998 года)

Матросова А. Ю., Провкин В. А., Андреева В. В. Маскирование неисправностей полюсов логических схем с использованием частичных функций --- // Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика. 2020. Т. 20, № 4. С. 517-526.

Matrosova A., Provkin V. Masking Internal Node Logical Faults and Trojan Circuits Injections with Using SAT Solvers --- // 2020 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR 2020), Cluj-Napoca, Romania 21 – 23 May 2020. Proceedings. New York, USA: IEEE, 2020. P. 1-4.

Провкин В. А. Синтез вентильных схем, маскирующих неисправности,с использованием SAT-решателей --- // Математическое и программное обеспечение информационных, технических и экономических систем : материалы Международной научной конференции, Томск, 28-30 мая 2020 г. Томск: Изд-во Том. ун-та, 2020. С. 178-188.

Провкин В. А. Упрощение конъюктивных нормальных форм в задачах построения корректирующих схем --- // Новые информационные технологии в исследовании сложных структур: материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г. Томск: Издательский Дом Томского государственного университета, 2020. С. 134.
Copyright © 2019 Факультет информатики Томского государственного университета  
  Служба сервера