Search NASA⌕ Search

SEARCH · Search NASA

Results for “framework”

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 145 records · Page 8
All sourcesNASA NTRSDOE OSTI
NASA NTRS2008

A Formal Framework for the Analysis of Algorithms That Recover From Loss of Separation

We present a mathematical framework for the specification and verification of state-based conflict resolution algorithms that recover from loss of separation. In particular, we propose rigorous definitions of horizontal and vertical maneuver correctness that yield horizontal and vertical separation, respectively, in a bounded amount of time. We also provide sufficient conditions for independent correctness, i.e., separation under the assumption that only one aircraft maneuvers, and for implicitly coordinated correctness, i.e., separation under the assumption that both aircraft maneuver. An important benefit of this approach is that different aircraft can execute different algorithms and implicit coordination will still be achieved, as long as they all meet the explicit criteria of the framework. Towards this end we have sought to make the criteria as general as possible. The framework presented in this paper has been formalized and mechanically verified in the Prototype Verification System (PVS).

Butler, RIcky W.↗
NASA NTRS2009

A Software Rejuvenation Framework for Distributed Computing

A performability-oriented conceptual framework for software rejuvenation has been constructed as a means of increasing levels of reliability and performance in distributed stateful computing. As used here, performability-oriented signifies that the construction of the framework is guided by the concept of analyzing the ability of a given computing system to deliver services with gracefully degradable performance. The framework is especially intended to support applications that involve stateful replicas of server computers.

Chau, Savio↗
NASA NTRS2010

Using SCOR as a Supply Chain Management Framework for Government Agency Contract Requirements

This paper will present a model that uses the Supply-Chain Operations Reference (SCOR) model as a foundation for a framework to illustrate the information needed throughout a product lifecycle to support a healthy supply chain management function and the subsequent contract requirements to enable it. It will also show where in the supply chain the information must be extracted. The ongoing case study used to exemplify the model is NASA's (National Aeronautics and Space Administration) Ares I program for human spaceflight. Effective supply chain management and contract requirements are ongoing opportunities for continuous improvement within government agencies, specifically development of systems for human spaceflight operations. Multiple reports from the Government Accountability Office (GAO) reinforce this importance. The SCOR model is a framework for describing a supply chain with process building blocks and business activities. It provides a set of metrics for measuring supply chain performance and best practices for continuously improving. This paper expands the application of the SCOR to also provide the framework for defining information needed from different levels of the supply chain and at different phases of the lifecycle. These needs can be incorporated into contracts to enable more effective supply chain management. Depending on the phase of the lifecycle, effective supply chain management will require involvement from different levels of the organization and different levels of the supply chain.

Paxton, Joseph↗
NASA NTRS2005

Data-Driven Software Framework for Web-Based ISS Telescience

Software that enables authorized users to monitor and control scientific payloads aboard the International Space Station (ISS) from diverse terrestrial locations equipped with Internet connections is undergoing development. This software reflects a data-driven approach to distributed operations. A Web-based software framework leverages prior developments in Java and Extensible Markup Language (XML) to create portable code and portable data, to which one can gain access via Web-browser software on almost any common computer. Open-source software is used extensively to minimize cost; the framework also accommodates enterprise-class server software to satisfy needs for high performance and security. To accommodate the diversity of ISS experiments and users, the framework emphasizes openness and extensibility. Users can take advantage of available viewer software to create their own client programs according to their particular preferences, and can upload these programs for custom processing of data, generation of views, and planning of experiments. The same software system, possibly augmented with a subset of data and additional software tools, could be used for public outreach by enabling public users to replay telescience experiments, conduct their experiments with simulated payloads, and create their own client programs and other custom software.

Tso, Kam S.↗
NASA NTRS2011

Mars as a Destination in a Capability-Driven Framework

This paper describes NASA s current plans for the exploration of Mars by human crews within NASA s Capability-Driven Framework (CDF). The CDF describes an approach for progressively extending human explorers farther into the Solar System for longer periods of time as allowed by developments in technology and spacecraft systems. Within this framework, Mars defines the most challenging objective currently envisioned for human spaceflight. The paper first describes the CDF and potential destinations being considered within this framework. For destinations relevant to the exploration of Mars, this includes both the Martian surface and the two moons of Mars. This is followed by a brief review of our evolving understanding of Mars to provide the context for the specific objectives set for human exploration crews. This includes results from robotic missions and goals set for future Martian exploration by NASA's community-based forum, the Mars Exploration Program Analysis Group (MEPAG) and the MEPAG-sponsored Human Exploration of Mars - Science Analysis Group (HEM-SAG). The paper then reviews options available for human crews to reach Mars and return to Earth. This includes a discussion of the rationale used to select from among these options for envisioned Mars exploration missions. The paper then concludes with a description of technological and operational challenges that still face NASA in order to be able to achieve the exploration goals for Mars within the CDF.

Hoffman, S. J.↗
NASA NTRS2012

A Framework for Simulation of Aircraft Flyover Noise Through a Non-Standard Atmosphere

This paper describes a new framework for the simulation of aircraft flyover noise through a non-standard atmosphere. Central to the framework is a ray-tracing algorithm which defines multiple curved propagation paths, if the atmosphere allows, between the moving source and listener. Because each path has a different emission angle, synthesis of the sound at the source must be performed independently for each path. The time delay, spreading loss and absorption (ground and atmosphere) are integrated along each path, and applied to each synthesized aircraft noise source to simulate a flyover. A final step assigns each resulting signal to its corresponding receiver angle for the simulation of a flyover in a virtual reality environment. Spectrograms of the results from a straight path and a curved path modeling assumption are shown. When the aircraft is at close range, the straight path results are valid. Differences appear especially when the source is relatively far away at shallow elevation angles. These differences, however, are not significant in common sound metrics. While the framework used in this work performs off-line processing, it is conducive to real-time implementation.

Arntzen, Michael↗
NASA NTRS2012

Framework for Architecture Trade Study Using MBSE and Performance Simulation

Increasing complexity in modern systems as well as cost and schedule constraints require a new paradigm of system engineering to fulfill stakeholder needs. Challenges facing efficient trade studies include poor tool interoperability, lack of simulation coordination (design parameters) and requirements flowdown. A recent trend toward Model Based System Engineering (MBSE) includes flexible architecture definition, program documentation, requirements traceability and system engineering reuse. As a new domain MBSE still lacks governing standards and commonly accepted frameworks. This paper proposes a framework for efficient architecture definition using MBSE in conjunction with Domain Specific simulation to evaluate trade studies. A general framework is provided followed with a specific example including a method for designing a trade study, defining candidate architectures, planning simulations to fulfill requirements and finally a weighted decision analysis to optimize system objectives.

Ryan, Jessica↗
NASA NTRS2014

Cross Support Transfer Service (CSTS) Framework Library

Within the Consultative Committee for Space Data Systems (CCSDS), there is an effort to standardize data transfer between ground stations and control centers. CCSDS plans to publish a collection of transfer services that will each address the transfer of a particular type of data (e.g., tracking data). These services will be called Cross Support Transfer Services (CSTSs). All of these services will make use of a common foundation that is called the CSTS Framework. This library implements the User side of the CSTS Framework. "User side" means that the library performs the role that is typically expected of the control center. This library was developed in support of the Goddard Data Standards program. This technology could be applicable for control centers, and possibly for use in control center simulators needed to test ground station capabilities. The main advantages of this implementation are its flexibility and simplicity. It provides the framework capabilities, while allowing the library user to provide a wrapper that adapts the library to any particular environment. The main purpose of this implementation was to support the inter-operability testing required by CCSDS. In addition, it is likely that the implementation will be useful within the Goddard mission community (for use in control centers).

Ray, Timothy↗
NASA NTRS2014

An Uncertainty Quantification Framework for Prognostics and Condition-Based Monitoring

This paper presents a computational framework for uncertainty quantification in prognostics in the context of condition-based monitoring of aerospace systems. The different sources of uncertainty and the various uncertainty quantification activities in condition-based prognostics are outlined in detail, and it is demonstrated that the Bayesian subjective approach is suitable for interpreting uncertainty in online monitoring. A state-space model-based framework for prognostics, that can rigorously account for the various sources of uncertainty, is presented. Prognostics consists of two important steps. First, the state of the system is estimated using Bayesian tracking, and then, the future states of the system are predicted until failure, thereby computing the remaining useful life of the system. The proposed framework is illustrated using the power system of a planetary rover test-bed, which is being developed and studied at NASA Ames Research Center.

Health Monitoring↗
NASA NTRS2014

A Framework for Land Cover Classification Using Discrete Return LiDAR Data: Adopting Pseudo-Waveform and Hierarchical Segmentation

Acquiring current, accurate land-use information is critical for monitoring and understanding the impact of anthropogenic activities on natural environments.Remote sensing technologies are of increasing importance because of their capability to acquire information for large areas in a timely manner, enabling decision makers to be more effective in complex environments. Although optical imagery has demonstrated to be successful for land cover classification, active sensors, such as light detection and ranging (LiDAR), have distinct capabilities that can be exploited to improve classification results. However, utilization of LiDAR data for land cover classification has not been fully exploited. Moreover, spatial-spectral classification has recently gained significant attention since classification accuracy can be improved by extracting additional information from the neighboring pixels. Although spatial information has been widely used for spectral data, less attention has been given to LiDARdata. In this work, a new framework for land cover classification using discrete return LiDAR data is proposed. Pseudo-waveforms are generated from the LiDAR data and processed by hierarchical segmentation. Spatial featuresare extracted in a region-based way using a new unsupervised strategy for multiple pruning of the segmentation hierarchy. The proposed framework is validated experimentally on a real dataset acquired in an urban area. Better classification results are exhibited by the proposed framework compared to the cases in which basic LiDAR products such as digital surface model and intensity image are used. Moreover, the proposed region-based feature extraction strategy results in improved classification accuracies in comparison with a more traditional window-based approach.

Light Detection & Ranging (LIDAR)↗
NASA NTRS2016

The Matsu Wheel: A Cloud-Based Framework for Efficient Analysis and Reanalysis of Earth Satellite Imagery

Project Matsu is a collaboration between the Open Commons Consortium and NASA focused on developing open source technology for cloud-based processing of Earth satellite imagery with practical applications to aid in natural disaster detection and relief. Project Matsu has developed an open source cloud-based infrastructure to process, analyze, and reanalyze large collections of hyperspectral satellite image data using OpenStack, Hadoop, MapReduce and related technologies. We describe a framework for efficient analysis of large amounts of data called the Matsu "Wheel." The Matsu Wheel is currently used to process incoming hyperspectral satellite data produced daily by NASA's Earth Observing-1 (EO-1) satellite. The framework allows batches of analytics, scanning for new data, to be applied to data as it flows in. In the Matsu Wheel, the data only need to be accessed and preprocessed once, regardless of the number or types of analytics, which can easily be slotted into the existing framework. The Matsu Wheel system provides a significantly more efficient use of computational resources over alternative methods when the data are large, have high-volume throughput, may require heavy preprocessing, and are typically used for many types of analysis. We also describe our preliminary Wheel analytics, including an anomaly detector for rare spectral signatures or thermal anomalies in hyperspectral data and a land cover classifier that can be used for water and flood detection. Each of these analytics can generate visual reports accessible via the web for the public and interested decision makers. The result products of the analytics are also made accessible through an Open Geospatial Compliant (OGC)-compliant Web Map Service (WMS) for further distribution. The Matsu Wheel allows many shared data services to be performed together to efficiently use resources for processing hyperspectral satellite image data and other, e.g., large environmental datasets that may be analyzed for many purposes.

0↗
NASA NTRS2015

An Integrated Framework for Modeling Air Carrier Behavior, Policy, and Impacts in the U.S. Air Transportation System

The implementation of the Next Generation Air Transportation System (NextGen) in the United States is an ongoing challenge for policymakers due to the complexity of the air transportation system (ATS) with its broad array of stakeholders and dynamic interdependencies between them. The successful implementation of NextGen has a hard dependency on the active participation of U.S. commercial airlines. To assist policymakers in identifying potential policy designs that facilitate the implementation of NextGen, the National Aeronautics and Space Administration (NASA) and LMI developed a research framework called the Air Transportation System Evolutionary Simulation (ATS-EVOS). This framework integrates large empirical data sets with multiple specialized models to simulate the evolution of the airline response to potential future policies and explore consequential impacts on ATS performance and market dynamics. In the ATS-EVOS configuration presented here, we leverage the Transportation Systems Analysis Model (TSAM), the Airline Evolutionary Simulation (AIRLINE-EVOS), the Airspace Concept Evaluation System (ACES), and the Aviation Environmental Design Tool (AEDT), all of which enable this research to comprehensively represent the complex facets of the ATS and its participants. We validated this baseline configuration of ATS-EVOS against Airline Origin and Destination Survey (DB1B) data and subject matter expert opinion, and we verified the ATS-EVOS framework and agent behavior logic through scenario-based experiments that explored potential implementations of a carbon tax, congestion pricing policy, and the dynamics for equipage of new technology by airlines. These experiments demonstrated ATS-EVOS's capabilities in responding to a wide range of potential NextGen-related policies and utility for decision makers to gain insights for effective policy design.

Horio, Brant M.↗
NASA NTRS2015

The NASA Auralization Framework and Plugin Architecture

NASA has a long history of investigating human response to aircraft flyover noise and in recent years has developed a capability to fully auralize the noise of aircraft during their design. This capability is particularly useful for unconventional designs with noise signatures significantly different from the current fleet. To that end, a flexible software architecture has been developed to facilitate rapid integration of new simulation techniques for noise source synthesis and propagation, and to foster collaboration amongst researchers through a common releasable code base. The NASA Auralization Framework (NAF) is a skeletal framework written in C++ with basic functionalities and a plugin architecture that allows users to mix and match NAF capabilities with their own methods through the development and use of dynamically linked libraries. This paper presents the NAF software architecture and discusses several advanced auralization techniques that have been implemented as plugins to the framework.

Aumann, Aric R.↗
NASA NTRS2017

Applying Standard Independent Verification and Validation (IVV) Techniques Within an Agile Framework: Is There a Compatibility Issue?

Agile methods have gained wide acceptance over the past several years, to the point that they are now a standard management and execution approach for small-scale software development projects. While conventional Agile methods are not generally applicable to large multi-year and mission-critical systems, Agile hybrids are now being developed (such as SAFe) to exploit the productivity improvements of Agile while retaining the necessary process rigor and coordination needs of these projects. From the perspective of Independent Verification and Validation (IVV), however, the adoption of these hybrid Agile frameworks is becoming somewhat problematic. Hence, we find it prudent to question the compatibility of conventional IVV techniques with (hybrid) Agile practices.This paper documents our investigation of (a) relevant literature, (b) the modification and adoption of Agile frameworks to accommodate the development of large scale, mission critical systems, and (c) the compatibility of standard IVV techniques within hybrid Agile development frameworks. Specific to the latter, we found that the IVV methods employed within a hybrid Agile process can be divided into three groups: (1) early lifecycle IVV techniques that are fully compatible with the hybrid lifecycles, (2) IVV techniques that focus on tracing requirements, test objectives, etc. are somewhat incompatible, but can be tailored with a modest effort, and (3) IVV techniques involving an assessment requiring artifact completeness that are simply not compatible with hybrid Agile processes, e.g., those that assume complete requirement specification early in the development lifecycle.

Agile↗
NASA NTRS2016

Snow Process Estimation Over the Extratropical Andes Using a Data Assimilation Framework Integrating MERRA Data and Landsat Imagery

A data assimilation framework was implemented with the objective of obtaining high resolution retrospective snow water equivalent (SWE) estimates over several Andean study basins. The framework integrates Landsat fractional snow covered area (fSCA) images, a land surface and snow depletion model, and the Modern Era Retrospective Analysis for Research and Applications (MERRA) reanalysis as a forcing data set. The outputs are SWE and fSCA fields (1985-2015) at a resolution of 90 m that are consistent with the observed depletion record. Verification using in-situ snow surveys showed significant improvements in the accuracy of the SWE estimates relative to forward model estimates, with increases in correlation (0.49-0.87) and reductions in root mean square error (0.316 m to 0.129 m) and mean error (-0.221 m to 0.009 m). A sensitivity analysis showed that the framework is robust to variations in physiography, fSCA data availability and a priori precipitation biases. Results from the application to the headwater basin of the Aconcagua River showed how the forward model versus the fSCA-conditioned estimate resulted in different quantifications of the relationship between runoff and SWE, and different correlation patterns between pixel-wise SWE and ENSO. The illustrative results confirm the influence that ENSO has on snow accumulation for Andean basins draining into the Pacific, with ENSO explaining approximately 25% of the variability in near-peak (1 September) SWE values. Our results show how the assimilation of fSCA data results in a significant improvement upon MERRA-forced modeled SWE estimates, further increasing the utility of the MERRA data for high-resolution snow modeling applications.

SWE↗
NASA NTRS2018

Creating Innovative Frameworks to Spur Cultural Change at NASA Armstrong Flight Research Center

Changing the culture of an organization is a monumental task that often takes years and has no set formula. Steps can be taken, however, to spur cultural change by creating spaces and infrastructure to serve as the initial driving force. An innovation space and a bicycle sharing (bike share) program were implemented at the National Aeronautics and Space Administration (NASA) Armstrong Flight Research Center (AFRC) (Edwards, California) with a vision toward connecting Center personnel, fostering collaboration and innovation, retaining newer employees, promoting flexibility, and improving the culture and workplace atmosphere. This paper discusses the steps taken, challenges faced, novel culture-change-focused design elements, lessons learned, acquired metrics, and how these initiated cultural change at AFRC. For both the innovation space and the bike share program, funding was negotiated and provided through the NASA Convergent Aeronautics Solutions (CAS) project, which was seeking to improve the innovation and collaboration capabilities at each of the four NASA aeronautics Centers. Key stakeholders across AFRC from upper management, facilities, safety, engineering, and procurement were identified early in the process and were consulted and included throughout execution to ensure that any encountered roadblocks could be easily navigated. Research was then conducted by attending conferences and visiting culture-changing organizations both inside and outside United States Government agencies. Distilling the research, identifying available space, and deciding on specific design elements for the space was conducted by a subset of individuals of diverse backgrounds to enable quick, effective decision-making. Decisions were made with the intent to increase usage and diversity of users of the space; care was taken to ensure a well-crafted atmosphere that would foster the desired culture change. The allocated physical space required major structural modifications, new furniture, and new capabilities that would bring people in. Decisions and desires underwent a rapid reiterative process in order to stay within budget and short deadlines, while holding firm to what was seen as fundamental elements of an innovation space. The framework for cultural change being established, the more difficult task began: incubating the desired culture. Intentional workday use of the innovation space was encouraged, and organized events coordinated in order to truly foster culture change. Such incubation supports the organic spread of culture change to all areas of AFRC. This framework was complemented and expanded by the implementation of the bike share program. Steps for implementation included bike selection based on lessons learned, creating bike stations and signage, implementing bike share rules, and building a volunteer maintenance infrastructure. A novel user-reporting feedback system at each bike station is a low-impact method of capturing usage metrics. Due to the nature of the work conducted at AFRC, the bike share program and feedback system were negotiated and vetted through various organizations including legal, safety, and operations. The innovation space and the bike share program together are an effective initial framework for innovation and collaboration. Culture change takes time, but the innovation space and the bike share program are already showing signs of making a positive impact on the AFRC workforce.

rooms↗
NASA NTRS2018

Aerodynamic Conceptual Design of Boundary Layer Ingestion Propulsor Systems: A Quasi-2D Through Flow Analysis Method and Multi-Fidelity Propulsor Design Framework

A propulsor design framework for maximizing the benefits of boundary layer ingestion is presented. The performance of BLI is strongly affected by all propulsor components, including the boundary layer characteristics (displacement thickness and form factor) of the ingested boundary layer at the inlet, the radical loading characteristics if the fan and exit guide vane (EGV), the area contraction from inlet to nozzle, and flow expansion at the exhaust cone. A strategy and it's associated multi-fidelity design framework are proposed for an efficient conceptual design of the BLI proplusor which inherently differs from the conventional engine. In the frame work, a quasi-2D through flow model served as the underlying fidelity model is introduced to incorporate the radial effect of the boundary layer entering the propulsor. Multi-fidelity design work is conducted to maximize the predefined performance metrics. On top of this efficient quasi-2D model. computational fluid dynamics based 3-D propulsor models are implemented to refine and validate the design. A BLI propulsion system integrated with fuselage is designed to showcase the framework. The performance of the resulting BLI propulsor system is evaluated via body-force model in unstructured Reynolds-Averaged Navier-Stoke (RANS) CFD and improvement is presented.

Lee, B. J.↗
NASA NTRS2018

An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs

This paper presents an abstract interpretation framework for the round-off error analysis of floating-point programs. This framework defines a parametric abstract analysis that computes, for each combination of ideal and floating-point execution path of the program, a sound over-approximation of the accumulated floating-point round-off error that may occur. In addition, a Boolean expression that characterizes the input values leading to the computed error approximation is also computed. An abstraction on the control flow of the program is proposed to mitigate the explosion of the number of elements generated by the analysis. Additionally, a widening operator is defined to ensure the convergence of recursive functions and loops. An instantiation of this framework is implemented in the prototype tool PRECiSA that generates formal proof certificates stating the correctness of the computed round-off errors.

Titolo, Laura↗