We propose a spectral viscosity method (SVM) to approximate the incompressible Euler equations driven by multiplicative noise. show that SVM solution converges dissipative measure-valued martingale of underlying problem. These solutions are weak in probabilistic sense i.e. probability space and driving Wiener process an integral part solution. also exhibit (measure-valued)-strong uniqueness pri...

This paper further investigates the set-valued information system. First, we bring forward three tolerance relations for set-valued information systems and explore their basic properties in detail. Then the data compression is investigated for attribute reductions of set-valued information systems. Afterwards, we discuss the data compression of dynamic set-valued information systems by utilizin...

We introduce a new system of generalized vector quasiequilibrium problems which includes system of vector quasiequilibrium problems, system of vector equilibrium problems, and vector equilibrium problems, and so forth in literature as special cases.We prove the existence of solutions for this system of generalized vector quasi-equilibrium problems. Consequently, we derive some existence results...

In model checking, abstractions can cause spurious results, which need to be verified in the concrete system to gain conclusive results. Verification based on multi-valued model checking can distinguish conclusive and inconclusive results, while increasing precision over traditional two-valued overand under-abstractions. This paper describes the theory and implementation of multi-valued model c...

Let $(X,d)$ be an infinite compact metric space, let $(B,parallel . parallel)$ be a unital Banach space, and take $alpha in (0,1).$ In this work, at first we define the big and little $alpha$-Lipschitz vector-valued (B-valued) operator algebras, and consider the little $alpha$-lipschitz $B$-valued operator algebra, $lip_{alpha}(X,B)$. Then we characterize its second dual space.

The notion of a rough set was originally proposed by Pawlak [Z. Pawlak, Rough sets, International Journal of Computer and Information Sciences 11 (5) (1982) 341–356]. Later on, Dubois and Prade [D. Dubois, H. Prade, Rough fuzzy sets and fuzzy rough sets, International Journal of General System 17 (2–3) (1990) 191–209] introduced rough fuzzy sets and fuzzy rough sets as a generalization of rough...

‎in this paper we try to extend geometric concepts in the context of operator valued tensors‎. ‎to this end‎, ‎we aim to replace the field of scalars $ mathbb{r} $ by self-adjoint elements of a commutative $ c^star $-algebra‎, ‎and reach an appropriate generalization of geometrical concepts on manifolds‎. ‎first‎, ‎we put forward the concept of operator-valued tensors and extend semi-riemannian...

In this paper, two different ways of introducing alternation for lattice-valued (referred to as {L}valued)  regular tree grammars and {L}valued top-down tree automata are compared. One is the way which defines the alternating regular tree grammar, i.e., alternation is governed by the non-terminals of the grammar and the other is the way which combines state with alternation. The first way is ta...

In this paper, g-dual function-valued frames in L2(0;1) are in- troduced. We can achieve more reconstruction formulas to ob- tain signals in L2(0;1) by applying g-dual function-valued frames in L2(0;1).

Quaternion-valued wireless communication systems have been studied in the past. Although progress has been made in this promising area, a crucial missing link is lack of effective and efficient quaternion-valued signal processing algorithms for channel equalization and beamforming. With most recent developments in quaternion-valued signal processing, in this work, we fill the gap to solve the p...