Variable-Selection Heuristics in Local Search for SAT
One of the important components of a local search strategy for satisfiability testing is the variable selection heuristic, which determines the next variable to be flipped.
variable selection↗
SEARCH · Engineering Papers
Results for “Search”
Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.
Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.
Search for Gravitational Wave Trains with the Spacecraft Ulysses
We report on the search for periodic gravitational wave in the mHz band conducted with the spacecraft ULYSSES. Gravitational wave signals generally provide information about the distance of the source; ULYSSES' data have a.
gravitation galaxies: nuclei↗
Search for Gravitational Wave Trains with the Spacecraft ULYSSES
We report on the search for periodic gravitational wave in the mHz band conducted with the spacecraft ULYSSES.
gravitational wave trains↗
Global search for planar and three-dimensional periodic orbits near Europa
A global grid search is performed to find axi= and doubly=symmetric periodic orbits in the Restricted Three Body Problem using the dimensioned parameters associated with the Jupiter-Europa system.
stability↗
Global search for planar and three-dimensional periodic orbits near Europa
A global grid search is performed to find simply- and doubly-symmetric periodic orbits in the Restricted Three Body Problem using the dimensioned parameters associated with the Jupiter-Europa system.
Europa↗
Search for general relativistic effects in table-top displacement metrology
As displacement metrology accuracy improves, general relativistic effects will become noticeable. Metrology gauges developed for the Space Interferometry Mission were used to search for locally anisotropic space-time, with a null result at the 10 to the negative tenth power level.
displacement metrology↗
Search for general relativistic effects in table-top displacement metrology
As displacement metrology accuracy improves, general relativistic effects will become noticeable. Metrology gauges developed for the Space Interferometry Mission, were used to search for locally anisotropic space-time, with a null result at the 10 to the negative 10th power level.
displacement metrology↗
A Search for the X-ray Counterpart of the Unidentified Gamma-ray Source 3EG J2020+4017 (2CG078+2)
We report observations with the Chandra X-ray Observatory of a field in the gamma-Cygni supernova remnant (SNR78.2+2.1) centered on the cataloged location of the unidentified, bright gamma-ray source 3EG J2020+4017. In this search for an X-ray counterpart to the gamma-ray source, we detected 30 X-ray sources. Of these, we found 17 strong-candidate counterparts in optical (visible through near-infrared) cataloged and an additional 3 through our optical observations. Based upon colors and (for several objects) optical spectra, nearly all the optically identified objects appear to be reddened main-sequence stars: None of the X-ray sources with an optical counterpart is a plausible X-ray counterpart to 3EG J2020+4017-if that gamma-ray source is a spin-powered pulsar. Many of the 10 X-ray sources lacking optical counterparts are likely (extragalactic) active galactic nuclei, based upon the sky density of such sources. Although one of the 10 optically unidentified X-ray sources could be the gamma-ray source, there is no auxiliary evidence supporting such an identification
Weisskopf, Martin↗
Final Results from the BIMA CMB Anisotropy Survey and Search for Signature of the SZ Effect
We report the final results of our study of the cosmic microwave background (CMB) with the BIMA array. Over 1000 hours of observation were dedicated to this project exploring CMB anisotropy on scales between 1' and 2' in eighteen 6'.6 FWHM fields. In the analysis of the CMB power spectrum, the visibility data is divided into two bins corresponding to different angular scales. Modeling the observed excess power as a flat band of average multipole l(sub eff)= 5237, we find deltaT(sup 2)(sub 1) = 220(sup +140)(sub -120) mu K(sup 2) at 68% confidence and deltaT(sup 2)(sub 1) greater than 0 muK(sup 2) with 94.7% confidence. In a second band with average multipole of l(sub eff) = 8748, we find deltaT(sup 2)(sub 2) consistent with zero, and an upper limit 880 muK(sup 2) at 95% confidence. An extensive series of tests and supplemental observations with the VLA provide strong evidence against systematic errors or radio point sources being the source of the observed excess power. The dominant source of anisotropy on these scales is expected to arise from the Sunyaev-Zel'dovich (SZ) effect in a population of distant galaxy clusters. If the excess power is due to the SZ effect, we can place constraints on the normalization of the matter power spectrum sigma(sub 8) = 1.03(sup +0.20)(sub -0.29) at 68% confidence. The distribution of pixel fluxes in the BIMA images are found to be consistent with simulated observations of the expected SZ background and rule out instrumental noise or radio sources as the source of the observed excess power with similar confidence to the detection of excess power. Follow-up optical observations to search for galaxy over-densities anti-correlated with flux in the BIMA images, as might be expected from the SZ effect, proved to be inconclusive.
Dawson, K. S.↗
Application of the Hilbert-Huang Transform to the Search for Gravitational Waves
We present the application of a novel method of time-series analysis, the Hilbert-Huang Transform, to the search for gravitational waves. This algorithm is adaptive and does not impose a basis set on the data, and thus the time-frequency decomposition it provides is not limited by time-frequency uncertainty spreading. Because of its high time-frequency resolution it has important applications to both signal detection and instrumental characterization. Applications to the data analysis of the ground and space based gravitational wave detectors, LIGO and LISA, are described.
Camp, Jordan B.↗
A Search for Short-Lived Transient Phenomenon in LSI+61 303
Motivated by reports of transient behavior on the circumstellar disk of the gamma-ray bright, X-ray binary system LSI +61 303 we have undertaken a search for possible ionizing events. We have utilized the bard-X-ray monitoring database provided by the INTEGRAL Galactic Plane survey program.
Shrader, Chris↗
"Nano" Scale Biosignatures and the Search for Extraterrestrial Life
A critical step in the search for remnants of potential life forms on other planets lies in our ability to recognize indigenous fragments of ancient microbes preserved in some of Earth's oldest rocks. To this end, we are building a database of nano-scale chemical and morphological characteristics of some of Earth's oldest organic microfossils. We are primarily using the new technology of Nano-Secondary ion mass spectrometry (NanoSIMS) which provides in-situ, nano-scale elemental analysis of trace quantities of organic residues. The initial step was to characterize element composition of well-preserved, organic microfossils from the late Proterozoic (0.8 Ga) Bitter Springs Formation of Australia. Results from that work provide morphologic detail and nitrogen/carbon ratios that appear to reflect the well-established biological origin of these 0.8 Ga fossils.
Oehler, D. Z.↗
Search for O VI Emission from the Shocked Circurmstellar Gas of SN 1987A
The Far Ultraviolet Spectroscopic Explorer (FUSE) was used to search for broad O VI emission from the shock interaction zones produced by the collision of high-velocity supernova ejecta with the dense inner circumstellar ring of SN 1987A. Since the shock interaction with the inner ring began in 1997, broad (FWHM = 300 km/sec) emission from optical coronal lines (e.g. [Fe X], [Fe XI], and [Fe XIV]) has emerged and increased exponentially in strength. O VI 1032-1038 Angstrom emission is expected to track the coronal lines. O VI is also expected to be the primary cooling transition for the million-degree shocked gas. An accurate measurement of the O VI line strength would significantly improve current models of the shock interaction. FUSE observations of SN 1987A in 2000 and 2001 did not detect broad O VI due to spectral contamination fiom two earlytype stars within a few arc seconds of the SN. However, O VI emission was detected with narrow line widths (FWHM less than 35 km/sec) and a heliocentric radial velocity of +280 km/sec. This places the emitting gas at rest relative to the supernova and is interpreted as emission from unshocked circumstellar gas. A new FUSE observation of SN 1987A obtained in May 2007 used a narrow slit (1.25 x 20 arcsec) to significantly reduce the spectral contamination from the two early-type stars. Yet the 2007 spectrum does not reveal any significant O VI emission. The implications of these results are discussed.
Sonneborn, G.↗
Investigation of the NOAA N' S Search and Rescue Antenna Inadvertent Deployment: Type C Mishap
The NOAA N' Search and Rescue Antenna (SRA) inadvertently deployed during a spacecraft rotation on April 14,2007. This rotation was part of a normal operation to configure the spacecraft for additional antenna and the solar array boom deployments. This procedure (red flag written) had been modified to look for a lost metal washer and a thermal blanket button. The modification to the procedure was reviewed and approved by the Lockheed Martin Missiles and Space (LMMS) Material Review Board (MRB) per standard procedures. The flag to the procedure introduced a counter clockwise rotation before the normal clockwise rotation. The antenna was temporally stowed and held in place via lacing cord. The lacing cord broke and allowed the SRA to inadvertently deploy during the clockwise rotation. The SRA broke through a hard stop bracket and damaged an instrument optical sensor radiator panel. The satellite damage appears to be minimal and there were no injuries to personnel. The damage to the Advanced Microwave Sounding Unit (AMSU)-A1 instrument has not been fully assessed. Based on mishap site visits, interviews and data analysis, the Mishap Investigation Team (MIT) identified the underlying causes of the mishap. Event and causal factor tree diagrams were developed, resulting in the identification of the proximate (or direct) cause and root causes of the mishap.
Sabelhaus, Phil↗
Near-infrared Variability in the 2MASS Calibration Fields: A Search for Planetary Transit Candidates
The Two Micron All Sky Survey (2MASS) photometric calibration observations cover approximately 6 square degrees on the sky in 35 'calibration fields,' each sampled in nominal photometric conditions between 562 and 3692 times during the 4 years of the 2MASS mission. We compile a catalog of variables from the calibration observations to search for M dwarfs transited by extrasolar planets. We present our methods for measuring periodic and nonperiodic flux variability. From 7554 sources with apparent K(sub s) magnitudes between 5.6 and 16.1, we identify 247 variables, including extragalactic variables and 23 periodic variables. We have discovered three M dwarf eclipsing systems, including two candidates for transiting extrasolar planets.
statistical methods↗
Antimatter and Dark Matter Search in Space: BESS-Polar Results
The apex of the Balloon-borne Experiment with a Superconducting Spectrometer program was reached with the Antarctic flight of BESS-Polar II, during the 2007-2008 Austral Summer, that obtained 24.5 days of data on over 4.7 billion cosmic-ray events. The US-Japan BESS Collaboration uses elementary particle measurements to study the early Universe and provides fundamental data on the spectra of light cosmic-ray elements and isotopes. BESS measures the energy spectra of cosmic-ray antiprotons to investigate signatures of possible exotic sources, such as dark-matter candidates, and searches for heavier anti-nuclei that might reach Earth from antimatter domains formed during symmetry breaking processes in the early Universe. Since 1993, BESS has carried out eleven high-latitude balloon flights, two of long duration, that together have defined the study of antiprotons below about 4 GeV, provided standard references for light element and isotope spectra, and set the most sensitive limits on the existence of anti-deuterons and anti-helium, The BESS-Polar II flight took place at Solar Minimum, when the sensitivity of the low-energy antiproton measurements to a primary source is greatest. The rich BESS-Polar II dataset more than doubles the combined data from all earlier BESS flights and has 10-20 times the statistics of BESS data from the previous Solar Minimum. Here, we summarize the scientific results of BESS program, focusing on the results obtained using data from the long-duration flights of BESS-Polar I (2004) and BESS-Polar II.
Mitchell, John W.↗
The BESS Search for Cosmic-Ray Antiproton Origins and for Cosmological Antimatter
The apex of the Balloon-borne Experiment with a Superconducting Spectrometer (BESS) program was reached with the Antarctic flight of BESS-Polar II, during the 2007-2008 Austral Summer, that obtained 24.5 days of data on over 4.7 billion cosmic-ray events. The US-Japan BESS Collaboration uses elementary particle measurements to study the early Universe and provides fundamental data on the spectra of light cosmic-ray elements and isotopes. BESS measures the energy spectra of cosmic-ray antiprotons to investigate signatures of possible exotic sources, such as dark-matter candidates, and searches for heavier antinuclei that might reach Earth from antimatter domains formed during symmetry breaking processes in the early Universe. Since 1993, BESS has carried out eleven high-latitude balloon flights, two of long duration, that together have defined the study of antiprotons below about 4 GeV, provided standard references for light element and isotope spectra, and set the most sensitive limits on the existence of antideuterons and antihelium. The BESS-Polar II flight took place at Solar Minimum, when the sensitivity of the low-energy antiproton measurements to a primary source is greatest. The rich BESS-Polar II dataset more than doubles the combined data from all earlier BESS flights and has 10-20 times the statistics of BESS data from the previous Solar Minimum. Here, we summarize the scientific results of BESS program, focusing on the results obtained using data from the long-duration flights of BESS-Polar I (2004) and BESS-Polar II.
Mitchell, John↗
On the Search for the Amino Acids on the Lunar Surface as it Relates to Other Extraterrestrial Bodies
The early search for the amino acids on the lunar surface fines indicated such a low amount of the amino acids that it was deemed insignifi cant. While the later studies seemed to depart in some ways from the earlier results, they were not pursued. In this paper we critically ev aluate the results from the Apollo missions from the new perspective with considerations of the sensitivity of the instrumentation availabl e at the time. We discuss the possible relevance of the lunar results to the findings of the amino acids on the surfaces of other extraterrestrial bodies, such as Mars.
Hoover, Richard B.↗