Evidence for the existence of new processes at energies above 2 times 10 11 eV

Cosmic ray flux measurements using calorimeter

Testing Linear-Invariant Non-Linear Properties

We consider the task of testing properties of Boolean functions that are invariant under linear transformations of the Boolean cube. Previous work in property testing, including the linearity test and the test for Reed-Muller codes, has mostly focused on such tasks for linear properties. The one exception is a test due to Green for "triangle freeness": a function f:\cube^{n}\to\cube satisfies this property if $f(x),f(y),f(x+y)$ do not all equal 1, for any pair x,y\in\cube^{n}. Here we extend this test to a more systematic study of testing for linear-invariant non-linear properties. We consider properties that are described by a single forbidden pattern (and its linear transformations), i.e., a property is given by $k$ points v_{1},...,v_{k}\in\cube^{k} and f:\cube^{n}\to\cube satisfies the property that if for all linear maps L:\cube^{k}\to\cube^{n} it is the case that $f(L(v_{1})),...,f(L(v_{k}))$ do not all equal 1. We show that this property is testable if the underlying matroid specified by $v_{1},...,v_{k}$ is a graphic matroid. This extends Green's result to an infinite class of new properties. Our techniques extend those of Green and in particular we establish a link between the notion of "1-complexity linear systems" of Green and Tao, and graphic matroids, to derive the results.Comment: This is the full version; conference version appeared in the proceedings of STACS 200

The O(3P) and N(4S) density measurement at 225 km by ultraviolet absorption and fluorescence in the Apollo-Soyuz test project

The densities of O(3P) and N(4S) at 225 km were determined during the Apollo Soyuz Test Project by a resonance absorption/fluorescence technique in which OI and NI line radiation produced and collimated on board the Apollo was reflected from the Soyuz back to the Apollo for spectral analysis. The two spacecraft maneuvered so that a range of observation angles of plus or minus 15 deg with respect to the normal to the orbital velocity vector was scanned. The measurements were made at night on two consecutive orbits at spacecraft separations of 150 and 500 m. The resulting relative counting rates as function of observation angle were compared to calculated values to determine the oxygen value. This value agrees with mass spectrometric measurements made under similar conditions. The nitrogen value is in good agreement with other measurements and suggests a smaller diurnal variation than is predicted by present models

Potts-Percolation-Gauss Model of a Solid

We study a statistical mechanics model of a solid. Neighboring atoms are connected by Hookian springs. If the energy is larger than a threshold the "spring" is more likely to fail, while if the energy is lower than the threshold the spring is more likely to be alive. The phase diagram and thermodynamic quantities, such as free energy, numbers of bonds and clusters, and their fluctuations, are determined using renormalization-group and Monte-Carlo techniques.Comment: 10 pages, 12 figure

Performance optimization for rotors in hover and axial flight

Performance optimization for rotors in hover and axial flight is a topic of continuing importance to rotorcraft designers. The aim of this Phase 1 effort has been to demonstrate that a linear optimization algorithm could be coupled to an existing influence coefficient hover performance code. This code, dubbed EHPIC (Evaluation of Hover Performance using Influence Coefficients), uses a quasi-linear wake relaxation to solve for the rotor performance. The coupling was accomplished by expanding of the matrix of linearized influence coefficients in EHPIC to accommodate design variables and deriving new coefficients for linearized equations governing perturbations in power and thrust. These coefficients formed the input to a linear optimization analysis, which used the flow tangency conditions on the blade and in the wake to impose equality constraints on the expanded system of equations; user-specified inequality contraints were also employed to bound the changes in the design. It was found that this locally linearized analysis could be invoked to predict a design change that would produce a reduction in the power required by the rotor at constant thrust. Thus, an efficient search for improved versions of the baseline design can be carried out while retaining the accuracy inherent in a free wake/lifting surface performance analysis

Ultraviolet absorption: Experiment MA-059

A technique devised to permit the measurement of atmospheric species concentrations is described. This technique involves the application of atomic absorption spectroscopy and the quantitative observation of resonance fluorescence in which atomic or molecular species scatter resonance radiation from a light source into a detector. A beam of atomic oxygen and atomic nitrogen resonance radiation, strong unabsorbable oxygen and nitrogen radiation, and visual radiation was sent from Apollo to Soyuz. The density of atomic oxygen and atomic nitrogen between the two spacecraft was measured by observing the amount of resonance radiation absorbed when the line joining Apollo and Soyuz was perpendicular to their velocity with respect to the ambient atmosphere. Results of postflight analysis of the resonance fluorescence data are discussed

Succinct Representation of Codes with Applications to Testing

Motivated by questions in property testing, we search for linear error-correcting codes that have the "single local orbit" property: i.e., they are specified by a single local constraint and its translations under the symmetry group of the code. We show that the dual of every "sparse" binary code whose coordinates are indexed by elements of F_{2^n} for prime n, and whose symmetry group includes the group of non-singular affine transformations of F_{2^n} has the single local orbit property. (A code is said to be "sparse" if it contains polynomially many codewords in its block length.) In particular this class includes the dual-BCH codes for whose duals (i.e., for BCH codes) simple bases were not known. Our result gives the first short (O(n)-bit, as opposed to the natural exp(n)-bit) description of a low-weight basis for BCH codes. The interest in the "single local orbit" property comes from the recent result of Kaufman and Sudan (STOC 2008) that shows that the duals of codes that have the single local orbit property under the affine symmetry group are locally testable. When combined with our main result, this shows that all sparse affine-invariant codes over the coordinates F_{2^n} for prime n are locally testable. If, in addition to n being prime, if 2^n-1 is also prime (i.e., 2^n-1 is a Mersenne prime), then we get that every sparse cyclic code also has the single local orbit. In particular this implies that BCH codes of Mersenne prime length are generated by a single low-weight codeword and its cyclic shifts

Global Management Effectiveness Study: Integrated Social and Ecological Report for Non-node and Node Sites

The purpose of this study is to provide a critical assessment of the implementation, impact, and performance of Marine Managed Area (MMA) projects to serve as a basis for improved planning and implementation of new MMA projects worldwide. The specific objectives of the study are (1) to determine the socioeconomic, governance and ecological effects of MMAs; (2) to determine the critical factors influencing MMA effects, as well as the impact of the timing of those factors on the effects of the MMA; and (3) to provide tools for predicting MMA effects based on ecological, socioeconomic and governance variable

Cross Linking and Degradation Mechanisms in Model Sealant Candidates

Model compounds were investigated as to which type of heterocyclic ring is the most advantageous for curing sealants based on perfluoroalkylether chains. The relative thermal, thermal oxidative, hydrolytic, and fuel stability of potential crosslinks were determined. Specifically substituted materials were synthesized and evaluation of their stabilities in air, inert atmosphere, water, and Jet-A fuel at 235 and 325 C was made. Three heterocyclic ring systems were considered, namely, triazine, 1,2,4- and 1,3,4-oxadiazoles