The design procedure should consist of selecting the switching manifold with sliding mode in order to design the desired dynamics of the motion equation and finding a discontinuous control function such that the state reaches the manifold and sliding mode exists in that manifold. The design of control for systems given by (1) can be easily performed for systems in the so-called Regular form. If...

Molecular simulations are conducted to determine the limits of miscibility of a valence force field model for zinc-blende-structured In12x2yGaxAlyN semiconductor alloys. The transition matrix Monte Carlo method is used to calculate the free energy of the model alloys as a function of temperature and alloy composition ~considering both x and y ranging from zero to unity!. Analysis of the free-en...

Canada " What are the everywhere regular solutions of these field equations? " Abstract A non-singular static spherically symmetric solution of the nonsymmetric gravita-tional and electromagnetic theory (NGET) field equations is derived, which depends on the four parameters m, ℓ 2 , Q and s, where m is the mass, Q is the electric charge, ℓ 2 is the NGT charge of a body and s is a dimensionless ...

Abstract In this article, we study a class of variational inequality problems with non-Newtonian polytropic parabolic operators. We introduce mapping an adjustable parameter to control the term, which exactly meets conditions Leray-Schauder fixed point theory. At same time, construct penalty function transform into regular initial boundary value problem. Thus, existence is treated theory as wel...

Using a modified expression for the electric potential in context of T-duality (Gaete and Nicolini, Phys. Lett. B, 2022) we obtain an exact charged solution within 4D Einstein-Gauss-Bonnet (4D EGB) theory gravity presence cosmological constant. We show that exists regularized EGB as well point out correspondence between black hole non-relativistic Horava--Lifshitz theory. The is regular free fr...

Global constraints are an important tool in the constraint toolkit. Unfortunately, whilst it is usually easy to specify when a global constraint holds, it is often difficult to build a good propagator. One promising direction is to specify global constraints via grammars or automata. For example, the Regular constraint [1] permits us to specify a wide range of global constraints by means of a D...

We consider forkable regular expressions, which enrich regular expressions with a fork operator, to establish a formal basis for static and dynamic analysis of the communication behavior of concurrent programs. We define a novel compositional semantics for forkable expressions, establish their fundamental properties, and define derivatives for them as a basis for the generation of automata, for...

Abstract Phase separation during the lithiation of redox-active materials is a critical factor affecting battery performance, including energy density, charging rates, and cycle life. Accurate physical descriptions these are necessary for understanding underlying mechanisms, performance limitations, optimizing storage devices. This work presents an extended regular solution model that captures ...

A theory of third order extended regular variation is developed, somewhat similar to the corresponding theories of first and second order.

We investigate the state complexity of combined operations for prefix-free regular languages. Prefix-free minimal deterministic finitestate automata have a unique structural property that plays an important role to obtain the precise state complexity of basic operations. Based on the same property, we establish the precise state complexity of four combined operations: star-of-union, star-of-int...