УПРАВЛЕНИЕ БОЛЬШИМИ СИСТЕМАМИ
на главную написать письмо карта сайта


јвтор:  ≈син ј.ј.
Ќазвание:  јнализ cовременных принципов построени€ систем управлени€ на основе моделей многозначной логики
¬ыпуск:  88
–убрика:  јнализ и синтез систем управлени€
√од:  2020
Ѕиблиографи€:  ≈син ј.ј. јнализ cовременных принципов построени€ систем управлени€ на основе моделей многозначной логики // ”правление большими системами. ¬ыпуск 88. ћ.: »ѕ” –јЌ, 2020. —.69-98. DOI: https://doi.org/10.25728/ubs.2020.88.4
 лючевые слова:  многозначна€ логика, трЄхзначна€ логика, приложени€ многозначной логики, проблема полноты, оператор замыкани€, функции трЄхзначной логики
 лючевые слова (англ.):  multivalued logic, three-valued logic, applications of multivalued logic, completeness problem, closure operator, functions of three-valued logic
јннотаци€:  ѕроведЄн анализ и представлен обзор современных приложений, в которых разработка гетерогенных вычислительных систем с небольшими вычислительными блоками на основе трЄхзначной логики €вл€етс€ математически лучшим решением по сравнению с бинарными модел€ми. ¬ частности, рассматриваютс€ приложени€ в телекоммуникационной отрасли, где подобные решени€ на базе трЄхзначной логики фактически могут обеспечить 1,5-кратный рост скорости передачи данных. ƒл€ приложений необходимо реализовать схемы из чипов, работа которых основана на трЄхзначной логике. ƒл€ возможности реализации таких схем должна быть решена принципиально важна€ задача -- задача полноты классов функций трЄхзначной логики. — практической стороны полнота классов таких функций гарантирует, что на базе произвольного множества чипсетов можно произвести плату с нужной функциональной схемой. ¬ данной работе были рассмотрены операторы замыкани€ на множестве функций трЄхзначной логики, €вл€ющиес€ усилением обычного оператора подстановки, и было показано, что задача полноты дл€ этого оператора имеет решение. ѕоэтому можно восстановить подрешЄтку замкнутых классов в общем случае замыкани€ функций относительно классического оператора суперпозиций. Ёто позволит оптимизировать возможное производство чипов дл€ новых функциональных схем дл€ задач передачи и обработки данных.
јннотаци€ (англ.):  An analysis and an overview of modern applications based on three-valued logic have been presented in this paper. Small computing units based on three-valued logic is a better solution (in comparison with binary models) for several applications such as the telecommunications industry, where three-valued logic units may increase the data transmission rate by one and a half times. It is important to have a possibility to assembly any circuits from three-valued logic chips. An important fundamental problem of class completeness for three-valued logic functions must be solved to make such implementation possible. The class completeness for three-valued logic functions guarantees that any digital circuit may be assembled from the finite number of ternary chipsets. The closure operator on the set of three-valued functions has been considered in this paper. It is a strength of the substitution operator. The completeness problem for this operator has been proved. This fact allows to restore in the general case the sublattice of closed classes with respect to the classical operator of superpositions. ItТs a principal theoretical result that can optimize the assembly process for new digital circuits for transmission and data processing problems.

в формате PDF

ѕросмотров: 116, загрузок: 29, за мес€ц: 4.

Ќазад

»ѕ” –јЌ © 2007. ¬се права защищены