𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the role of hierarchic spaces and models in verification and validation

✍ Scribed by Barna A. Szabó; Ricardo L. Actis

Publisher
Elsevier Science
Year
2009
Tongue
English
Weight
789 KB
Volume
198
Category
Article
ISSN
0045-7825

No coin nor oath required. For personal study only.

✦ Synopsis

An overview of the general considerations underlying the selection of mathematical models and the methods used for estimation and control of the associated errors and the requisite technical capabilities are presented. An example that illustrates the main points of the paper is presented.

📜 SIMILAR VOLUMES

Verification and validation of the SACHE
Verification and validation of the SACHEM conceptual model
✍ M. LE GOC; C. FRYDMAN; L. TORRES 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 611 KB

We present a method for transforming a KADS conceptual model (informal) into an operational model (formal) based on high-level Petri nets. The KADS model we consider specifies the functional architecture of the knowledge-based system called SACHEM, designed for blast furnace control. The operational

On the validation and verification of pr
On the validation and verification of production systems: a graph reduction approach
✍ Stephen Murrell; Robert Plant 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 294 KB

This paper takes a parallel processing approach to the implementation of rule-based systems using a graph-reduction architecture , and investigates the consequences of this architecture in relation to the validation and verification of knowledge-based systems . The paper improves on the traditional

State-of-the-practice in knowledge-based
State-of-the-practice in knowledge-based system verification and validation
✍ David Hamilton; Keith Kelley; Chris Culbert 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 790 KB

The majority of the work in knowledge-based system verification and validation (KBS V& V) has focused on developing techniques and concepts for performing V& V on expert systems. Little information is available on what V& V practices are currently in use by expert system developers. This article des

Comment on the validation of continuum e
Comment on the validation of continuum electrostatics models
✍ Scarsi, Marco; Caflisch, Amedeo 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 144 KB 👁 2 views

A validation based on solvation energies (vacuum to water transfer) is not sufficient to justify the use of approximated models of electrostatics to rank ligand/protein complexes. A full validation should be based on energies in solution, i.e., solvation plus vacuum Coulomb energies, because of the