Filters








3 Hits in 3.3 sec

Tank monitoring: a pAMN case study

Steve Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne
2006 Formal Aspects of Computing  
This paper explores the application of probabilistic B to a simple case study: tracking the volume of liquid held in a tank by measuring the flow of liquid into it.  ...  The introduction of probabilistic behaviour into the B-Method is a recent development.  ...  Section 4 introduces the Tank case study.  ... 
doi:10.1007/s00165-006-0004-5 fatcat:jmdmm6pirzfc3pl4pkgi5fdsvq

Tank Monitoring: A pAMN Case Study

Steve Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne
2005 Electronical Notes in Theoretical Computer Science  
This paper explores the application of probabilistic B to a simple case study: tracking the volume of liquid held in a tank by measuring the flow of liquid into it.  ...  The introduction of probabilistic behaviour into the B-Method is a recent development.  ...  This paper explores the application of probabilistic B to a simple case study: tracking the volume of liquid held in a tank by measuring the liquid flow into it.  ... 
doi:10.1016/j.entcs.2005.04.031 fatcat:5mfynnzvlvcqvj3yrx4tug6rza

Laser Doppler anemometry: recent developments and future challenges

C Tropea
1995 Measurement science and technology  
The availability of new optical and electronic components and the increasing demands on measurement accuracy have led to a continuous development of the laser Doppler measurement technique in recent years  ...  Cam Tropes was born in instrumentation developments in the field of laser Doppler Toronto, Canada, where he alSO a"ended the University anemometry, rather than on the broad range of applications.  ...  A recent study has examined the case of threecomponent LDA systems using a singlelens approach (five beams) and also here it is shown that the propagation of misalignment errors, even to the mean flow  ... 
doi:10.1088/0957-0233/6/6/001 fatcat:xsi5kshp5veonnzsimjjewlxsy