Cybernetics And Systems Analysis logo
Editorial Board Announcements Abstracts Authors Archive
Cybernetics And Systems Analysis
International Theoretical Science Journal
UDC 516.813
S.L. Kryvyi1, V.M. Opanasenko2, S.B. Zavyalov3


1 Taras Shevchenko National University of Kyiv, Kyiv, Ukraine

sl.krivoi@gmail.com

2 V.M. Glushkov Institute of Cybernetics of the National Academy
of Sciences of Ukraine, Kyiv, Ukraine

OpanasenkoVM@nas.gov.ua

3 LLC “Radionix,” Kyiv, Ukraine

radionix13@gmail.com

PARTITIONING OF A SET OF VECTORS WITH INTEGER COORDINATES
BY MEANS OF THE LOGICAL HARDWARE

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.

Keywords: vectors with integer items, threshold value, finite automata, three-valued logic.



FULL TEXT

REFERENCES

  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 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. Glushkov V.M., Letichevsky A.A., Godlevsky A.B. Methods of synthesis of discrete models of biological systems (in Russian). Kiev: Vishcha shk., 1983. 262 p.

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

  16. Lukasevich J. Aristotle syllogistic from the point of view of modern formal logic (in Russian). Moscow: Inostr. Lit., 1959. 312 p.
© 2019 Kibernetika.org. All rights reserved.