Разбиение множества векторов с целыми координатами логическими аппаратными средствами
Рассматривается задача разбиения множества векторов с целыми координатами относительно покоординатного и лексикографического порядка на векторах с использованием автоматной интерпретации. Предложена аппаратная реализация операций трехзначной логики на базе кристаллов 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 |