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

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. С. 335-340
Type: статьи в сборниках
Date: 2020
Description: Рассматриваются методы точного троичного моделирования комбинационных схем, основанные на применении SAT-решателей. Также рассматривается применение методов троичного моделирования для верификации про ... More
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. № 4, ч. 1. С. 122-135
Type: статьи в журналах
Date: 2017
Description: Рассматривается метод точного троичного моделирования синхронных последовательностных схем. Моделирование выполняется с использованием ROBDD функций переходов в состояния схемы. Функции переходов в со ... More
Source: Таврический научный обозреватель. 2017. № 3, ч. 1. С. 129-140
Type: статьи в журналах
Date: 2017
Description: Предлагается метод точного троичного моделирования синхронных последовательностных схем, основанный на представлении функций в виде ROBDD графов. Моделирование выполняется с использованием ROBDD функц ... More
  • «
  • 1
  • »
^