Modeling the complete Otto cycle: Preliminary version

A description is given of the equations and the computer program being developed to model the complete Otto cycle. The program incorporates such important features as: (1) heat transfer, (2) finite combustion rates, (3) complete chemical kinetics in the burned gas, (4) exhaust gas recirculation, and (5) manifold vacuum or supercharging. Changes in thermodynamic, kinetic and transport data as well as model parameters can be made without reprogramming. Preliminary calculations indicate that: (1) chemistry and heat transfer significantly affect composition and performance, (2) there seems to be a strong interaction among model parameters, and (3) a number of cycles must be calculated in order to obtain steady-state conditions

Computer program for calculation of complex chemical equilibrium compositions and applications. Supplement 1: Transport properties

An addition to the computer program of NASA SP-273 is given that permits transport property calculations for the gaseous phase. Approximate mixture formulas are used to obtain viscosity and frozen thermal conductivity. Reaction thermal conductivity is obtained by the same method as in NASA TN D-7056. Transport properties for 154 gaseous species were selected for use with the program

Ideal gas thermodynamic properties for the phenyl, phenoxy, and o-biphenyl radicals

Ideal gas thermodynamic properties of the phenyl and o-biphenyl radicals, their deuterated analogs and the phenoxy radical were calculated to 5000 K using estimated vibrational frequencies and structures. The ideal gas thermodynamic properties of benzene, biphenyl, their deuterated analogs and phenyl were also calculated

Modeling the internal combustion engine

A flexible and computationally economical model of the internal combustion engine was developed for use on large digital computer systems. It is based on a system of ordinary differential equations for cylinder-averaged properties. The computer program is capable of multicycle calculations, with some parameters varying from cycle to cycle, and has restart capabilities. It can accommodate a broad spectrum of reactants, permits changes in physical properties, and offers a wide selection of alternative modeling functions without any reprogramming. It readily adapts to the amount of information available in a particular case because the model is in fact a hierarchy of five models. The models range from a simple model requiring only thermodynamic properties to a complex model demanding full combustion kinetics, transport properties, and poppet valve flow characteristics. Among its many features the model includes heat transfer, valve timing, supercharging, motoring, finite burning rates, cycle-to-cycle variations in air-fuel ratio, humid air, residual and recirculated exhaust gas, and full combustion kinetics

Green's function for a Schroedinger operator and some related summation formulas

Summation formulas are obtained for products of associated Lagurre polynomials by means of the Green's function K for the Hamiltonian H = -{d^2\over dx^2} + x^2 + Ax^{-2}, A > 0. K is constructed by an application of a Mercer type theorem that arises in connection with integral equations. The new approach introduced in this paper may be useful for the construction of wider classes of generating function.Comment: 14 page

Non-linear Pattern Matching with Backtracking for Non-free Data Types

Non-free data types are data types whose data have no canonical forms. For example, multisets are non-free data types because the multiset $\{a,b,b\}$ has two other equivalent but literally different forms $\{b,a,b\}$ and $\{b,b,a\}$. Pattern matching is known to provide a handy tool set to treat such data types. Although many studies on pattern matching and implementations for practical programming languages have been proposed so far, we observe that none of these studies satisfy all the criteria of practical pattern matching, which are as follows: i) efficiency of the backtracking algorithm for non-linear patterns, ii) extensibility of matching process, and iii) polymorphism in patterns. This paper aims to design a new pattern-matching-oriented programming language that satisfies all the above three criteria. The proposed language features clean Scheme-like syntax and efficient and extensible pattern matching semantics. This programming language is especially useful for the processing of complex non-free data types that not only include multisets and sets but also graphs and symbolic mathematical expressions. We discuss the importance of our criteria of practical pattern matching and how our language design naturally arises from the criteria. The proposed language has been already implemented and open-sourced as the Egison programming language

Tests of redshift-space distortions models in configuration space for the analysis of the BOSS final data release

Citation: White, M., Reid, B., Chuang, C. H., Tinker, J. L., McBride, C. K., Prada, F., & Samushia, L. (2015). Tests of redshift-space distortions models in configuration space for the analysis of the BOSS final data release. Monthly Notices of the Royal Astronomical Society, 447(1), 234-245. doi:10.1093/mnras/stu2460Observations of redshift-space distortions in spectroscopic galaxy surveys offer an attractive method for observing the build-up of cosmological structure, which depends both on the expansion rate of the Universe and our theory of gravity. In preparation for analysis of redshift-space distortions from the Baryon Oscillation Spectroscopic Survey (BOSS) final data release, we compare a number of analytic and phenomenological models, specified in configuration space, to mock catalogues derived in different ways from several N-body simulations. The galaxies in each mock catalogue have properties similar to those of the higher redshift galaxies measured by BOSS but differ in the details of how small-scale velocities and halo occupancy are determined. We find that all of the analytic models fit the simulations over a limited range of scales while failing at small scales. We discuss which models are most robust and on which scales they return reliable estimates of the rate of growth of structure: we find that models based on some form of resummation can fit our N-body data for BOSS-like galaxies above 30 h(-1) Mpc well enough to return unbiased parameter estimates