Objectives . The problem of circuit implementation incompletely specified (partial) k-valued logic functions given by tabular representations is considered. stage technologically independent optimization studied to obtain minimized systems completely Boolean from partial logic. According these functions, technological mapping performed at the second synthesis circuits. Methods Using additional ...

To further increase the speed of computation, this paper aims to design and implement digital circuits entirely within the domain of multi-valued logic. In a fourvalued logic circuit, each wire carries two bits at a time, each logic gate operates two bits at once, and each memory cell records two bits at one time. To make the multi-valued computation possible, this paper describes a simple four...

Conceptual modeling is one of the most important phases in designing database applications. The success of this design relies heavily on how clearly the real world requirements are represented in the conceptual model. To date, the Extended Entity Relationship (EER) model extended from the traditional Entity Relationship (ER) model is a widely used modeling technique during the phase of conceptu...

In this article, we present viscosity approximation methods for finding a common point of the set solutions variational inequality problem and fixed points multi-valued quasinonexpansive mapping in Banach space. We also discuss some examples to illustrate facts study convergence behaviour iterative schemes presented herein, numerically.

A multilayer neural network based on multi-valued neurons (MLMVN) is a new powerful tool for solving classification, recognition and prediction problems. This network has a number of specific properties and advantages that follow from the nature of a multi-valued neuron (complexvalued weights and inputs/outputs lying on the unit circle). Its backpropagation learning algorithm is derivative-free...

We prove existence and regularity of entire solutions to MongeAmpère equations invariant under an irreducible action of a compact Lie group. We consider Monge-Ampère equations of the form f(∇φ) detDijφ = g(x) (0.1) where f and g are nonnegative measurable functions on R. We recall first the concept of a weak solution of (0.1). Let φ be a convex function. Then ∇φ is a well-defined multi-valued m...

In this paper, we introduce and study a new class of generalized nonlinear mixed quasi-variational inequalities involving maximal η-monotone mapping. Using the resolvent operator technique for maximal η-monotone mapping, we prove the existence of solution for this kind of generalized nonlinear multi-valued mixed quasi-variational inequalities without compactness and the convergence of iterative...