✦ LIBER ✦

A novel collaborative scheme of simulation and model checking for system properties verification

✍ Scribed by Ming Zhu; Jinian Bian; Weimin Wu

Publisher: Elsevier Science
Year: 2006
Tongue: English
Weight: 458 KB
Volume: 57
Category: Article
ISSN: 0166-3615
DOI: 10.1016/j.compind.2006.04.006

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Simulation and verification of a piezoel

Simulation and verification of a piezoelectrically actuated diaphragm for check valve micropump design

✍ Jianke Kang; Gregory W. Auner 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 727 KB

A novel and simple building load calcula

A novel and simple building load calculation model for building and system dynamic simulation

✍ Shengwei Wang; Youming Chen 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 334 KB

Based on polynomial s-transfer functions of transient heat conduction through a building construction, a novel and simple model is developed for building thermal load calculation. The polynomial s-transfer functions are estimated from the theoretical frequency responses of the building construction

A Tool For Specification And Verificatio

A Tool For Specification And Verification Of Epistemic Properties In Interpreted Systems

✍ Franco Raimondi; Alessio Lomuscio 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 184 KB

We present a compiler that translates a multi-agent systems specification given in the formalism of Interpreted Systems into an SMV program. We show how an SMV model checker can be coupled with a Kripke model editor (Akka) to allow for the mechanical verification of epistemic properties of multi-age

Laguerre polynomials: novel properties a

Laguerre polynomials: novel properties and numerical generation scheme for analysis of a discrete probability distribution

✍ Carlos U. Pabon-Ortiz; M. Artoni 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 447 KB

We compute a quantum mechanical probability distribution expressed as a series of generalized Laguerre polynomials. A method for the numerical generation of the polynomials of any integer order is given. Two new properties of these polynomials are derived to reduce the distribution to a closed form

Performance study of a heat pump dryer s

Performance study of a heat pump dryer system for specialty crops—Part 2: Model verification

✍ Phani K. Adapa; Greg J. Schoenau; Shahab Sokhansanj 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 330 KB 👁 1 views

The experimental and predicted performance data of a heat pump dryer system is reported. Chopped alfalfa was dried in a cabinet dryer in batches and also by emulating continuous bed drying using two heat pumps operating in parallel. Results showed that alfalfa was dried from an initial moisture cont

A simulation model for the performance o

A simulation model for the performance of a hybrid liquid desiccant system during cooling and dehumidification

✍ Pedro J. Mago; Louay Chamra; Glenn Steele 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 217 KB 👁 1 views

A finite difference model describing simultaneous heat and mass transfer in a hybrid liquid desiccant cooling system is presented in this paper. This type of system provides cooled and dehumidified air by a combination of a packed absorber tower and a conventional vapour compression system. The mode