Анализ cовременных принципов построения систем управления на основе моделей многозначной логики

Проведён анализ и представлен обзор современных приложений, в которых разработка гетерогенных вычислительных систем с небольшими вычислительными блоками на основе трёхзначной логики является математически лучшим решением по сравнению с бинарными моделями. В частности, рассматриваются приложения в телекоммуникационной отрасли, где подобные решения на базе трёхзначной логики фактически могут обеспечить 1,5-кратный рост скорости передачи данных. Для приложений необходимо реализовать схемы из чипов, работа которых основана на трёхзначной логике. Для возможности реализации таких схем должна быть решена принципиально важная задача – задача полноты классов функций трёхзначной логики. С практической стороны полнота классов таких функций гарантирует, что на базе произвольного множества чипсетов можно произвести плату с нужной функциональной схемой. В данной работе были рассмотрены операторы замыкания на множестве функций трёхзначной логики, являющиеся усилением обычного оператора подстановки, и было показано, что задача полноты для этого оператора имеет решение. Поэтому можно восстановить подрешётку замкнутых классов в общем случае замыкания функций относительно классического оператора суперпозиций. Это позволит оптимизировать возможное производство чипов для новых функциональных схем для задач передачи и обработки данных.