this paper presents a discrete-time single-server finite buffer n threshold policy queue with renewal input and discretemarkovian service process. the server terminates service whenever the system becomes empty, and recommencesservice as soon as the number of waiting customers in the queue is n. we obtain the system-length distributionsat pre-arrival and arbitrary epochs using the supplementary...

the grace mission has provided scientific community time-variable gravity field solutions with high precision and on a global scale. the grace mission was launched on march 2003. this mission consists of two satellites that pursue each other in their orbit. distance between two satellites in orbit is measured continuously to an accuracy of better than 1 micron using kbr system placed in satelli...

in the linear system ax = b the points x are sometimes constrained to lie in a given subspace s of column space of a. drazin inverse for any singular or nonsingular matrix, exist and is unique. in this paper, the singular consistent or inconsistent constrained linear systems are introduced and the effect of drazin inverse in solving such systems is investigated. constrained linear system arise ...

in this paper, we try to use modeling based on singular perturbation theory, in order to control satellite attitude during the wide rolling angle maneuvering through nonlinear h∞ control strategy. differential equations describing dynamics of the satellite are presented first, and by choosing the appropriate dynamic model for actuators and based on the standard singular perturbation model, the ...

In this paper, we analyze the results of triangles under discrete curve shortening flow, specifically isosceles triangles with top angles greater than π3 , and scalene triangles. By considering the location of the three vertices of the triangle after some small time , we use the definition of the derivative to calculate a system of differential equations involving parameters that can describe t...

The Runge-Kutta (RK)-Butcher algorithm is used to study the timevarying singular bilinear systems with the exact solutions. The results (discrete solutions) obtained using the Haar wavelets, Single-Term Walsh series (STWS) and RK-Butcher algorithms are compared with the exact solutions of the time-varying singular bilinear systems. It is found that the solution obtained using the RK-Butcher alg...

In this paper, a special technique is studied by using the orthogonal Chebyshev polynomials to get approximate solutions for singular and hyper-singular integral equations of the first kind. A singular integral equation is converted to a system of algebraic equations based on using special properties of Chebyshev series. The error bounds are also stated for the regular part of approximate solut...

Most studies of ecological models focus exclusively on the asymptotic stability properties of equilibria. However, short-term transient effects can be important, and can in some cases dominate the dynamics seen in experimental or field studies. The reactivity of a stable equilibrium point measures the potential for short-term amplification of perturbations. The reactivity of a fixed point in a ...

The framework of Hybrid automata—introduced by Alur, Courcourbetis, Henzinger, and Ho—provides a formal modeling and analysis environment to analyze the interaction between the discrete and the continuous parts of hybrid systems. Hybrid automata can be considered as generalizations of finite state automata augmented with a finite set of real-valued variables whose dynamics in each state is gove...

In this paper, a generalized method as Single term Haar wavelet series (STHWS) for solving linear singular systems is discussed. This new approach provides a better effectiveness to find discrete solutions of different order singular systems for any length of time t. This is a direct method and can be easily implemented in a digital computer.