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,

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