Construction of systems of sets related to the plurality functions

In the present paper we provide a way of construction of all m-elements consistent systems. These kinds of families of sets are the parameters determining the solutions of some functional equation, which express the consistency condition appearing in characterizing the plurality functions. First, we formulate the idea of extending p-elements family to such m-tuples families which are m-elements consistent systems. Then we study some of their properties and we use them in the constructing of extending p-elements families to m-elements consistent systems and all such systems. Finally, we deal with m-elements consistent systems which satisfy an additional condition.     

One-parameter Lie groups and inverse integrating factors of n-th order autonomous systems

The method of obtaining inverse integrating factors of n-th order autonomous systems using one-parameter Lie groups admitted by the systems is given. By describing n-th order autonomous systems with differential form systems, the properties of inverse integrating factors of the n-th order autonomous systems are presented.     

Conditional symmetries and exact solutions of nonlinear reaction-diffusion systems with non-constant diffusivities

Q-conditional symmetries (nonclassical symmetries) for the general class of two-component reaction-diffusion systems with non-constant diffusivities are studied. Using the recently introduced notion of Q-conditional symmetries of the first type, an exhausted list of reaction-diffusion systems admitting such symmetry is derived. The results obtained for the reaction-diffusion systems are compared with those for the scalar reaction-diffusion equations. The symmetries found for reducing reaction-diffusion systems to two-dimensional dynamical systems, i.e., ODE systems, and finding exact solutions are applied. As result, multiparameter families of exact solutions in the explicit form for a nonlinear reaction-diffusion system with an arbitrary diffusivity are constructed. Finally, the application of the exact solutions for solving a biologically and physically motivated system is presented.     

Global chaos synchronization of new chaotic systems via nonlinear control

Nonlinear control is an effective method for making two identical chaotic systems or two different chaotic systems be synchronized. However, this method assumes that the Lyapunov function of error dynamic (e) of synchronization is always formed as V (e) = 1/2e^Te. In this paper, modification based on Lyapunov stability theory to design a controller is proposed in order to overcome this limitation. The method has been applied successfully to make two identical new systems and two different chaotic systems (new system and Lorenz system) globally asymptotically synchronized. Since the Lyapunov exponents are not required for the calculation, this method is effective and convenient to synchronize two identical systems and two different chaotic systems. Numerical simulations are also given to validate the proposed synchronization approach.     

Bifurcations of limit circles and center conditions for a class of non-analytic cubic Z 2 polynomial differential systems

In this paper, bifurcations of limit cycles at three fine focuses for a class of Z ₂-equivariant non-analytic cubic planar differential systems are studied. By a transformation, we first transform nonanalytic systems into analytic systems. Then sufficient and necessary conditions for critical points of the systems being centers are obtained. The fact that there exist 12 small amplitude limit cycles created from the critical points is also proved. Henceforth we give a lower bound of cyclicity of Z ₂-equivariant non-analytic cubic differential systems.     

Algebraic Theory of the Dependability of Binary Sensors

Binary sensor systems are analog sensors of various types (optical, microelectromechanical (MEMS) systems, X-ray, gamma-ray, acoustic, electronic, etc.) based on the binary decision process. Typical examples of such “binary sensors” are X-ray luggage inspection systems, product quality control systems, automatic target recognition systems, numerous medical diagnostic systems, and many others. In all these systems, the binary decision process provides only two mutually exclusive responses. There are also two types of key parameters that characterize either a system or external conditions in relation to the system that are determined by their prior probabilities. In this paper, by using a formal neuron model, we analyze the problem of threshold redundancy of binary sensors of a critical state. The following three major tasks are solved:

1. implementation of the algorithm of calculation of error probabilities for threshold redundancy of a group of sensors;
2. computation of the minimal upper bound for the probability in a closed analytical form and determination of its link with Claude Shannons theorem;
3. derivation of the expression (estimate) for sensor “weights” when the probability of the binary system error does not exceed the specified minimal upper bound.

     

Integrability and linearizability of the Lotka-Volterra systems

Integrability and linearizability of the Lotka-Volterra systems are studied. We prove sufficient conditions for integrable but not linearizable systems for any rational resonance ratio. We give new sufficient conditions for linearizable Lotka-Volterra systems. Sufficient conditions for integrable Lotka-Volterra systems with 3:−q resonance are given. In the particular cases of 3:−5 and 3:−4 resonances, necessary and sufficient conditions for integrable systems are given.     

Bessel sequences as projections of orthogonal systems

We prove generalizations of the Schur and Olevskii theorems on the continuation of systems of functions from an interval I to orthogonal systems on an interval J, I ? J. Only Bessel systems in L ²(I) are projections of orthogonal systems from the wider space L ²(J). This fact allows us to use a certain method for transferring the classical theorems on the almost everywhere convergence of orthogonal series (the Men’shov-Rademacher, Paley-Zygmund, and Garcia theorems) to series in Bessel systems. The projection of a complete orthogonal system from L ²(J) onto L ²)(I) is a tight frame, but not a basis.     

Computations of cohomology groups and nontrivial periodic solutions of Hamiltonian systems

By computing the E-critical groups at θ and infinity of the corresponding functional of Hamiltonian systems, we proved the existence of nontrivial periodic solutions for the systems which may be resonant at θ and infinity under some new conditions. Some results in the literature are extended and some new type of theorems are proved. The main tool is the E-Morse theory developed by Kryszewski and Szulkin.     

On a class of rational p-adic dynamical systems

In this paper we investigate the behavior of trajectories of one class of rational p-adic dynamical systems in complex p-adic field Cp. We studied Siegel disks and attractors of such dynamical systems. We found the basin of the attractor of the system. It is proved that such dynamical systems are not ergodic on a unit sphere with respect to the Haar measure.     

New systems of generalized quasi-variational inclusions in FC-spaces and applications

In this paper, we study some new systems of generalized quasi-variational inclusion problems in FC-spaces without convexity structure.By applying an existence theorem of maximal elements of set-valued mappings due to the author, some new existence theorems of solutions for the systems of generalized quasi-variational inclusion problems are proved in noncompact FC-spaces. As applications, some existence results of solutions for the system of quasi-optimization problems and mathematical programs with the systems of generalized quasi-variational inclusion constraints are obtained in FC-spaces.     

Event-triggered delayed impulsive control for input-to-state stability of nonlinear impulsive systems

This paper studies the input-to-state stability (ISS) and integral input-to-state stability (iISS) of nonlinear impulsive systems in the framework of event-triggered impulsive control (ETIC), where the stabilizing effect of time delays in impulses is fully considered. Some sufficient conditions which can avoid Zeno behavior and guarantee the ISS/iISS property of impulsive systems are proposed, where external inputs are considered in both the continuous dynamics and impulsive dynamics. A novel event-triggered delayed impulsive control (ETDIC) strategy which establishes a relationship among event-triggered parameters, impulse strength and time delays in impulses is presented. It is shown that time delays in impulses can contribute to the stabilization of impulsive systems in ISS/iISS sense. Finally, the effectiveness of the proposed theoretical results is illustrated by two numerical examples.     

Decomposing triples into cyclic designs

Motivated by constructing cyclic simple designs, we consider how to decomposing all the triples of Z_v into cyclic triple systems. Furthermore, we define a large set of cyclic triple systems to be a decomposition of triples of Z_v into indecomposable cyclic designs. Constructions of decompositions and large sets are given. Some infinite classes of decompositions and large sets are obtained. Large sets of small v with odd v<97 are also given. As an application, the results are used to construct cyclic simple triple systems.     

A KAM theory for conformally symplectic systems: Efficient algorithms and their validation

We present a KAM theory for some dissipative systems (geometrically, these are conformally symplectic systems, i.e. systems that transform a symplectic form into a multiple of itself). For systems with n degrees of freedom depending on n parameters we show that it is possible to find solutions with a fixed n-dimensional (Diophantine) frequency by adjusting the parameters.     

The σ-isotypic decomposition and the σ-index of reversible-equivariant systems

This work is concerned with dynamical systems in presence of symmetries and reversing symmetries. We describe a construction process of subspaces that are invariant by linear Γ-reversible-equivariant mappings, where Γ is the compact Lie group of all the symmetries and reversing symmetries of such systems. These subspaces are the σ-isotypic components, first introduced by Lamb and Roberts in (1999) [10] and that correspond to the isotypic components for purely equivariant systems. In addition, by representation theory methods derived from the topological structure of the group Γ, two algebraic formulae are established for the computation of the σ-index of a closed subgroup of Γ. The results obtained here are to be applied to general reversible-equivariant systems, but are of particular interest for the more subtle of the two possible cases, namely the non-self-dual case. Some examples are presented.     

Positive solutions of quasilinear parabolic systems with Dirichlet boundary condition

Coupled systems for a class of quasilinear parabolic equations and the corresponding elliptic systems, including systems of parabolic and ordinary differential equations are investigated. The aim of this paper is to show the existence, uniqueness, and asymptotic behavior of time-dependent solutions. Also investigated is the existence of positive maximal and minimal solutions of the corresponding quasilinear elliptic system. The elliptic operators in both systems are allowed to be degenerate in the sense that the density-dependent diffusion coefficients Di(ui) may have the property Di(0)=0 for some or all i=1,…,N, and the boundary condition is ui=0. Using the method of upper and lower solutions, we show that a unique global classical time-dependent solution exists and converges to the maximal solution for one class of initial functions and it converges to the minimal solution for another class of initial functions; and if the maximal and minimal solutions coincide then the steady-state solution is unique and the time-dependent solution converges to the unique solution. Applications of these results are given to three model problems, including a scalar polynomial growth problem, a coupled system of polynomial growth problem, and a two component competition model in ecology.     

On some generalization of “bang-bang” control

The theory of orientor fields is used to establish relations between systems with convex and nonconvex sets of admissible directions. It is pointed out that such systems have sets of quasitrajectories identical to each other. On the other hand, quasitrajectories are relevant generalizations of so-called sliding regimes, well-known in automatic control. Control functions of “bang-bang” type appear to be, in turn, some cases of controls generated by tender kernels of control domains of systems to be considered. This might be applied for example to systems described by partial differential equations or to systems with state vectors in lⁿ spaces. The possibilities of further generalizations concerning optimality conditions are indicated.     

Adaptive synchronization of chaotic systems and its application to secure communications

This paper addresses the adaptive synchronization problem of the drive–driven type chaotic systems via a scalar transmitted signal. Given certain structural conditions of chaotic systems, an adaptive observer-based driven system is constructed to synchronize the drive system whose dynamics are subjected to the system’s disturbances and/or some unknown parameters. By appropriately selecting the observer gains, the synchronization and stability of the overall systems can be guaranteed by the Lyapunov approach. Two well-known chaotic systems: Rössler-like and Chua’s circuit are considered as illustrative examples to demonstrate the effectiveness of the proposed scheme. Moreover, as an application, the proposed scheme is then applied to a secure communication system whose process consists of two phases: the adaptation phase in which the chaotic transmitter’s disturbances are estimated; and the communication phase in which the information signal is transmitted and then recovered on the basis of the estimated parameters. Simulation results verify the proposed scheme’s success in the communication application.