In the article a conceptual approach towards the computation of polyhedral approximations of the reachable set of an impulsive dynamic controlsystem is presented. This method consists in computing a sufficiently larg...
详细信息
In the article a conceptual approach towards the computation of polyhedral approximations of the reachable set of an impulsive dynamic controlsystem is presented. This method consists in computing a sufficiently large number of points close to the boundary of the reachable set by regarding each one as the value at the final time of the optimal state trajectory for an optimal impulsive control problem with a certain linear cost functional. The iterative algorithm used to solve the optimal impulsive control problem involves its implicit transformation into a conventional one by the so called reduction transformation method. The auxiliary reduced problem is solved by an improvement algorithm based on local approximations to the reachable set.
On the basis of the Blaizot-Iancu equations, which are a local formulation of the hard thermal loop (HTL) equations of motion for soft fluctuating quark and gluon fields and their induced sources, the coupled kinetic ...
On the basis of the Blaizot-Iancu equations, which are a local formulation of the hard thermal loop (HTL) equations of motion for soft fluctuating quark and gluon fields and their induced sources, the coupled kinetic equations for plasminos and plasmons are obtained. The equality of matrix elements for nonlinear scattering of a plasmino by hard particles in covariant and temporal gauges is established by using effective Ward identities. The model problem of the interaction of two infinitely narrow packets with fermion and boson quantum numbers is considered. The kinematical relations between wave vectors of the plasmino and plasmon are derived, when the effective pumping over of the plasma excitation energy from the fermion branch of plasma excitations to the boson branch and vice versa occur. The expression for the nonlinear Landau damping rate of a plasmino at rest is found, and a comparison with a plasmino damping constant obtained within the framework of the hard thermal loop approximation is made. The nonlinear Landau damping rate for normal quark excitations is shown to diverge like 1/q2 near the light cone where q is a four-momentum of excitations, and the improved Blaizot-Iancu equations removing this divergence are proposed.
Some continuous selection results for a class of nonconvex-valued maps are obtained. One of them contains Michael's theorem, in the case of a Hilbert codomain. Methods of nonsmooth analysis and Γ-convergence are ...
详细信息
Some continuous selection results for a class of nonconvex-valued maps are obtained. One of them contains Michael's theorem, in the case of a Hilbert codomain. Methods of nonsmooth analysis and Γ-convergence are used.
A framework for intelligent real-time control is discussed, and some new logical methods are reviewed in light of this framework. The topics discussed include knowledge representation and automated reasoning. The main...
详细信息
A framework for intelligent real-time control is discussed, and some new logical methods are reviewed in light of this framework. The topics discussed include knowledge representation and automated reasoning. The main ideas behind the corresponding methods are outlined with some application to moving objects.
We consider a set of optimization problems for dynamic models concerned with natural protection activity of enterprises (as environmental polluters) and an administrative center. Some solution methods are proposed. It...
详细信息
We consider a set of optimization problems for dynamic models concerned with natural protection activity of enterprises (as environmental polluters) and an administrative center. Some solution methods are proposed. It is based on nonlinear transformation of the corresponding complex models into auxiliary problems of optimal control which are easier for solving.
A method is given for synthesis of derivability conditions for formulas whose negations can be represented as Horn-type or as disjunctions of Horn-type formulas. These conditions are generated as solutions of the logi...
详细信息
A method is given for synthesis of derivability conditions for formulas whose negations can be represented as Horn-type or as disjunctions of Horn-type formulas. These conditions are generated as solutions of the logical equation and are necessary if the process of inference and synthesis is finite and if the synthesis is applied only when the inference cannot be continued. The method restricts the combinatorial space of theorem synthesis by logical equations which bring substantial reduction of combinatorics. Special conditions of mutual compatibility between known members of the equation need not be satisfied a priori. Sufficiently pithy conditions satisfying some compromise between the criteria of deductive unimprovability (necessity) and simple verification of satisfiability are obtained. This paper also has some interrelations with inductive logic programming, which is defined as the method of extending the set of axioms of a particular theory such that the extended theory would be able to explain an assigned set of examples.
The problem of real-time intelligent guidance of a telescope to the center of a planet in non-full phase is considered. A new logical first-order language of positively constructed formulae and its calculus are used a...
详细信息
The problem of real-time intelligent guidance of a telescope to the center of a planet in non-full phase is considered. A new logical first-order language of positively constructed formulae and its calculus are used as a logical instrument for deriving the control. Such an approach allows the characteristics of controlsystems to be improved. The authors consider in detail the control synthesis on the basis of an automatic refutation technique in time-driven and temporal reasoning modes.
Concerns hybrid models which describe real processes in switching circuits more adequately than automata networks and more efficiently than mathematical physics models. The models consist of the following interconnect...
详细信息
Concerns hybrid models which describe real processes in switching circuits more adequately than automata networks and more efficiently than mathematical physics models. The models consist of the following interconnected equations: differential, operational and logical equations, where from the physical viewpoint the first ones describe dynamics of internal states of circuit elements, the second ones correspond to the dynamics of output signals of the elements, and the latter ones describe their logical functions. In particular, each component of right-side of internal state equations can be dependent on states and outputs of all the elements, We propose some constructive and qualitative method of analysis of dynamical properties. This method reduces the initial problems to analysis of more simple, comparison model and does not require the exhaustive search for initial states, delay parameters, etc. and in principle, overcomes higher dimension of circuit in comparison with numerical methods of mathematical physics. Logical Lyapunov functions (LLF) are used, and not only those that are elementary disjunctions. Criteria of controllability-type properties contain more weak condition of majorizing the LLF than homomorphism condition, although they require the additional condition of quasimonotonicity of right-side of comparison model.
暂无评论