We consider the well known Least Recently Used (LRU) replacement algorithm and analyze it under the independent reference model and generalized power-law demand. For this extensive family of demand distributions we derive a closed-form expression for the per object steady-state hit ratio. To the best of our knowledge, this is the first analytic derivation of the per object hit ratio of LRU that...

Output-feedback high-order sliding-mode (HOSM) controls include HOSM-based differentiators and, therefore, possess complicated discontinuous dynamics. Their practical application naturally involves discrete noisy output sampling and numeric integration of the internal variables. Resulting hybrid systems are shown to be stable, and the corresponding asymptotic sliding-mode accuracies are calcula...

The paper introduces a new, computationally inexpensive, real-time method of simulation of clouds for dynamic particle-based cloud rendering. The method covers such phenomena as atmospheric fronts, stable and unstable balance, thunderstorms, simplified simulation of middle and high clouds, correlation between wind and clouds and even tornadoes. The simulation is based on several simple numeric ...

We consider the simulation of three-dimensional transonic Euler flow using pseudo-transient Newton–Krylov methods [8,9]. The main computation involves solving a large, sparse linear system at each Newton (nonlinear) iteration. We develop a technique for adaptively selecting the linear solver method to match better the numeric properties of the linear systems as they evolve during the course of ...

The numeric simulation of distributed-parameter systems involving wave propagation typically suffers from dispersion errors. This work considers the wave equation and the Euler-Bernoulli beam equations that appear in the modeling and simulation of railway catenary systems. A versatile phase error criterion is developed based on phase/group velocity errors due to a Finite Difference discretizati...

Epidemiological simulation environments produce extremely large quantities of scientific, numeric digital objects. Traditional digital libraries and services fail to effectively support simulation-based tasks. The requirements for this class of digital libraries can be described through formal definitions of content, users, and services. The set of definitions provide a basis for developing a s...