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

Add to Quick Collection   All 6 Results

Showing items 1 - 6 of 6.
  • «
  • 1
  • »
Sort:
 Add All Items to Quick Collection
Source: Современные проблемы физико-математических наук [Электронный ресурс] : материалы VI Всероссийской научно-практической конференции c международным участием (4 – 5 декабря 2020 г., г. Орел). Орел, 2020. С. 327-335
Type: статьи в сборниках
Date: 2020
Description: Рассматриваются методы построения функций тестопригодности полюса элемента комбинационной схемы: управляемости, наблюдаемости и обнаружения константной неисправности, а также дополнения функции наблюд ... More
Source: Современные проблемы физико-математических наук [Электронный ресурс] : материалы VI Всероссийской научно-практической конференции c международным участием (4 – 5 декабря 2020 г., г. Орел). Орел, 2020. С. 335-340
Type: статьи в сборниках
Date: 2020
Description: Рассматриваются методы точного троичного моделирования комбинационных схем, основанные на применении SAT-решателей. Также рассматривается применение методов троичного моделирования для верификации про ... More
Source: Компьютерные науки и информационные технологии : материалы Международной научной конференции, 2-3 июля 2018 г., Саратов. Саратов, 2018. С. 112-114
Type: статьи в сборниках
Date: 2018
Description: В работе рассматривается задача троичного моделированргя комбинационных схем. Она сводится к задаче вычисления значения интервального расширения булевой функции на интервале, представленном троичным в ... More
Source: Таврический научный обозреватель. 2017. № 3, ч. 1. С. 114-118
Type: статьи в журналах
Date: 2017
Description: Рассматривается метод определения труднообнаружимых константных неисправностей комбинационных схем. Неисправность является труднообнаружимой, если вероятность ее обнаружения меньше заданного пороговог ... More
Source: Таврический научный обозреватель. 2017. № 2. С. 145-150
Type: статьи в журналах
Date: 2017
Description: Рассматривается метод точного вычисления мер тестопригодности для класса константных неисправностей комбинационных схем. Вычисление вероятности обнаружения константной неисправности, управляемости и н ... More
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2015. № 1. С. 77-86
Type: статьи в журналах
Date: 2015
  • «
  • 1
  • »
^