Cybernetics And Systems Analysis logo
Информация редакции Аннотации статей Авторы Архив
КИБЕРНЕТИКА И СИСТЕМНЫЙ АНАЛИЗ
Международний научно-теоретический журнал
УДК 516.813
С.Л. Крывый, В.Н. Опанасенко, С.Б. Завьялов

РАЗБИЕНИЕ МНОЖЕСТВА ВЕКТОРОВ С ЦЕЛЫМИ КООРДИНАТАМИ
ЛОГИЧЕСКИМИ АППАРАТНЫМИ СРЕДСТВАМИ

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

Ключевые слова: целочисленные векторы, пороговые значения, конечные автоматы, трехзначная логика.



ПОЛНЫЙ ТЕКСТ

Крывый Сергей Лукьянович,
доктор физ.-мат. наук, профессор, профессор Киевского национального университета
имени Тараса Шевченко, Киев, sl.krivoi@gmail.com

Опанасенко Владимир Николаевич,
доктор техн. наук, профессор, ведущий научный сотрудник Института кибернетики
им. В.М. Глушкова НАН Украины, Киев, OpanasenkoVM@nas.gov.ua

Завьялов Станислав Борисович,
кандидат техн. наук, директор ООО «Радионикс», Киев, radionix13@gmail.com


СПИСОК ЛИТЕРАТУРЫ

  1. Kryvyi S.L., Opanasenko V.N. Partitioning a set of vectors with nonnegative integer coordinates using logical hardware. Cybernetics and Systems Analysis. 2018, Vol. 54, N 2. P. 310–319.

  2. Krivoi S. A criteria of compatibility systems of linear diophantine constraints. Lecture Notes in Computer Science. 2002. Vol. 2328. P. 264–271.

  3. Kryvyi S.L. Algorithms for solving systems of linear Diophantine equations in residue fields. Cybernetics and Systems Analysis. 2007. Vol. 43, N 2. P. 3–17.

  4. Palagin A.V., Opanasenko V.N. Reconfigurable computing technology. Cybernetics and Systems Analysis. 2007. Vol. 43, N 5. P. 675–686.

  5. Palagin A.V., Opanasenko V.N. Design and application of the PLD-based reconfigurable devices. In: Design of Digital Systems and Devices. Lecture Notes in Electrical Engineering. Adamski M., Barkalov A., Wegrzyn M. (Eds.). Berlin; Heidelberg: Springer-Verlag, 2011. Vol. 79. P. 59–91.

  6. Opanasenko V., Kryvyi S. Synthesis of multilevel structures with multiple outputs. CEUR Workshop Proceeding of 10th International Conference of Programming, UkrPROG 2016, Kyiv, Ukraine. 2016. Vol. 1631, Code 122904. P. 32–37.

  7. Kondratenko Y.P., Gordienko E. Implementation of the neural networks for adaptive control system on FPGA. In: Annals of DAAAM for 2012 & Proceeding of 23rd DAAAM International Symposium on Intelligent Manufacturing and Automation. Katalinic B. (Ed.). Vienna, Austria, 2012. Vol. 23, N 1. P. 0389–0392.

  8. Kondratenko Y., Kondratenko V. Soft computing algorithm for arithmetic multiplication of fuzzy sets based on universal analytic models. In: Information and Communication Technologies in Education, Research, and Industrial Application. Ser. Communications in Computer and Information Science. 2014. Vol. 469. P. 49–77.

  9. Palagin A.V., Opanasenko V.N., Kryvyi S.L. Resource and energy optimization oriented development of FPGA-based adaptive logical networks for classification problem. In: Green IT Engineering: Components, Networks and Systems Implementation. Kharchenko V., Kondratenko Y., Kacprzyk J. (Eds.). 2017. Vol. 105. P. 195–218. DOI: DOI 10.1007 978-3-319-55595-9_10.

  10. Opanasenko V.N., Kryvyi S.L. Synthesis of neural-like networks on the basis of conversion of cyclic hamming codes. Cybernetics and Systems Analysis. 2017. Vol. 53, N 4. P. 627–635.

  11. Palagin A., Opanasenko V. The implementation of extended arithmetic’s on FPGA-based structures. Proceedings of the 9th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, IDAACS’2017. (21–23 September 2017, Bucharest, Romania). 2017. Vol. 2. P. 1014–1019.

  12. Drozd J., Drozd A., Antoshchuk S., Kushnerov A., Nikul V. Effectiveness of matrix and pipeline FPGA-based arithmetic components of safety-related systems. Proceedings of the 8th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications. Warsaw, Poland, 2015. P. 785–789.

  13. Woods R., McAllister J., Lightbody G., Ying Yi. FPGA-based implementation of signal processing systems. Chichester: John Wiley and Sons, 2008. 362 p.

  14. Глушков В.М., Летичевский А.А., Годлевский А.Б. Методы синтеза дискретных моделей биологических систем. Киев: Вища шк., 1983. 262 с.

  15. Anderson J. Automata theory with modern applications. Cambridge: Cambridge University Press, 2006. 255 p.

  16. Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики. Москва: Иностранная литература, 1959. 312 с.
© 2019 Kibernetika.org. All rights reserved.