Using Helicopter Electromagnetic Surveys to Identify Potential Hazards at Mine Waste Impoundments

In July 2003, helicopter electromagnetic surveys were conducted at 14 coal waste impoundments in southern West Virginia. The purpose of the surveys was to detect conditions that could lead to impoundment failure either by structural failure of the embankment or by the flooding of adjacent or underlying mine works. Specifically, the surveys attempted to: 1) identify saturated zones within the mine waste, 2) delineate filtrate flow paths through the embankment or into adjacent strata and receiving streams, and 3) identify flooded mine workings underlying or adjacent to the waste impoundment. Data from the helicopter surveys were processed to generate conductivity/depth images. Conductivity/depth images were then spatially linked to georeferenced air photos or topographic maps for interpretation. Conductivity/depth images were found to provide a snapshot of the hydrologic conditions that exist within the impoundment. This information can be used to predict potential areas of failure within the embankment because of its ability to image the phreatic zone. Also, the electromagnetic survey can identify areas of unconsolidated slurry in the decant basin and beneath the embankment. Although shallow, flooded mineworks beneath the impoundment were identified by this survey, it cannot be assumed that electromagnetic surveys can detect all underlying mines. A preliminary evaluation of the data implies that helicopter electromagnetic surveys can provide a better understanding of the phreatic zone than the piezometer arrays that are typically used

Instrument manual for the retarding ion mass spectrometer on Dynamics Explorer-1

The retarding ion mass spectrometer (RIMS) for Dynamics Explorer-1 is an instrument designed to measure the details of the thermal plasma distribution. It combines the ion temperature determining capability of the retarding potential analyzer with the compositional capabilities of the mass spectrometer and adds multiple sensor heads to sample all directions relative to the spacecraft ram direction. This manual provides a functional description of the RIMS, the instrument calibration, and a description of the commands which can be stored in the instrument logic to control its operation

The retarding ion mass spectrometer on dynamics Explorer-A

An instrument designed to measure the details of the thermal plasma distribution combines the ion temperature-determining capability of the retarding potential analyzer with the compositional capabilities of the mass spectrometer and adds multiple sensor heads to sample all directions relative to the spacecraft ram directions. The retarding ion mass spectrometer, its operational modes and calibration are described as well as the data reduction plan, and the anticipated results

New Strategies for Finding Abandoned Wells at Proposed Geologic Storage Sites for CO2

Prior to the injection of CO2 into geological formations, either for enhanced oil recovery or for CO2 sequestration, it is necessary to locate wells that perforate the target formation and are within the radius of influence for planned injection wells. Locating and plugging wells is necessary because improperly plugged well bores provide the most rapid route for CO2 escape to the surface. This paper describes the implementation and evaluation of helicopter and ground-based well detection strategies at a 100+ year old oilfield in Wyoming where a CO2 flood is planned. This project was jointly funded by the U.S. Department of Energy’s National Energy Technology Laboratory and Fugro Airborne Surveys

Space capsule Patent

Manned space capsule configuration for orbital flight and atmospheric reentr

Covering Partial Cubes with Zones

A partial cube is a graph having an isometric embedding in a hypercube. Partial cubes are characterized by a natural equivalence relation on the edges, whose classes are called zones. The number of zones determines the minimal dimension of a hypercube in which the graph can be embedded. We consider the problem of covering the vertices of a partial cube with the minimum number of zones. The problem admits several special cases, among which are the problem of covering the cells of a line arrangement with a minimum number of lines, and the problem of finding a minimum-size fibre in a bipartite poset. For several such special cases, we give upper and lower bounds on the minimum size of a covering by zones. We also consider the computational complexity of those problems, and establish some hardness results

The generalized 3-edge-connectivity of lexicographic product graphs

The generalized $k$-edge-connectivity $\lambda_k(G)$ of a graph $G$ is a generalization of the concept of edge-connectivity. The lexicographic product of two graphs $G$ and $H$, denoted by $G\circ H$, is an important graph product. In this paper, we mainly study the generalized 3-edge-connectivity of $G \circ H$, and get upper and lower bounds of $\lambda_3(G \circ H)$. Moreover, all bounds are sharp.Comment: 14 page

Parametric generation of second sound in superfluid helium: linear stability and nonlinear dynamics

We report the experimental studies of a parametric excitation of a second sound (SS) by a first sound (FS) in a superfluid helium in a resonance cavity. The results on several topics in this system are presented: (i) The linear properties of the instability, namely, the threshold, its temperature and geometrical dependencies, and the spectra of SS just above the onset were measured. They were found to be in a good quantitative agreement with the theory. (ii) It was shown that the mechanism of SS amplitude saturation is due to the nonlinear attenuation of SS via three wave interactions between the SS waves. Strong low frequency amplitude fluctuations of SS above the threshold were observed. The spectra of these fluctuations had a universal shape with exponentially decaying tails. Furthermore, the spectral width grew continuously with the FS amplitude. The role of three and four wave interactions are discussed with respect to the nonlinear SS behavior. The first evidence of Gaussian statistics of the wave amplitudes for the parametrically generated wave ensemble was obtained. (iii) The experiments on simultaneous pumping of the FS and independent SS waves revealed new effects. Below the instability threshold, the SS phase conjugation as a result of three-wave interactions between the FS and SS waves was observed. Above the threshold two new effects were found: a giant amplification of the SS wave intensity and strong resonance oscillations of the SS wave amplitude as a function of the FS amplitude. Qualitative explanations of these effects are suggested.Comment: 73 pages, 23 figures. to appear in Phys. Rev. B, July 1 st (2001

Pattern formation in 2-frequency forced parametric waves

We present an experimental investigation of superlattice patterns generated on the surface of a fluid via parametric forcing with 2 commensurate frequencies. The spatio-temporal behavior of 4 qualitatively different types of superlattice patterns is described in detail. These states are generated via a number of different 3--wave resonant interactions. They occur either as symmetry--breaking bifurcations of hexagonal patterns composed of a single unstable mode or via nonlinear interactions between the two primary unstable modes generated by the two forcing frequencies. A coherent picture of these states together with the phase space in which they appear is presented. In addition, we describe a number of new superlattice states generated by 4--wave interactions that arise when symmetry constraints rule out 3--wave resonances.Comment: The paper contains 34 pages and 53 figures and provides an extensive review of both the theoretical and experimental work peformed in this syste

Ramified rectilinear polygons: coordinatization by dendrons

Simple rectilinear polygons (i.e. rectilinear polygons without holes or cutpoints) can be regarded as finite rectangular cell complexes coordinatized by two finite dendrons. The intrinsic $l_1$-metric is thus inherited from the product of the two finite dendrons via an isometric embedding. The rectangular cell complexes that share this same embedding property are called ramified rectilinear polygons. The links of vertices in these cell complexes may be arbitrary bipartite graphs, in contrast to simple rectilinear polygons where the links of points are either 4-cycles or paths of length at most 3. Ramified rectilinear polygons are particular instances of rectangular complexes obtained from cube-free median graphs, or equivalently simply connected rectangular complexes with triangle-free links. The underlying graphs of finite ramified rectilinear polygons can be recognized among graphs in linear time by a Lexicographic Breadth-First-Search. Whereas the symmetry of a simple rectilinear polygon is very restricted (with automorphism group being a subgroup of the dihedral group $D_4$), ramified rectilinear polygons are universal: every finite group is the automorphism group of some ramified rectilinear polygon.Comment: 27 pages, 6 figure