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

Add to Quick Collection   All 14 Results

Showing items 1 - 14 of 14.
  • «
  • 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: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.. Томск, 2018. С. 77
Type: статьи в сборниках
Date: 2018
Source: Компьютерные науки и информационные технологии : материалы Международной научной конференции, 2-3 июля 2018 г., Саратов. Саратов, 2018. С. 112-114
Type: статьи в сборниках
Date: 2018
Description: В работе рассматривается задача троичного моделированргя комбинационных схем. Она сводится к задаче вычисления значения интервального расширения булевой функции на интервале, представленном троичным в ... More
Source: Таврический научный обозреватель. 2017. № 5. С. 208-220
Type: статьи в журналах
Date: 2017
Description: В работе рассматривается понятие интервального расширения булевой функции, которое позволяет определить значения функции на интервалах булевых векторов. Задача точного троичного моделирования комбинац ... More
Source: Таврический научный обозреватель. 2017. № 4, ч. 1. С. 136-146
Type: статьи в журналах
Date: 2017
Description: Рассматривается метод точного троичного моделирования синхронных последовательностных схем, основанный на представлении функций в виде ROBDD графов. Моделирование выполняется с использованием функций ... More
Source: Таврический научный обозреватель. 2017. № 3, ч. 1. С. 114-118
Type: статьи в журналах
Date: 2017
Description: Рассматривается метод определения труднообнаружимых константных неисправностей комбинационных схем. Неисправность является труднообнаружимой, если вероятность ее обнаружения меньше заданного пороговог ... More
Source: Таврический научный обозреватель. 2017. № 2. С. 145-150
Type: статьи в журналах
Date: 2017
Description: Рассматривается метод точного вычисления мер тестопригодности для класса константных неисправностей комбинационных схем. Вычисление вероятности обнаружения константной неисправности, управляемости и н ... More
Source: Таврический научный обозреватель. 2017. № 4, ч. 1. С. 122-135
Type: статьи в журналах
Date: 2017
Description: Рассматривается метод точного троичного моделирования синхронных последовательностных схем. Моделирование выполняется с использованием ROBDD функций переходов в состояния схемы. Функции переходов в со ... More
Source: Таврический научный обозреватель. 2017. № 3, ч. 1. С. 129-140
Type: статьи в журналах
Date: 2017
Description: Предлагается метод точного троичного моделирования синхронных последовательностных схем, основанный на представлении функций в виде ROBDD графов. Моделирование выполняется с использованием ROBDD функц ... More
Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2015. № 1. С. 77-86
Type: статьи в журналах
Date: 2015
Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участием. Томск, 2014. С. 49-50
Type: статьи в сборниках
Date: 2014
  • «
  • 1
  • »
^