Advanced engine study program

A design and analysis study was conducted to provide advanced engine descriptions and parametric data for space transfer vehicles. The study was based on an advanced oxygen/hydrogen engine in the 7,500 to 50,000 lbf thrust range. Emphasis was placed on defining requirements for high-performance engines capable of achieving reliable and versatile operation in a space environment. Four variations on the expander cycle were compared, and the advantages and disadvantages of each were assessed. Parametric weight, envelope, and performance data were generated over a range of 7,500 to 50,000 lb thrust and a wide range of chamber pressure and nozzle expansion ratio

Applying SMT Solvers to the Test Template Framework

The Test Template Framework (TTF) is a model-based testing method for the Z notation. In the TTF, test cases are generated from test specifications, which are predicates written in Z. In turn, the Z notation is based on first-order logic with equality and Zermelo-Fraenkel set theory. In this way, a test case is a witness satisfying a formula in that theory. Satisfiability Modulo Theory (SMT) solvers are software tools that decide the satisfiability of arbitrary formulas in a large number of built-in logical theories and their combination. In this paper, we present the first results of applying two SMT solvers, Yices and CVC3, as the engines to find test cases from TTF's test specifications. In doing so, shallow embeddings of a significant portion of the Z notation into the input languages of Yices and CVC3 are provided, given that they do not directly support Zermelo-Fraenkel set theory as defined in Z. Finally, the results of applying these embeddings to a number of test specifications of eight cases studies are analysed.Comment: In Proceedings MBT 2012, arXiv:1202.582

Compton scattering on the nucleon at intermediate energies and polarizabilities in a microscopic model

A microscopic calculation of Compton scattering on the nucleon is presented which encompasses the lowest energies -- yielding nucleon polarizabilities -- and extends to energies of the order of 600 MeV. We have used the covariant "Dressed K-Matrix Model" obeying the symmetry properties which are appropriate in the different energy regimes. In particular, crossing symmetry, gauge invariance and unitarity are satisfied. The extent of violation of analyticity (causality) is used as an expansion parameter.Comment: 35 pages, 15 figures, using REVTeX. Modified version to be published in Phys. Rev. C, more extensive comparison with data for Compton scattering, all results unchange

Разработка блока «спасение пострадавших с помощью альпснаряжения» учебного пункта «Россоюзспас» для тренировки волонтеров-спасателей

Данная научная работа посвящена разработке таких элементы спасения пострадавших с помощью альпснаряжения как: пожарная башня, оснащенная скалодромом, отапливаемый скалодром внутри помещения, электрический столб, цистерна, природные препятствия.This scientific work is devoted to the development of such elements of rescuing the victims with the help of alpine skiing, such as a fire tower equipped with a climbing wall, heated indoor climbing wall, electric pole, cistern, natural obstacles

Neutron polarizabilities investigated by quasi-free Compton scattering from the deuteron

Measuring Compton scattered photons and recoil neutrons in coincidence, quasi-free Compton scattering by the neutron has been investigated at MAMI (Mainz) at $theta^{lab}_\gamma=136^o$ in an energy range from 200 to 400 MeV. From the data a polarizability difference of $\alpha_n - \beta_n = 9.8 \pm 3.6(stat)^{+2.1}_{-1.1}(syst)\pm 2.2(model)$ in units of $10^{-4}fm^3$ has been determined. In combination with the polarizability sum $\alpha_n+\beta_n= 15.2\pm 0.5$ deduced from photo absorption data, the neutron electric and magnetic polarizabilities, $\alpha_n=12.5\pm 1.8(stat)^{+1.1}_{-0.6}(syst)\pm 1.1(model)$ and $\beta_n = 2.7\mp 1.8(stat)^{+0.6}_{-1.1}(syst)\mp 1.1(model)$, are obtained

A fast Monte Carlo algorithm for site or bond percolation

We describe in detail a new and highly efficient algorithm for studying site or bond percolation on any lattice. The algorithm can measure an observable quantity in a percolation system for all values of the site or bond occupation probability from zero to one in an amount of time which scales linearly with the size of the system. We demonstrate our algorithm by using it to investigate a number of issues in percolation theory, including the position of the percolation transition for site percolation on the square lattice, the stretched exponential behavior of spanning probabilities away from the critical point, and the size of the giant component for site percolation on random graphs.Comment: 17 pages, 13 figures. Corrections and some additional material in this version. Accompanying material can be found on the web at http://www.santafe.edu/~mark/percolation

Dispersion relations in real and virtual Compton scattering

A unified presentation is given on the use of dispersion relations in the real and virtual Compton scattering processes off the nucleon. The way in which dispersion relations for Compton scattering amplitudes establish connections between low energy nucleon structure quantities, such as polarizabilities or anomalous magnetic moments, and the nucleon excitation spectrum is reviewed. We discuss various sum rules for forward real and virtual Compton scattering, such as the Gerasimov-Drell-Hearn sum rule and its generalizations, the Burkhardt-Cottingham sum rule, as well as sum rules for forward nucleon polarizabilities, and review their experimental status. Subsequently, we address the general case of real Compton scattering (RCS). Various types of dispersion relations for RCS are presented as tools for extracting nucleon polarizabilities from the RCS data. The information on nucleon polarizabilities gained in this way is reviewed and the nucleon structure information encoded in these quantities is discussed. The dispersion relation formalism is then extended to virtual Compton scattering (VCS). The information on generalized nucleon polarizabilities extracted from recent VCS experiments is described, along with its interpretation in nucleon structure models. As a summary, the physics content of the existing data is discussed and some perspectives for future theoretical and experimental activities in this field are presented.Comment: 120 pages, 42 figures, to appear in Phys. Re

Vector meson production and nucleon resonance analysis in a coupled-channel approach for energies m_N < sqrt(s) < 2 GeV II: photon-induced results

We present a nucleon resonance analysis by simultaneously considering all pion- and photon-induced experimental data on the final states gamma N, pi N, 2 pi N, eta N, K Lambda, K Sigma, and omega N for energies from the nucleon mass up to sqrt(s) = 2 GeV. In this analysis we find strong evidence for the resonances P_{31}(1750), P_{13}(1900), P_{33}(1920), and D_{13}(1950). The omega N production mechanism is dominated by large P_{11}(1710) and P_{13}(1900) contributions. In this second part we present the results on the photoproduction reactions and the electromagnetic properties of the resonances. The inclusion of all important final states up to sqrt(s) = 2 GeV allows for estimates on the importance of the individual states for the GDH sum rule.Comment: 41 pages, 26 figures, discussion extended, typos corrected, references updated, to appear in Phys. Rev.