The notion of subtyping has gained an important role both in theoretical and applicative domains: in lambda and concurrent calculi as well as in programming languages.The soundness and the completeness, together referred to as the preciseness of subtyping, can be considered from two different points of view: operational and denotational.The former
Large Eddy Simulation of Bluff Body Stabilized Turbulent Premixed Flame
http://dx.doi.org/10.5028/jatm.v5i2.245 A turbulent reacting flow in a channel with an obstacle was simulated computationally with large eddy simulation turbulence modeling and the Xi turbulent combustion model for premixed flame.The numerical model was implemented in the open source software OpenFoam.Both inert flow and reactive flow simulations w
The measurement of Physical Workload and Mental Workload Level of Medical Personnel
As the primary health reference center, a hospital is required to provide excellent quality services to each patient.The impact of the extreme physical and Lamp Holder mental workload cause negligence in activities.It affects the quality of services provided by medical personnel.This study investigated the level of mental workload and physical work