Разбиение множества векторов с целыми координатами логическими аппаратными средствами
Рассматривается задача разбиения множества векторов с целыми координатами относительно покоординатного и лексикографического порядка на векторах с использованием автоматной интерпретации. Предложена аппаратная реализация операций трехзначной логики на базе кристаллов FPGA для проверки выполнимости ф...
Saved in:
| Published in: | Кибернетика и системный анализ |
|---|---|
| Date: | 2019 |
| Main Authors: | , , |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2019
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/180877 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Разбиение множества векторов с целыми координатами логическими аппаратными средствами / С.Л. Крывый, В.Н. Опанасенко, С.Б. Завьялов // Кибернетика и системный анализ. — 2019. — Т. 56, № 3. — С. 136-148. — Бібліогр.: 16 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862594358778265600 |
|---|---|
| author | Крывый, С.Л. Опанасенко, В.Н. Завьялов, С.Б. |
| author_facet | Крывый, С.Л. Опанасенко, В.Н. Завьялов, С.Б. |
| citation_txt | Разбиение множества векторов с целыми координатами логическими аппаратными средствами / С.Л. Крывый, В.Н. Опанасенко, С.Б. Завьялов // Кибернетика и системный анализ. — 2019. — Т. 56, № 3. — С. 136-148. — Бібліогр.: 16 назв. — рос. |
| collection | DSpace DC |
| container_title | Кибернетика и системный анализ |
| 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.
|
| first_indexed | 2025-11-27T11:44:55Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-180877 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1019-5262 |
| language | Russian |
| last_indexed | 2025-11-27T11:44:55Z |
| publishDate | 2019 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| 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 |
| spellingShingle | Разбиение множества векторов с целыми координатами логическими аппаратными средствами Крывый, С.Л. Опанасенко, В.Н. Завьялов, С.Б. Нові засоби кібернетики, інформатики, обчислювальної техніки та системного аналізу |
| title | Разбиение множества векторов с целыми координатами логическими аппаратными средствами |
| title_alt | Розбиття множини векторів з цілими координатами логіковими апаратними засобами Partitioning of a set of vectors with integer coordinates by means of the logical hardware |
| title_full | Разбиение множества векторов с целыми координатами логическими аппаратными средствами |
| title_fullStr | Разбиение множества векторов с целыми координатами логическими аппаратными средствами |
| title_full_unstemmed | Разбиение множества векторов с целыми координатами логическими аппаратными средствами |
| title_short | Разбиение множества векторов с целыми координатами логическими аппаратными средствами |
| title_sort | разбиение множества векторов с целыми координатами логическими аппаратными средствами |
| topic | Нові засоби кібернетики, інформатики, обчислювальної техніки та системного аналізу |
| topic_facet | Нові засоби кібернетики, інформатики, обчислювальної техніки та системного аналізу |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/180877 |
| 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 |