Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Abstracts”

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 829 records · Page 46
All sourcesNASA NTRSDOE OSTI
NASA NTRS1999

Aeronautical Engineering: A Continuing Bibliography with Indexes

This supplemental issue of Aeronautical Engineering, a Continuing Bibliography with Indexes (NASA/SP#1999-7037) lists reports, articles, and other documents recently announced in the NASA STI Database. The coverage includes documents on the engineering and theoretical aspects of design, construction, evaluation, testing, operation, and performance of aircraft (including aircraft engines) and associated components, equipment, and systems. It also includes research and development in aerodynamics, aeronautics, and ground support equipment for aeronautical vehicles. Each entry in the publication consists of a standard bibliographic citation accompanied, in most cases, by an abstract. The NASA CASI price code table, addresses of organizations, and document availability information are included before the abstract section. Two indexes#subject and author are included after the abstract section.

Source record↗
NASA NTRS1999

Aeronautical Engineering: A Continuing Bibliography With Indexes

This supplemental issue of Aeronautical Engineering, A Continuing Bibliography with Indexes (NASA/SP-1999-7037) lists reports, articles, and other documents recently announced in the NASA STI Database. The coverage includes documents on the engineering and theoretical aspects of design, construction, evaluation, testing, operation, and performance of aircraft (including aircraft engines) and associated components, equipment, and systems. It also includes research and development in aerodynamics, aeronautics, and ground support equipment for aeronautical vehicles. Each entry in the publication consists of a standard bibliographic citation accompanied, in most cases, by an abstract. The NASA CASI price code table, addresses of organizations, and document availability information are included before the abstract section. Two indexes-subject and author are included after the abstract section.

Source record↗
NASA NTRS2000

Aerospace Medicine and Biology: A Continuing Bibliography with Indexes

This supplemental issue of Aerospace Medicine and Biology, A Continuing Bibliography with Indexes (NASA/SP#2000-7011) lists reports, articles, and other documents recently announced in the NASA STI Database. In its subject coverage, Aerospace Medicine and Biology concentrates on the biological, physiological, psychological, and environmental effects to which humans are subjected during and following simulated or actual flight in the Earth#s atmosphere or in interplanetary space. References describing similar effects on biological organisms of lower order are also included. Such related topics as sanitary problems, pharmacology, toxicology, safety and survival, life support systems, exobiology, and personnel factors receive appropriate attention. Applied research receives the most emphasis, but references to fundamental studies and theoretical principles related to experimental development also qualify for inclusion. Each entry in the publication consists of a standard bibliographic citation accompanied, in most cases, by an abstract. The NASA CASI price code table, addresses of organizations, and document availability information are included before the abstract section. Two indexes#subject and author are included after the abstract section.

Source record↗
NASA NTRS2000

Aerospace Medicine and Biology: A Continuing Bibliography With Indexes

This supplemental issue of Aerospace Medicine and Biology, A Continuing Bibliography with Indexes (NASA/SP#1999-7011) lists reports, articles, and other documents recently announced in the NASA STI Database. In its subject coverage, Aerospace Medicine and Biology concentrates on the biological, physiological, psychological, and environmental effects to which humans are subjected during and following simulated or actual flight in the Earth#s atmosphere or in interplanetary space. References describing similar effects on biological organisms of lower order are also included. Such related topics as sanitary problems, pharmacology, toxicology, safety and survival, life support systems, exobiology, and personnel factors receive appropriate attention. Applied research receives the most emphasis, but references to fundamental studies and theoretical principles related to experimental development also qualify for inclusion. Each entry in the publication consists of a standard bibliographic citation accompanied, in most cases, by an abstract. The NASA CASI price code table, addresses of organizations, and document availability information are included before the abstract section. Two indexes-subject and author are included after the abstract section.

Source record↗
NASA NTRS2000

Aeronautical Engineering: A Continuing Bibliography with Indexes

This supplemental issue of Aeronautical Engineering, A Continuing Bibliography with Indexes (NASA/SP-2000-7037) lists reports, articles, and other documents recently announced in the NASA STI Database. The coverage includes documents on the engineering and theoretical aspects of design, construction, evaluation, testing, operation, and performance of aircraft (including aircraft engines) and associated components, equipment, and systems. It also includes research and development in aerodynamics, aeronautics, and ground support equipment for aeronautical vehicles. Each entry in the publication consists of a standard bibliographic citation accompanied, in most cases, by an abstract. The NASA CASI price code table, addresses of organizations, and document availability information are included before the abstract section. Two indexes- subject and author are included after the abstract section.

Source record↗
NASA NTRS2000

Aeronautical Engineering: A Continuing Bibliography With Indexes

This report lists reports, articles and other documents recently announced in the NASA STI Database. The coverage includes documents on the engineering and theoretical aspects of design, construction, evaluation, testing, operation, and performance of aircraft (including aircraft engines) and associated components, equipment, and systems. It also includes research and development in aerodynamics, aeronautics, and ground support equipment for aeronautical vehicles. Each entry in the publication consists of a standard bibliographic citation accompanied, in most cases, by an abstract. The NASA CASI price code table, addresses of organizations, and document availability information are included before the abstract section. Two indexes-subject and author are included after the abstract section.

Source record↗
NASA NTRS2000

Aeronautical Engineering: A Continuing Bibliography with Indexes

This supplemental issue of Aeronautical Engineering, A Continuing Bibliography with Indexes (NASA/SP-2000-7037) lists reports, articles, and other documents recently announced in the NASA STI Database. The coverage includes documents on the engineering and theoretical aspects of design, construction, evaluation, testing, operation, and performance of aircraft (including aircraft engines) and associated components, equipment, and systems. It also includes research and development in aerodynamics, aeronautics, and ground support equipment for aeronautical vehicles. Each entry in the publication consists of a standard bibliographic citation accompanied, in most cases, by an abstract. The NASA CASI price code table, addresses of organizations, and document availability information are included before the abstract section. Two indexes-subject and author are included after the abstract section.

Source record↗
NASA NTRS2000

Formal Analysis of the Remote Agent Before and After Flight

This paper describes two separate efforts that used the SPIN model checker to verify deep space autonomy flight software. The first effort occurred at the beginning of a spiral development process and found five concurrency errors early in the design cycle that the developers acknowledge would not have been found through testing. This effort required a substantial manual modeling effort involving both abstraction and translation from the prototype LISP code to the PROMELA language used by SPIN. This experience and others led to research to address the gap between formal method tools and the development cycle used by software developers. The Java PathFinder tool which directly translates from Java to PROMELA was developed as part of this research, as well as automatic abstraction tools. In 1999 the flight software flew on a space mission, and a deadlock occurred in a sibling subsystem to the one which was the focus of the first verification effort. A second quick-response "cleanroom" verification effort found the concurrency error in a short amount of time. The error was isomorphic to one of the concurrency errors found during the first verification effort. The paper demonstrates that formal methods tools can find concurrency errors that indeed lead to loss of spacecraft functions, even for the complex software required for autonomy. Second, it describes progress in automatic translation and abstraction that eventually will enable formal methods tools to be inserted directly into the aerospace software development cycle.

Havelund, Klaus↗
NASA NTRS2000

Stress Recovery and Error Estimation for 3-D Shell Structures

The C1-continuous stress fields obtained from finite element analyses are in general lower- order accurate than are the corresponding displacement fields. Much effort has focussed on increasing their accuracy and/or their continuity, both for improved stress prediction and especially error estimation. A previous project developed a penalized, discrete least squares variational procedure that increases the accuracy and continuity of the stress field. The variational problem is solved by a post-processing, 'finite-element-type' analysis to recover a smooth, more accurate, C1-continuous stress field given the 'raw' finite element stresses. This analysis has been named the SEA/PDLS. The recovered stress field can be used in a posteriori error estimators, such as the Zienkiewicz-Zhu error estimator or equilibrium error estimators. The procedure was well-developed for the two-dimensional (plane) case involving low-order finite elements. It has been demonstrated that, if optimal finite element stresses are used for the post-processing, the recovered stress field is globally superconvergent. Extension of this work to three dimensional solids is straightforward. Attachment: Stress recovery and error estimation for shell structure (abstract only). A 4-node, shear-deformable flat shell element developed via explicit Kirchhoff constraints (abstract only). A novel four-node quadrilateral smoothing element for stress enhancement and error estimation (abstract only).

Riggs, H. R.↗
NASA NTRS2000

Aerospace Medicine and Biology: A Continuing Bibliography With Indexes

This supplemental issue of Aerospace Medicine and Biology, A Continuing Bibliography with Indexes (NASA/SP#2000-7011) lists reports, articles, and other documents recently announced in the NASA STI Database. In its subject coverage, Aerospace Medicine and Biology concentrates on the biological, physiological, psychological, and environmental effects to which humans are subjected during and following simulated or actual flight in the Earth's atmosphere or in interplanetary space. References describing similar effects on biological organisms of lower order are also included. Such related topics as sanitary problems, pharmacology, toxicology, safety and survival, life support systems, exobiology, and personnel factors receive appropriate attention. Applied research receives the most emphasis, but references to fundamental studies and theoretical principles related to experimental development also qualify for inclusion. Each entry in the publication consists of a standard bibliographic citation accompanied, in most cases, by an abstract. The NASA CASI price code table, addresses of organizations, and document availability information are included before the abstract section. Two indexes- subject and author are included after the abstract section.

Source record↗
NASA NTRS2002

Estimating the Single-Trial Characteristics of Event-Related Responses: Evaluation of the MCERP Algorithm

Single-trial event-related responses collected during the course of an experiment are typically averaged before analysis resulting in a rather crude picture of event-related brain dynamics. It has been quite clear for some time that these responses exhibit trial-to-trial variability: however, the computational techniques necessary to deal with such responses in noisy conditions have not been available. To this end we have developed the multiple-component, event-related potential model (mcERP), which assumes that the each event-related response consists of a sum of multiple evoked components each described by a stereotypical waveshape. These waveshapes are allowed to vary in amplitude and onset latency from trial to trial, which allows us to capture, to first-order, the trial-dependent variations in event-related brain dynamics. We have constructed many sets of synthetic data designed to simulate intracortical recordings from a 15 channel, linear-array multielectrode implanted acutely in V1 of an awake-behaving macaque undergoing visual stimulation with a red light flash. This synthetic data was used to characterize the performance of the mcERP algorithm. First we quantified the degree to which such trial-to-trial variability aids in the identification of multiple components, and we demonstrate that amplitude variability is a more important factor in component separation than latency variability. Second, we quantified the behavior of the algorithm under two distinct signal-to-noise ratio (SNR) conditions: Gaussian noise independently present in each channel, and highly correlated (1/f distributed), far-field noise presented identically in each channel of the array. The mcERP algorithm was found to be robust to noise accurately identifying all component waveshapes and their associated single-trial characteristics down to SNR levels of -20dB for Gaussian noise and -7dB for 1/f far-field noise. Comparisons of the performance of this algorithm with factor analysis (FA) and independent component analysis (ICA) will be described by Knuth et al. (SFN abstracts, 2002). In addition, the advantages of application of mcERP to real data will be described by Shah et al, (these abstracts, 2002: SFN abstracts, 2002).

Knuth, K. H.↗
NASA NTRS2004

Impact of Operating Context on the Use of Structure in Air Traffic Controller Cognitive Processes

This paper investigates the influence of structure on air traffic controllers cognitive processes in the TRACON, En Route, and Oceanic environments. Radar data and voice command analyses were conducted to support hypotheses generated through observations and interviews conducted at the various facilities. Three general types of structure-based abstractions (standard flows, groupings, and critical points) have been identified as being used in each context, though the details of their application varied in accordance with the constraints of the particular operational environment. Projection emerged as a key cognitive process aided by the structure-based abstractions, and there appears to be a significant difference between how time-based versus spatial-based projection is performed by controllers. It is recommended that consideration be given to the value provided by the structure-based abstractions to the controller as well as to maintain consistency between the type (time or spatial) of information support provided to the controller.

Davison, Hayley J.↗
NASA NTRS2005

Seeing Red and Shooting Blanks: Study of Red Quasars and Blank X-Ray Sources

A major paper describing the technique and providing a list of 'blanks' was published in the Astrophysical Journal (abstract below). The results revealed a fascinating trove of novel X-ray sources: high redshift clusters of galaxies found efficiently; X-ray absorbed, optically clean AGN, which may be the bright prototypes of Chandra Deep Survey sources; and several with a still unknown nature. Recent XMM-Newton results confirm the existence of this class of X-ray source with much refined positions. During the first year of this project we have made a major discovery. The second 'blanks' X-ray source observed with Chandra was found to be extended. Using Chandra data and ground-based R and K band imaging we estimated this to be a high redshift cluster of galaxies with z approx. 0.85. Spectroscopy agrees with this estimate (z=0.89). This success shows that our method of hunting down 'blank' field X-ray sources is a highly efficient method of finding the otherwise elusive high redshift clusters. With extensive follow-up we should be able to use 'blanks' to make cosmological tests. The paper is now in press in the Astrophysical Journal (abstract below.) The other Chandra source is point-like, showing that there are a variety of 'blank' source types. Other follow-up observations with XMM-Newton, and (newly approved in cycle 2) with Chandra are eagerly awaited. A follow-up paper uses a large amount of supporting data for the remaining blanks. A combination of ROSAT, Chandra and ground based data convincingly identified one of the blanks as a Ultra-luminous X-ray source (ULX) in a spiral galaxy (abstract below). This program resulted in 3 refereed papers in major journals, 4 conference proceedings and a significant fraction of the PhD thesis of Dr. Ilaria Cagnoni. Details of the publications are given.

Oliversen, Ronald↗
NASA NTRS2005

Software Certification for Temporal Properties With Affordable Tool Qualification

It has been recognized that a framework based on proof-carrying code (also called semantic-based software certification in its community) could be used as a candidate software certification process for the avionics industry. To meet this goal, tools in the "trust base" of a proof-carrying code system must be qualified by regulatory authorities. A family of semantic-based software certification approaches is described, each different in expressive power, level of automation and trust base. Of particular interest is the so-called abstraction-carrying code, which can certify temporal properties. When a pure abstraction-carrying code method is used in the context of industrial software certification, the fact that the trust base includes a model checker would incur a high qualification cost. This position paper proposes a hybrid of abstraction-based and proof-based certification methods so that the model checker used by a client can be significantly simplified, thereby leading to lower cost in tool qualification.

Xia, Songtao↗
NASA NTRS2009

Formal methods for modeling and analysis of hybrid systems

A technique based on the use of a quantifier elimination decision procedure for real closed fields and simple theorem proving to construct a series of successively finer qualitative abstractions of hybrid automata is taught. The resulting abstractions are always discrete transition systems which can then be used by any traditional analysis tool. The constructed abstractions are conservative and can be used to establish safety properties of the original system. The technique works on linear and non-linear polynomial hybrid systems: the guards on discrete transitions and the continuous flows in all modes can be specified using arbitrary polynomial expressions over the continuous variables. An exemplar tool in the SAL environment built over the theorem prover PVS is detailed. The technique scales well to large and complex hybrid systems.

Tiwari, Ashish↗
NASA NTRS2010

Detailed Comparison of DNS to PSE for Oblique Breakdown at Mach 3

A pair of oblique waves at low amplitudes is introduced in a supersonic flat-plate boundary layer. Their downstream development and the concomitant process of laminar to turbulent transition is then investigated numerically using Direct Numerical Simulations (DNS) and Parabolized Stability Equations (PSE). This abstract is the last part of an extensive study of the complete transition process initiated by oblique breakdown at Mach 3. In contrast to the previous simulations, the symmetry condition in the spanwise direction is removed for the simulation presented in this abstract. By removing the symmetry condition, we are able to confirm that the flow is indeed symmetric over the entire computational domain. Asymmetric modes grow in the streamwise direction but reach only small amplitude values at the outflow. Furthermore, this abstract discusses new time-averaged data from our previous simulation CASE 3 and compares PSE data obtained from NASA's LASTRAC code to DNS results.

Mayer, Christian S. J.↗
NASA NTRS2011

Graph Theory Roots of Spatial Operators for Kinematics and Dynamics

Spatial operators have been used to analyze the dynamics of robotic multibody systems and to develop novel computational dynamics algorithms. Mass matrix factorization, inversion, diagonalization, and linearization are among several new insights obtained using such operators. While initially developed for serial rigid body manipulators, the spatial operators and the related mathematical analysis have been shown to extend very broadly including to tree and closed topology systems, to systems with flexible joints, links, etc. This work uses concepts from graph theory to explore the mathematical foundations of spatial operators. The goal is to study and characterize the properties of the spatial operators at an abstract level so that they can be applied to a broader range of dynamics problems. The rich mathematical properties of the kinematics and dynamics of robotic multibody systems has been an area of strong research interest for several decades. These properties are important to understand the inherent physical behavior of systems, for stability and control analysis, for the development of computational algorithms, and for model development of faithful models. Recurring patterns in spatial operators leads one to ask the more abstract question about the properties and characteristics of spatial operators that make them so broadly applicable. The idea is to step back from the specific application systems, and understand more deeply the generic requirements and properties of spatial operators, so that the insights and techniques are readily available across different kinematics and dynamics problems. In this work, techniques from graph theory were used to explore the abstract basis for the spatial operators. The close relationship between the mathematical properties of adjacency matrices for graphs and those of spatial operators and their kernels were established. The connections hold across very basic requirements on the system topology, the nature of the component bodies, the indexing schemes, etc. The relationship of the underlying structure is intimately connected with efficient, recursive computational algorithms. The results provide the foundational groundwork for a much broader look at the key problems in kinematics and dynamics. The properties of general graphs and trees of nodes and edge were examined, as well as the properties of adjacency matrices that are used to describe graph connectivity. The nilpotency property of such matrices for directed trees was reviewed, and the adjacency matrices were generalized to the notion of block weighted adjacency matrices that support block matrix elements. This leads us to the development of the notion of Spatial Kernel Operator SKO kernels. These kernels provide the basis for the development of SKO resolvent operators.

Jain, Abhinandan↗
NASA NTRS2012

System and method for transferring telemetry data between a ground station and a control center

Disclosed herein are systems, computer-implemented methods, and tangible computer-readable media for coordinating communications between a ground station, a control center, and a spacecraft. The method receives a call to a simple, unified application programmer interface implementing communications protocols related to outer space, when instruction relates to receiving a command at the control center for the ground station generate an abstract message by agreeing upon a format for each type of abstract message with the ground station and using a set of message definitions to configure the command in the agreed upon format, encode the abstract message to generate an encoded message, and transfer the encoded message to the ground station, and perform similar actions when the instruction relates to receiving a second command as a second encoded message at the ground station from the control center and when the determined instruction type relates to transmitting information to the control center.

Ray, Timothy J.↗