Разбиение множества векторов с целыми координатами логическими аппаратными средствами
Loading...
Date
2019
Authors
Крывый, Сергей
Опанасенко, Владимир
Завьялов, Станислав
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Рассмотрена задача разбиения множества векторов с целыми
координатами относительно покоординатного и лексикографического порядка на векторах с использованием автоматной интерпретации. Предложена
аппаратная реализация операций трехзначной логики на базе кристаллов
РРйА для проверки выполнимости формул этой логики.
The problem of partitioning a set of vectors with integer coordinates with respect to the coordinate-wise and lexicographic order on vectors by using an automatic interpretation is considered. The FPGA-based hardware implementation of three-valued logic operations for feasibility verification of the formulas of this logic is proposed.
The problem of partitioning a set of vectors with integer coordinates with respect to the coordinate-wise and lexicographic order on vectors by using an automatic interpretation is considered. The FPGA-based hardware implementation of three-valued logic operations for feasibility verification of the formulas of this logic is proposed.
Description
Keywords
целочисленные векторы, пороговые значения, конечные автоматы, трехзначная логика, статья, vectors with integer items, threshold value, finite automata, three-valued logic
Citation
Крывый С. Л. Разбиение множества векторов с целыми координатами логическими аппаратными средствами / С. Л. Крывый, В. Н. Опанасенко, С. Б. Завьялов // Кибернетика и системный анализ : международный научно-теоретический журнал.. - 2019. - № 3. - С. 136-148.