Search NASA⌕ Search

SEARCH · Search NASA

Results for “ABSTRACT”

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 235 records · Page 13

Abstraction Planning in Real Time

When a planning agent works in a complex, real-world domain, it is unable to plan for and store all possible contingencies and problem situations ahead of time. This thesis presents a method for planning a run time that incrementally builds up plans at multiple levels of abstraction. The plans are continually updated by information from the world, allowing the planner to adjust its plan to a changing world during the planning process. All the information is represented over intervals of time, allowing the planner to reason about durations, deadlines, and delays within its plan. In addition to the method, the thesis presents a formal model of the planning process and uses the model to investigate planning strategies.

COMPUTER PROGRAMMING↗

Abstraction Planning in Real Time

When a planning agent works in a complex, real-world domain, it is unable to plan for and store all possible contingencies and problem situations ahead of time. The agent needs to be able to fall back on an ability to construct plans at run time under time constraints. This thesis presents a method for planning at run time that incrementally builds up plans at multiple levels of abstraction. The plans are continually updated by information from the world, allowing the planner to adjust its plan to a changing world during the planning process. All the information is represented over intervals of time, allowing the planner to reason about durations, deadlines, and delays within its plan. In addition to the method, the thesis presents a formal model of the planning process and uses the model to investigate planning strategies. The method has been implemented, and experiments have been run to validate the overall approach and the theoretical model.

ARTIFICIAL INTELLIGENCE↗

HBCUs Research Conference Agenda and Abstracts

The purpose of this Historically Black Colleges and Universities (HBCUs) Research Conference was to provide an opportunity for principal investigators and their students to present research progress reports. The abstracts included in this report indicate the range and quality of research topics such as aeropropulsion, space propulsion, space power, fluid dynamics, designs, structures and materials being funded through grants from Lewis Research Center to HBCUs. The conference generated extensive networking between students, principal investigators, Lewis technical monitors, and other Lewis researchers.

Dutta, Sunil↗

In Situ Resource Utilization (ISRU 3) Technical Interchange Meeting: Abstracts

This volume contains abstracts that have been accepted for presentation at the In Situ Resource Utilization (ISRU III) Technical Interchange Meeting, February 11-12, 1999, hosted by the Lockheed Martin Astronautics Waterton Facility, Denver, Colorado. Administration and publication support for this meeting were provided by the staff of the Publications and Program Services Department at the Lunar and Planetary Institute.

Source record↗

HBCUs/OMUs Research Conference Agenda and Abstracts

The purpose of this Historically Black Colleges and Universities (HBCUs) Research Conference was to provide an opportunity for principal investigators and their students to present research progress reports. The Abstracts included in this report indicate the range and quality of research topics such as aeropropulsion, space propulsion, space power, fluid dynamics, designs, structures and materials being funded through grants from Glenn Research Center to HBCUs. The conference generated extensive networking between students, principal investigators, Glenn technical monitors, and other Glenn researchers.

Dutta, Sunil↗

HBCUs/OMUs Research Conference Agenda and Abstracts

The purpose of this Historically Black Colleges and Universities (HBCUs) Research Conference was to provide an opportunity for principal investigators and their students to present research progress reports. The abstracts included in this report indicate the range and quality of research topics such as aeropropulsion, space propulsion, space power, fluid dynamics, designs, structures and materials being funded through grants from Glenn Research Center to HBCUs. The conference generated extensive networking between students, principal investigators, Glenn technical monitors, and other Glenn researchers.

Dutta, Sunil↗

Inertial Electrostatic Confinement Fusion: The Laser Elevator Solar System Survey for Propellants Abstract

Dr. Wayne Pryor worked on three projects this summer. These were: 1) Inertial Electrostatic Confinement; 2) The Laser Elevator; and 3) Solar System Survey for Propellants Abstract. We Assisted Jon Nadler from Richland Community College in assembling and operating a table-top nuclear fusion reactor. We successfully demonstrated neutron production in a deuterium plasma. Pryor also obtained basic spectroscopic information on the atomic and molecular emissions in the plasma. The second project consisted of the completion of a paper on a novel propulsion concept (due to Tom Meyer of Colorado, the first author): a laser sail that bounces light back to the laser source. Recycling the photons from source to sail perhaps 100-1000 times dramatically improves the energy efficiency of this system, which may become very important for high-velocity missions in the future. Lastly, we compiled a very basic inventory of solar system propellant resources, their locations, and their accessibility. This initial inventory concentrates on sunlight availability, water availability, and the difficulty (delta-velocity requirement and radiation environment) in getting there.

Pryor, Wayne↗

The Hydrogen Abstraction from A Diamond(111) Surface in A Uniform Electric Field

Bond breaking in a strong electric field is shown to arise from a crossing of the ionic and covalent asymptotes. The specific example of hydrogen abstraction from a diamond(111) surface is studied using a cluster model. The addition of nearby atoms in both the parallel and perpendicular direction to the electric field are found to have an effect. It is also shown that the barrier is not only related to the position of the ionic and covalent asymptotes.

Ricca, Alessandra↗

Sixth Microgravity Fluid Physics and Transport Phenomena Conference Abstracts

The Sixth Microgravity Fluid Physics and Transport Phenomena Conference provides the scientific community the opportunity to view the current scope of the Microgravity Fluid Physics and Transport Phenomena Program, current research opportunities, and plans for the near future. The conference focuses not only on fundamental research but also on applications of this knowledge towards enabling future space exploration missions. A whole session dedicated to biological fluid physics shows increased emphasis that the program has placed on interdisciplinary research. The conference includes invited plenary talks, technical paper presentations, poster presentations, and exhibits. This TM is a compilation of abstracts of the papers and the posters presented at the conference. Web-based proceedings, including the charts used by the presenters, will be posted on the web shortly after the conference.

Singh, Bhim↗

HBCUs/OMUs Research Conference Agenda and Abstracts

The purpose of this Historically Black Colleges and Universities (HBCUs/OMUs) Research Conference was to provide an opportunity for principal investigators and their students to present research progress reports. The abstracts included in this report indicate the range and quality of research topics such as aeropropulsion, space propulsion, space power, fluid dynamics, designs, structures and materials being funded through grants from Glenn Research Center to HBCUs. The conference generated extensive networking between students, principal investigators, Glenn technical monitors, and other Glenn researchers.

Dutta, Sunil↗

Use of Structure as a Basis for Abstraction in Air Traffic Control

The safety and efficiency of the air traffic control domain is highly dependent on the capabilities and limitations of its human controllers. Past research has indicated that structure provided by the airspace and procedures could aid in simplifying the controllers cognitive tasks. In this paper, observations, interviews, voice command data analyses, and radar analyses were conducted at the Boston Terminal Route Control (TRACON) facility to determine if there was evidence of controllers using structure to simplify their cognitive processes. The data suggest that controllers do use structure-based abstractions to simplify their cognitive processes, particularly the projection task. How structure simplifies the projection task and the implications of understanding the benefits structure provides to the projection task was discussed.

Davison, Hayley J.↗

(abstract) Scientific Objectivity and the Impact Hazard: Responsible Reporting Versus Crying Wolf

f comets and asteroids on the Earth pose a real hazard, comparable in probability to other hazards which society deems worthy of concern. As such, it is prudent and reasonable to investigate and institute means for evaluation of the exact nature of the hazard and possible means of mitigating the effects of impacts, primarily by preventing their occurrence through orbital deflection. Decisions as to the hazard and possible detection and deflection programs must be made through a rational public discussion of the issues, provided with the best possible information. Unfortunately, some individuals have tended to overstate the problem either in terms of the probability of impact or the expected effects of impacts. The net result of such actions is often to undermine public confidence in those attempting to promote an informal discussion of the impact hazard. This is particularily true in a time of declining budgets for both science and defense, and increased competition for federal R&D dollars. It is thus important that the community find means of promoting responsible actions by the members of the community, and for dealing with public release of information, within the bounds of academic and individual freedom. The purpose of this abstract is to promote a discussion of these issues within the community and to invite additional suggestions for methods to improve the providing of accurate information to the public, the media, and most importantly, to decision makers.

comets asteroids impacts dangers effects scientifi↗

Model Checking Abstract PLEXIL Programs with SMART

We describe a method to automatically generate discrete-state models of abstract Plan Execution Interchange Language (PLEXIL) programs that can be analyzed using model checking tools. Starting from a high-level description of a PLEXIL program or a family of programs with common characteristics, the generator lays the framework that models the principles of program execution. The concrete parts of the program are not automatically generated, but require the modeler to introduce them by hand. As a case study, we generate models to verify properties of the PLEXIL macro constructs that are introduced as shorthand notation. After an exhaustive analysis, we conclude that the macro definitions obey the intended semantics and behave as expected, but contingently on a few specific requirements on the timing semantics of micro-steps in the concrete executive implementation.

Siminiceanu, Radu I.↗

Entity-Centric Abstraction and Modeling Framework for Transportation Architectures

A comprehensive framework for representing transpportation architectures is presented. After discussing a series of preceding perspectives and formulations, the intellectual underpinning of the novel framework using an entity-centric abstraction of transportation is described. The entities include endogenous and exogenous factors and functional expressions are offered that relate these and their evolution. The end result is a Transportation Architecture Field which permits analysis of future concepts under the holistic perspective. A simulation model which stems from the framework is presented and exercised producing results which quantify improvements in air transportation due to advanced aircraft technologies. Finally, a modeling hypothesis and its accompanying criteria are proposed to test further use of the framework for evaluating new transportation solutions.

Lewe, Jung-Ho↗

Solving the AI Planning Plus Scheduling Problem Using Model Checking via Automatic Translation from the Abstract Plan Preparation Language (APPL) to the Symbolic Analysis Laboratory (SAL)

This paper describes a translator from a new planning language named the Abstract Plan Preparation Language (APPL) to the Symbolic Analysis Laboratory (SAL) model checker. This translator has been developed in support of the Spacecraft Autonomy for Vehicles and Habitats (SAVH) project sponsored by the Exploration Technology Development Program, which is seeking to mature autonomy technology for the vehicles and operations centers of Project Constellation.

Butler, Ricky W.↗

Operating System Abstraction Layer (OSAL)

This viewgraph presentation reviews the concept of the Operating System Abstraction Layer (OSAL) and its benefits. The OSAL is A small layer of software that allows programs to run on many different operating systems and hardware platforms It runs independent of the underlying OS & hardware and it is self-contained. The benefits of OSAL are that it removes dependencies from any one operating system, promotes portable, reusable flight software. It allows for Core Flight software (FSW) to be built for multiple processors and operating systems. The presentation discusses the functionality, the various OSAL releases, and describes the specifications.

Yanchik, Nicholas J.↗