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.

SourceResearch connectionFrom yearThrough year

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

At least 1,027 records · Page 57

All sources NASA NTRS DOE OSTI

NASA NTRS2001

A Proposal for an Integrated Geophysical Strategy to "Follow the Water" on Mars

The search for subsurface water has become a primary focus of Mars exploration. Its abundance and distribution (both as ground ice and groundwater) have important implications for understanding the geologic, hydrologic, and climatic evolution of the planet; the potential origin and continued survival of life; and the accessibility of a critical in situ resource for sustaining future human explorers. For these reasons, a principal goal of the Mars science, astrobiology, and the HEDS programs is to determine the 3-D distribution and state of subsurface H2O, at a resolution sufficient to permit reaching any desired volatile target by drilling. The three targets most often discussed are: groundwater, massive deposits of near-surface ground ice (associated with the ponded discharge of the outflow channels or the relic of a former ocean), and ice-saturated frozen ground. Based on the present best estimates of mean annual surface temperature, crustal thermal conductivity, geothermal heat flow, and groundwater freezing temperature, the mean thickness of frozen ground on Mars is expected to vary from approx. = 2.5 - 5 km at the equator to approx. = 6.5 - 13 km at the poles. However, natural variations in both crustal heat flow and thermal conductivity are likely to result in significant local departures from these predicted values. The recent discovery of "young" fluvial-like features, emanating from the slopes of local scarps, raises the possibility that liquid water may also exist episodically at shallow (approx. = 100 - 500 m) depth; however, the true nature and absolute age of these features remains highly uncertain. Although the belief that Mars is water-rich is supported by a wide variety geologic evidence, our ignorance about the heterogeneous nature and thermal evolution of the planet's crust effectively precludes geomorphic or theoretical attempts to quantitatively assess the current geographic and subsurface vertical distribution of ground ice and groundwater . For this reason, any exploration activity (such as drilling) whose success is contingent on the presence of subsurface water, must be preceded by a comprehensive high-resolution geophysical survey capable of assessing whether local reservoirs of water and ice actually exist. Terrestrial experience has demonstrated that the accurate identification of such targets is likely to require the application of multiple geophysical techniques. In this abstract we propose an integrated strategy for the geophysical exploration of Mars that we believe represents the fastest, most cost-effect, and technically capable approach to identifying the state and distribution of subsurface water. Additional information is contained in the original extended abstract.

Clifford, S. M.↗

NASA NTRS1997

Cooperative Data Sharing: Simple Support for Clusters of SMP Nodes

Libraries like PVM and MPI send typed messages to allow for heterogeneous cluster computing. Lower-level libraries, such as GAM, provide more efficient access to communication by removing the need to copy messages between the interface and user space in some cases. still lower-level interfaces, such as UNET, get right down to the hardware level to provide maximum performance. However, these are all still interfaces for passing messages from one process to another, and have limited utility in a shared-memory environment, due primarily to the fact that message passing is just another term for copying. This drawback is made more pertinent by today's hybrid architectures (e.g. clusters of SMPs), where it is difficult to know beforehand whether two communicating processes will share memory. As a result, even portable language tools (like HPF compilers) must either map all interprocess communication, into message passing with the accompanying performance degradation in shared memory environments, or they must check each communication at run-time and implement the shared-memory case separately for efficiency. Cooperative Data Sharing (CDS) is a single user-level API which abstracts all communication between processes into the sharing and access coordination of memory regions, in a model which might be described as "distributed shared messages" or "large-grain distributed shared memory". As a result, the user programs to a simple latency-tolerant abstract communication specification which can be mapped efficiently to either a shared-memory or message-passing based run-time system, depending upon the available architecture. Unlike some distributed shared memory interfaces, the user still has complete control over the assignment of data to processors, the forwarding of data to its next likely destination, and the queuing of data until it is needed, so even the relatively high latency present in clusters can be accomodated. CDS does not require special use of an MMU, which can add overhead to some DSM systems, and does not require an SPMD programming model. unlike some message-passing interfaces, CDS allows the user to implement efficient demand-driven applications where processes must "fight" over data, and does not perform copying if processes share memory and do not attempt concurrent writes. CDS also supports heterogeneous computing, dynamic process creation, handlers, and a very simple thread-arbitration mechanism. Additional support for array subsections is currently being considered. The CDS1 API, which forms the kernel of CDS, is built primarily upon only 2 communication primitives, one process initiation primitive, and some data translation (and marshalling) routines, memory allocation routines, and priority control routines. The entire current collection of 28 routines provides enough functionality to implement most (or all) of MPI 1 and 2, which has a much larger interface consisting of hundreds of routines. still, the API is small enough to consider integrating into standard os interfaces for handling inter-process communication in a network-independent way. This approach would also help to solve many of the problems plaguing other higher-level standards such as MPI and PVM which must, in some cases, "play OS" to adequately address progress and process control issues. The CDS2 API, a higher level of interface roughly equivalent in functionality to MPI and to be built entirely upon CDS1, is still being designed. It is intended to add support for the equivalent of communicators, reduction and other collective operations, process topologies, additional support for process creation, and some automatic memory management. CDS2 will not exactly match MPI, because the copy-free semantics of communication from CDS1 will be supported. CDS2 application programs will be free to carefully also use CDS1. CDS1 has been implemented on networks of workstations running unmodified Unix-based operating systems, using UDP/IP and vendor-supplied high- performance locks. Although its inter-node performance is currently unimpressive due to rudimentary implementation technique, it even now outperforms highly-optimized MPI implementation on intra-node communication due to its support for non-copy communication. The similarity of the CDS1 architecture to that of other projects such as UNET and TRAP suggests that the inter-node performance can be increased significantly to surpass MPI or PVM, and it may be possible to migrate some of its functionality to communication controllers.

DiNucci, David C.↗

NASA NTRS2002

Dynamics of Planetary Atmospheres

The PI had nineteen papers either published or in press in 1999 through early 2002. Ten of these (Thomas et al. 1999, Geisler et al. 1999, Vasavada et al. 1999, Little et al. t999, Gierasch et al. 2000, Ingersoll et al. 2000, Thomas et al. 2000, Dyudina et al. 2001, Chang et al. 2001, Wang and Ingersoll 2002) were largely supported by the Mars Global Surveyor project and the Galileo project. The other nine papers were largely supported under this grant, and are listed in boldface below. Six of the nine are research papers. Their titles and abstracts are reproduced below. The New Solar System chapter and the Meteorology at the Millennium chapter are review articles, and the World Book Encyclopedia chapter is a popular article. Their title pages and abstracts are also reproduced below.

Ingersoll, Andrew P.↗

NASA NTRS2002

Science Directorate Publications and Presentations, January 1 - December 31, 2001

This TM lists the significant publications and presentation of the Science Directorate during the period January 1-December 31, 2001. Entries in the main part of the document are categorized according to NASA Reports (arranged by report number), Open Literature, and Presentations (arranged alphabetically by title). Most of the articles listed under Open Literature have appeared in refereed professional journals, books, monographs, or conference proceedings. Although many published abstracts are eventually expanded into full papers for publication in scientific and technical journals, they are often sufficiently comprehensive to include the significant results of the research reported. Therefore, published abstracts are listed separately in a section under Open Literature. Questions or requests for additional information about the entries in this report should be directed to Ann F. Whitaker (SD01; (256) 544-2481) or to one of the authors.

Summers, F. G.↗

NASA NTRS2002

Origin, Structure, and Evolution of Grooved Terrain on Ganymede and Comparison to Europa

'Ridge and trough terrain' (RTT) is a generic term for sets of subparallel ridges and troughs observed on several icy outer planet satellites. Ganymede's grooved terrain is the best studied example of ridge and trough terrain. However, the >500 a resolution of Voyager images limited the conclusions that could be drawn regarding its detailed morphology and deformational style, as well as the relationship of bright grooved terrain to dark terrain on Ganymede. The goal of this study was to utilize Galileo high resolution images to examine and categorize the detailed local-scale morphology of ridge and trough terrains on Ganymede, in order to determine the morphological variety and deformational styles of the terrain, and its evolutionary sequence. This included comparison of the ridges and troughs that occur within dark terrain to those within bright terrain. This study addressed implications for the satellite's local-scale stress history, its lithospheric character, and its broader-scale geological history. Conclusions from the Ganymede were applied to gain insight into the origin of ridge and trough terrains on Europa. Attached are the abstracts of the seven papers and list of one popular press article and 13 abstracts which resulted from this study. No subject inventions are associated with this work.

Pappalardo, Robert T.↗

NASA NTRS2001

Certifying Domain-Specific Policies

Proof-checking code for compliance to safety policies potentially enables a product-oriented approach to certain aspects of software certification. To date, previous research has focused on generic, low-level programming-language properties such as memory type safety. In this paper we consider proof-checking higher-level domain -specific properties for compliance to safety policies. The paper first describes a framework related to abstract interpretation in which compliance to a class of certification policies can be efficiently calculated Membership equational logic is shown to provide a rich logic for carrying out such calculations, including partiality, for certification. The architecture for a domain-specific certifier is described, followed by an implemented case study. The case study considers consistency of abstract variable attributes in code that performs geometric calculations in Aerospace systems.

Lowry, Michael↗

NASA NTRS2002

Proxemy Research Grant NAG5-10263 Closeout Report

Proxemy Research had a grant from NASA to perform science research of upwelling and volcanism on Venus. This was a 5 year Presidential Early Career Award to E. Stofan, entitled "Upwelling and volcanism: Constraints from regional studies and geologic mapping." Here we summarize the scientific progress and accomplishments of this grant. Scientific publications and abstracts of presentations are indicated in the final section. This was a very productive grant and the progress that was made is summarized. Attention is drawn to the publications, abstracts, and talks given in each year. Volcanism and tectonism are the dominant geological processes that have shaped the surface of Venus, as revealed by the Magellan data. However, the development of a global geologic history for Venus has caused considerable debate (e.g., Head and Basilevsky, 1996; Guest and Stofan, 1999). The lack of global time horizons on Venus, such as that provided by impact craters on most bodies and the fossil record on Earth, make developing global stratigraphies for Venus difficult, if not impossible, with current datasets. Before the geologic history of Venus can be determined and used as a constraint on potential lithospheric thickness variations through time, it is necessary to perform detailed stratigraphic studies on a local to regional scale. In addition, detailed studies of specific types of venusian features and terrains, such as coronae, volcanic rises, and large lava flow fields, may help to constrain the lithospheric thickness and its potential variations in time and space. This report describes progress made during the five year award under a Presidential Early Career Award for Scientists and Engineers which allows researchers freedom to explore new areas of research.

Stofan, Ellen R.↗

NASA NTRS2002

Motion Planning in a Society of Intelligent Mobile Agents

The majority of the work on this grant involved formal modeling of human-computer integration. We conceptualize computer resources as a multiagent system so that these resources and human collaborators may be modeled uniformly. In previous work we had used modal for this uniform modeling, and we had developed a process-algebraic agent abstraction. In this work, we applied this abstraction (using CSP) in uniformly modeling agents and users, which allowed us to use tools for investigating CSP models. This work revealed the power of, process-algebraic handshakes in modeling face-to-face conversation. We also investigated specifications of human-computer systems in the style of algebraic specification. This involved specifying the common knowledge required for coordination and process-algebraic patterns of communication actions intended to establish the common knowledge. We investigated the conditions for agents endowed with perception to gain common knowledge and implemented a prototype neural-network system that allows agents to detect when such conditions hold. The literature on multiagent systems conceptualizes communication actions as speech acts. We implemented a prototype system that infers the deontic effects (obligations, permissions, prohibitions) of speech acts and detects violations of these effects. A prototype distributed system was developed that allows users to collaborate in moving proxy agents; it was designed to exploit handshakes and common knowledge Finally. in work carried over from a previous NASA ARC grant, about fifteen undergraduates developed and presented projects on multiagent motion planning.

Esterline, Albert C.↗

NASA NTRS2003

Development and Operations of the Astrophysics Data System

SAO TASKS ACCOMPLISHED: Abstract Service: (1) Continued regular updates of abstracts in the databases, both at SAO and at all mirror sites; (2) Established a new naming convention of QB books in preparation for adding physics books from Hollis or Library of Congress; (3) Modified handling of object tag so as not to interfere with XHTML definition; (4) Worked on moving 'what's new' announcements to a majordomo email list so as not to interfere with divisional mail handling; (5) Implemented and tested new first author feature following suggestions from users at the AAS meeting; (6) Added SSRv entries back to volume 1 in preparation for scanning of the journal; (7) Assisted in the re-configuration of the ADS mirror site at the CDS and sent a new set of tapes containing article data to allow re-creation of the ADS article data lost during the move; (8) Created scripts to automatically download Astrobiology.

Murray, Stephen S.↗

NASA NTRS2003

HEASARC Software Archive

(1) Chandra Archive: SAO has maintained the interfaces through which HEASARC gains access to the Chandra Data Archive. At HEASARC's request, we have implemented an anonymous ftp copy of a major part of the public archive and we keep that archive up-to- date. SAO has participated in the ADEC interoperability working group, establishing guidelines or interoperability standards and prototyping such interfaces. We have provided an NVO-based prototype interface, intending to serve the HEASARC-led NVO demo project. HEASARC's Astrobrowse interface was maintained and updated. In addition, we have participated in design discussions surrounding HEASARC's Caldb project. We have attended the HEASARC Users Group meeting and presented CDA status and developments. (2) Chandra CALDB: SA0 has maintained and expanded the Chandra CALDB by including four new data file types, defining the corresponding CALDB keyword/identification structures. We have provided CALDB upgrades for the public (CIAO) and for Standard Data Processing. Approximately 40 new files have been added to the CALDB in these version releases. There have been in the past year ten of these CALDB upgrades, each with unique index configurations. In addition, with the inputs from software, archive, and calibration scientists, as well as CIAO/SDP software developers, we have defined a generalized expansion of the existing CALDB interface and indexing structure. The purpose of this is to make the CALDB more generally applicable and useful in new and future missions that will be supported archivally by HEASARC. The generalized interface will identify additional configurational keywords and permit more extensive calibration parameter and boundary condition specifications for unique file selection. HEASARC scientists and developers from SAO and GSFC have become involved in this work, which is expected to produce a new interface for general use within the current year. (3) DS9: One of the decisions that came from last year's HEADCC meeting was to make the ds9 image display program the primary vehicle for displaying line graphics (as well as images). The first step required to make this possible was to enhance the line graphics capabilities of ds9. SAO therefore spent considerable effort upgrading ds9 to use Tcl 8.4 so that the BLT line graphics package could be built and imported into ds9 from source code, rather than from a pre-built (and generally outdated) shared library. This task, which is nearly complete, allows us to extend BLT as needed for the HEAD community. Following HEADCC discussion concerning archiving and the display of archived data, we extended ds9 to support full access to many astronomical Web-based archives sites, including HEASARC, MAST, CHANDRA, SKYVIEW, ADS, NED, SIMBAD, IRAS, NVRO, SAO TDC, and FIRST. Using ds9's new internal Web access capabilities, these archives can be accessed via their Web page. FITS images, plots, spectra, and journal abstracts can be referenced, down-loaded, and displayed directly and easily in ds9. For more information, see: http://hea-www.harvard.edu/saord/ds9. Also after the HEADCC discussion concerning region filtering, we extended the Funtools sample implementation of region filtering as described in: http://hea-www.harvard.edu/saord/funtools/regions.html. In particular, we added several new composite regions for event and image filtering, including elliptical and box annuli. We also extended the panda (Pie AND Annulus) region support to include box pandas and elliptical pandas. These new composite regions are especially useful in programs that need to count photons in each separate region using only a single pass through the data. Support for these new regions was added to ds9. In the same vein, we developed new region support for filtering images using simple FITS image masks, i.e. 8-bit or 16-bit FITS images where the value of a pixel is the region id number for that pixel. Other important enhancements to DS9 this year, include supporor multiple world coordinate systems, three dimensional event file binning, image smoothing, region groups and tags, the ability to save images in a number of image formats (such as JPEG, TIFF, PNG, FITS), improvements in support for integrating external analysis tools, and support for the virtual observatory. In particular, a full-featured web browser has been implemented within D S 9 . This provides support for full access to HEASARC archive sites such as SKYVIEW and W3BROWSE, in addition to other astronomical archives sites such as MAST, CHANDRA, ADS, NED, SIMBAD, IRAS, NVRO, SA0 TDC, and FIRST. From within DS9, the archives can be searched, and FITS images, plots, spectra, and journal abstracts can be referenced, downloaded and displayed The web browser provides the basis for the built-in help facility. All DS9 documentation, including the reference manual, FAQ, Know Features, and contact information is now available to the user without the need for external display applications. New versions of DS9 maybe downloaded and installed using this facility. Two important features used in the analysis of high energy astronomical data have been implemented in the past year. The first is support for binning photon event data in three dimensions. By binning the third dimension in time or energy, users are easily able to detect variable x-ray sources and identify other physical properties of their data. Second, a number of fast smoothing algorithms have been implemented in DS9, which allow users to smooth their data in real time. Algorithms for boxcar, tophat, and gaussian smoothing are supported.

White, Nicholas↗

NASA NTRS2003

Science Directorate Publications and Presentations, January 1 - December 31, 2002

This Technical Memorandum lists the significant publications and presentations of the Science Directorate during the period January 1-December 31, 2002. Entries in the main part of the document are categorized according to NASA Reports (arranged by report number), Open Literature, and Presentations (arranged alphabetically by title). Most of the articles listed under Open Literature have appeared in refereed professional journals, books, monographs, or conference proceedings. Although many published abstracts are eventually expanded into full papers for publication in scientific and technical journals, they are often sufficiently comprehensive to include the significant results of the research reported. Therefore, published abstracts are listed separately in a subsection under Open Literature.

Summers, F. G.↗

NASA NTRS2003

Automated Environment Generation for Software Model Checking

A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are fundamentally open since their behavior is dependent on patterns of invocation of system components and values defined outside the system but referenced within the system. Whether reasoning about the behavior of whole programs or about program components, an abstract model of the environment can be essential in enabling sufficiently precise yet tractable verification. In this paper, we describe an approach to generating environments of Java program fragments. This approach integrates formally specified assumptions about environment behavior with sound abstractions of environment implementations to form a model of the environment. The approach is implemented in the Bandera Environment Generator (BEG) which we describe along with our experience using BEG to reason about properties of several non-trivial concurrent Java programs.

Tkachuk, Oksana↗

NASA NTRS2003

Adding Concrete Syntax to a Prolog-Based Program Synthesis System

Program generation and transformation systems manipulate large, pa- rameterized object language fragments. Support for user-definable concrete syntax makes this easier but is typically restricted to certain object and meta languages. We show how Prolog can be retrofitted with concrete syntax and describe how a seamless interaction of concrete syntax fragments with an existing legacy meta-programming system based on abstract syntax is achieved. We apply the approach to gradually migrate the schemas of the AUTOBAYES program synthesis system to concrete syntax. Fit experiences show that this can result in a considerable reduction of the code size and an improved readability of the code. In particular, abstracting out fresh-variable generation and second-order term construction allows the formulation of larger continuous fragments and improves the locality in the schemas.

Fischer, Bernd↗

NASA NTRS2003

Dust Transport, Deposition and Radiative Effects Observed from MODIS

Carlson (1977) used satellite (AVHRR) observation of dust episodes 3 estimate that 90 tg of dust are emitted from Africa (0-30 N) to the Atlantic Ocean between June and August. MODIS systematic measurements of aerosol optical thickness (AOT) and the fraction of the AOT (f) due to the fine mode (see Remer et al abstract), are used to derive the column concentration, flux and deposition of African dust over the Atlantic Ocean. The main data set is for 2001 but the results are consistent with MODIS measurements from 2002. The analysis first determines the properties of maritime baseline aerosol (AOT=0.06, f=0.5); followed by linear scaling of the dust AOT and the anthropogenic AOT, based on MODIS measured values of the fraction "f" being 0.9 for anthropogenic aerosol and 0.5 for dust. NCEP winds are used in the analysis and are evaluated against observed dust movements between the Terra and Aqua passes (see Koren et al. abstract). Monthly values of dust transport and deposition are calculated. Preliminary results show that 280 tg of dust are emitted annually from Africa to the Atlantic Ocean between 20s and 30N, with 40 tg returning to Africa and Europe between 30N and 50N. 85 tg reach the Americas, with 130-150 tg are deposited in the Atlantic Ocean. The results are compared with dust transport models that indicate 110-230 tg of dust being deposited in the Ocean. It is interesting to note that the early estimates of Carlson (1977) and Carlson & Prosper0 (1972) are very close to our estimate from MODIS of 100 tg for the same latitude range and monthly period.

Kaufman, Y. J.↗

NASA NTRS2003

Trajectory-Based Performance Assessment for Aviation Weather Information

Based on an analysis of aviation decision-makers' time-related weather information needs, an abstraction of the aviation weather decision task was developed, that involves 4-D intersection testing between aircraft trajectory hypertubes and hazardous weather hypervolumes. The framework builds on the hypothesis that hazardous meteorological fields can be simplified using discrete boundaries of surrogate threat attributes. The abstractions developed in the framework may be useful in studying how to improve the performance of weather forecasts from the trajectory-centric perspective, as well as for developing useful visualization techniques of weather information.

Vigeant-Langlois, Laurence↗

NASA NTRS2004

Automated Extraction of Flow Features

Computational Fluid Dynamics (CFD) simulations are routinely performed as part of the design process of most fluid handling devices. In order to efficiently and effectively use the results of a CFD simulation, visualization tools are often used. These tools are used in all stages of the CFD simulation including pre-processing, interim-processing, and post-processing, to interpret the results. Each of these stages requires visualization tools that allow one to examine the geometry of the device, as well as the partial or final results of the simulation. An engineer will typically generate a series of contour and vector plots to better understand the physics of how the fluid is interacting with the physical device. Of particular interest are detecting features such as shocks, recirculation zones, and vortices (which will highlight areas of stress and loss). As the demand for CFD analyses continues to increase the need for automated feature extraction capabilities has become vital. In the past, feature extraction and identification were interesting concepts, but not required in understanding the physics of a steady flow field. This is because the results of the more traditional tools like; iso-surface, cuts and streamlines, were more interactive and easily abstracted so they could be represented to the investigator. These tools worked and properly conveyed the collected information at the expense of a great deal of interaction. For unsteady flow-fields, the investigator does not have the luxury of spending time scanning only one "snapshot" of the simulation. Automated assistance is required in pointing out areas of potential interest contained within the flow. This must not require a heavy compute burden (the visualization should not significantly slow down the solution procedure for (co-processing environments). Methods must be developed to abstract the feature of interest and display it in a manner that physically makes sense.

Dorney, Suzanne↗

NASA NTRS2004

Preserving the Pyramid of STI Using Buckets

The product of research projects is information. Through the life cycle of a project, information comes from many sources and takes many forms. Traditionally, this body of information is summarized in a formal publication, typically a journal article. While formal publications enjoy the benefits of peer review and technical editing, they are also often compromises in media format and length. As such, we consider a formal publication to represent an abstract to a larger body of work: a pyramid of scientific and technical information (STI). While this abstract may be sufficient for some applications, an in-depth use or analysis is likely to require the supporting layers from the pyramid. We have developed buckets to preserve this pyramid of STI. Buckets provide an archive- and protocol-independent container construct in which all related information objects can be logically grouped together, archived, and manipulated as a single object. Furthermore, buckets are active archival objects and can communicate with each other, people, or arbitrary network services. Buckets are an implementation of the Smart Object, Dumb Archive (SODA) DL model. In SODA, data objects are more important than the archives that hold them. Much of the functionality traditionally associated with archives is pushed down into the objects, such as enforcing terms and conditions, negotiating display, and content maintenance. In this paper, we discuss the motivation, design, and implication of bucket use in DLs with respect to grey literature.

Nelson, Michael L.↗

NASA NTRS2004

Improving Evolvability through Generative Representations

One of the main limitations of computer automated design systems is the representation used for encoding designs. Using computer programs as an analogy, representations can be thought of as having the properties of combination, control-flow and abstraction. Generative representations are those which have the ability to reuse elements in an encoding through either iteration, a form of control-flow, or abstraction. Here we argue that generative representations improve the evolvability of designs by capturing design dependencies in a way that makes them easier to change, and we support this with examples from two design substrates.

Hornby, Gregory S.↗