𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A model-based validation framework for PIV and PTV

✍ Scribed by C.N. Young; D.A. Johnson; E.J. Weckman

Publisher
Springer
Year
2004
Tongue
English
Weight
765 KB
Volume
36
Category
Article
ISSN
0723-4864

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Model-based reliability and diagnostics:
Model-based reliability and diagnostics: A common framework for reliability and diagnostics
✍ Bernhard Anrig; JΓΌrg Kohlas πŸ“‚ Article πŸ“… 2003 πŸ› John Wiley and Sons 🌐 English βš– 251 KB

Generally, technical systems are not guaranteed to work correctly. They are more or less reliable. One main problem for technical systems is the computation of the reliability of a system as studied in reliability theory. A second main problem for technical systems is the problem of diagnostic, i.e.

A refinement framework to support valida
A refinement framework to support validation and maintenance of knowledge-based systems
✍ Neli P. Zlatareva πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 86 KB

In this article, we argue that a refinement tool capable of assisting the maintainer of a Knowledge-Based System (KBS) with updating and upgrading of its knowledge base can substantially expand the scope of his activities and prolong the life of the system. We show that refinement tasks involved in