in this paper, mixed convection of al2o3-eg-water nanofluid in a square lid-driven enclosure is investigated numerically. the focus of this study is on the effects of variable thermophysical properties of the nanofluid on the heat transfer characteristics. the top moving and the bottom stationary horizontal walls are insulated, while the vertical walls are kept at different constant temperature...

In this paper, mixed convection of Al2O3-EG-Water nanofluid in a square lid-driven enclosure is investigated numerically. The focus of this study is on the effects of variable thermophysical properties of the nanofluid on the heat transfer characteristics. The top moving and the bottom stationary horizontal walls are insulated, while the vertical walls are kept at different constant temperature...

Data envelopment analysis (DEA) is a non-parametric approach for performance analysis of decision making units (DMUs) which uses a set of inputs to produce a set of outputs without the need to consider internal operations of each unit. In recent years, there have been various studies dealt with two-stage production systems, i.e. systems which consume some inputs in their first stage to produce ...

In this paper, a displacement-based, variationally consistent, two variable refined theory for shear deformable beams is presented. The beam is assumed to be of linearly elastic, homogeneous, isotropic material and has a uniform rectangular cross-section. In this theory, the beam axial displacement and beam transverse displacement consist of bending components and shearing components. The assum...

The syntax of abstract meaning representations (AMRs) can be defined recursively, and a systematic translation to first-order logic (FOL) can be specified, including a proper treatment of negation. AMRs without recurrent variables are in the decidable two-variable fragment of FOL. The current definition of AMRs has limited expressive power for universal quantification (up to one universal quant...

This paper considers how to construct nonpower-of-two distributors, which concentrate and rotate, simultaneously, active input packets for an efficient buffer utilization in packet switching environment. As a theoretical background, we first establish that an R×R distributor cannot be constructed out of a conventional N × N distributor for a non-power-of-two number R in N 2 < R < N(= 2n), due t...

Uniform one-dimensional fragment UF=1 is a formalism obtained from first-order logic by limiting quantification to applications of blocks of existential (universal) quantifiers such that at most one variable remains free in the quantified formula. The fragment is closed under Boolean operations, but additional restrictions (called uniformity conditions) apply to combinations of atomic formulas ...