Елементи математичного опису логіко-часових функцій багатозначної логіки та окремих операцій над ними

Abstract

В статті зазначено, що математичне та комп’ютерне моделювання є основним інструментом дослідження складних динамічних процесів та систем. На рівні обчислювальних пристроїв час є критерієм для впорядкування послідовності операцій і носить неявний характер, а для конкретних вузлів час забезпечує їх правильну роботу і представлений на рівні тактів чи синхроімпульсів. В роботі показано доцільність ідеї заміни довільного цифрового сигналу (змінної), що змінюється в часі, часовою логічною функцією, яка дає можливість полегшити попередню аналітичну обробку цифрових сигналів та змінних, використовуючи властивості таких функцій. В статті представлено новий математичний апарат опису логіко-часових функцій багатозначної логіки та окремих операцій над ними з використанням моделювання відомих схем реалізації. Запропонована індексна форма подання функцій, яка досить легка для сприйняття і дає змогу розглядати будь-які логіко-часові функції як числову послідовність. В якості базових операцій розглянуто операцію заперечення Лукасевича та операцію зсуву, які дозволять, в подальшому, ввести більш складні операції над логіко-часовими функціями багатозначної логіки, такі як нерівнозначність, диференціювання та інтегрування і дослідити їх властивості.

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.