Design and analysis report for the RL10-2B breadboard low thrust engine

The breadboard low thrust RL10-2B engine is described. A summary of the analysis and design effort to define the multimode thrust concept applicable to the requirements for the upper stage vehicles is provided. Baseline requirements were established for operation of the RL10-2B engine under the following conditions: (1) tank head idle at low propellant tank pressures without vehicle propellant conditioning or settling thrust; (2) pumped idle at a ten percent thrust level for low G deployment and/or vehicle tank pressurization; and (3) full thrust (15,000 lb.). Several variations of the engine configuration were investigated and results of the analyses are included

Compton Scattering by the Proton using a Large-Acceptance Arrangement

Compton scattering by the proton has been measured using the tagged-photon facility at MAMI (Mainz) and the large-acceptance arrangement LARA. The new data are interpreted in terms of dispersion theory based on the SAID-SM99K parameterization of photo-meson amplitudes. It is found that two-pion exchange in the t-channel is needed for a description of the data in the second resonance region. The data are well represented if this channel is modeled by a single pole with mass parameter m(sigma)=600 MeV. The asymptotic part of the spin dependent amplitude is found to be well represented by pi-0-exchange in the t-channel. A backward spin-polarizability of gamma(pi)=(-37.1+-0.6(stat+syst)+-3.0(model))x10^{-4}fm^4 has been determined from data of the first resonance region below 455 MeV. This value is in a good agreement with predictions of dispersion relations and chiral pertubation theory. From a subset of data between 280 and 360 MeV the resonance pion-photoproduction amplitudes were evaluated leading to a E2/M1 multipole ratio of the p-to-Delta radiative transition of EMR(340 MeV)=(-1.7+-0.4(stat+syst)+-0.2(model))%. It was found that this number is dependent on the parameterization of photo-meson amplitudes. With the MAID2K parameterization an E2/M1 multipole ratio of EMR(340 MeV)=(-2.0+-0.4(stat+syst)+-0.2(model))% is obtained

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

Dispersion Effects in Nucleon Polarisabilities

We present a formalism to extract the dynamical nucleon polarisabilities defined via a multipole expansion of the structure amplitudes in nucleon Compton scattering. In contradistinction to the static polarisabilities, dynamical polarisabilities gauge the response of the internal degrees of freedom of a composed object to an external, real photon field of arbitrary energy. Being energy dependent, they therefore contain additional information about dispersive effects induced by internal relaxation mechanisms, baryonic resonances and meson production thresholds of the nucleon. We give explicit formulae to extract the dynamical electric and magnetic dipole as well as quadrupole polarisabilities from low energy nucleon Compton scattering up to the one pion production threshold and discuss the connection to the definition of static nucleon polarisabilities. As a concrete example, we examine the results of leading order Heavy Baryon Chiral Perturbation Theory for the four leading spin independent iso-scalar polarisabilities of the nucleon. Finally, we consider the possible r{\^o}le of energy dependent effects in low energy extractions of the iso-scalar dipole polarisabilities from Compton scattering on the deuteron.Comment: 17 pages LaTeX2e with 2 figures, using includegraphicx (5 .eps files). Minor corrections, references updated. Contents identical to version to appear in Phys. Rev. C 65, spelling differen

Effective field theory and scalar extensions of the top quark sector

Effective field theory (EFT) approaches are widely used at the Large Hadron Collider (LHC), such that it is important to study their validity and ease of matching to specific new physics models. In this paper, we consider an extension of the Standard Model (SM) in which a top quark couples to a new heavy scalar. We find the dimension six operators generated by this theory at low energy and match the EFT to the full theory up to the next-to-leading order (NLO) precision in the simplified model coupling. We then examine the range of validity of the EFT description in top pair production, finding excellent validity even if the scalar mass is only slightly above LHC energies, provided NLO corrections are included. In the absence of the latter, the LO EFT overestimates kinematic distributions, such that overoptimistic constraints on beyond the Standard Model (BSM) contributions are obtained. We next examine the constraints on the EFT and full models that are expected to be obtained from both top pair and four top production at the LHC, finding for low scalar masses that both processes show similar exclusion power. However, for larger masses, estimated LHC uncertainties push constraints into the nonperturbative regime, where the full model is difficult to analyze, and thus is not perturbatively matchable to the EFT. This highlights the necessity to improve uncertainties of SM hypotheses in top final states

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

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.

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

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

ANALYSIS OF THE AERIAL AND LANDING PHASES OF THE GRAND JETE

The purpose of this study was to quantify the ground reaction forces, moments of forces and moment powers during the landing from the ballet jump called the grand jete. In addition, the flight phase was examined to determine whether the illusion of linear motion occurred. Laws (2002) has stated that it is possible for dancers to give the illusion of "floating" or traveling linearly rather than parabolically during the flight phase of a grand jete by raising the arms and/or the legs at an appropriate speed