MATHEMATICAL DESCRIPTION OF LOGIC-TIME FUNCTIONS OF MULTIPLE-VALUED LOGIC AND SOME OPERATIONS OVER THEM
DOI:
https://doi.org/10.31649/1999-9941-2022-53-1-111-118Keywords:
logical-temporal function of multiple-valued logic, productive word, index form, time-ordering operatorAbstract
The article states that mathematical and computer modeling are the main tools for studying complex dynamic processes and systems. At the level of computing devices, time is a criterion for streamlining the sequence of operations and is implicit, and for specific nodes, time ensures their proper operation and is represented at the level of clocks or clock pulses. The paper shows the expediency of the idea of replacing an arbitrary digital signal (variable) that changes over time with a time logic function, which allows to facilitate the preliminary analytical processing of digital signals and variables using the properties of such functions. The article presents a new mathematical apparatus for describing logic-time functions of multivalued logic and individual operations on them using modeling of known implementation schemes. An index form of representation of functions is proposed, which is quite easy to understand and allows to consider any logical-temporal functions as a numerical sequence. Lukasevich's negation operation and the shift operation are considered as basic operations, which will allow to introduce more complex operations on logical-temporal functions of multivalued logic, such as inequality, differentiation and integration, and to investigate their properties.
References
Ju. Ja., Bazilevskij, Voprosy teorii vremennyh logicheskih funkcij. V kn.: Voprosy teorii matematicheskih mashin, sb. 1. M., 1958, 30 p. [in Russian].
D. A. Pospelov, «Sintez shem, rabota kotoryh opisyvaetsja vremennymi bulevymi funkcija-mi», Avtomatika i telemehanika, tom 21, vypusk 10, s. 1410−1413, 1960 [in Russian].
Z. L. Rabinovich, «Vektorno-vremennye perekljuchatel'nye funkcii (VP-funkcii) kak jazyk dlja opisanija shem i processov pererabotki informacii», Kibernetika, № 3, pp. 36−42, 1968 [in Russian].
N. V. Sachaniuk-Kavetska, V. P. Kozhemiako, Elementy oko-protsesornoi obrobky zobrazhen v lohiko-chasovomu seredovyshchi. Monohrafiia. Vinnytsia, Ukraina: UNIVERSUM, 2004, 135 p. [in Ukrainian].
N. V. Sachaniuk-Kavetska, I. O. Bondarenko, «Identyfikatsiia subiektiv v systemakh kontroliu dos-tupu za dopomohoiu identyfikatsiinoi lohiko-chasovoi funktsii, yak efektyvnyi metod kompleksnoho zakhystu informatsii», Optoelectronic Information-Energy Technologies, №1(35), pp. 14−23, 2018 [in Ukrainian].
N. Sachaniuk-Kavetsʺka, V. Kozhemiako, W. Wojcik, D. Kassymkhanova, A. Kalizhnova (2015). «The use polynomials as a possible variant analytical processing on logic-time functions», Optical Fibers and Their Applications 2015 Proceedings of SPIE, 9816, Lublin, Poland.
D. Michael Miller, Mitchell A. Thornton, Multiple-Valued Logic: Concepts and Representations, 2007, 127 p. [Online]. Available: https://ieeexplore.ieee.org/document/6813012/metrics#metrics. Accessed on: Jan. 05, 2022.
Downloads
-
PDF (Українська)
Downloads: 86