The thermo-hydraulic behavior of the air flow over a two dimensional ribbed channel wasnumerically investigated in various rib-width ratio configurations (B/H=0.5-1.75) atdifferent Reynolds numbers, ranging from 6000 to 18000. The capability of differentturbulence models, including standard k-ε, RNG k-ε, standard k-ω, and SST k-ω, inpredicting the heat transfer rate was compared with the experi...

-

This paper numerically investigates a 3D mesh independency study of a straight blade horizontal axis tidal turbine modelled using Computational Fluid Dynamics (CFD). The solution was produced by employing two turbulence models, the standard k-ε model and Shear Stress Transport (SST) in ANSYS CFX. Three parameters were investigated: mesh resolution, turbulence model, and power coefficient in the...

Using experimental models along with conducting numerical analysis have been widely used in performance recognition and optimization of hydraulic equipments. Numerical modeling has lower cost rather than experimental one; however practical tests are commonly used because of the hydraulic structure importance especially in dams. Meanwhile numerical methods could be used for future designs throug...

VeriSiMPL (“very simple”) is a software tool to obtain finite abstractions of Max-Plus-Linear (MPL) models. MPL models (Sec. 2), specified in MATLAB, are abstracted to Labeled Transition Systems (LTS). The LTS abstraction is formally put in relationship with the concrete MPL model via a (bi)simulation relation. The abstraction procedure (Sec. 3) runs in MATLAB and leverages sparse representatio...

The usual approach to generate k-anonymous data sets, based on generalization of the quasi-identifier attributes, does not provide any control on the variability of the confidential attributes within the k-anonymous groups. If the latter variability is too small, privacy is not sufficiently protected, while, for large variabilities, data utility is substantially damaged. Some refinements to the...