Add to Quick Collection
All 6 Results
Showing items 1 - 6 of 6.
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