Application of Multi-Valued Logic Models in Traffic Aggregation Problems in Mobile Networks

This paper discusses some aspects of providing an Internet-access for users on high-speed trains via aggregation of available cellular network channels. Standard aggregation schemes have limitations of bandwidth increase in areas with unstable network coverage. The conditions and parameters of data transmission are constantly changing and depend on a large number of factors. In this paper a non-standard solution based on models of multi-valued logic has been considered that will allow to increase the time for analysis of these rapidly changing factors. Aggregation schemes based on fuzzy sets or multi-valued logic models potentially can help to decrease the latency and increase of transmission reliability due the decrease in the number of computational operations on an aggregation server. However, the development of new aggregation protocols requires some theoretical problems from multi-valued logic to be solved.From a theoretical point of view, such a development means that it is possible to construct a combination of predicates on the set of values of k-valued logic functions. We solved the completeness problem for a closure operator on the set of values of k-valued logic functions and proved the existence of a finite lattice for this set. The lattice construction is given explicitly. Thus the electronic circuits and all possible functional diagrams for a new aggregation protocol may be realized.