Разбиение множества векторов с целыми координатами логическими аппаратными средствами

Рассматривается задача разбиения множества векторов с целыми координатами относительно покоординатного и лексикографического порядка на векторах с использованием автоматной интерпретации. Предложена аппаратная реализация операций трехзначной логики на базе кристаллов FPGA для проверки выполнимости ф...

Повний опис

Збережено в:
Бібліографічні деталі
Опубліковано в: :Кибернетика и системный анализ
Дата:2019
Автори: Крывый, С.Л., Опанасенко, В.Н., Завьялов, С.Б.
Формат: Стаття
Мова:Russian
Опубліковано: Інститут кібернетики ім. В.М. Глушкова НАН України 2019
Теми:
Онлайн доступ:https://nasplib.isofts.kiev.ua/handle/123456789/180877
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:Разбиение множества векторов с целыми координатами логическими аппаратными средствами / С.Л. Крывый, В.Н. Опанасенко, С.Б. Завьялов // Кибернетика и системный анализ. — 2019. — Т. 56, № 3. — С. 136-148. — Бібліогр.: 16 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id nasplib_isofts_kiev_ua-123456789-180877
record_format dspace
spelling Крывый, С.Л.
Опанасенко, В.Н.
Завьялов, С.Б.
2021-10-23T17:00:22Z
2021-10-23T17:00:22Z
2019
Разбиение множества векторов с целыми координатами логическими аппаратными средствами / С.Л. Крывый, В.Н. Опанасенко, С.Б. Завьялов // Кибернетика и системный анализ. — 2019. — Т. 56, № 3. — С. 136-148. — Бібліогр.: 16 назв. — рос.
1019-5262
https://nasplib.isofts.kiev.ua/handle/123456789/180877
516.813
Рассматривается задача разбиения множества векторов с целыми координатами относительно покоординатного и лексикографического порядка на векторах с использованием автоматной интерпретации. Предложена аппаратная реализация операций трехзначной логики на базе кристаллов FPGA для проверки выполнимости формул этой логики.
Розглянуто задачу розбиття множини векторів з цілими координатами відносно покоординатного і лексикографічного порядку на векторах із використанням автоматної інтерпретації. Запропоновано апаратну реалізацію операцій тризначної логіки на базі кристалів FPGA для перевірки виконуваності формул цієї логіки.
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.
ru
Інститут кібернетики ім. В.М. Глушкова НАН України
Кибернетика и системный анализ
Нові засоби кібернетики, інформатики, обчислювальної техніки та системного аналізу
Разбиение множества векторов с целыми координатами логическими аппаратными средствами
Розбиття множини векторів з цілими координатами логіковими апаратними засобами
Partitioning of a set of vectors with integer coordinates by means of the logical hardware
Article
published earlier
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
title Разбиение множества векторов с целыми координатами логическими аппаратными средствами
spellingShingle Разбиение множества векторов с целыми координатами логическими аппаратными средствами
Крывый, С.Л.
Опанасенко, В.Н.
Завьялов, С.Б.
Нові засоби кібернетики, інформатики, обчислювальної техніки та системного аналізу
title_short Разбиение множества векторов с целыми координатами логическими аппаратными средствами
title_full Разбиение множества векторов с целыми координатами логическими аппаратными средствами
title_fullStr Разбиение множества векторов с целыми координатами логическими аппаратными средствами
title_full_unstemmed Разбиение множества векторов с целыми координатами логическими аппаратными средствами
title_sort разбиение множества векторов с целыми координатами логическими аппаратными средствами
author Крывый, С.Л.
Опанасенко, В.Н.
Завьялов, С.Б.
author_facet Крывый, С.Л.
Опанасенко, В.Н.
Завьялов, С.Б.
topic Нові засоби кібернетики, інформатики, обчислювальної техніки та системного аналізу
topic_facet Нові засоби кібернетики, інформатики, обчислювальної техніки та системного аналізу
publishDate 2019
language Russian
container_title Кибернетика и системный анализ
publisher Інститут кібернетики ім. В.М. Глушкова НАН України
format Article
title_alt Розбиття множини векторів з цілими координатами логіковими апаратними засобами
Partitioning of a set of vectors with integer coordinates by means of the logical hardware
description Рассматривается задача разбиения множества векторов с целыми координатами относительно покоординатного и лексикографического порядка на векторах с использованием автоматной интерпретации. Предложена аппаратная реализация операций трехзначной логики на базе кристаллов FPGA для проверки выполнимости формул этой логики. Розглянуто задачу розбиття множини векторів з цілими координатами відносно покоординатного і лексикографічного порядку на векторах із використанням автоматної інтерпретації. Запропоновано апаратну реалізацію операцій тризначної логіки на базі кристалів FPGA для перевірки виконуваності формул цієї логіки. 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.
issn 1019-5262
url https://nasplib.isofts.kiev.ua/handle/123456789/180877
citation_txt Разбиение множества векторов с целыми координатами логическими аппаратными средствами / С.Л. Крывый, В.Н. Опанасенко, С.Б. Завьялов // Кибернетика и системный анализ. — 2019. — Т. 56, № 3. — С. 136-148. — Бібліогр.: 16 назв. — рос.
work_keys_str_mv AT kryvyisl razbieniemnožestvavektorovscelymikoordinatamilogičeskimiapparatnymisredstvami
AT opanasenkovn razbieniemnožestvavektorovscelymikoordinatamilogičeskimiapparatnymisredstvami
AT zavʹâlovsb razbieniemnožestvavektorovscelymikoordinatamilogičeskimiapparatnymisredstvami
AT kryvyisl rozbittâmnožinivektorívzcílimikoordinatamilogíkovimiaparatnimizasobami
AT opanasenkovn rozbittâmnožinivektorívzcílimikoordinatamilogíkovimiaparatnimizasobami
AT zavʹâlovsb rozbittâmnožinivektorívzcílimikoordinatamilogíkovimiaparatnimizasobami
AT kryvyisl partitioningofasetofvectorswithintegercoordinatesbymeansofthelogicalhardware
AT opanasenkovn partitioningofasetofvectorswithintegercoordinatesbymeansofthelogicalhardware
AT zavʹâlovsb partitioningofasetofvectorswithintegercoordinatesbymeansofthelogicalhardware
first_indexed 2025-11-27T11:44:55Z
last_indexed 2025-11-27T11:44:55Z
_version_ 1850852209318690816