Add to Quick Collection
All 14 Results
Showing items 1 - 14 of 14.
Add All Items to Quick Collection
Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.. Томск, 2022. С. 74-75
Type: статьи в сборниках
Date: 2022
Type: авторефераты диссертаций
Date: 2021
Type: научный доклад
Date: 2020
Source: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г.. Томск, 2020. С. 142
Type: статьи в сборниках
Date: 2020
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2019. № 47. С. 110-117
Type: статьи в журналах
Date: 2019
Description:
Исследуется задача построения тестов с гарантированной полнотой для последовательностных цифровых систем. Рассматриваются тесты, нацеленные как на обнаружение в логических схемах низкоуровневых неиспр
... More
Source: Труды Института системного программирования РАН. 2018. Т. 30, вып. 1. С. 25-40
Type: статьи в журналах
Date: 2018
Description:
Конечные автоматы широко используются для анализа и синтеза дискретных систем. При описании систем, поведение которых зависит от времени, конечный автомат расширяется введением временных аспектов и вв
... More
Type: учебные издания
Date: 2018
Description:
В настоящем учебно-методическом пособии даются базовые понятия теории цифровых схем, описываются две основные модели цифровых схем (логическая схема и система булевых функций), описываются форматы пре
... More
Type: учебные издания
Date: 2018
Description:
В настоящем учебно-методическом пособии рассматриваются две оптимизационные задачи на графах, которые находят приложение во многих разделах науки и техники: задача о максимальном потоке в сети и задач
... More
Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.. Томск, 2018. С. 71-72
Type: статьи в сборниках
Date: 2018
Source: Известия высших учебных заведений. Физика. 2017. Т. 60, № 11. С. 146-151
Type: статьи в журналах
Date: 2017
Description:
Данная статья является продолжением исследований по построению качественных верификационных тестов для проверки цифровых компонентов, используемых в различных физических системах, таких, как, например
... More
Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.. Томск, 2016. С. 33
Type: статьи в сборниках
Date: 2016
Type: магистерская диссертация
Date: 2016
Source: Известия высших учебных заведений. Физика. 2015. Т. 58, № 11/2. С. 65-69
Type: статьи в журналах
Date: 2015
