SEARCH · Engineering Papers
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.
During the last decade and a half new polymers have emerged that respond to electrical stimulation with a significant shape or size change. This capability of electroactive polymer (EAP) materials is attracting the attention of engineers and scientists from many different disciplines.
Biology offers a great model for emulation in areas ranging from tools, computational algorithms, materials science, mechanisms and information technology. In recent years, the field of biomimetics, namely mimicking biology, has blossomed with significant advances enabling the reverse engineering of many animals' functions and implementation of some of these capabilities.
Automated planning systems (APS) are gaining acceptance for use on NASA missions as evidenced by APS flown On missions such as Orbiter and Deep Space 1 both of which were commanded by onboard planning systems. The planning system takes high level goals and expands them onboard into a detailed of action fiat the spacecraft executes. The system must be verified to ensure that the automatically generated plans achieve the goals as expected and do not generate actions that would harm the spacecraft or mission. These systems are typically tested using empirical methods. Formal methods, such as model checking, offer exhaustive or measurable test coverage which leads to much greater confidence in correctness. This paper describes a formal method based on the SPIN model checker. This method guarantees that possible plans meet certain desirable properties. We express the input model in Promela, the language of SPIN and express the properties of desirable plans formally.
For many years, electroactive polymers (EAP) received relatively little attention due to the small number of available materials and their limited actuation capability.
In recent times, improvements in imaging technology have made available an incredible array of information in image format.
In recent times, improvements in imaging technology have made available an incredible array of information in image format.
We have elicited a reliable Raman spectral signature for glucose in rabbit aqueous humor across mammalian physiological ranges in a rabbit model stressed by recent myocardial infarction.
Explore the source record for details and available documents.
Current literature primarily addresses what is referred to as “Systems Thinking.” Dr. Marie Morganelli from Southern New Hampshire University states that “Systems thinking is a holistic way to investigate factors and interactions that could contribute to a possible outcome [1]. A mindset more than a prescribed practice, systems thinking provides an understanding of how individuals can work together in different types of teams and through that understanding, create the best possible processes to accomplish just about any-thing.” So, a “Thinking System” is a system that is capable of “systems thinking,” as it should be able to “ …create [utilize] the best possible processes, and possess the [intelligence] to accomplish just about anything.” To achieve this capability, hu-man-like thinking is required. A truly autonomous system must be one that is capable of human-like thinking. Sustained autonomy requires “Thinking Autonomy” (TA) that is enabled by a “Thinking System.”
Explore the source record for details and available documents.
Explore the source record for details and available documents.
Explore the source record for details and available documents.
Explore the source record for details and available documents.
Explore the source record for details and available documents.
There is currently interest in conducting flight Reynolds number aerodynamic performance testing for iced airplane configurations. There has only been limited testing in the past, none of which has resulted in publicly available data. Consequently, there is virtually no documented knowledge for conducting icing related testing at flight Reynolds number where testing in cryogenic conditions is required. The National Transonic Facility (NTF) is a cryogenic wind tunnel at NASA Langley Research Center that is capable of achieving flight Reynolds numbers on subscale models. A large number of aerodynamic tests have been performed in this facility for uniced subscale model configurations. Through the collaborations associated with the High Lift Common Research Model, a test campaign was conducted to fill the existing research gaps with publicly available data. This resulted in a requirement that NASA develop a suitable level of competency for performing icing related tests in cryogenic environments. This document provides information about the challenges faced during the test campaign, how the issues were mitigated, and preserves the institutional knowledge gained by providing recommendations that will be used to reduce risk for future testing.
Explore the source record for details and available documents.