No abstract

No abstract

In this study, a partially observed linear quadratic (LQ) non-cooperative stochastic differential game of Markov jump linear system (MJLS) is considered. First, a new proof of filtering theory is given, using the separation principle and filtering technology, partial observations can be transformed into complete observation. Second, nonzero-sum stochastic differential game problem for MJLS are studied using the dynamic programming principle and completion square method.Then, the sufficient and necessary conditions for the Nash equilibrium are obtained. Finally, a numerical simulation is performed.

Body-centered cubic metals including steels and refractory metals suffer from an abrupt ductile-to-brittle transition (DBT) at a critical temperature, hampering their performance and applications. Temperature-dependent dislocation mobility and dislocation nucleation have been proposed as the potential factors responsible for the DBT. However, the origin of this sudden switch from toughness to brittleness still remains a mystery. Here, we discover that the ratio of screw dislocation velocity to edge dislocation velocity is a controlling factor responsible for the DBT. A physical model was conceived to correlate the efficiency of Frank–Read dislocation source with the relative mobility of screw versus edge dislocations. A sufficiently high relative mobility is a prerequisite for the coordinated movement of screw and edge segments to sustain dislocation multiplication. Nanoindentation experiments found that DBT in chromium requires a critical mobility ratio of 0.7, above which the dislocation sources transition from disposable to regeneratable ones. The proposed model is also supported by the experimental results of iron, tungsten, and aluminum.

We develop a timed calculus for Mobile Ad Hoc Networks embodying the peculiarities of local broadcast, node mobility and communication interference. We present a Reduction Semantics and a Labelled Transition Semantics and prove the equivalence between them. We then apply our calculus to model and study some MAC-layer protocols with special emphasis on node mobility and communication interference. A main purpose of the semantics is to describe the various forms of interference while nodes change their locations in the network. Such interference only occurs when a node is simultaneously reached by more than one ongoing transmission over the same channel