In this paper, the mean-square strong stability and stabilization of discrete-time Markov jump systems are studied. Firstly, definition is given, necessary sufficient conditions for derived. Secondly, several via a state feedback controller an output obtained. Furthermore, explicit expressions static Finally, two examples given to illustrate validity above results.

Aiming at solving the uncertainty of knowledge in variable precision fuzzy soft rough set model. Firstly, from perspectives approximated and equivalent approximation space, measurement methods model are defined, such as information granularity, entropy, etc; Secondly, many related theorems given proved, monotonicity obtained when relation satisfies inclusion condition; Finally, feasibility vali...

We consider generalized definitions of mixing and exactness for random dynamical systems in terms Markov operator cocycles. first give six fundamental cocycles view observations the randomness environments, show that they can be reduced into two different groups. Secondly, we definition Lin's criterion naturally extended to case Finally, class asymptotically periodic cocycles, Lasota-Mackey typ...

Abstract In this paper, we introduce the two-sided fractional quaternion Fourier transform (FrQFT) and give some properties of it. The main results paper are divided into three parts. Firstly a definition FrQFT. Secondly based on QFT, study relationship between QFT FrQFT, differential FrQFT Parseval identity. Finally, an example to illustrate application its inverse in solving partial equations.

The article is devoted to the vision of atypical business law provisions. It was found that state scientific opinion regarding provisions irrelevant demands (needs) time. subject study purpose solve a problem, which consists in developing theoretical concept civil defined as peculiar rules embodied legislation (business goalsprovisions, principles-provisions, definition-provisions, temporal pro...

Because of the nonlocal and nonsingular properties fractional derivatives, they are more suitable for modelling complex processes than integer derivatives. In this paper, we use a factor to investigate Hamilton’s canonical equations Poisson theorem mechanical systems. Firstly, derivative integral with presented, multivariable differential calculus is given. Secondly, obtained under new definiti...

In the year 1923 Emil Artin introduced his new L-functions belonging to Galois characters. But his theory was still incomplete in two respects. First, the theory depended on the validity of the General Reciprocity Law which Artin was unable at that time to prove in full generality. Secondly, in the explicit definition of L-functions the ramified primes could not be taken into account; hence tha...

We study ballot secrecy and ballot independence for election schemes. First, we propose a definition of ballot secrecy as an indistinguishability game in the computational model of cryptography. Our definition builds upon and strengthens earlier definitions to ensure that ballot secrecy is preserved in the presence of an adversary that controls the bulletin board and communication channel. Seco...

In this paper we present the BPAL platform aimed at the management of Business Process Knowledge Bases. It includes a logic-based language for BP modeling and a reasoning mechanism providing support to BP designers in several services. Firstly, the definition of a BP meta-model (MM) consisting of a set of rules that guide the BP designers in their work. Secondly, given a BP, the BPAL platform a...