Engineering Papers⌕ Search

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.

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

At least 37 records · Page 2

Active learning in the presence of unlabelable examples

We propose a new active learning framework where the expert labeler is allowed to decline to label any example. This may be necessary because the true label is unknown or because the example belongs to a class that is not part of the real training problem. We show that within this framework, popular active learning algorithms (such as Simple) may perform worse than random selection because they make so many queries to the unlabelable class. We present a method by which any active learning algorithm can be modified to avoid unlabelable examples by training a second classifier to distinguish between the labelable and unlabelable classes. We also demonstrate the effectiveness of the method on two benchmark data sets and a real-world problem.

active learning↗

The Columbia Debris Loan Program; Examples of Microscopic Analysis

Following the tragic loss of the Space Shuttle Columbia NASA formed The Columbia Recovery Office (CRO). The CRO was initially formed at the Johnson Space Center after the conclusion of recovery operations on May 1,2003 and then transferred .to the Kennedy Space Center on October 6,2003 and renamed The Columbia Recovery Office and Preservation. An integral part of the preservation project was the development of a process to loan Columbia debris to qualified researchers and technical educators. The purposes of this program include aiding in the advancement of advanced spacecraft design and flight safety development, the advancement of the study of hypersonic re-entry to enhance ground safety, to train and instruct accident investigators and to establish an enduring legacy for Space Shuttle Columbia and her crew. Along with a summary of the debris loan process examples of microscopic analysis of Columbia debris items will be presented. The first example will be from the reconstruction following the STS- 107 accident and how the Materials and Pro~es~steesa m used microscopic analysis to confirm the accident scenario. Additionally, three examples of microstructural results from the debris loan process from NASA internal, academia and private industry will be presented.

Russell, Rick↗

Fundamental Travel Demand Model Example

Instances of transportation models are abundant and detailed "how to" instruction is available in the form of transportation software help documentation. The purpose of this paper is to look at the fundamental inputs required to build a transportation model by developing an example passenger travel demand model. The example model reduces the scale to a manageable size for the purpose of illustrating the data collection and analysis required before the first step of the model begins. This aspect of the model development would not reasonably be discussed in software help documentation (it is assumed the model developer comes prepared). Recommendations are derived from the example passenger travel demand model to suggest future work regarding the data collection and analysis required for a freight travel demand model.

Hanssen, Joel↗

A Benchmark Example for Delamination Propagation Predictions Based on the Calibrated End-Loaded Split Specimen

A benchmark example based on the Calibrated End-Loaded Split (C-ELS) specimen is developed and used to assess the performance of recently developed delamination propagation capabilities in the Abaqus/Standard finite element code. The C-ELS specimen has the advantage of a longer region of stable delamination propagation compared to the existing mode II benchmark case. The new benchmark example may therefore provide a better assessment tool by enabling more stable crack growth in regions further away from the boundary conditions or load application. First, a benchmark result is created manually using two-dimensional finite element models of the C-ELS specimen with different delamination lengths. Second, the performance of the delamination propagation capabilities in the Abaqus/Standard finite element code are assessed by comparing the results to the benchmark case. Two examples with different starter delamination lengths are studied. A shorter starter length is chosen to create a scenario with unstable delamination propagation. A longer delamination causes stable delamination propagation. Detailed results from three-dimensional analyses with aligned and mis-aligned meshes and two levels of mesh refinement are provided for several permutations of numerical input parameters. In general, good agreement can be achieved between the results obtained from the quasi-static propagation analysis and the benchmark analysis. However, particular non-default settings are found to be most reliable, accurate, and numerically efficient. Numerical artifacts including anomalous unreleased nodes in the crack wake and zig-zag crack fronts occur, and further development of the Abaqus/Standard VCCT propagation may be required. Use of the benchmark case to assess the continuous improvements in one finite element code illustrates the value of establishing benchmark solutions.

delamination↗

NASTRAN: User experience with four example problems

Four different structural problems are solved to gain familiarity with the NASTRAN computer program. The problems are: (1) a simply-supported beam subjected to lateral loads, (2) a rotating filamentary composite bar under the action of centrifugal forces, (3) a missile body with aerodynamic, gravitational, and inertial forces, and (4) a square simply-supported plate with in-plane temperature changes capable of buckling the plate. Input and output data are given for each problem. The results are compared with those obtained by other methods. However, except for the examples employing beam elements in which the agreement is excellent, the element breakup chosen for convenience in obtaining program familiarity is too coarse to draw conclusions regarding the program accuracy. The example problems disclosed errors in the plotting and thermal-buckling routines of the program.

Rivello, R. M.↗

Benefit-cost methodology study with example application of the use of wind generators

An example application for cost-benefit methodology is presented for the use of wind generators. The approach adopted for the example application consisted of the following activities: (1) surveying of the available wind data and wind power system information, (2) developing models which quantitatively described wind distributions, wind power systems, and cost-benefit differences between conventional systems and wind power systems, and (3) applying the cost-benefit methodology to compare a conventional electrical energy generation system with systems which included wind power generators. Wind speed distribution data were obtained from sites throughout the contiguous United States and were used to compute plant factor contours shown on an annual and seasonal basis. Plant factor values (ratio of average output power to rated power) are found to be as high as 0.6 (on an annual average basis) in portions of the central U. S. and in sections of the New England coastal area. Two types of wind power systems were selected for the application of the cost-benefit methodology. A cost-benefit model was designed and implemented on a computer to establish a practical tool for studying the relative costs and benefits of wind power systems under a variety of conditions and to efficiently and effectively perform associated sensitivity analyses.

Zimmer, R. P.↗

Simplification of multiple Fourier series - An example of algorithmic approach

This paper describes one example of multiple Fourier series which originate from a problem of spectral analysis of time series data. The example is exercised here with an algorithmic approach which can be generalized for other series manipulation on a computer. The generalized approach is presently pursued towards applications to a variety of multiple series and towards a general purpose algorithm for computer algebra implementation.

Ng, E. W.↗

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.↗

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↗

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↗

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.↗

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.↗

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↗

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.↗

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↗

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.↗

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.↗

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↗