プッシュダウンシステムの拡張およびそのモデル検査法
全文
(2)
関連したドキュメント
We provide an accurate upper bound of the maximum number of limit cycles that this class of systems can have bifurcating from the periodic orbits of the linear center ˙ x = y, y ˙ =
, 6, then L(7) 6= 0; the origin is a fine focus of maximum order seven, at most seven small amplitude limit cycles can be bifurcated from the origin.. Sufficient
Keywords and phrases: super-Brownian motion, interacting branching particle system, collision local time, competing species, measure-valued diffusion.. AMS Subject
Using the results of Sec- tions 2, 3, we establish conditions of exponential stability of the zero solution to (1.1) and obtain estimates characterizing exponential decay of
We study in Section 3 the generalized Cauchy problem of the Dunkl linear symmetric systems, and we prove the principle of finite speed of propagation of these systems.. In the
The advection-diffusion equation approximation to the dispersion in the pipe has generated a considera- bly more ill-posed inverse problem than the corre- sponding
A variety of methods have been introduced for the synchronization of chaotic systems which include complete synchronization, generalized synchronization, phase synchronization,
Our objective in Section 4 is to extend, several results on curvature of a contractive tuple by Popescu [19, 20], for completely contractive, covari- ant representations of