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


НАЧАЛО БИБЛИОТЕКА ПУБЛИКАЦИИ СОТРУДНИКОВ ФАКУЛЬТЕТА ИНФОРМАТИКИ ПО КАФЕДРАМ С 2008 Г.

     ПУБЛИКАЦИИ СОТРУДНИКОВ ФАКУЛЬТЕТА ИНФОРМАТИКИ ПО КАФЕДРАМ С 2008 Г.


  • ПОСМОТРЕТЬ ПУБЛИКАЦИИ ПО АВТОРАМ


  • ПОСМОТРЕТЬ ПУБЛИКАЦИИ ПО ГОДАМ


  • 39
    Hide details for каф. компьютерной безопасностикаф. компьютерной безопасности
    1
    Hide details for 20212021
    1
    Hide details for Тезисы докладовТезисы докладов
    Тренькаев В. Н.Обзор исследований по проблеме достижения высокой производительности протокола OPC UA // Информационные технологии и математическое моделирование (ИТММ-2020) : материалы XIX Международной конференции имени А. Ф. Терпугова, 2−5 декабря 2020 г. Томск: Изд-во НТЛ, 2021. С. 324-329.
    38
    Hide details for 20202020
    10
    Hide details for СтатьиСтатьи
    Солдатов А. И.
    Матросова А. Ю.
    Ким О. Х.
    Солдатов А. А.
    Костина М. А.
    Программируемая коммутационная среда // Вестн. Том. гос. ун-та. УВТиИ. 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
    Hide details for Тезисы докладовТезисы докладов
    Провкин В. А.Упрощение конъюктивных нормальных форм в задачах построения корректирующих схем // Новые информационные технологии в исследовании сложных структур: материалы Тринадцатой Международной конференции, 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.

    <<пролистать вперед<< >>пролистать назад >>
    Copyright © 2019 Факультет информатики Томского государственного университета  
      Служба сервера