Search results for "SIM"
showing 10 items of 10139 documents
Noise-tolerant efficient inductive synthesis of regular expressions from good examples
1997
We present an almost linear time method of inductive synthesis restoring simple regular expressions from one representative (good) example. In particular, we consider synthesis of expressions of star-height one, where we allow one union operation under each iteration, and synthesis of expressions without union operations from examples that may contain mistakes. In both cases we provide sufficient conditions defining precisely the class of target expressions and the notion of good examples under which the synthesis algorithm works correctly, and present the proof of correctness. In the case of expressions with unions the proof is based on novel results in the combinatorics of words. A genera…
THE TOPOLOGY OF BASIN BOUNDARIES IN A CLASS OF THREE-DIMENSIONAL DYNAMICAL SYSTEMS
1996
We will develop new methods to determine the topology of the basin boundary in a class of three-dimensional dynamical systems. One approach is to approximate the basin boundary by backward integration. Unfortunately, there are dynamical systems where it is hard to approximate the basin boundary by a numerical backward integration algorithm. We will introduce topological methods which will provide new information about the structure of the basin boundary. The topological invariants which we will use can be numerically computed.
Stochastic Stability Analysis for Markovian Jump Neutral Nonlinear Systems
2012
In this paper, the stability problem is studied for a class of Markovian jump neutral nonlinear systems with time-varying delay. By Lyapunov-Krasovskii function approach, a novel mean-square exponential stability criterion is derived for the situations that the system's transition rates are completely accessible, partially accessible and non-accessible, respectively. Moreover, the developed stability criterion is extended to the systems with different bounded sector nonlinear constraints. Finally, some numerical examples are provided to illustrate the effectiveness of the proposed methods.
Products of formations of finite groups
2006
[EN] In this paper criteria for a product of formations to be X-local, X a class of simple groups, are obtained. Some classical results on products of saturated formations appear as particular cases.
On X-saturated formations of finite groups
2005
[EN] In the paper, a Frattini-like subgroup associated with a class X of simple groups is introduced and analysed. The corresponding X-saturated formations are exactly the X-local ones introduced by Förster. Our techniques are also very useful to highlight the properties and behaviour of omega-local formations. In fact, extensions and improvements of several results of Shemetkov are natural consequences of our study.
A New Approach to the Generalization of Darbo’s Fixed Point Problem by Using Simulation Functions with Application to Integral Equations
2019
We investigate the existence of fixed points of self-mappings via simulation functions and measure of noncompactness. We use different classes of additional functions to get some general contractive inequalities. As an application of our main conclusions, we survey the existence of a solution for a class of integral equations under some new conditions. An example will be given to support our results.
FROM DISCRETE KINETIC AND STOCHASTIC GAME THEORY TO MODELLING COMPLEX SYSTEMS IN APPLIED SCIENCES
2004
This paper deals with some methodological aspects related to the discretization of a class of integro-differential equations modelling the evolution of the probability distribution over the microscopic state of a large system of interacting individuals. The microscopic state includes both mechanical and socio-biological variables. The discretization of the microscopic state generates a class of dynamical systems defining the evolution of the densities of the discretized state. In general, this yields a system of partial differential equations replacing the continuous integro-differential equation. As an example, a specific application is discussed, which refers to modelling in the field of…
Guaranteed error bounds and local indicators for adaptive solvers using stabilised space–time IgA approximations to parabolic problems
2019
Abstract The paper is concerned with space–time IgA approximations to parabolic initial–boundary value problems. We deduce guaranteed and fully computable error bounds adapted to special features of such type of approximations and investigate their efficiency. The derivation of error estimates is based on the analysis of the corresponding integral identity and exploits purely functional arguments in the maximal parabolic regularity setting. The estimates are valid for any approximation from the admissible (energy) class and do not contain mesh-dependent constants. They provide computable and fully guaranteed error bounds for the norms arising in stabilised space–time approximations. Further…
TOPOLOGICAL QUANTUM DOUBLE
1994
Following a preceding paper showing how the introduction of a t.v.s. topology on quantum groups led to a remarkable unification and rigidification of the different definitions, we adapt here, in the same way, the definition of quantum double. This topological double is dualizable and reflexive (even for infinite dimensional algebras). In a simple case we show, considering the double as the "zero class" of an extension theory, the uniqueness of the double structure as a quasi-Hopf algebra. A la suite d'un précédent article montrant comment l'introduction d'une topologie d'e.v.t. sur les groupes quantiques permet une unification et une rigidification remarquables des différentes définitions,…
Generalized John disks
2014
Abstract We establish the basic properties of the class of generalized simply connected John domains.