A study of the temporal changes recorded by ERTS and their geological significance

The temporal changes that are recorded by ERTS were evaluated for an area around Bathurst Inlet in the North West Territories. The seasons represented by the images included: early winter, spring, early summer, summer, and fall. Numerous surface characteristics (vegetation, drainage patterns, surface texture, lineament systems and topographic relief, etc.) were used to relate the change in observable features with the different seasons. It was found that the time of year when an observation is made has a strong control over the amount and type of information that can be derived by an experienced interpreter. It was concluded that a detailed study of temporal changes is an important part of any ERTS interpretation for geology

Fatigue testing a plurality of test specimens and method

Described is a fatigue testing apparatus for simultaneously subjecting a plurality of material test specimens to cyclical tension loading to determine the fatigue strength of the material. The fatigue testing apparatus includes a pulling head having cylinders defined therein which carry reciprocating pistons. The reciprocation of the pistons is determined by cyclical supplies of pressurized fluid to the cylinders. Piston rods extend from the pistons through the pulling head and are attachable to one end of the test specimens, the other end of the test specimens being attachable to a fixed base, causing test specimens attached between the piston rods and the base to be subjected to cyclical tension loading. Because all the cylinders share a common pressurized fluid supply, the breaking of a test specimen does not substantially affect the pressure of the fluid supplied to the other cylinders nor the tension applied to the other test specimens

Effect of aerobic capacity on Lower Body Negative Pressure (LBNP) tolerance in females

This investigation determined whether a relationship exists in females between: (1) aerobic capacity and Lower Body Negative Pressure (LBNP); and (2) aerobic capacity and change in LBNP tolerance induced by bed rest. Nine females, age 27-47 (34.6 plus or minus 6.0 (Mean plus or minus SD)), completed a treadmill-graded exercise test to establish aerobic capacity. A presyncopal-limited LBNP test was performed prior to and after 13 days of bed rest at a 6 deg head-down tilt. LBNP tolerance was quantified as: (1) the absolute level of negative pressure (NP) tolerated for greater than or equal to 60 sec; and (2) Luft's Cumulative Stress Index (CSI). Aerobic capacity was 33.3 plus or minus 5.0 mL/kg/min and ranged from 25.7 to 38.7. Bed rest was associated with a decrease in NP tolerance (-9.04 1.6 kPa(-67.8 plus or minus 12.0 mmHg) versus -7.7 1.1 kPa(-57.8 plus or minus 8.33 mmHg); p = 0.028) and in CSI (99.4 27.4 kPa min(745.7 plus or minus 205.4 mmHg min) versus 77.0 16.9 kPa min (577.3 plus or minus mmHg min); p = 0.008). The correlation between aerobic capacity and absolute NP or CSI pre-bed rest did not differ significantly from zero (r = -0.56, p = 0.11 for NP; and r = -0.52, p = 0.16 for CSI). Also, no significant correlation was observed between aerobic and pre- to post-rest change for absolute NP tolerance (r = -0.35, p = 0.35) or CSI (r = -0.32, p = 0.40). Therefore, a significant relationship does not exist between aerobic capacity and orthostatic function or change in orthostatic function induced by bed rest

Landau-Pomeranchuk-Migdal resummation for dilepton production

We consider the thermal emission rate of dileptons from a QCD plasma in the small invariant mass (Q^2 \sim \gs^2 T^2) but large energy (q^0 \gsim T) range. We derive an integral equation which resums multiple scatterings to include the LPM effect; it is valid at leading order in the coupling. Then we recast it as a differential equation and show a simple algorithm for its solution. We present results for dilepton rates at phenomenologically interesting energies and invariant masses.Comment: 19 pages, 7 postscript figures, test program available at http://www-spht.cea.fr/articles/T02/150/libLPM

Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests

We first propose algorithms for checking language equivalence of finite automata over a large alphabet. We use symbolic automata, where the transition function is compactly represented using a (multi-terminal) binary decision diagrams (BDD). The key idea consists in computing a bisimulation by exploring reachable pairs symbolically, so as to avoid redundancies. This idea can be combined with already existing optimisations, and we show in particular a nice integration with the disjoint sets forest data-structure from Hopcroft and Karp's standard algorithm. Then we consider Kleene algebra with tests (KAT), an algebraic theory that can be used for verification in various domains ranging from compiler optimisation to network programming analysis. This theory is decidable by reduction to language equivalence of automata on guarded strings, a particular kind of automata that have exponentially large alphabets. We propose several methods allowing to construct symbolic automata out of KAT expressions, based either on Brzozowski's derivatives or standard automata constructions. All in all, this results in efficient algorithms for deciding equivalence of KAT expressions

The Grow-Shrink strategy for learning Markov network structures constrained by context-specific independences

Markov networks are models for compactly representing complex probability distributions. They are composed by a structure and a set of numerical weights. The structure qualitatively describes independences in the distribution, which can be exploited to factorize the distribution into a set of compact functions. A key application for learning structures from data is to automatically discover knowledge. In practice, structure learning algorithms focused on "knowledge discovery" present a limitation: they use a coarse-grained representation of the structure. As a result, this representation cannot describe context-specific independences. Very recently, an algorithm called CSPC was designed to overcome this limitation, but it has a high computational complexity. This work tries to mitigate this downside presenting CSGS, an algorithm that uses the Grow-Shrink strategy for reducing unnecessary computations. On an empirical evaluation, the structures learned by CSGS achieve competitive accuracies and lower computational complexity with respect to those obtained by CSPC.Comment: 12 pages, and 8 figures. This works was presented in IBERAMIA 201

Evaluation of noninvasive cardiac output methods during exercise

Noninvasive techniques to estimate cardiac output (Qc) will be used during future space flight. This retrospective literature survey compared the Qc techniques of carbon dioxide rebreathing (CO2-R), CO2 single breath (CO2-S), Doppler (DOP), impedance (IM), and inert gas (IG: acetylene or nitrous oxide) to direct (DIR) assessments measured at rest and during exercise

Improving measurements of SF6 for the study of atmospheric transport and emissions

Sulfur hexafluoride (SF6) is a potent greenhouse gas and useful atmospheric tracer. Measurements of SF6 on global and regional scales are necessary to estimate emissions and to verify or examine the performance of atmospheric transport models. Typical precision for common gas chromatographic methods with electron capture detection (GC-ECD) is 1–2%. We have modified a common GC-ECD method to achieve measurement precision of 0.5% or better. Global mean SF6 measurements were used to examine changes in the growth rate of SF6 and corresponding SF6 emissions. Global emissions and mixing ratios from 2000–2008 are consistent with recently published work. More recent observations show a 10% decline in SF6 emissions in 2008–2009, which seems to coincide with a decrease in world economic output. This decline was short-lived, as the global SF6 growth rate has recently increased to near its 2007–2008 maximum value of 0.30±0.03 pmol mol−1 (ppt) yr−1 (95% C.L.)

Nondestructive testing techniques used in analysis of honeycomb structure bond strength

DOT /Driver-Displacement Oriented Transducer/, applicable to both lap shear type application and honeycomb sandwich structures, measures the displacement of the honeycomb composite face sheet. It incorporates an electromagnetic driver and a displacement measuring system into a single unit to provide noncontact bond strength measurements

Detailed flow surveys of turning vanes designed for a 0.1-scale model of NASA Lewis Research Center's proposed altitude wind tunnel

Detailed flow surveys downstream of the corner turning vanes and downstream of the fan inlet guide vanes have been obtained in a 0.1-scale model of the NASA Lewis Research Center's proposed Altitude Wind Tunnel. Two turning vane designs were evaluated in both corners 1 and 2 (the corners between the test section and the drive fan). Vane A was a controlled-diffusion airfoil and vane B was a circular-arc airfoil. At given flows the turning vane wakes were surveyed to determine the vane pressure losses. For both corners the vane A turning vane configuration gave lower losses than the vane B configuration in the regions where the flow regime should be representative of two-dimensional flow. For both vane sets the vane loss coefficient increased rapidly near the walls