Mixed logic and storage operators

In 1990 J-L. Krivine introduced the notion of storage operators. They are -terms which simulate call-by-value in the call-by-name strategy and they can be used in order to modelize assignment instructions. J-L. Krivine has shown that there is a very simple second order type in AF2 type system for storage operators using G?del translation of classical to intuitionistic logic. In order to modelize the control operators, J-L. Krivine has extended the system AF2 to the classical logic. In his system the property of the unicity of integers representation is lost, but he has shown that storage operators typable in the system AF2 can be used to find the values of classical integers. In this paper, we present a new classical type system based on a logical system called mixed logic. We prove that in this system we can characterize, by types, the storage operators and the control operators. Received: 7 May 1997     

Local exact controllability of the Navier–Stokes system

In this paper we deal with the local exact controllability of the Navier–Stokes system with distributed controls supported in small sets. In a first step, we present a new Carleman inequality for the linearized Navier–Stokes system, which leads to null controllability at any time T>0. Then, we deduce a local result concerning the exact controllability to the trajectories of the Navier–Stokes system.     

Global BV solution for a non-local coupled system modeling the dynamics of dislocation densities

In this paper, we study a non-local coupled system arising in the modeling of the dynamics of dislocation densities in crystals. For this system, the global existence and uniqueness are available only for continuous viscosity solutions. In the present paper, we investigate the global time existence of this system by considering BV initial data. Based on a fundamental uniform BV estimate and the finite speed of propagation property of this system, we show, in a particular setting, the global existence of discontinuous viscosity solutions of this problem.     

Synthesis of minimum-order robust inverters

In the present paper, we consider the inversion problem for dynamical systems, that is, the problem of reconstruction of the unknown input signal ξ(t) of a given system on the basis of known information (about either the complete phase vector or a measurable output of the system). An auxiliary dynamical system forming the desired estimate of the signal ξ(t) is called an inverter.In earlier papers of the authors, attention was mainly paid to the possibility of inversion of a dynamical system in different cases in principle. In this relation, a model of dynamical systems with some stabilizing control was used as an inverter for the solution of the problem; moreover, this control was often designed with the use of an additional dynamical system, an observer of the phase vector of the original system or the system in deviations. Thus, a dynamical system whose dimension either coincides with the dimension of the original system or exceeds it was considered as an inverter.In the solution of practical problems, it is often required to synthesize inverters of minimal order. (This requirement is related to constraints on the complexity, cost, and operation speed of automated control systems.) In the present paper, we consider the problem on the possible reduction of the order of the inverter in various cases and the problem on the construction of inverters of minimal order.     

Existence result for a gradient-type elliptic system involving a pair of p(x) and q(x)-Laplacian operators

In this paper, we deal with a typical gradient elliptic system involving a pair of p(x) and q(x)-Laplacian operators. Furthermore, the system may have nonlinearities with sign-changing. Precisely, we are interested in seeking at least one weak nontrivial solution. In this way, we establish explicitly a pair of lower and upper solutions having radial forms and related to the system. By applying the theory of monotone operators, we show that the system possesses at least one non-trivial and bounded solution.     

Reliability analysis in uncertain random system

Reliability analysis of a system based on probability theory has been widely studied and used. Nevertheless, it sometimes meets with one problem that the components of a system may have only few or even no samples, so that we cannot estimate their probability distributions via statistics. Then reliability analysis of a system based on uncertainty theory has been proposed. However, in a general system, some components of the system may have enough samples while some others may have no samples, so the reliability of the system cannot be analyzed simply based on probability theory or uncertainty theory. In order to deal with this type systems, this paper proposes a method of reliability analysis based on chance theory which is a generalization of both probability theory and uncertainty theory. In order to illustrate the method, some common systems are considered such as series system, parallel system, k-out-of-n system and bridge system.     

Model of traffic flow and blocking probability analysis of an m-asymmetrical two stage incomplete link system

In the first part of this study we present and review a simplified model for the traffic flow between the switches of a modular switching system. In the second part, an approximated model for calculating the blocking probability on a system with this type of architecture is presented and then generalized to a structure here defined as an m-asymmetrical incomplete link system. The model is based on the probabilistic hypothesis of Jacobaeus and leads to a system of formulae which may be calculated using a computing language allowing for recursive subprograms.     

Pfaffian systems with derived length one. The class of flag systems

The incidence relations between a Pfaffian system and the characteristic system of its first derived system lead to obtain a characterization of Pfaffian systems with derived length one. Also, for flag systems, several properties are studied. In particular, an intrinsic proof of a result which determines the class of a system and of all the derived systems is given.

     

Existence of oscillatory solutions along the path of longitudinal flight equilibriums of an unmanned aircraft, when the automatic flight control system fails

The motion around the center of mass of a rigid unmanned aircraft, whose flight control system fails, in an “Aero Data Model In a Research Environment” is described, by a set of nine nonlinear ordinary differential equations. The longitudinal flight with constant forward velocity is described by a subset of three nonlinear differential equations, obtained from the general system. In this paper, the existence of oscillatory solutions of this system of three differential equations is proved by means of coincidence degree theory and Mawhin's continuation theorem.     

Random attractor of stochastic Zakharov lattice system

In this paper, we consider a lattice system of stochastic Zakharov equation with white noise. We first show that the solutions of the system determine a continuous random dynamical system with random absorbing set. And then we prove the random  asymptotic compact on the random absorbing set. Finally, we obtain the existence of a random attractor for the system.     

On the wave front solution of a competition–diffusion system in population dynamics

In this paper, we consider a competition–diffusion system of two equations [Zhou and Pao, Asymptotic behavior of a competition–diffusion system in population dynamics, Nonlinear Anal. 6 (11) (1982) 1163–1184]. The diffusion coefficients of the system are not equal. We prove existence of a wave front solution which connects two nonzero restpoints of the system. In the proof, we rely essentially on the results of Kolmogorov et al. [A study of diffusion with increase in the quantity of matter, and its application to a biological problem, Bull. Moscow State Univ. 17 (1937) 1–72]. We also estimate the wave speed.     

Random attractors for stochastic differential equations driven by two-sided Lévy processes

Abstract

In this paper, the asymptotic behavior of solutions for a nonlinear Marcus stochastic differential equation with multiplicative two-sided Lévy noise is studied. We plan to consider this equation as a random dynamical system. Thus, we have to interpret a Lévy noise as a two-sided metric dynamical system. For that, we have to introduce some fundamental properties of such a noise. So far most studies have only discussed two-sided Lévy processes which are defined by combining two-independent Lévy processes. In this paper, we use another definition of two-sided Lévy process by expanding the probability space. Having this metric dynamical system we will show that the Marcus stochastic differential equation with a particular drift coefficient and multiplicative noise generates a random dynamical system which has a random attractor.     

Exact analysis of asymmetric random polling systems with single buffers and correlated input process

We introduce a simple approach for modeling and analyzing asymmetric random polling systems with single buffers and correlated input process. We consider two variations of single buffers system: the conventional system and the buffer relaxation system. In the conventional system, at most one customer may be resided in any queue at any time. In the buffer relaxation system, a buffer becomes available to new customers as soon as the current customer is being served. Previous studies concentrate on conventional single buffer system with independent Poisson process input process. It has been shown that the asymmetric system requires the solution ofm 2 ^m –1) linear equations; and the symmetric system requires the solution of 2 ^m–1–1 linear equations, wherem is the number of stations in the system. For both the conventional system and the buffer relaxation system, we give the exact solution to the more general case and show that our analysis requires the solution of 2 ^m –1 linear equations. For the symmetric case, we obtain explicit expressions for several performance measures of the system. These performance measures include the mean and second moment of the cycle time, loss probability, throughput, and the expected delay observed by a customer.     

On the Cauchy problem for the two‐component b‐family system

In this paper, we establish the local well‐posedness for the two‐component b‐family system in a range of the Besov space. We also derive the blow‐up scenario for strong solutions of the system. In addition, we determine the wave‐breaking mechanism to the two‐component Dullin–Gottwald–Holm system. Copyright © 2013 John Wiley & Sons, Ltd.     

Optimizing delivery lead time/inventory placement in a two-stage production/distribution system

In this paper we study a system composed of a supplier and buyer(s). We assume that the buyer faces random demand with a known distribution function. The supplier faces a known production lead time. The main objective of this study is to determine the optimal delivery lead time and the resulting location of the system inventory. In a system with a single-supplier and a single-buyer it is shown that system inventory should not be split between a buyer and supplier. Based on system parameters of shortage and holding costs, production lead times, and standard deviations of demand distributions, conditions indicating when the supplier or buyer(s) should keep the system inventory are derived. The impact of changes to these parameters on the location of system inventory is examined. For the case with multiple buyers, it is found that the supplier holds inventory for the buyers with the smallest standard deviations, while the buyers with the largest standard deviations hold their own inventory.     

On the infinite-valued Łukasiewicz logic that preserves degrees of truth

Łukasiewicz’s infinite-valued logic is commonly defined as the set of formulas that take the value 1 under all evaluations in the Łukasiewicz algebra on the unit real interval. In the literature a deductive system axiomatized in a Hilbert style was associated to it, and was later shown to be semantically defined from Łukasiewicz algebra by using a “truth-preserving” scheme. This deductive system is algebraizable, non-selfextensional and does not satisfy the deduction theorem. In addition, there exists no Gentzen calculus fully adequate for it. Another presentation of the same deductive system can be obtained from a substructural Gentzen calculus. In this paper we use the framework of abstract algebraic logic to study a different deductive system which uses the aforementioned algebra under a scheme of “preservation of degrees of truth”. We characterize the resulting deductive system in a natural way by using the lattice filters of Wajsberg algebras, and also by using a structural Gentzen calculus, which is shown to be fully adequate for it. This logic is an interesting example for the general theory: it is selfextensional, non-protoalgebraic, and satisfies a “graded” deduction theorem. Moreover, the Gentzen system is algebraizable. The first deductive system mentioned turns out to be the extension of the second by the rule of Modus Ponens.While writing this paper, the authors were partially supported by grants MTM2004-03101 and TIN2004-07933-C03-02 of the Spanish Ministry of Education and Science, including FEDER funds of the European Union.     

Propagation of shock wave type singularities in equations of two-dimensional zero-pressure gas dynamics

We study a system of equations consisting of the two-dimensional Bürgers equation and the continuity equation. In 1970 such a system was proposed by Ya. B. Zeldovich for describing the formation of the large-scale structure of the Universe. In the present paper, for the divergent form of this system (the zero-pressure gas dynamics system), we rigorously define the notion of its generalized solution (in the sense of distributions) in terms of Radon measures and obtain a generalization of the Rankine-Hugoniot relations. By using these relations, we show that, in general, the variational representation of generalized solutions valid for the one-dimensional system of zero-pressure gas dynamics does not make sense in the two-dimensional case. Translated fromMatematicheskie Zametki, Vol. 66, No. 5, pp. 760–769, November, 1999.     

Viable control for uncertain nonlinear dynamical systems described by differential inclusions

In this paper, we will study the viable control problem for a class of uncertain nonlinear dynamical systems described by a differential inclusion. The goal is to construct a feedback control such that all trajectories of the system are viable in a map. Moreover, for any initial states no viable in the map, under the feedback control, all solutions of the system are steered to the map with an exponential convergence rate and viable in the map after a finite time T. In this case, an estimate of the time T of all trajectories attaining the map is given. In the nanomedicine system, an example inspired from cerebral embolism and cerebral thrombosis problems illustrates the use of our main results.     

Note on the Permutations which Preserve Buck’s Measure Density

In the first part some conditions under which a permutation preserves Buck’s measure density, are derived. In the second part is constructed a countable system of permutations which has the ergodic property on the system of Buck’s measurable sets. Received: March 27, 2007., Accepted: August 25, 2008.