|  | | | | | | |
|---|
| 39 |
 | каф. компьютерной безопасности |
| |
| 1 |
|
| |
| 1 |
|
| Тезисы докладов |
| |
| | | | Тренькаев В. Н. | Обзор исследований по проблеме достижения высокой производительности протокола OPC UA | // Информационные технологии и математическое моделирование (ИТММ-2020) : материалы XIX Международной конференции имени А. Ф. Терпугова, 2−5 декабря 2020 г. Томск: Изд-во НТЛ, 2021. С. 324-329. | |
| 38 |
|
| 2020 |
| |
| 10 |
|
| |
| | | | Солдатов А. И.
Матросова А. Ю.
Ким О. Х.
Солдатов А. А.
Костина М. А. | Программируемая коммутационная среда | // Вестн. Том. гос. ун-та. УВТиИ. 2020. № 50. С. 114-122. | |
| | | | Parvatov N.G. | Finding the Subsets of Variables of a Partial Boolean Function Which Are Sufficient for Its Implementation in the Classes Defined by Predicates | // Journal of Applied and Industrial Mathematics. 2020. Vol. 14, № 1. P. 186-195. | |
| | | | Яковлева В. С.
Нагорский П. М.
Яковлев Г. А.
Зелинский А. С.
Пустовалов К. Н.
Смирнов С. В.
Беляева И. В. | Предварительные результаты анализа вариаций бета-фона приземной атмосферы, обусловленных ливневыми осадками | // Вестник КРАУНЦ. Физико-математические науки. 2020. Т. 31, № 2. С. 139-149. | |
| | | | Яковлев Г. А.
Яковлева В. С. | Особенности сезонной динамики изотопов радона в приземной атмосфере | // Вестник КРАУНЦ. Физико-математические науки. 2020. Т. 31, № 2. С. 129-138. | |
| | | | Матросова А. Ю.
Тычинский В. З.
Андреева В. В. | Построение тестовых последовательностей для робастно тестируемых неисправностей задержек путей с низкой потребляемой мощностью с использованием SAT-решателей и ROBDD-графов | // Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС). 2020. № 2. С. 43-49. | |
| | | | Матросова А. Ю.
Провкин В. А.
Андреева В. В. | Маскирование неисправностей полюсов логических схем с использованием частичных функций | // Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика. 2020. Т. 20, № 4. С. 517-526. | |
| | | | Яковлев Г. А.
Зулу М. Ч. | Искажение радиационного фона городской среды вследствие агрессивного влияния техносферы. 2 этап: парки и зоны отдыха | // Вестник КРАУНЦ. Физико-математические науки. 2020. Т. 33, № 4. С. 231-238. | |
| | | | Яковлев Г. А. | Особенности выбора архитектуры программного комплекса для организации сбора, обработки, анализа данных томской обсерватории радиоактивности и ионизирующих излучений | // | |
| | | | Яковлев Г. А.
Кобзев А. А.
Смирнов С. В.
Беляева И. В.
Аршинов М. Ю.
Яковлева В. С. | Синхронный мониторинг γ, β-фона и атмосферных осадков в геофизических обсерваториях ИМКЭС СО РАН И БЭК ИОА СО РАН | // Вестник КРАУНЦ. Физико-математические науки. 2020. Т. 32, № 3. С. 165-179. | |
| | | | Яковлев Г. А.
Яковлева В. С. | Искажение радиационного фона городской среды вследствие агрессивного влияния техносферы. 1 этап: радон и альфа-фон | // Вестник КРАУНЦ. Физико-математические науки. 2020. Т. 32, № 3. С. 154-164. | |
| 28 |
|
| Тезисы докладов |
| |
| | | | Провкин В. А. | Упрощение конъюктивных нормальных форм в задачах построения корректирующих схем | // Новые информационные технологии в исследовании сложных структур: материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г. Томск: Издательский Дом Томского государственного университета, 2020. С. 134. | |
| | | | Буторина Н. Б.
Буркатовская Ю. Б.
Пахомова Е. Г. | Об упрощении схемы самотестируемого детектора (M, N)-кодов для подмножества кодовых слов | // Новые информационные технологии в исследовании сложных структур: материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г. Томск: Издательский Дом Томского государственного университета, 2020. С. 135. | |
| | | | Тычинский В. З.
Андреева В. В. | Получение тестовых пар для робастно тестируемых неисправностей задержек путей с использованием КНФ логической схемы | // Новые информационные технологии в исследовании сложных структур: материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г. Томск: Издательский Дом Томского государственного университета, 2020. С. 136. | |
| | | | Матросова А. Ю.
Чернышов С. В. | Построение последовательности, доставляющей тестовую пару для робастно тестируемой неисправности задержки пути | // Новые информационные технологии в исследовании сложных структур: материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г. Томск: Издательский Дом Томского государственного университета, 2020. С. 137. | |
| | | | Твардовский А. С.
Евтушенко Н. В. | Синтез установочных последовательностей для автоматов с таймаутами | // Новые информационные технологии в исследовании сложных структур: материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г. Томск: Издательский Дом Томского государственного университета, 2020. С. 138. | |
| | | | Винарский Е. М.
Твардовский А. С. | Экспериментальное исследование свойств адаптивных установочных последовательностей для недетерминированных автоматов | // Новые информационные технологии в исследовании сложных структур: материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г. Томск: Издательский Дом Томского государственного университета, 2020. С. 141. | |
| | | | Леонов В. В.
Самохина С. И. | Исследование на жёсткость системы обыкновенных дифференциальных уравнений, соответствующей математической модели деформационного упрочнения сплавов со сверхструктурой L1 2 | // Инноватика-2020 : сборник материалов XVI Международной школы-конференции студентов, аспирантов и молодых ученых, 23-25 апреля 2020 г. Томск: STT, 2020. С. 384-387. | |
| | | | Леонов В. В.
Самохина С. И. | Исследование на жесткость системы обыкновенных дифференциальных уравнений, соответствующей математической модели деформационного упрочнения сплавов со сверхструктурой L12 | // Инноватика-2020 : сборник материалов XVI Международной школы-конференции студентов, аспирантов и молодых ученых, 23-25 апреля 2020 г. Томск: STT, 2020. С. 384-3 | |
| | | | 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. | |
| | | | Golubeva O. | Three-Value Simulation of Combinational and Sequential Circuits and its Applications | // 2020 Moscow Workshop on Electronic and Networking Technologies (MWENT 2020), Moscow, 11-13 march 2020. New York: IEEE, 2020. P. 81-87. | |
| | | | Голубева О. И. | Троичное моделирование комбинационных схем с использованием SAT-решателей и его применение при верификации | // Современные проблемы физико-математических наук : материалы VI Всероссийской научно-практической конференции c международным участием (4-5 декабря 2020 г., г. Орел) : научное электронное издание. Орел: ОГУ им. И.С. Тургенева, 2020. С. 335-340. 1 электрон. опт. диск (DVD-R). | |
| | | | Голубева О. И. | Алгоритмы получения функций тестопригодности полюса элемента комбинационной схемы | // Современные проблемы физико-математических наук : материалы VI Всероссийской научно-практической конференции c международным участием (4-5 декабря 2020 г., г. Орел) : научное электронное издание. Орел: ОГУ им. И.С. Тургенева, 2020. С. 327-335. 1 электрон. опт. диск (DVD-R). | |
| | | | Тычинский В. З.
Андреева В. В | Получение тестовых пар для робастно тестируемых неисправностей задержек путей с использованием SAT-решателей | // Математическое и программное обеспечение информационных, технических и экономических систем : материалы Международной научной конференции, Томск, 28-30 мая 2020 г. Томск: Изд-во Том. ун-та, 2020. С. 194-200. | |