Computer program MCAP provides for steady state thermal and flow analysis of multiple parallel channels in heat generating solid

Computer program /MCAP/ calculates the temperature distribution in a heat generating solid complicated by nonuniform power and flow distributions between multiple channels. It determines the channel diameters coefficients, the effects of tolerences, the pressure drop at a given flowrate, or the flowrate for a specific pressure drop

Averages and moments associated to class numbers of imaginary quadratic fields

For any odd prime $\ell$, let $h_\ell(-d)$ denote the $\ell$-part of the class number of the imaginary quadratic field $\mathbb{Q}(\sqrt{-d})$. Nontrivial pointwise upper bounds are known only for $\ell =3$; nontrivial upper bounds for averages of $h_\ell(-d)$ have previously been known only for $\ell =3,5$. In this paper we prove nontrivial upper bounds for the average of $h_\ell(-d)$ for all primes $\ell \geq 7$, as well as nontrivial upper bounds for certain higher moments for all primes $\ell \geq 3$.Comment: 26 pages; minor edits to exposition and notation, to agree with published versio

Simultaneous Integer Values of Pairs of Quadratic Forms

We prove that a pair of integral quadratic forms in 5 or more variables will simultaneously represent "almost all" pairs of integers that satisfy the necessary local conditions, provided that the forms satisfy a suitable nonsingularity condition. In particular such forms simultaneously attain prime values if the obvious local conditions hold. The proof uses the circle method, and in particular pioneers a two-dimensional version of a Kloosterman refinement.Comment: 63 page

An effective Chebotarev density theorem for families of number fields, with an application to ℓ\ell-torsion in class groups

We prove a new effective Chebotarev density theorem for Galois extensions $L/\mathbb{Q}$ that allows one to count small primes (even as small as an arbitrarily small power of the discriminant of $L$); this theorem holds for the Galois closures of "almost all" number fields that lie in an appropriate family of field extensions. Previously, applying Chebotarev in such small ranges required assuming the Generalized Riemann Hypothesis. The error term in this new Chebotarev density theorem also avoids the effect of an exceptional zero of the Dedekind zeta function of $L$, without assuming GRH. We give many different "appropriate families," including families of arbitrarily large degree. To do this, we first prove a new effective Chebotarev density theorem that requires a zero-free region of the Dedekind zeta function. Then we prove that almost all number fields in our families yield such a zero-free region. The innovation that allows us to achieve this is a delicate new method for controlling zeroes of certain families of non-cuspidal $L$-functions. This builds on, and greatly generalizes the applicability of, work of Kowalski and Michel on the average density of zeroes of a family of cuspidal $L$-functions. A surprising feature of this new method, which we expect will have independent interest, is that we control the number of zeroes in the family of $L$-functions by bounding the number of certain associated fields with fixed discriminant. As an application of the new Chebotarev density theorem, we prove the first nontrivial upper bounds for $\ell$-torsion in class groups, for all integers $\ell \geq 1$, applicable to infinite families of fields of arbitrarily large degree.Comment: 52 pages. This shorter version aligns with the published paper. Note that portions of Section 8 of the longer v1 have been developed as a separate paper with identifier arXiv:1902.0200

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

Highlights of unsteady pressure tests on a 14 percent supercritical airfoil at high Reynolds number, transonic condition

Steady and unsteady pressures were measured on a 2-D supercritical airfoil in the Langley Research Center 0.3-m Transonic Cryogenic Tunnel at Reynolds numbers from 6 x 1,000,000 to 35 x 1,000,000. The airfoil was oscillated in pitch at amplitudes from plus or minus .25 degrees to plus or minus 1.0 degrees at frequencies from 5 Hz to 60 Hz. The special requirements of testing an unsteady pressure model in a pressurized cryogenic tunnel are discussed. Selected steady measured data are presented and are compared with GRUMFOIL calculations at Reynolds number of 6 x 1,000,000 and 30 x 1,000,000. Experimental unsteady results at Reynolds numbers of 6 x 1,000,000 and 30 x 1,000,000 are examined for Reynolds number effects. Measured unsteady results at two mean angles of attack at a Reynolds number of 30 x 1,000,000 are also examined