The Stop-and-Wait protocol (SWP) has two (unbounded) parameters: the maximum sequence number (MaxSeqNo) and the maximum number of retransmissions (MaxRetrans). This paper presents an algebraic method for analysis of the SWP for all possible values of these parameters. Model checking such a system requires considering an in nite family of models, one for each combination of parameter values, and...

Introduction: Efficient gait control using Functional Electrical Stimulation (FES) is an open research problem. In this research, a new intermittent controller has been designed to control the human shank movement dynamics during gait. Methods: In this approach, first, the three-dimensional phase space was constructed using the human shank movement data recorded from the healthy subjects. Then...

The core inverse of matrix is generalized inverse which is in some sense in-between the group and Moore–Penrose inverse. In this paper a generalization of core inverse and core partial order to Hilbert space operator case is presented. Some properties are generalized and some new ones are proved. Connections with other generalized inverses are obtained. The useful matrix representations of oper...

We are concerned with fractional powers of the so-called hyponormal operators of Putnam type. Under some suitable assumptions it is shown that if A, B are closed hyponormal linear operators of Putnam type acting on a complex Hilbert space H, then D((A+B)α) = D(Aα)∩D(Bα) = D((A+B)∗α) for each α ∈ (0,1). As an application, a large class of the Schrödinger’s operator with a complex potential Q ∈ L...

and Applied Analysis 3 where θn 1 − αn Ln − 1 diamC 2 → 0 as n → ∞ and prove that {xn} defined by 1.5 converges strongly to P∩n 1F Tn x. In this paper, we establish strong convergence theorems for finding common fixed points of a countable family of Lipschitzian mappings in a real Hilbert space. Moreover, we also apply our results for asymptotically nonexpansive mappings. 2. Preliminaries Let H...