Search results for "Number"
showing 10 items of 3939 documents
On the number of different prime divisors of element orders
2005
We prove that the number of different prime divisors of the order of a finite group is bounded by a polynomial function of the maximum of the number of different prime divisors of the element orders. This improves a result of J. Zhang.
Analysis of complex singularities in high-Reynolds-number Navier-Stokes solutions
2013
AbstractNumerical solutions of the laminar Prandtl boundary-layer and Navier–Stokes equations are considered for the case of the two-dimensional uniform flow past an impulsively-started circular cylinder. The various viscous–inviscid interactions that occur during the unsteady separation process are investigated by applying complex singularity analysis to the wall shear and streamwise velocity component of the two solutions. This is carried out using two different methodologies, namely a singularity-tracking method and the Padé approximation. It is shown how the van Dommelen and Shen singularity that occurs in solutions of the Prandtl boundary-layer equations evolves in the complex plane be…
The Crane Beach Conjecture
2002
A language L over an alphabet A is said to have a neutral letter if there is a letter e/spl isin/A such that inserting or deleting e's from any word in A* does not change its membership (or non-membership) in L. The presence of a neutral letter affects the definability of a language in first-order logic. It was conjectured that it renders all numerical predicates apart from the order predicate useless, i.e., that if a language L with a neutral letter is not definable in first-order logic with linear order then it is not definable in first-order. Logic with any set /spl Nscr/ of numerical predicates. We investigate this conjecture in detail, showing that it fails already for /spl Nscr/={+, *…
Individuals, Identity, Names: Phenomenological Considerations
1997
In Husserl’s early writings (the Logical Investigations and the first section of Ideas I) the main concern of phenomenological investigations is the givenness of the ideal entities of logic and formal ontology. Another field in his earlier writings is the phenomenology of perception and time consciousness. This field of research broadens into the vision of a universal transcendental aesthetics, which, in his later writings, provides the basis for solving the problem of intersubjectivity.1 The final “synthesis” of these fields and problem domains is to be found in the phenomenological theory of the life-world. Lectures and research manuscripts2 of the late period show also that this second f…
Process specification and verification
1996
Graph grammars provide a very convenient specification tool for distributed systems of processes. This paper addresses the problem how properties of such specifications can be proven. It shows a connection between algebraic graph rewrite rules and temporal (trace) logic via the graph expressions of [2]. Statements concerning the global behavior can be checked by local reasoning.
Numerical simulation of nanofluids for improved cooling efficiency in a 3D copper microchannel heat sink (MCHS)
2017
ABSTRACTIn this paper, laminar nanofluid flow in 3D copper microchannel heat sink (MCHS) with rectangular cross section, and a constant heat flux, has been treated numerically using the computational fluid dynamics software (FLUENT). Results for the temperature and velocity distributions in the investigated MCHS are presented. In addition, experimental and numerical values are compared in terms of friction factors, convective heat transfer coefficients, wall temperature and pressure drops, for various particle volume concentrations and Reynolds numbers. The numerical results show that enhancing the heat flux has a very weak effect on the heat transfer coefficient for pure water, but an appr…
Flow and Heat Transfer in Corrugated Passages: Direct and Large Eddy Simulation and Comparison with Experimental Results
1993
Direct and large-eddy numerical simulations are presented for the transitional and turbulent flow with heat transfer in corrugated passages, representative of compact heat exchangers such as rotary air preheaters (regenerators), at Reynolds number ranging from 103 to 104. Pressure drop and heat transfer results are compared with wind-tunnel experimental data; the agreement is quite satisfactory, and superior to that obtained by more traditional methods.
Experimental Analysis of Local Pressure Losses for Microirrigation Laterals
2004
The accurate design of drip irrigation laterals needs to consider the variation of hydraulic head due to pipe elevation changes, head losses along the lines, and also, at a given operating pressure, emitter discharge variations related to manufacturing variability, clogging, and water temperature. Hydraulic head variations are consequent to both the friction losses and local losses due to the in-line or on-line emitters along the pipe, which determine the contraction and subsequent enlargement of the flow streamlines. Moreover, in-line emitters usually have a smaller diameter than the pipe, and therefore an additional friction loss must be considered. Evaluation of energy losses and consequ…
On the influence of curvature and torsion on turbulence in helically coiled pipes
2014
Turbulent flow and heat transfer in helically coiled pipes at Ret=400 was investigated by DNS using finite volume grids with up to 2.36×10^7 nodes. Two curvatures (0.1 and 0.3) and two torsions (0 and 0.3) were considered. The flow was fully developed hydrodynamically and thermally. The central discretization scheme was adopted for diffusion and advection terms, and the second order backward Euler scheme for time advancement. The grid spacing in wall units was ~3 radially, 7.5 circumferentially and 20 axially. The time step was equal to one viscous wall unit and simulations were typically protracted for 8000 time steps, the last 4000 of which were used to compute statistics. The results sho…
Liquid metal MHD studies with non-magnetic and ferro-magnetic structural material
2014
Abstract In most of the liquid metal MHD experiments reported in the literature to study liquid breeder blanket performance, SS316/SS304 grade steels are used as the structural material which is non-magnetic. On the other hand, the structural material for fusion blanket systems has been proposed to be ferritic martensitic grade steel (FMS) which is ferromagnetic in nature. In the recent experimental campaign, liquid metal MHD experiments have been carried out with two identical test sections: one made of SS316L (non-magnetic) and another with SS430 (ferromagnetic), to compare the effect of structural materials on MHD phenomena for various magnetic fields (up to 4 T). The maximum Hartmann nu…