Propulsion simulator for magnetically-suspended wind tunnel models

The objective of phase two of a current investigation sponsored by NASA Langley Research Center is to demonstrate the measurement of aerodynamic forces/moments, including the effects of exhaust gases, in magnetic suspension and balance system (MSBS) wind tunnels. Two propulsion simulator models are being developed: a small-scale and a large-scale unit, both employing compressed, liquified carbon dioxide as propellant. The small-scale unit was designed, fabricated, and statically-tested at Physical Sciences Inc. (PSI). The large-scale simulator is currently in the preliminary design stage. The small-scale simulator design/development is presented, and the data from its static firing on a thrust stand are discussed. The analysis of this data provides important information for the design of the large-scale unit. A description of the preliminary design of the device is also presented

A formal soundness proof of region-based memory management for object-oriented paradigm.

Region-based memory management has been proposed as a viable alternative to garbage collection for real-time applications and embedded software. In our previous work we have developed a region type inference algorithm that provides an automatic compile-time region-based memory management for object-oriented paradigm. In this work we present a formal soundness proof of the region type system that is the target of our region inference. More precisely, we prove that the object-oriented programs accepted by our region type system achieve region-based memory management in a safe way. That means, the regions follow a stack-of-regions discipline and regions deallocation never create dangling references in the store and on the program stack. Our contribution is to provide a simple syntactic proof that is based on induction and follows the standard steps of a type safety proof. In contrast the previous safety proofs provided for other region type systems employ quite elaborate techniques

On a conjecture for ℓ\ell-torsion in class groups of number fields: from the perspective of moments

It is conjectured that within the class group of any number field, for every integer $\ell \geq 1$, the $\ell$-torsion subgroup is very small (in an appropriate sense, relative to the discriminant of the field). In nearly all settings, the full strength of this conjecture remains open, and even partial progress is limited. Significant recent progress toward average versions of the $\ell$-torsion conjecture has crucially relied on counts for number fields, raising interest in how these two types of question relate. In this paper we make explicit the quantitative relationships between the $\ell$-torsion conjecture and other well-known conjectures: the Cohen-Lenstra heuristics, counts for number fields of fixed discriminant, counts for number fields of bounded discriminant (or related invariants), and counts for elliptic curves with fixed conductor. All of these considerations reinforce that we expect the $\ell$-torsion conjecture is true, despite limited progress toward it. Our perspective focuses on the relation between pointwise bounds, averages, and higher moments, and demonstrates the broad utility of the "method of moments.

Spin Current and Shot Noise in Single-Molecule Quantum Dots with a Phonon Mode

In this paper we investigate the spin-current and its shot-noise spectrum in a single-molecule quantum dot coupled with a local phonon mode. We pay special attention on the effect of phonon on the quantum transport property. The spin-polarization dependent current is generated by a rotating magnetic filed applied in the quantum dot. Our results show the remarkable influence of phonon mode on the zero-frequency shot noise. The electron-phonon interaction leads to sideband peaks which are located exactly on the integer number of the phonon frequency and moreover the peak-height is sensitive to the electron-phonon coupling.Comment: 17 pages,5 figure

Steady-state activation and modulation of the synaptic-type α1β2γ2L GABAA receptor by combinations of physiological and clinical ligands

The synaptic α1β2γ2 GAB

Uncertainty quantification for random fields estimated from effective moduli of elasticity

The stochastic finite element method is a useful tool to calculate the response of systems subject to uncertain parameters and has been applied extensively to analyse structures composed of randomly heterogeneous materials. The methodology to estimate the parameters of the random field underlying a stochastic finite element model often utilises the midpoint approximation wherein material properties that are measured over a sample volume are treated as point observations of the random field at the centroid of the sample volume. This paper investigates the error induced by this approximation for the case of effective moduli of elasticity resulting from tensile loading as well as 3 and 4-point bending. A computer experiment has been performed consisting of the generation of synthetic stiffness profiles from a lognormal stochastic process, the calculation of effective properties as weighted harmonic averages and the estimation of random field parameters through the method of moments. The uncertainty in the parameter estimates is quantified and a recommendation is made as to which bending test is superior for obtaining random field parameter estimates with reference to the statistics of the base process and the tensile loading condition

A descriptive analysis of a five-county attitude study: outdoor recreation and industrialization

Exact date of working paper unknown