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

Add to Quick Collection   All 12 Results

Showing items 1 - 12 of 12.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Булева разность и обнаружение неисправностей задержек пути
Authors: Матросова, Анжела Юрьевна | Тычинский, Вячеслав Зиновьевич | Андреева, Валентина Валерьевна
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2024. № 66. С. 108-119
Type: статьи в журналах
Date: 2024
Description: Исследуется метод получения тестовых пар соседних булевых векторов, порождаемых булевой разностью исследуемого пути. Использование таких пар позволяет снизить потребляемую мощность при тестировании и ... More
Add   Тестирование неисправностей задержек в схемах высокой производительности: научный доклад по направлению подготовки: 09.06.01 - Информатика и вычислительная техника
Authors: Тычинский, Вячеслав Зиновьевич
Type: научный доклад
Date: 2024
Add   Сведение задачи поиска тестовых пар для робастно тестируемых неисправностей задержек пути к задаче выполнимости булевых формул
Authors: Матросова, Анжела Юрьевна | Тычинский, Вячеслав Зиновьевич | Андреева, Валентина Валерьевна
Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.. Томск, 2022. С. 73-74
Type: статьи в сборниках
Date: 2022
Add   Метод исключения переменной из КНФ Цейтина
Authors: Тычинский, Вячеслав Зиновьевич
Source: Материалы VIII Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-30 мая 2021 г.. Томск, 2021. С. 223-228
Type: статьи в сборниках
Date: 2021
Add   Получение тестовых пар для робастно тестируемых неисправностей задержек путей с использованием SAT-решателей
Authors: Тычинский, Вячеслав Зиновьевич | Андреева, Валентина Валерьевна
Source: Материалы международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 28-30 мая 2020 г.. Томск, 2020. С. 194-200
Type: статьи в сборниках
Date: 2020
Add   Получение тестовых пар для робастно тестируемых неисправностей задержек путей с использованием КНФ логической схемы
Authors: Тычинский, Вячеслав Зиновьевич | Андреева, Валентина Валерьевна
Source: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г.. Томск, 2020. С. 136
Type: статьи в сборниках
Date: 2020
Add   Построение с использованием SAT-решателей схем, маскирующих логические неисправности и вредоносные подсхемы управляющих компонент сложных физических систем
Authors: Матросова, Анжела Юрьевна | Провкин, Виктор Алексеевич | Тычинский, Вячеслав Зиновьевич | Николаева, Екатерина Александровна | Гошин, Геннадий Георгиевич
Source: Известия высших учебных заведений. Физика. 2020. Т. 63, № 12. С. 114-123
Type: статьи в журналах
Date: 2020
Description: С целью повышения надежности управляющих компонент сложных физических систем рассматривается проблема маскирования неисправностей и вредоносных подсхем, обнаруживаемых на заключительных этапах создани ... More
Add   Построение тестовых последовательностей, ориентированных на снижение потребляемой мощности, для робастно тестируемых неисправностей задержек путей: магистерская диссертация по направлению подготовки: 01.04.02 - Прикладная математика и информатика
Authors: Тычинский, Вячеслав Зиновьевич
Type: магистерская диссертация
Date: 2020
Add   Использование ROBDD-графов для тестирования задержек логических схем
Authors: Андреева, Валентина Валерьевна | Тычинский, Вячеслав Зиновьевич | Гошин, Геннадий Георгиевич | Матросова, Анжела Юрьевна
Source: Известия высших учебных заведений. Физика. 2019. Т. 62, № 5. С. 86-94
Type: статьи в журналах
Date: 2019
Description: С увеличением быстродействия интегральных схем и ростом уровня их интеграции возможно возникновение непредусмотренных емкостей, индуктивностей и т.д., приводящих к снижению расчетного быстродействия с ... More
Add   О свойствах ROBDD-графов, представляющих тестовые пары для робастно тестируемых неисправностей задержек путей
Authors: Тычинский, Вячеслав Зиновьевич | Андреева, Валентина Валерьевна
Source: Материалы VII Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 23-25 мая 2019 г.. Томск, 2019. С. 190-196
Type: статьи в сборниках
Date: 2019
Add   Разработка и реализация специализированного программного обеспечения для курса "Методы оптимизации"
Authors: Тычинский, Вячеслав Зиновьевич
Source: Материалы VI Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 24-26 мая 2018 г.. Томск, 2018. С. 49-55
Type: статьи в сборниках
Date: 2018
Add   Разработка и реализация специализированного программного обеспечения для курса "Методы оптимизации": выпускная бакалаврская работа по направлению подготовки: 01.03.02 - Прикладная математика и информатика
Authors: Тычинский, Вячеслав Зиновьевич
Type: выпускная бакалаврская работа
Date: 2018
  • «
  • ←
  • 1
  • →
  • »

Creator

Date

Subject

Resource Type

^