𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Symbolic Out-of-Core Solution Method for Markov Models

✍ Scribed by Marta Kwiatkowska; Rashid Mehmood; Gethin Norman; David Parker


Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
365 KB
Volume
68
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A dependability measure for Markov model
✍ A. Csenki πŸ“‚ Article πŸ“… 1995 πŸ› Elsevier Science 🌐 English βš– 779 KB

Irreducible, continuous-time Markov models for reliability analysis axe considered whose finite state space is partitioned as G U B, where G and B stand for the set of system up ('good') and down ('bad') states, respectively. For a fixed length of time to > 0, let TG(to ) and Ns(t0) stand, respectiv

A Symbolic-Numerical Method for Finding
✍ Quoc-Nam Tran πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 546 KB

In this paper, the author presents a new method for iteratively finding a real solution of an arbitrary system of nonlinear algebraic equations, where the system can be overdetermined or underdetermined and its Jacobian matrix can be of any (positive) rank. When the number of equations is equal to t