Search NASA⌕ Search

SEARCH · Search NASA

Results for “ordered 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.

At least 127 records · Page 7

Recent developments in FEM-CFD

The current status of CFD with regard to unstructured grids employing finite element methods and Eulerian frames is reviewed. Algorithms suitable for the computation of large three-dimensional problems involving flow past arbitrary geometries are developed. Adaptive mesh refinement strategy is reviewed, and domain splitting or local time-stepping are briefly addressed. The development of search algorithms of optimal order, variable time-stepping Jacobi smoothers for elliptic problems, and transport concepts for hyperbolics to help achieve good performance for unstructured multigrid processes is discussed. As examples, transient supersonic flow in a channel, regular shock reflection of a wall, viscous flow past a protruberance, potential flow past a cylinder, and Burgers equation are considered.

Loehner, R.↗

Order reduction in linear state estimation under performance constraints

The design and analysis of minimal-order state estimators for possibly time-varying linear systems, under constraints on the maximal allowable mean-square error, are considered. A global lower bound on the optimal error is derived, along with a lower bound on the minimal estimator order, needed for meeting the performance constraint. The ideal reduced-order estimator which satisfies the lower bound is derived, along with conditions for its realizability. When the ideal estimator is not realizable, its structure forms a suboptimal estimator, which maintains, in some sense, a local optimality property and is called the pseudoideal estimator. The mean-square error of the pseudoideal estimator defines upper bounds on the optimal error and on the estimator order needed for meeting the performance constraint. The lower and the upper bounds on the order define a reduced search set for the design problem. When the distance between the ideal and the pseudoideal estimators is sufficiently small in a certain numerical sense, the pseudoideal estimator may be considered optimal for practical purposes.

Baram, Yoram↗

Experiments with a decision-theoretic scheduler

This paper describes DTS, a decision-theoretic scheduler designed to employ state-of-the-art probabilistic inference technology to speed the search for efficient solutions to constraint-satisfaction problems. Our approach involves assessing the performance of heuristic control strategies that are normally hard-coded into scheduling systems, and using probabilistic inference to aggregate this information in light of features of a given problem. BPS, the Bayesian Problem-Solver, introduced a similar approach to solving single-agent and adversarial graph search problems, yielding orders-of-magnitude improvement over traditional techniques. Initial efforts suggest that similar improvements will be realizable when applied to typical constraint-satisfaction scheduling problems.

Hansson, Othar↗

Decision-theoretic control of EUVE telescope scheduling

This paper describes a decision theoretic scheduler (DTS) designed to employ state-of-the-art probabilistic inference technology to speed the search for efficient solutions to constraint-satisfaction problems. Our approach involves assessing the performance of heuristic control strategies that are normally hard-coded into scheduling systems and using probabilistic inference to aggregate this information in light of the features of a given problem. The Bayesian Problem-Solver (BPS) introduced a similar approach to solving single agent and adversarial graph search patterns yielding orders-of-magnitude improvement over traditional techniques. Initial efforts suggest that similar improvements will be realizable when applied to typical constraint-satisfaction scheduling problems.

Hansson, Othar↗

System Synthesis in Preliminary Aircraft Design using Statistical Methods

This paper documents an approach to conceptual and preliminary aircraft design in which system synthesis is achieved using statistical methods, specifically design of experiments (DOE) and response surface methodology (RSM). These methods are employed in order to more efficiently search the design space for optimum configurations. In particular, a methodology incorporating three uses of these techniques is presented. First, response surface equations are formed which represent aerodynamic analyses, in the form of regression polynomials, which are more sophisticated than generally available in early design stages. Next, a regression equation for an overall evaluation criterion is constructed for the purpose of constrained optimization at the system level. This optimization, though achieved in a innovative way, is still traditional in that it is a point design solution. The methodology put forward here remedies this by introducing uncertainty into the problem, resulting a solutions which are probabilistic in nature. DOE/RSM is used for the third time in this setting. The process is demonstrated through a detailed aero-propulsion optimization of a high speed civil transport. Fundamental goals of the methodology, then, are to introduce higher fidelity disciplinary analyses to the conceptual aircraft synthesis and provide a roadmap for transitioning from point solutions to probabalistic designs (and eventually robust ones).

DeLaurentis, Daniel↗

System Synthesis in Preliminary Aircraft Design Using Statistical Methods

This paper documents an approach to conceptual and early preliminary aircraft design in which system synthesis is achieved using statistical methods, specifically Design of Experiments (DOE) and Response Surface Methodology (RSM). These methods are employed in order to more efficiently search the design space for optimum configurations. In particular, a methodology incorporating three uses of these techniques is presented. First, response surface equations are formed which represent aerodynamic analyses, in the form of regression polynomials, which are more sophisticated than generally available in early design stages. Next, a regression equation for an Overall Evaluation Criterion is constructed for the purpose of constrained optimization at the system level. This optimization, though achieved in an innovative way, is still traditional in that it is a point design solution. The methodology put forward here remedies this by introducing uncertainty into the problem, resulting in solutions which are probabilistic in nature. DOE/RSM is used for the third time in this setting. The process is demonstrated through a detailed aero-propulsion optimization of a High Speed Civil Transport. Fundamental goals of the methodology, then, are to introduce higher fidelity disciplinary analyses to the conceptual aircraft synthesis and provide a roadmap for transitioning from point solutions to probabilistic designs (and eventually robust ones).

DeLaurentis, Daniel↗

Terrestrial EVA Suit = Fire Fighter's Protective Clothing

Firefighters want to go to work, do their job well, and go home alive and uninjured. For their most important job, saving lives, firefighters want protective equipment that will allow more extended and effective time at fire scenes in order to perform victim search and rescue. A team, including engineers at NASA JSC and firefighters from Houston, has developed a list of problem areas for which NASA technology and know-how can recommend improvements for firefighter suits and gear. Prototypes for solutions have been developed and are being evaluated. This effort will spin back to NASA as improvements for lunar and planetary suits.

Foley, Tico↗

Europa Science Platforms and Kinetic Energy Probes

This presentation will outline a proposed mission for the Jupiter Icy Moons Orbiter (JIMO). The mission outlined will concentrate on an examination of Europa. Some of the primary science goals for the JIMO mission are: 1) to answer broad science questions, 2) improved knowledge of Jovian system; specifically, lunar geological and geophysical properties, 3) chemical composition of Jovian lunar surfaces and subterranean matter, and 4) the search for life. In order to address these issues, the experiment proposed here will deploy orbiting, surface, and subterranean science platforms.

Hays, C. C.↗

The Next Landsat Satellite: The Landsat Data Continuity Mission

The Landsat program is one of the longest running satellite programs for Earth observations from space. The program was initiated by the launch of Landsat 1 in 1972. Since then a series of six more Landsat satellites were launched and at least one of those satellites has been in operations at all times to continuously collect images of the global land surface. The Department of Interior (DOI) U.S. Geological Survey (USGS) preserves data collected by all of the Landsat satellites at their Earth Resources Observation and Science (EROS) Center in Sioux Falls, South Dakota. This 40-year data archive provides an unmatched record of the Earth's land surface that has undergone dramatic changes in recent decades due to the increasing pressure of a growing population and advancing technologies. EROS provides the ability for anyone to search the archive and order digital Landsat images over the internet for free. The Landsat data are a public resource for observing, characterizing, monitoring, trending, and predicting land use change over time providing an invaluable tool for those addressing the profound consequences of those changes to society. The most recent launch of a Landsat satellite occurred in 1999 when Landsat 7 was placed in orbit. While Landsat 7 remains in operation, the National Aeronautics and Space Administration (NASA) and the DOI/ USGS are building its successor satellite system currently called the Landsat Data Continuity Mission (LDCM). NASA has the lead for building and launching the satellite that will carry two Earth-viewing instruments, the Operational Land Imager (OLI) and the Thermal Infrared Sensor (TIRS). The OLI will take images that measure the amount of sunlight reflected by the land surface at nine wavelengths of light with three of those wavelengths beyond the range of human vision. T1RS will collect coincident images that measure light emitted by the land surface as a function of surface temperature at two longer wavelengths well beyond the range of human vision. The DOI/USGS is developing the ground system that will command and control the LDCM satellite in orbit and manage the OLI and TIRS data transmitted by the satellite. DOI/USGS will thus operate the satellite and collect, archive, and distribute the image data as part of the EROS archive. DOI/USGS has committed to renaming LDCM as Landsat 8 following launch. By either name the satellite and its sensors will extend the 40-year archive with images sufficiently consistent with data from earlier Landsat satellites to allow multi-decadal, broad-area studies of our dynamic landscapes. The next Landsat satellite and ground system are on schedule for a January, 2013 launch.

Rons, James R.↗

LDMX -- The Light Dark Matter eXperiment

LDMX, The Light Dark Matter eXperiment, is a missing momentum search for hidden sector dark matter in the MeV to GeV range. It will be located at SLAC in End Station A, and will employ an 8 GeV electron beam parasitically derived from the SLAC LCLS-II accelerator. LDMX promises to expand the experimental sensitivity of these searches by between one and two orders of magnitude depending on the model. It also has sensitivity in visible ALP searches as well as providing unique data on electron-nucleon interactions.

Appert, Stephen [Caltech]↗

On the Local Convergence of Pattern Search

We examine the local convergence properties of pattern search methods, complementing the previously established global convergence properties for this class of algorithms. We show that the step-length control parameter which appears in the definition of pattern search algorithms provides a reliable asymptotic measure of first-order stationarity. This gives an analytical justification for a traditional stopping criterion for pattern search methods. Using this measure of first-order stationarity, we analyze the behavior of pattern search in the neighborhood of an isolated local minimizer. We show that a recognizable subsequence converges r-linearly to the minimizer.

Dolan, Elizabeth D.↗

Rolling Horizon with K-Position Search Method for Strategic Deconfliction of Package Delivery UAS

This research focuses on the strategic deconfliction of unmanned aircraft systems (UAS) in an urban package delivery environment with two depots and multiple drop-off locations. Since the formulated mixed-integer nonlinear programming (MINLP) problem is non-deterministic polynomial-time (NP) hard, a heuristic algorithm called "rolling horizon with k-position search (KPS)" is used to compute the departure sequence and scheduled time of departure (STD) of each UAS at a depot, considering temporal constraints at en-route crossing waypoints and depots for strategic deconfliction. The simulation studies show that an increase in the value of k (local neighborhood search) in the KPS reduces the average ground delay at the cost of an increase in the computation time for a given number of UAS, size of the rolling horizon window, and number of depots involved in the local neighborhood search. The studies also show that for a given rolling horizon window, the computation time increases exponentially with an increase in the total number of UAS flights when serial processing the local neighborhood search of KPS (with k > 1) and drops by an order of magnitude upon performing the local neighborhood search of KPS using parallel processing instead of serial processing. The computation time drops with the reduction in air traffic complexity of a scenario for a given number of flights, k (local neighborhood search), and rolling horizon window.

UTM↗

Abstract Datatypes in PVS

PVS (Prototype Verification System) is a general-purpose environment for developing specifications and proofs. This document deals primarily with the abstract datatype mechanism in PVS which generates theories containing axioms and definitions for a class of recursive datatypes. The concepts underlying the abstract datatype mechanism are illustrated using ordered binary trees as an example. Binary trees are described by a PVS abstract datatype that is parametric in its value type. The type of ordered binary trees is then presented as a subtype of binary trees where the ordering relation is also taken as a parameter. We define the operations of inserting an element into, and searching for an element in an ordered binary tree; the bulk of the report is devoted to PVS proofs of some useful properties of these operations. These proofs illustrate various approaches to proving properties of abstract datatype operations. They also describe the built-in capabilities of the PVS proof checker for simplifying abstract datatype expressions.

Owre, Sam↗

Panel Discussion: Life in the Cosmos

Water appears to be essential to all life on Earth. For this reason, "Follow the Water" has been adopted as a mantra for the search for Life in the Cosmos. Expeditions have helped to establish the limits and biodiversity of life in the most extreme environments on Earth. Microbial extremophiles inhabit acidic streams; hypersaline and hyperalkaline lakes and pools; the cold deep sea floor, permafrost, rocks, glaciers, and perennially ice-covered lakes of the polar environments; geysers, volcanic fumaroles, hydrothermal vents and hot rocks deep within the Earth's crust. The ESA Venus Express Spacecraft entered Venusian Orbit in 2006 and continues to produce exciting results. The Visible and Infrared Thermal Imaging Spectrometer (VIRTIS) instrument made the first detection of hydroxyl in the atmosphere of Venus, indicating it is much more similar to Earth and Mars than previously thought. Huge hurricane-like vortices have been found above the poles of the planet and as yet unidentified UV absorbers that form mysterious dark bands in the upper atmosphere. At 70 km and below, water vapor and sulfur dioxide combine to form sulfuric acid droplets that create a haze above the cloud tops. Thermophilic acidophiles, such as have recently been discovered on Earth, could possibly survive in the hot sulfuric acid droplets that exist in the upper atmosphere of Venus. In order to understand how to search for life elsewhere in the Solar System, over 40 VIRTIS images of Earth from Venus have been obtained to search for evidence of life on Earth. The signatures of water and molecular Oxygen were detected in the Earth s atmosphere, but the atmosphere of Venus also exhibits these signatures. The water and water ice are far more abundant on comet, the polar caps and permafrost of Mars and the icy moons of Jupiter and Saturn. These "frozen worlds" of our Solar System, are much more promising regimes where extant or extinct microbial life may exist. The ESA Mars Advanced Radar for Subsurface and Ionospheric Sounding (MARSIS) probe has found that both the North and South Polar Caps of Mars are approximately 3.5 km thick and are composed almost entirely of water ice. In winter, a thin dry ice layer covers the caps, but it sublimates directly to CO2 in the spring. The ESA Mars Express Orbiter images reveal Rupes Tenuis to be a vast snow-laden region on the southern edge of the Martian North Polar Cap. The Mars Exploration Rover Spirit found alkaline volcanic rocks in the Gusev Crater and the Phoenix Mars Lander has shown that the soil of Mars is much more alkaline than previously expected. The Phoenix Mars Lander has also made direct observations of frozen and liquid water on Mars. It is known that microorganisms from Alaska, Siberia and Antarctica can remain alive frozen in permafrost or ice for long periods of time. These discoveries increase the possibility that the Labeled Release Experiment may have discovered life on Mars during the Viking Mission and provide strong impetus for the return of life detection experiments to Mars. Changes in the spin rate of Saturn's moon Titan indicate that it may also harbor a 300 km thick liquid water ocean beneath its icy crust. The NASA/ESA/Italian Space Agency Cassini Spacecraft has imaged geysers containing water vapor, methane, carbon dioxide and organics erupting from the "tiger stripe" regions near the South Pole of Saturn's moon Enceladus. The high temperatures observed, the water vapor and large number of ice particles expelled suggest that a liquid water lake may exist beneath the "tiger stripe" ice cracks of Enceladus. The NASA Deep Impact probe found the surface temperature of comet 9P/Temple 1 at 1.5 AY was slightly above the ice/water phase change temperature (273 K). This suggests melting of water ice near the comet surface. A spectrometer the spacecraft detected a mixture of clay and carbonate minerals (that form in the presence of liquid water) streaming off the comet after the collision with the pactor. The study of chemical and mineral biomarkers, chiral amino acids and possible indigenous microfossils in SNC and carbonaceous meteorites continues. These results suggest that comets should be considered prime targets in the search for Life in the Cosmos. The ESA Rosetta mission is on track to rendezvous with comet 67P/Churyumov-Gerasimenko. The recent space observations combined with new information about the ability of microbial extremophiles to thrive in polar environments suggest that life may be far more widely distributed in the Cosmos than previously thought possible. The Panelists will review recent discoveries and provide their own insights about Life in the Cosmos -- followed by a question and answer session with the audience.

Hoover, Richard B.↗

Bio-markers and the search for extinct life on Mars

In order to predict what biomarkers could be used on Mars, several biomarkers, or key signatures, of extinct life on earth are identified. Some of these biomarkers which may be applicable to Mars include reduced carbon and nitrogen compounds, CO3(2-), SO4(2-), NO3(-), Mg, Mn, Fe, and the isotopic ratios of C, N, and S. It is suggested that a fully equipped Mars rover might be able to perform analyses to measure most of these biomarkers while on the Martian surface.

Schwartz, D. E.↗

Nested Quantum Search and NP-Complete Problem

A quantum algorithm is known that solves an unstructured search problem in a number of iterations of order square-root of d, where d is the dimension of the search space, whereas any classical algorithm scales as O(d).

NP-complete problems quantum search algorithm tree↗

Nuclear Schiff Moments and CP Violation

This article reviews the calculation of nuclear Schiff moments, which one must know in order to interpret experiments that search for time-reversal-violating electric dipole moments in certain atoms and molecules. After briefly reviewing the connection between dipole moments and CP violation in and beyond the Standard Model of particle physics; Schiff's theorem, which concerns the screening of nuclear electric dipole moments by electrons; Schiff moments; and experiments to measure dipole moments in atoms and molecules, this review examines attempts to compute Schiff moments in nuclei such as 199 Hg and octupole-deformed isotopes such as 225 Ra, which are particularly useful in experiments. It then turns to ab initio nuclear-structure theory, describing ways in which both the in-medium similarity renormalization group and coupled-cluster theory can be used to compute important Schiff moments more accurately than the less controlled methods that have been applied so far.

CP violation↗

HighNESS conceptual design report: Volume II. The NNBAR experiment.

A key aim of the HighNESS project for the European Spallation Source is to enable cutting-edge particle physics experiments. This volume presents a conceptual design report for the NNBAR experiment. NNBAR would exploit a new cold lower moderator to make the first search in over thirty years for free neutrons converting to anti-neutrons. The observation of such a baryon-number-violating signature would be of fundamental significance and tackle open questions in modern physics, including the origin of the matter-antimatter asymmetry. This report shows the design of the beamline, supermirror focusing system, magnetic and radiation shielding, and anti-neutron detector necessary for the experiment. A range of simulation programs are employed to quantify the performance of the experiment and show how background can be suppressed. For a search with full background suppression, a sensitivity improvement of three orders of magnitude is expected, as compared with the previous search. Civil engineering studies for the NNBAR beamline are also shown, as is a costing model for the experiment.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗