UDC 516.813
|
2 V.M. Glushkov Institute of Cybernetics of the National Academy of Sciences of Ukraine, Kyiv, Ukraine
OpanasenkoVM@nas.gov.ua
|
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
- 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.
- Krivoi S. A criteria of compatibility systems of linear diophantine constraints. Lecture Notes in Computer Science. 2002. Vol. 2328. P. 264–271.
- 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.
- Palagin A.V., Opanasenko V.N. Reconfigurable computing technology. Cybernetics and Systems Analysis. 2007. Vol. 43, N 5. P. 675–686.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Woods R., McAllister J., Lightbody G., Ying Yi. FPGA-based implementation of signal processing systems. Chichester: John Wiley and Sons, 2008. 362 p.
- 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.
- Anderson J. Automata theory with modern applications. Cambridge: Cambridge University Press, 2006. 255 p.
- Lukasevich J. Aristotle syllogistic from the point of view of modern formal logic (in Russian). Moscow: Inostr. Lit., 1959. 312 p.