SEARCH · Engineering Papers

Results for “example”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 73 records · Page 4

All sources NASA NTRS DOE OSTI

NASA NTRS1983

An explicit example of Hopf bifurcation in fluid mechanics

It is observed that a complete and explicit example of Hopf bifurcation appears not to be known in fluid mechanics. Such an example is presented for the rotating Benard problem with free boundary conditions on the upper and lower faces, and horizontally periodic solutions. Normal modes are found for the linearization, and the Veronis computation of the wave numbers is modified to take into account the imposed horizontal periodicity. An invariant subspace of the phase space is found in which the hypotheses of the Joseph-Sattinger theorem are verified, thus demonstrating the Hopf bifurcation. The criticality calculations are carried through to demonstrate rigorously, that the bifurcation is subcritical for certain cases, and to demonstrate numerically that it is subcritical for all the cases in the paper.

Kloeden, P.↗

NASA NTRS1987

Analysis and synthesis of abstract data types through generalization from examples

The discovery of general patterns of behavior from a set of input/output examples can be a useful technique in the automated analysis and synthesis of software systems. These generalized descriptions of the behavior form a set of assertions which can be used for validation, program synthesis, program testing and run-time monitoring. Describing the behavior is characterized as a learning process in which general patterns can be easily characterized. The learning algorithm must choose a transform function and define a subset of the transform space which is related to equivalence classes of behavior in the original domain. An algorithm for analyzing the behavior of abstract data types is presented and several examples are given. The use of the analysis for purposes of program synthesis is also discussed.

Wild, Christian↗

NASA NTRS1987

Analysis and synthesis of abstract data types through generalization from examples

The discovery of general patterns of behavior from a set of input/output examples can be a useful technique in the automated analysis and synthesis of software systems. These generalized descriptions of the behavior form a set of assertions which can be used for validation, program synthesis, program testing, and run-time monitoring. Describing the behavior is characterized as a learning process in which the set of inputs is mapped into an appropriate transform space such that general patterns can be easily characterized. The learning algorithm must chose a transform function and define a subset of the transform space which is related to equivalence classes of behavior in the original domain. An algorithm for analyzing the behavior of abstract data types is presented and several examples are given. The use of the analysis for purposes of program synthesis is also discussed.

Wild, Christian↗

NASA NTRS1989

Task-oriented display design: Concept and example

The general topic was in the area of display design alternatives for improved man-machine performance. The intent was to define and assess a display design concept oriented toward providing this task-oriented information. The major focus of this concept deals with the processing of data into parameters that are more relevant to the task of the human operator. Closely coupled to this concept of relevant information is the form or manner in which this information is actually presented. Conventional forms of presentation are normally a direct representation of the underlying data. By providing information in a form that is more easily assimilated and understood, a reduction in human error and cognitive workload may be obtained. A description of this proposed concept with a design example is provided. The application for the example was an engine display for a generic, twin-engine civil transport aircraft. The product of this concept was evaluated against a functionally similar, traditional display. The results of this evaluation showed that a task-oriented approach to design is a viable concept with regard to reducing user error and cognitive workload. The goal of this design process, providing task-oriented information to the user, both in content and form, appears to be a feasible mechanism for increasing the overall performance of a man-machine system.

Abbott, Terence S.↗

NASA NTRS1989

Task-oriented display design - Concept and example

Abbott, Terence S.↗

NASA NTRS1990

Interesting examples of supervised continuous variable systems

The authors analyze two simple deterministic flow models for multiple buffer servers which are examples of the supervision of continuous variable systems by a discrete controller. These systems exhibit what may be regarded as the two extremes of complexity of the closed loop behavior: one is eventually periodic, the other is chaotic. The first example exhibits chaotic behavior that could be characterized statistically. The dual system, the switched server system, exhibits very predictable behavior, which is modeled by a finite state automaton. This research has application to multimodal discrete time systems where the controller can choose from a set of transition maps to implement.

Chase, Christopher↗

NASA NTRS1993

Large volcanoes on Venus: Examples of geologic and structural characteristics from different classes

Large volcanoes characterized by radial lava flows and similar evidence for a topographic edifice are widely distributed over the surface of Venus and geologically diverse. Based on the global identification of more than 165 examples and preliminary geologic mapping, large volcanoes range from those characterized geologically as simple lava edifices to those bearing evidence of complexly developed volcanic and structural histories. Many large volcanoes exhibit characteristics transitional to other large magnetic center types such as coronae and novae. In this study, we examine the geology and structure of several type examples of large volcanoes not addressed in previous studies which are representative of several of the morphological classes.

Crumpler, L. S.↗

NASA NTRS1995

Examples of grid generation with implicitly specified surfaces using GridPro (TM)/az3000. 1: Filleted multi-tube configurations

With examples, we illustrate how implicitly specified surfaces can be used for grid generation with GridPro/az3000. The particular examples address two questions: (1) How do you model intersecting tubes with fillets? and (2) How do you generate grids inside the intersected tubes? The implication is much more general. With the results in a forthcoming paper which develops an easy-to-follow procedure for implicit surface modeling, we provide a powerful means for rapid prototyping in grid generation.

Cheng, Zheming↗

NASA NTRS2002

Finding Feasible Abstract Counter-Examples

A strength of model checking is its ability to automate the detection of subtle system errors and produce traces that exhibit those errors. Given the high computational cost of model checking most researchers advocate the use of aggressive property-preserving abstractions. Unfortunately, the more aggressively a system is abstracted the more infeasible behavior it will have. Thus, while abstraction enables efficient model checking it also threatens the usefulness of model checking as a defect detection tool, since it may be difficult to determine whether a counter-example is feasible and hence worth developer time to analyze. We have explored several strategies for addressing this problem by extending an explicit-state model checker, Java PathFinder (JPF), to search for and analyze counter-examples in the presence of abstractions. We demonstrate that these techniques effectively preserve the defect detection ability of model checking in the presence of aggressive abstraction by applying them to check properties of several abstracted multi-threaded Java programs. These new capabilities are not specific to JPF and can be easily adapted to other model checking frameworks; we describe how this was done for the Bandera toolset.

Pasareanu, Corina S.↗

NASA NTRS2006

Role of Process Control in Improving Space Vehicle Safety A Space Shuttle External Tank Example

Developing a safe and reliable space vehicle requires good design and good manufacturing, or in other words "design it right and build it right". A great design can be hard to build or manufacture mainly due to difficulties related to quality. Specifically, process control can be a challenge. As a result, the system suffers from low quality which leads to low reliability and high system risk. The Space Shuttle has experienced some of those cases, but has overcome these difficulties through extensive redesign efforts and process enhancements. One example is the design of the hot gas temperature sensor on the Space Shuttle Main Engine (SSME), which resulted in failure of the sensor in flight and led to a redesign of the sensor. The most recent example is the Space Shuttle External Tank (ET) Thermal Protection System (TPS) reliability issues that contributed to the Columbia accident. As a result, extensive redesign and process enhancement activities have been performed over the last two years to minimize the sensitivities and difficulties of the manual TPS application process.

Safie, Fayssal M.↗

NASA NTRS2007

ATK Launch Systems Engineering NASA Programs Engineering Examples

This presentation provides an overview of the work done at ATK Launch Systems with and indication of how engineering knowledge can be applied to several real world problems. All material in the presentation has been screened to meet ITAR restrictions. The information provided is a compilation of general engineering knowledge and material available in the public domain. The presentation provides an overview of ATK Launch Systems and NASA programs. Some discussion is provided about the types of engineering conducted at the Promontory plant with added detail about RSRM nozzle engineering. Some brief examples of examples of nozzle technical issues with regard to adhesives and phenolics are shared. These technical issue discussions are based on material available in the public domain.

Richardson, David↗

NASA NTRS2010

Development of a Benchmark Example for Delamination Fatigue Growth Prediction

The development of a benchmark example for cyclic delamination growth prediction is presented and demonstrated for a commercial code. The example is based on a finite element model of a Double Cantilever Beam (DCB) specimen, which is independent of the analysis software used and allows the assessment of the delamination growth prediction capabilities in commercial finite element codes. First, the benchmark result was created for the specimen. Second, starting from an initially straight front, the delamination was allowed to grow under cyclic loading in a finite element model of a commercial code. The number of cycles to delamination onset and the number of cycles during stable delamination growth for each growth increment were obtained from the analysis. In general, good agreement between the results obtained from the growth analysis and the benchmark results could be achieved by selecting the appropriate input parameters. Overall, the results are encouraging but further assessment for mixed-mode delamination is required

Krueger, Ronald↗

NASA NTRS2010

Development of a Benchmark Example for Delamination Fatigue Growth Prediction

Krueger, Ronald↗

NASA NTRS2013

Development and Applications of Benchmark Examples for Static Delamination Propagation Predictions

The development and application of benchmark examples for the assessment of quasistatic delamination propagation capabilities was demonstrated for ANSYS (TradeMark) and Abaqus/Standard (TradeMark). The examples selected were based on finite element models of Double Cantilever Beam (DCB) and Mixed-Mode Bending (MMB) specimens. First, quasi-static benchmark results were created based on an approach developed previously. Second, the delamination was allowed to propagate under quasi-static loading from its initial location using the automated procedure implemented in ANSYS (TradeMark) and Abaqus/Standard (TradeMark). Input control parameters were varied to study the effect on the computed delamination propagation. Overall, the benchmarking procedure proved valuable by highlighting the issues associated with choosing the appropriate input parameters for the VCCT implementations in ANSYS® and Abaqus/Standard®. However, further assessment for mixed-mode delamination fatigue onset and growth is required. Additionally studies should include the assessment of the propagation capabilities in more complex specimens and on a structural level.

Krueger, Ronald↗

NASA NTRS2017

Methods for Probabilistic Uncertainty Analysis and Bayesian Analysis with Examples of Statistically Analyzing Data to Revise MMOD Risk Estimates and Compare Models

Probabilistic methods are presented for characterizing and quantifying uncertainties in models and model predictions. Techniques are given for constructing specific uncertainty distributions based on available information. Alternative techniques are given for propagating uncertainties in model inputs to obtain the uncertainty in the model result or prediction. Bayesian techniques are also described for utilizing data and information to update and revise model results and predictions. The focus is on applications with numerous specific examples given. The use of data to revise Micrometeoroid and Orbital Debris (MMOD) risk prediction models are among the examples given.

Risk↗

NASA NTRS2019

Status and Examples for the Version 06 IMERG Multi-Satellite Products

After five years of development following the launch of the Global Precipitation Measurement (GPM) missionCore Observatory, the GPM data products are now being extended across the joint Tropical Rainfall MeasuringMission (TRMM) and GPM eras. Version 06 of the U.S. GPM team's Integrated Multi-satellitE Retrievals forGPM (IMERG) merged precipitation product provides a consistent intercalibration for all precipitation productscomputed from individual satellites with the TRMM and GPM Core Observatory sensors as the TRMM- andGPM-era calibrators, respectively, and incorporates monthly surface gauge data. One major change in the basicIMERG algorithm for V06 is that precipitation motion vectors (used to drive the quasi-Lagrangian interpolation,or "morphing") are computed by tracking vertically integrated vapor (TQV) fields analyzed in MERRA2 andGEOS5. This innovation provides globally complete coverage, expanding IMERG's coverage beyond the 60N-Slatitude band previously provided by IR-based vectors, although precipitation over snowy/icy surfaces is stillmasked out as unreliable. A second innovation is that the Quality Index (QI) data field computed for the half-hourlydatasets has been refined to include estimates of correlation at microwave overpass times.We will summarize the processing status for V06 IMERG, for which the retrospective processing shouldbe actively advancing at meeting time. We will show early examples of performance. For example, the TQVmotion vectors are typically slightly better than the IR-based vectors at all latitudes. The transition across theTRMM/GPM data boundary will be discussed, including the necessity of filling in the TRMM-based calibrationsover the latitude band 35-65 in each hemisphere. The notional schedule for the eventual retirement of thepredecessor TRMM Multi-satellite Precipitation Analysis (TMPA) multi-satellite dataset will be updated as well.

Huffman, George J.↗

NASA NTRS2019

Standards and Best Practices - Two NASA Examples

Formal international standards as well as promotion of community or recommended practices have their place in ensuring "FAIRness" of data. Data management in NASA's Earth Observation System Data and Information System (EOSDIS) has benefited from both of these avenues to a significant extent. The purpose of this paper is to present one example of each of these, which promote (re)usability. The first is an ISO standard for specifying preservation content from Earth observation missions. The work on this started in 2011, informally within the Earth Science Information Partners (ESIP) in the US, while the European Space Agency (ESA) was leading an effort on Long-Term Data Preservation (LTDP). Resulting from the ESIP discussions was NASA's Preservation Content Specification, which was applied in 2012 as a requirement for NASA's new missions. ESA's Preserved Data Set Content (PDSC) document was codified into a document adopted by the Committee on Earth Observation Satellites (CEOS). It was recognized that it would be useful to combine PCS and PDSC into an ISO standard to ensure consistency in data preservation on a broader international scale. This standard, numbered ISO 19165-2 has been under development since mid-2017. The second is an example of developing recommendations for "best practices" within more limited (still fairly broad) communities. A Data Product Developers' Guide (DPDG) is currently being developed by one of NASA's Earth Science Data System Working Groups (ESDSWGs). It is for use by developers of products to be derived from Earth observation data to improve product (re)usability. One of the challenges in developing the guide is the fact that there are already many applicable standards and guides. The relevant information needs to be selected and expressed in a succinct manner, with appropriate pointers to references. The DPDG aims to compile the most applicable parts of earlier guides into a single document outlining the typical development process for Earth Science data products. Standards and best practices formally endorsed by the Earth Science Data and Information System (ESDIS) Standards Office (ESO), outputs from ESDSWGs (e.g., Dataset Interoperability Working Group, and Data Quality Working Group), and recommendations from Distributed Active Archive Centers and data producers are emphasized.

Ramapriyan, Hampapuram↗

NASA NTRSDate not supplied

Error Localization Examples: Looking for a Needle in a Hay-stack

Finite element models (FEM) are routinely developed and used during fabrication of high dollar-value hardware. NASA as part of the pre-flight certification of launch vehicles routinely conducts vibration and static tests to calibrate models used for flight-risk assessments. As part of the calibration process, certain areas in the model are modified, using engineering judgment and sensitivity analysis, to match the test results. Unfortunately, tools to identify problem areas in the FEM using test data directly are scarce. Over the years, Error Localization Algorithms (ELA) have been proposed with very limited success. Recently, the Analytical Dynamics Model Improvement (ADMI) algorithm, which computes closed-form mass and stiffness corrections to match the test data exactly, have been shown to be effective for error localization. The paper will present several FEM example problems where ELA is used with simulated test data to determine FEM problem areas. For each example, the correct answer is shown along with ELA results. It is shown that the ELA process is able to identify general problem areas in the FEM, which are consistent with known model perturbations. However, in most cases the ELA identified area of improvement is larger than the true answer. Nonetheless, with proper optimization tools, calibration results using the ELA identified areas provide excellent results.

error localization↗