Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “DECISION”

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 1,675 records · Page 93
All sourcesNASA NTRSDOE OSTI
NASA NTRS2010

Decision Engines for Software Analysis Using Satisfiability Modulo Theories Solvers

The area of software analysis, testing and verification is now undergoing a revolution thanks to the use of automated and scalable support for logical methods. A well-recognized premise is that at the core of software analysis engines is invariably a component using logical formulas for describing states and transformations between system states. The process of using this information for discovering and checking program properties (including such important properties as safety and security) amounts to automatic theorem proving. In particular, theorem provers that directly support common software constructs offer a compelling basis. Such provers are commonly called satisfiability modulo theories (SMT) solvers. Z3 is a state-of-the-art SMT solver. It is developed at Microsoft Research. It can be used to check the satisfiability of logical formulas over one or more theories such as arithmetic, bit-vectors, lists, records and arrays. The talk describes some of the technology behind modern SMT solvers, including the solver Z3. Z3 is currently mainly targeted at solving problems that arise in software analysis and verification. It has been applied to various contexts, such as systems for dynamic symbolic simulation (Pex, SAGE, Vigilante), for program verification and extended static checking (Spec#/Boggie, VCC, HAVOC), for software model checking (Yogi, SLAM), model-based design (FORMULA), security protocol code (F7), program run-time analysis and invariant generation (VS3). We will describe how it integrates support for a variety of theories that arise naturally in the context of the applications. There are several new promising avenues and the talk will touch on some of these and the challenges related to SMT solvers. Proceedings

Bjorner, Nikolaj↗
NASA NTRS2010

Combining Hydrological Modeling and Remote Sensing Observations to Enable Data-Driven Decision Making for Devils Lake Flood Mitigation in a Changing Climate

This slide presentation reviews work to combine the hydrological models and remote sensing observations to monitor Devils Lake in North Dakota, to assist in flood damage mitigation. This reports on the use of a distributed rainfall-runoff model, HEC-HMS, to simulate the hydro-dynamics of the lake watershed, and used NASA's remote sensing data, including the TRMM Multi-Satellite Precipitation Analysis (TMPA) and AIRS surface air temperature, to drive the model.

Zhang, Xiaodong↗
NASA NTRS2010

Bone Health Monitoring in Astronauts: Recommended Use of Quantitative Computed Tomography [QCT] for Clinical and Operational Decisions

This slide presentation reviews the concerns that astronauts in long duration flights might have a greater risk of bone fracture as they age than the general population. A panel of experts was convened to review the information and recommend mechanisms to monitor the health of bones in astronauts. The use of Quantitative Computed Tomography (QCT) scans for risk surveillance to detect the clinical trigger and to inform countermeasure evaluation is reviewed. An added benefit of QCT is that it facilitates an individualized estimation of bone strength by Finite Element Modeling (FEM), that can inform approaches for bone rehabilitation. The use of FEM is reviewed as a process that arrives at a composite number to estimate bone strength, because it integrates multiple factors.

Sibonga, J. D.↗
NASA NTRS2011

Integration of Airborne Aerosol Prediction Systems and Vegetation Phenology to Track Pollen for Asthma Alerts in Public Health Decision Support Systems

This slide presentation reviews the study that used a model to forecast pollen to assist in warning for asthma populations. Using MODIS daily reflectances to input to a model, PREAM, adapted from the Dust REgional Atmospheric Modeling (DREAM) system, a product of predicted pollen is produced. Using the pollen from Juniper the PREAM model was shown to be an assist in alerting the public of pollen bursts, and reduce the health impact on asthma populations.

Luvall, Jeffrey C.↗
NASA NTRS2008

Optimizing Requirements Decisions with KEYS

Recent work with NASA's Jet Propulsion Laboratory has allowed for external access to five of JPL's real-world requirements models, anonymized to conceal proprietary information, but retaining their computational nature. Experimentation with these models, reported herein, demonstrates a dramatic speedup in the computations performed on them. These models have a well defined goal: select mitigations that retire risks which, in turn, increases the number of attainable requirements. Such a non-linear optimization is a well-studied problem. However identification of not only (a) the optimal solution(s) but also (b) the key factors leading to them is less well studied. Our technique, called KEYS, shows a rapid way of simultaneously identifying the solutions and their key factors. KEYS improves on prior work by several orders of magnitude. Prior experiments with simulated annealing or treatment learning took tens of minutes to hours to terminate. KEYS runs much faster than that; e.g for one model, KEYS ran 13,000 times faster than treatment learning (40 minutes versus 0.18 seconds). Processing these JPL models is a non-linear optimization problem: the fewest mitigations must be selected while achieving the most requirements. Non-linear optimization is a well studied problem. With this paper, we challenge other members of the PROMISE community to improve on our results with other techniques.

requirements↗
NASA NTRS2011

Operational Parameters, Considerations, and Design Decisions for Resource-Constrained Ion Trap Mass Spectrometers

Mass spectrometers are increasingly finding applications in new and unique areas, often in situations where key operational resources (i.e. power, weight and size) are limited. One such example is the Mars Organic Molecule Analyzer (MOMA). This instrument is a joint venture between NASA and the European Space Agency (ESA) to develop an ion trap mass spectrometer for chemical analysis on Mars. The constraints on such an instrument are significant as are the performance requirements. While the ideal operating parameters for an ion trap are generally well characterized, methods to maintain analytical performance with limited power and system weight need to be investigated and tested. Methods Experiments have been performed on two custom ion trap mass spectrometers developed as prototypes for the MOMA instrument. This hardware consists of quadrupole ion trap electrodes that are 70% the size of common commercial instrumentation. The trapping RF voltage is created with a custom tank circuit that can be tuned over a range of RF frequencies and is driven using laboratory supplies and amplifiers. The entire instrument is controlled with custom Lab VIEW software that allows a high degree of flexibility in the definition of the scan function defining the ion trap experiment. Ions are typically generated via an internal electron ionization source, however, a laser desorption source is also in development for analysis of larger intact molecules. Preliminary Data The main goals in this work have been to reduce the power required to generate the radio frequency trapping field used in an ion trap mass spectrometer. Generally minimizing the power will also reduce the volume and mass of the electronics to support the instrument. In order to achieve optimum performance, commercial instruments typically utilize RF frequencies in the 1 MHz range. Without much concern for power usage, they simply generate the voltage required to access the mass range of interest. In order to reduce the required RF voltage (and power), operation of the ion trap at lower RF frequencies has been investigated. Surprisingly, the performance of the instrument has only been slightly degraded at RF frequencies all the way down to 500 kHz. Mass resolution is relatively stable to this point and depending on the resonant ejection point used, the peak intensity is also quite stable. To date only masses up to m/z 200 have been fully investigated, however, additional studies are planned to verify the performance with higher mass ions. The lower frequency and voltage should reduce the pseudo potential well depth, eventually affecting the trapping efficiency of the instrument -- effect that could manifest itself in significantly limiting the mass range of trapped ions. Other methods to reduce the RF power while maintaining analytical performance are also under investigation. This includes ion ejection at lower q(sub z) values to access a given mass with a lower RF voltage. The loss of mass resolution at lower q(sub eject) points has been measured and current work is underway to leverage scan speed and the use of non-linear resonances in order to counter this trend. The overall trap performance under this range of operating conditions will be presented with a goal of identifying what trade-offs are acceptable.

Danell, Ryan M.↗
NASA NTRS2011

NASA Earth Science Image Analysis for Climate Change Decisions

This talk will briefly outline the ways in which NASA observes the Earth, then describes the NASA satellite measurements, and then proceeds to show how these measurements are used to understand the changes that are occurring as Earth's climate warms.

Hilderbrand, Peter H.↗
NASA NTRS2005

Severe Weather Forecast Decision Aid

The Applied Meteorology Unit developed a forecast tool that provides an assessment of the likelihood of local convective severe weather for the day in order to enhance protection of personnel and material assets of the 45th Space Wing Cape Canaveral Air Force Station (CCAFS), and Kennedy Space Center (KSC).

Bauman, William H., III↗
NASA NTRS2011

Pelagic Habitat Analysis Module (PHAM) for GIS Based Fisheries Decision Support

We have assembled a system that integrates satellite and model output with fisheries data We have developed tools that allow analysis of the interaction between species and key environmental variables Demonstrated the capacity to accurately map habitat of Thresher Sharks Alopias vulpinus & pelagicus. Their seasonal migration along the California Current is at least partly driven by the seasonal migration of sardine, key prey of the sharks.We have assembled a system that integrates satellite and model output with fisheries data We have developed tools that allow analysis of the interaction between species and key environmental variables Demonstrated the capacity to accurately map habitat of Thresher Sharks Alopias vulpinus nd pelagicus. Their seasonal migration along the California Current is at least partly driven by the seasonal migration of sardine, key prey of the sharks.

geographic information system (GIS)↗
NASA NTRS2011

Using Ensemble Decisions and Active Selection to Improve Low-Cost Labeling for Multi-View Data

This paper seeks to improve low-cost labeling in terms of training set reliability (the fraction of correctly labeled training items) and test set performance for multi-view learning methods. Co-training is a popular multiview learning method that combines high-confidence example selection with low-cost (self) labeling. However, co-training with certain base learning algorithms significantly reduces training set reliability, causing an associated drop in prediction accuracy. We propose the use of ensemble labeling to improve reliability in such cases. We also discuss and show promising results on combining low-cost ensemble labeling with active (low-confidence) example selection. We unify these example selection and labeling strategies under collaborative learning, a family of techniques for multi-view learning that we are developing for distributed, sensor-network environments.

machine learning↗
NASA NTRS2012

Complex Decision-Making Applications for the NASA Space Launch System

The Space Shuttle program is ending and elements of the Constellation Program are either being cancelled or transitioned to new NASA exploration endeavors. NASA is working diligently to select an optimum configuration for the Space Launch System (SLS), a heavy lift vehicle that will provide the foundation for future beyond LEO large ]scale missions for the next several decades. Thus, multiple questions must be addressed: Which heavy lift vehicle will best allow the agency to achieve mission objectives in the most affordable and reliable manner? Which heavy lift vehicle will allow for a sufficiently flexible exploration campaign of the solar system? Which heavy lift vehicle configuration will allow for minimizing risk in design, test, build and operations? Which heavy lift vehicle configuration will be sustainable in changing political environments? Seeking to address these questions drove the development of an SLS decisionmaking framework. From Fall 2010 until Spring 2011, this framework was formulated, tested, fully documented, and applied to multiple SLS vehicle concepts at NASA from previous exploration architecture studies. This was a multistep process that involved performing FOM-based assessments, creating Pass/Fail gates based on draft threshold requirements, performing a margin-based assessment with supporting statistical analyses, and performing sensitivity analysis on each. This paper discusses the various methods of this process that allowed for competing concepts to be compared across a variety of launch vehicle metrics. The end result was the identification of SLS launch vehicle candidates that could successfully meet the threshold requirements in support of the SLS Mission Concept Review (MCR) milestone.

Lyles, Garry↗
NASA NTRS2012

FLEX: A Decisive Step Forward in NASA's Combustion Research Program

Stemming from the need to prevent, detect and suppress on-board spacecraft fires, the NASA microgravity combustion research program has grown to include fundamental research. From early experiment, we have known that flames behave differently in microgravity, and this environment would provide an ideal laboratory for refining many of the long held principals of combustion science. A microgravity environment can provide direct observation of phenomena that cannot be observed on Earth. Through the years, from precursor work performed in drop towers leading to experiments on the International Space Station (ISS), discoveries have been made about the nature of combustion in low gravity environments. These discoveries have uncovered new phenomena and shed a light on many of the fundamental phenomena that drive combustion processes. This paper discusses the NASA microgravity combustion research program taking place in the ISS Combustion Integrated Rack, its various current and planned experiments, and the early results from the Flame Extinguishment (FLEX) Experiment.

Hickman, John M.↗
NASA NTRS2012

NASA Earth Observation Systems and Applications for Public Health and Air Quality Models and Decisions Support

Health and Air Quality providers and researchers need environmental data to study and understand the geographic, environmental, and meteorological differences in disease. Satellite remote sensing of the environment offers a unique vantage point that can fill in the gaps of environmental, spatial, and temporal data for tracking disease. This presentation will demonstrate the need for collaborations between multi-disciplinary research groups to develop the full potential of utilizing Earth Observations in studying health. Satellite earth observations present a unique vantage point of the earth's environment from space, which offers a wealth of health applications for the imaginative investigator. The presentation is directly related to Earth Observing systems and Global Health Surveillance and will present research results of the remote sensing environmental observations of earth and health applications, which can contribute to the public health and air quality research. As part of NASA approach and methodology they have used Earth Observation Systems and Applications for Public Health and Air Quality Models to provide a method for bridging gaps of environmental, spatial, and temporal data for tracking disease. This presentation will provide an overview of projects dealing with infectious diseases, water borne diseases and air quality and how many environmental variables effect human health. This presentation will provide a venue where the results of both research and practice using satellite earth observations to study weather and it's role in public health research.

Estes, Sue↗
NASA NTRS2013

Integrating Wind Profiling Radars and Radiosonde Observations with Model Point Data to Develop a Decision Support Tool to Assess Upper-Level Winds for Space Launch

On the day of launch, the 45th Weather Squadron (45 WS) Launch Weather Officers (LWOs) monitor the upper-level winds for their launch customers. During launch operations, the payload/launch team sometimes asks the LWOs if they expect the upper-level winds to change during the countdown. The LWOs used numerical weather prediction model point forecasts to provide the information, but did not have the capability to quickly retrieve or adequately display the upper-level observations and compare them directly in the same display to the model point forecasts to help them determine which model performed the best. The LWOs requested the Applied Meteorology Unit (AMU) develop a graphical user interface (GUI) that will plot upper-level wind speed and direction observations from the Cape Canaveral Air Force Station (CCAFS) Automated Meteorological Profiling System (AMPS) rawinsondes with point forecast wind profiles from the National Centers for Environmental Prediction (NCEP) North American Mesoscale (NAM), Rapid Refresh (RAP) and Global Forecast System (GFS) models to assess the performance of these models. The AMU suggested adding observations from the NASA 50 MHz wind profiler and one of the US Air Force 915 MHz wind profilers, both located near the Kennedy Space Center (KSC) Shuttle Landing Facility, to supplement the AMPS observations with more frequent upper-level profiles. Figure 1 shows a map of KSC/CCAFS with the locations of the observation sites and the model point forecasts.

Bauman, William H., III↗