Электронная библиотека (репозиторий) Томского государственного университета
Матросова, Анжела Юрьевна | Андреева, Валентина Валерьевна

Add to Quick Collection   All 11 Results

Showing items 1 - 11 of 11.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Булева разность и обнаружение неисправностей задержек пути
Authors: Матросова, Анжела Юрьевна | Тычинский, Вячеслав Зиновьевич | Андреева, Валентина Валерьевна
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2024. № 66. С. 108-119
Type: статьи в журналах
Date: 2024
Description: Исследуется метод получения тестовых пар соседних булевых векторов, порождаемых булевой разностью исследуемого пути. Использование таких пар позволяет снизить потребляемую мощность при тестировании и ... More
Add   Построение аппроксимирующих схем для синхронных автоматов в рамках технологии троирования
Authors: Останин, Сергей Александрович | Матросова, Анжела Юрьевна | Андреева, Валентина Валерьевна
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2023. № 62. С. 124-131
Type: статьи в журналах
Date: 2023
Description: Троирование (Triple-Modular Redundancy (TMR) technique) является одним из широко применяемых на практике подходов к обеспечению надежности функционирования логических схем. В рамках этой технологии ис ... More
Add   Построение аппроксимирующих схем для синхронных автоматов в рамках технологии троирования
Authors: Останин, Сергей Александрович | Матросова, Анжела Юрьевна | Андреева, Валентина Валерьевна
Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.. Томск, 2022. С. 78-79
Type: статьи в сборниках
Date: 2022
Add   Сведение задачи поиска тестовых пар для робастно тестируемых неисправностей задержек пути к задаче выполнимости булевых формул
Authors: Матросова, Анжела Юрьевна | Тычинский, Вячеслав Зиновьевич | Андреева, Валентина Валерьевна
Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.. Томск, 2022. С. 73-74
Type: статьи в сборниках
Date: 2022
Add   Использование ROBDD-графов для тестирования задержек логических схем
Authors: Андреева, Валентина Валерьевна | Тычинский, Вячеслав Зиновьевич | Гошин, Геннадий Георгиевич | Матросова, Анжела Юрьевна
Source: Известия высших учебных заведений. Физика. 2019. Т. 62, № 5. С. 86-94
Type: статьи в журналах
Date: 2019
Description: С увеличением быстродействия интегральных схем и ростом уровня их интеграции возможно возникновение непредусмотренных емкостей, индуктивностей и т.д., приводящих к снижению расчетного быстродействия с ... More
Add   Маскирование неисправностей полюсов логических схем с использованием частичных функций
Authors: Матросова, Анжела Юрьевна | Провкин, Виктор Алексеевич | Андреева, Валентина Валерьевна
Source: Информационные технологии и математическое моделирование (ИТММ-2019) : материалы XVIII Международной конференции имени А. Ф. Терпугова, 26-30 июня 2019 г.. Томск, 2019. Ч. 2. С. 21-25
Type: статьи в сборниках
Date: 2019
Add   Обнаружение робастно тестируемых неисправностей задержек путей
Authors: Матросова, Анжела Юрьевна | Андреева, Валентина Валерьевна
Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.. Томск, 2018. С. 93-94
Type: статьи в сборниках
Date: 2018
Add   Обнаружение ложных путей в последовательностных схемах
Authors: Андреева, Валентина Валерьевна | Чернышов, Семен Владимирович | Рожкова, Светлана Владимировна | Кудин, Дмитрий Владимирович | Матросова, Анжела Юрьевна
Source: Известия высших учебных заведений. Физика. 2017. Т. 60, № 10. С. 170-178
Type: статьи в журналах
Date: 2017
Description: Предлагается метод поиска ложных путей в схемах с памятью. В отличие от эвристических подходов, развиваемых зарубежными исследователями, разработан точный метод, основанный на использовании операций н ... More
Add   Логическое программирование на языке Пролог : учебно-методический комплекс
Authors: Андреева, Валентина Валерьевна | Матросова, Анжела Юрьевна
Type: учебные издания
Date: 2011
Description: Загл. с экрана
Add   Синтез синхронных последовательностных устройств, устойчивых к кратковременным и перемежающимся неисправностям
Authors: Матросова, Анжела Юрьевна | Андреева, Валентина Валерьевна | Николаева, Екатерина Александровна
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2008. № 3. С. 99-109
Type: статьи в журналах
Date: 2008
Description: Предложена реализация схемы синхронного последовательностного устройства, устойчивого к одиночным кратковременным неисправностям. Реализация основана на дублировании самопроверяемого устройства и испо ... More
Add   Построение минимизированного проверяющего теста, обнаруживающего неисправности безызбыточной ДНФ
Authors: Андреева, Валентина Валерьевна | Матросова, Анжела Юрьевна
Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.). Томск, 2006. С. 34-38
Type: статьи в сборниках
Date: 2006
  • «
  • ←
  • 1
  • →
  • »

Creator

Date

Subject

Resource Type

^