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

This page is only showing items within the active collection. You can remove the filter by clicking here.

Your search on produced these results.

Add to Quick Collection   All 11 Results

Showing items 1 - 11 of 11.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Обнаружение неисправности частично построенной схемы путем вычисления частичных функций ее нереализованных фрагментов
Authors: Головин, Артем Витальевич | Провкин, Виктор Алексеевич
Source: Материалы IX-й Международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-28 мая 2022 г.. Томск, 2022. С. 74-80
Type: статьи в сборниках
Date: 2022
Add   Оптимизация решения алгоритма CDCL, представленного в виде троичного вектора
Authors: Иванкин, Дмитрий Ильич | Андреева, Валентина Валерьевна
Source: Материалы IX-й Международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-28 мая 2022 г.. Томск, 2022. С. 87-92
Type: статьи в сборниках
Date: 2022
Add   Построение множества всех достижимых реакций комбинационных схем
Authors: Провкин, Виктор Алексеевич
Source: Материалы IX-й Международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-28 мая 2022 г.. Томск, 2022. С. 99-108
Type: статьи в сборниках
Date: 2022
Add   BDD and DNF based algorithms for constructing all testability functions of combinational circuit
Authors: Golubeva, Olga
Source: International Siberian Conference on Control and Communications, May 13-15, 2021, Kazan, Russia. [S. l.], 2021. P. [1-6]
Type: статьи в сборниках
Date: 2021
Description: Constructing testability functions of a combinational circuit line, such as: the controllability, observability and stuck-at fault detection functions, as well as the complement of the observability f ... More
Add   Masking circuit faults and Trojan circuit injections using sat solvers
Authors: Matrosova, Anzhela Yu. | Provkin, V. А. | Tychinskiy, V. Z. | Nikolaeva, Ekaterina A. | Goshin, G. G.
Source: Russian physics journal. 2021. Vol. 63, № 12. P. 2178-2188
Type: статьи в журналах
Date: 2021
Description: Combinational circuit C composed of gates and its sub-circuit with set V of output nodes and set U of input nodes are considered. The set V consists of output nodes of fault gates of the circuit C (on ... More
Add   Метод исключения переменной из КНФ Цейтина
Authors: Тычинский, Вячеслав Зиновьевич
Source: Материалы VIII Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-30 мая 2021 г.. Томск, 2021. С. 223-228
Type: статьи в сборниках
Date: 2021
Add   Применение 2-SAT задачи для обнаружения утечки ресурсов в списочных структурах
Authors: Серебренникова, Кристина Андреевна | Андреева, Валентина Валерьевна
Source: Материалы VIII Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 26-30 мая 2021 г.. Томск, 2021. С. 214-218
Type: статьи в сборниках
Date: 2021
Add   Получение тестовых пар для робастно тестируемых неисправностей задержек путей с использованием SAT-решателей
Authors: Тычинский, Вячеслав Зиновьевич | Андреева, Валентина Валерьевна
Source: Материалы международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 28-30 мая 2020 г.. Томск, 2020. С. 194-200
Type: статьи в сборниках
Date: 2020
Add   Построение с использованием SAT-решателей схем, маскирующих логические неисправности и вредоносные подсхемы управляющих компонент сложных физических систем
Authors: Матросова, Анжела Юрьевна | Провкин, Виктор Алексеевич | Тычинский, Вячеслав Зиновьевич | Николаева, Екатерина Александровна | Гошин, Геннадий Георгиевич
Source: Известия высших учебных заведений. Физика. 2020. Т. 63, № 12. С. 114-123
Type: статьи в журналах
Date: 2020
Description: С целью повышения надежности управляющих компонент сложных физических систем рассматривается проблема маскирования неисправностей и вредоносных подсхем, обнаруживаемых на заключительных этапах создани ... More
Add   Синтез вентильных схем, маскирующих неисправности, с использованием SAT-решателей
Authors: Провкин, Виктор Алексеевич
Source: Материалы международной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 28-30 мая 2020 г.. Томск, 2020. С. 178-188
Type: статьи в сборниках
Date: 2020
Add   Троичное моделирование комбинационных схем с использованием SAT-решателей и его применение при верификации
Authors: Голубева, Ольга Ивановна
Source: Современные проблемы физико-математических наук [Электронный ресурс] : материалы VI Всероссийской научно-практической конференции c международным участием (4 – 5 декабря 2020 г., г. Орел). Орел, 2020. С. 335-340
Type: статьи в сборниках
Date: 2020
Description: Рассматриваются методы точного троичного моделирования комбинационных схем, основанные на применении SAT-решателей. Также рассматривается применение методов троичного моделирования для верификации про ... More
  • «
  • ←
  • 1
  • →
  • »

Creator

Date

Subject

Resource Type

^