1 Description of the Model We consider a model of a water level control system extended from the one of Alur et al. [1] and our previous paper [4]. In particular, we use this case study to demonstrate the influence which different abstractions of the same continuous stochastic command have. The abstraction of a guarded command with a continuous probability distribution into one with a discrete ...

Water temperature was elevated and maintained in two of three fish production systems which incorporated biofiltration and hydroponics. Channel catfish (Ictaluruspunctatus) were stocked in indoor fish tanks and fed to satiation once daily. Tomatoes (Lycopersicon esculentum) were planted in outdoor hydroponic tanks. The study was conducted during the 1979 growing season. Afternoon water temperat...

Water-tank models of meso-scale atmospheric processes often show good qualitative agreement of bulk quantities and flow characteristics and good quantitative agreement of turbulence quantities with field observations. However, it was demonstrated in the first part of this two-part communication that the similarity of velocities of thermally driven upslope flows in atmosphere and water tank is v...

The functionality of elevated water tanks is pivotal to assure after an earthquake as supply expected be uninterrupted. Although with deformed bars are widely studied, limited works exist for smooth bars, although such comprise a considerable fraction, even in the high seismic regions. To quantify vulnerability aging we created analytical fragility functions full, half, and empty reservoir cond...

Abstract—Eutrophication of surface water is one of the most widespread environmental problems at present. Large number of pilgrims and tourists visit sacred artificial tank known as “Brahma Sarover” located at Kurukshetra, India to take holy dip and perform religious ceremonies. The sources of pollutants include impurities in feed water, mass bathing, religious offerings and windblown particula...

Abstract Sloshing describes liquids motion in the semi-filled tanks, and exerts dynamic loading on its walls. This effect is of great importance in a number of dynamic systems e.g. aerospace vehicles, road tankers, liquefied natural gas carriers, elevated water towers and petroleum cylindrical tanks. Pressures insert impacts which are important for structural strength evaluation and its co...

The water intaking system of a water works usually controlled the rotation rate of water pumps manually according to experiences, with low accuracy rate and poor energy-saving effect in the past. Combining with the system status, this paper brings forward constructing a variable frequency water intaking control system with PLC and inverter as the core, and by means of fuzzy PID control. During ...

Internal melt ice-on-coil tank with built-in horizontal tubes is a kind of ice tank used widely. Its discharge process is effected greatly by density different between ice and water. The existing models developed for internal melt ice-on-coil tank are concentric cylinder models which are applicable to tank with built-in vertical tube or to case when all water in tank is frozen, but is not appli...