1,257 research outputs found
Insecurity for compact surfaces of positive genus
A pair of points in a riemannian manifold is secure if the geodesics
between the points can be blocked by a finite number of point obstacles;
otherwise the pair of points is insecure. A manifold is secure if all pairs of
points in are secure. A manifold is insecure if there exists an insecure
point pair, and totally insecure if all point pairs are insecure.
Compact, flat manifolds are secure. A standing conjecture says that these are
the only secure, compact riemannian manifolds. We prove this for surfaces of
genus greater than zero. We also prove that a closed surface of genus greater
than one with any riemannian metric and a closed surface of genus one with
generic metric are totally insecure.Comment: 37 pages, 11 figure
Aerodynamic and acoustic behavior of a YF-12 inlet at static conditions
An aeroacoustic test program to determine the cause of YF-12 inlet noise suppression was performed with a YF-12 aircraft at ground static conditions. Data obtained over a wide range of engine speeds and inlet configurations are reported. Acoustic measurements were made in the far field and aerodynamic and acoustic measurements were made inside the inlet. The J-58 test engine was removed from the aircraft and tested separately with a bellmouth inlet. The far field noise level was significantly lower for the YF-12 inlet than for the bellmouth inlet at engine speeds above 5500 rpm. There was no evidence that noise suppression was caused by flow choking. Multiple pure tones were reduced and the spectral peak near the blade passing frequency disappeared in the region of the spike support struts at engine speeds between 6000 and 6600 rpm
Convex domains of Finsler and Riemannian manifolds
A detailed study of the notions of convexity for a hypersurface in a Finsler
manifold is carried out. In particular, the infinitesimal and local notions of
convexity are shown to be equivalent. Our approach differs from Bishop's one in
his classical result (Bishop, Indiana Univ Math J 24:169-172, 1974) for the
Riemannian case. Ours not only can be extended to the Finsler setting but it
also reduces the typical requirements of differentiability for the metric and
it yields consequences on the multiplicity of connecting geodesics in the
convex domain defined by the hypersurface.Comment: 22 pages, AMSLaTex. Typos corrected, references update
Magnetoplasmon excitations in an array of periodically modulated quantum wires
Motivated by the recent experiment of Hochgraefe et al., we have investigated
the magnetoplasmon excitations in a periodic array of quantum wires with a
periodic modulation along the wire direction. The equilibrium and dynamic
properties of the system are treated self-consistently within the
Thomas-Fermi-Dirac-von Weizsaecker approximation. A calculation of the
dynamical response of the system to a far-infrared radiation field reveals a
resonant anticrossing between the Kohn mode and a finite-wavevector
longitudinal excitation which is induced by the density modulation along the
wires. Our theoretical calculations are found to be in excellent agreement with
experiment.Comment: 9 pages, 8 figure
On recurrence and ergodicity for geodesic flows on noncompact periodic polygonal surfaces
We study the recurrence and ergodicity for the billiard on noncompact
polygonal surfaces with a free, cocompact action of or . In the
-periodic case, we establish criteria for recurrence. In the more difficult
-periodic case, we establish some general results. For a particular
family of -periodic polygonal surfaces, known in the physics literature
as the wind-tree model, assuming certain restrictions of geometric nature, we
obtain the ergodic decomposition of directional billiard dynamics for a dense,
countable set of directions. This is a consequence of our results on the
ergodicity of \ZZ-valued cocycles over irrational rotations.Comment: 48 pages, 12 figure
Weak KAM for commuting Hamiltonians
For two commuting Tonelli Hamiltonians, we recover the commutation of the
Lax-Oleinik semi-groups, a result of Barles and Tourin ([BT01]), using a direct
geometrical method (Stoke's theorem). We also obtain a "generalization" of a
theorem of Maderna ([Mad02]). More precisely, we prove that if the phase space
is the cotangent of a compact manifold then the weak KAM solutions (or
viscosity solutions of the critical stationary Hamilton-Jacobi equation) for G
and for H are the same. As a corrolary we obtain the equality of the Aubry
sets, of the Peierls barrier and of flat parts of Mather's functions.
This is also related to works of Sorrentino ([Sor09]) and Bernard ([Ber07b]).Comment: 23 pages, accepted for publication in NonLinearity (january 29th
2010). Minor corrections, fifth part added on Mather's function (or
effective Hamiltonian
Local boron doping quantification in homoepitaxial diamond structures
The capability of transmission electronmicroscopy (TEM) using the high angle annular dark fieldmode (HAADF,also labelled Z-contrast) to quantify boron concentration, in the high doping range between 1019cm−3 and 1021cm−3, is demonstrated. Thanks to the large relative variation of atomic number Z between carbon and boron, doping concentration maps and profiles are obtained with a nanometer-scale resolution. A novel numerical simulation procedure allows the boron concentration quantification and demonstrates the high sensitivity and
spatial resolution of the technique.4 page
ELFbac: Using the Loader Format for Intent-Level Semantics and Fine-Grained Protection
Adversaries get software to do bad things by rewriting memory and changing control flow. Current approaches to protecting against these attacks leave many exposures; for example, OS-level filesystem protection and OS/architecture support of the userspace/kernelspace distinction fail to protect corrupted userspace code from changing userspace data. In this paper we present a new approach: using the ELF/ABI sections already produced by the standard binary toolchain to define, specify, and enforce fine-grained policy within an application\u27s address space. We experimentally show that enforcement of such policies would stop a large body of current attacks and discuss ways we could extend existing architecture to more efficiently provide such enforcement. Our approach is designed to work with existing ELF executables and the GNU build chain, but it can be extended into the compiler toolchains to support code annotations that take advantage of ELFbac enforcement-while maintaining full compatibility with the existing ELF ABI
Sonic Boom Computations for a Mach 1.6 Cruise Low Boom Configuration and Comparisons with Wind Tunnel Data
Accurate analysis of sonic boom pressure signatures using computational fluid dynamics techniques remains quite challenging. Although CFD shows accurate predictions of flow around complex configurations, generating grids that can resolve the sonic boom signature far away from the body is a challenge. The test case chosen for this study corresponds to an experimental wind-tunnel test that was conducted to measure the sonic boom pressure signature of a low boom configuration designed by Gulfstream Aerospace Corporation. Two widely used NASA codes, USM3D and AERO, are examined for their ability to accurately capture sonic boom signature. Numerical simulations are conducted for a free-stream Mach number of 1.6, angle of attack of 0.3 and Reynolds number of 3.85x10(exp 6) based on model reference length. Flow around the low boom configuration in free air and inside the Langley Unitary plan wind tunnel are computed. Results from the numerical simulations are compared with wind tunnel data. The effects of viscous and turbulence modeling along with tunnel walls on the computed sonic boom signature are presented and discussed
- …