7,318 research outputs found
Specifying and Executing Optimizations for Parallel Programs
Compiler optimizations, usually expressed as rewrites on program graphs, are
a core part of all modern compilers. However, even production compilers have
bugs, and these bugs are difficult to detect and resolve. The problem only
becomes more complex when compiling parallel programs; from the choice of graph
representation to the possibility of race conditions, optimization designers
have a range of factors to consider that do not appear when dealing with
single-threaded programs. In this paper we present PTRANS, a domain-specific
language for formal specification of compiler transformations, and describe its
executable semantics. The fundamental approach of PTRANS is to describe program
transformations as rewrites on control flow graphs with temporal logic side
conditions. The syntax of PTRANS allows cleaner, more comprehensible
specification of program optimizations; its executable semantics allows these
specifications to act as prototypes for the optimizations themselves, so that
candidate optimizations can be tested and refined before going on to include
them in a compiler. We demonstrate the use of PTRANS to state, test, and refine
the specification of a redundant store elimination optimization on parallel
programs.Comment: In Proceedings GRAPHITE 2014, arXiv:1407.767
Stabilization of aerodynamically excited turbomachinery with hydrodynamic journal bearings and supports
A method of analyzing the first mode stability and unbalance response of multimass flexible rotors is presented whereby the multimass system is modeled as an equivalent single mass modal model including the effects of rotor flexibility, general linearized hydrodynamic journal bearings, squeeze film bearing supports and rotor aerodynamic cross coupling. Expressions for optimum bearing and support damping are presented for both stability and unbalance response. The method is intended to be used as a preliminary design tool to quickly ascertain the effects of bearing and support changes on rotor-bearing system performance
A PRODUCTION FUNCTION FOR FLORIDA FOLIAGE NURSERIES FROM TIME-SERIES AND CROSS-SECTION DATA
Crop Production/Industries,
Quasi-Normal Modes of Brane-Localised Standard Model Fields
We present here a detailed study of the quasi-normal spectrum of
brane-localised Standard Model fields in the vicinity of D-dimensional
black-holes. A variety of such backgrounds (Schwarzschild, Reissner-Nordstrom
and Schwarzszchild-(Anti) de Sitter) are investigated. The dependence of the
quasi-normal spectra on the dimensionality D, spin of the field s, and
multipole number l is analyzed. Analytical formulae are obtained for a number
of limiting cases: in the limit of large multipole number for Schwarzschild,
Schwarzschild-de Sitter and Reissner-Nordstrom black holes, in the extremal
limit of the Schwarzschild-de Sitter black hole, and in the limit of small
horizon radius in the case of Schwarzschild-Anti de Sitter black holes. We show
that an increase in the number of hidden, extra dimensions results in the
faster damping of all fields living on the brane, and that the localization of
fields on a brane affects the QN spectrum in a number of additional ways, both
direct and indirect.Comment: 13 pages, 4 figures, to be published in Phys. Rev.
Engineering visualization utilizing advanced animation
Engineering visualization is the use of computer graphics to depict engineering analysis and simulation in visual form from project planning through documentation. Graphics displays let engineers see data represented dynamically which permits the quick evaluation of results. The current state of graphics hardware and software generally allows the creation of two types of 3D graphics. The use of animated video as an engineering visualization tool is presented. The engineering, animation, and videography aspects of animated video production are each discussed. Specific issues include the integration of staffing expertise, hardware, software, and the various production processes. A detailed explanation of the animation process reveals the capabilities of this unique engineering visualization method. Automation of animation and video production processes are covered and future directions are proposed
Design and application of squeeze film dampers for turbomachinery stabilization
The steady-state transient response of the squeeze film damper bearing was investigated. Both the steady-state and transient equations for the hydrodynamic bearing forces are derived; the steady-state equations were used to determine the damper equivalent stiffness and damping coefficients. These coefficients are used to find the damper configuration which will provide the optimum support characteristics based on a stability analysis of the rotor-bearing system. The effects of end seals and cavitated fluid film are included. The transient analysis of rotor-bearing systems was conducted by coupling the damping and rotor equations and integrating forward in time. The effects of unbalance, cavitation, and retainer springs are included. Methods of determining the stability of a rotor-bearing system under the influence of aerodynamic forces and internal shaft friction are discussed
The Relative Cost Efficiencies of Commercial Banks, Rural Financial Institutions, and Microfinance Institutions in China
This study employed data envelopment analysis (DEA) to evaluate the comparative efficiency performance of selected commercial banks, rural financial institutions and microfinance institutions in China. The first pairwise comparison indicated that commercial banks achieved higher level of overall technical efficiency, pure technical efficiency and scale efficiency than rural financial institutions (including RCCs) through the study period (2004-2007). Overall technical inefficiency seems to be more attributed to scale inefficiency rather than pure technical inefficiency for both commercial banks and rural financial institutions. The second pairwise comparison indicated that RCCs and CFPA are the most efficient institutions with efficiency scores of 1 while other MFIs experienced some overall technical inefficiency and scale inefficiency during the study period.microfinance, China, data envelopment analysis, technical inefficiency, scale efficiency, Agricultural Finance,
Recent Deveopments in Florida Medical Malpractice: A Roadmap for Successful Pre-Trial Practice
Laser velocimeter for simultaneous two-dimensional velocity measurements
Laser velocimeter provides simultaneous orthogonal measurements in manner which minimizes many problems attending prior systems, and allows spatial traversing of flowfield in order to obtain velocity profiles. Velocimeter permits rapid interrogation of unsteady flows where area of interest is of the order of one meter in extent and flow does not vary appreciably over time of about one second
Pseudo-Retract Functors for Local Lattices and Bifinite L-Domains
Recently, a new category of domains used for the mathematical foundations of denotational semantics, that of L-domains, have been under study. In this paper we consider a related category of posets, that of local lattices. First, a completion operator taking posets to local lattices is developed, and then this operator is extended to a functor from posets with embedding-projection pairs to local lattices with embedding-projection pairs. The result of applying this functor to a local lattice yields a local lattice isomorphic to the first; this functor is a pseudo-retract.
Using the functor into local lattices, a continuous pseudo-retraction functor from ω-bifinite posets to ω-bifinite L-domains can be constructed. Such a functor takes a universal domain for the ω-bifinite posets to a universal domain for the ω-bifinite L-domains. Moreover, the existence of such a functor implies that, from the existence of a saturated universal domain for the ω-algebraic bifinites, we can conclude the existence of a saturated universal domain for the ω-bifinite L-domains
- …