SEARCH · Engineering Papers

Results for “SrY”

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 127 records · Page 7

All sources NASA NTRS DOE OSTI

NASA NTRS1998

BioSIGHT: Interactive Visualization Modules for Science Education

Redefining science education to harness emerging integrated media technologies with innovative pedagogical goals represents a unique challenge. The Integrated Media Systems Center (IMSC) is the only engineering research center in the area of multimedia and creative technologies sponsored by the National Science Foundation. The research program at IMSC is focused on developing advanced technologies that address human-computer interfaces, database management, and high- speed network capabilities. The BioSIGHT project at IMSC is a demonstration technology project in the area of education that seeks to address how such emerging multimedia technologies can make an impact on science education. The scope of this project will help solidify NASA's commitment for the development of innovative educational resources that promotes science literacy for our students and the general population as well. These issues must be addressed as NASA marches towards the goal of enabling human space exploration that requires an understanding of life sciences in space. The IMSC BioSIGHT lab was established with the purpose of developing a novel methodology that will map a high school biology curriculum into a series of interactive visualization modules that can be easily incorporated into a space biology curriculum. Fundamental concepts in general biology must be mastered in order to allow a better understanding and application for space biology. Interactive visualization is a powerful component that can capture the students' imagination, facilitate their assimilation of complex ideas, and help them develop integrated views of biology. These modules will augment the role of the teacher and will establish the value of student-centered interactivity, both in an individual setting as well as in a collaborative learning environment. Students will be able to interact with the content material, explore new challenges, and perform virtual laboratory simulations. The BioSIGHT effort is truly cross-disciplinary in nature and requires expertise from many areas including Biology, Computer Science, Electrical Engineering, Education, and the Cognitive Sciences. The BioSIGHT team includes a scientific illustrator, educational software designer, computer programmers as well as IMSC graduate and undergraduate students. Our collaborators include TERC, a research and education organization with extensive k-12 math and science curricula development from Cambridge, MA.; SRI International of Menlo Park, CA.; teachers and students from local area high schools (Newbury Park High School, USC's Family of Five schools, Chadwick School, and Pasadena Polytechnic High School).

Wong, Wee Ling↗

NASA NTRS2000

Inference System Integration Via Logic Morphisms

This is a final report on the accomplishments during the period of the NASA grant. The work on inference servers accomplished the integration of the SLANG logic (Specware's default specification logic) with a number of inference servers in order to make their complementary strengths available. These inverence servers are (1) SNARK. (2) Gandalf, Setheo, and Spass, (3) the Prototype Verification System (PVS) from SRI. (4) HOL98. We designed and implemented MetaSlang, an ML-like language, which we are using to specify and implement all our logic morphisms.

Bjorner, Nikolaj S.↗

NASA NTRS1985

Automatic Blood Pressure Measurements During Exercise

Microprocessor circuits and a computer algorithm for automatically measuring blood pressure during ambulatory monitoring and exercise stress testing have been under development at SRI International. A system that records ECG, Korotkov sound, and arm cuff pressure for off-line calculation of blood pressure has been delivered to NASA, and an LSLE physiological monitoring system that performs the algorithm calculations in real-time is being constructed. The algorithm measures the time between the R-wave peaks and the corresponding Korotkov sound on-set (RK-interval). Since the curve of RK-interval versus cuff pressure during deflation is predictable and slowly varying, windows can be set around the curve to eliminate false Korotkov sound detections that result from noise. The slope of this curve, which will generally decrease during exercise, is the inverse of the systolic slope of the brachial artery pulse. In measurements taken during treadmill stress testing, the changes in slopes of subjects with coronary artery disease were markedly different from the changes in slopes of healthy subjects. Measurements of slope and O2 consumption were also made before and after ten days of bed rest during NASA/Ames Research Center bed rest studies. Typically, the maximum rate of O2 consumption during the post-bed rest test is less than the maximum rate during the pre-bed rest test. The post-bed rest slope changes differ from the pre-bed rest slope changes, and the differences are highly correlated with the drop in the maximum rate of O2 consumption. We speculate that the differences between pre- and post-bed rest slopes are due to a drop in heart contractility.

Weaver, Charles S.↗

NASA NTRS2001

Wireless Subsurface Microsensors for Health Monitoring of Thermal Protection Systems on Hypersonic Vehicles

Health diagnostics is an area where major improvements have been identified for potential implementation into the design of new reusable launch vehicles in order to reduce life cycle costs, to increase safety margins, and to improve mission reliability. NASA Ames is leading the effort to develop inspection and health management technologies for thermal protection systems. This paper summarizes a joint project between NASA Ames and SRI International to develop 'SensorTags,' radio frequency identification devices coupled with event-recording sensors, that can be embedded in the thermal protection system to monitor temperature or other quantities of interest. Two prototype SensorTag designs containing thermal fuses to indicate a temperature overlimit are presented and discussed.

Milos, Frank S.↗

NASA NTRS2001

Future of Colombo Airport (CMB) as an Airline Hub

Aviation throughout the world has seen profound changes within the last two decades. Today more and more airports are looking for hub operations. However, as the success of hub operation would depend on a number of parameters such as geographic location, route network, facilities available, passengers' acceptance etc., not all airports would be able to operate as successful hubs. This paper investigates the possibility for (he Bandaranayake international airport, Colombo, Sri Lanka (CMB) to emerge as a hub airport in the South Asian region. It is found that CMB is situated in a geographically advantageous position in the region with respect to the airline route network. Comparison of travel distances between CMB and prominent O-D pairs and evaluation of airline schedules at relevant established hub airports indicates that CMB could operate as a directional hub serving the South Asian market if the number of destinations with daily flights could be increased.

Jayalath, J. T. D.↗

NASA NTRS1994

Virtual Environments in Scientific Visualization

Virtual environment technology is a new way of approaching the interface between computers and humans. Emphasizing display and user control that conforms to the user's natural ways of perceiving and thinking about space, virtual environment technologies enhance the ability to perceive and interact with computer generated graphic information. This enhancement potentially has a major effect on the field of scientific visualization. Current examples of this technology include the Virtual Windtunnel being developed at NASA Ames Research Center. Other major institutions such as the National Center for Supercomputing Applications and SRI International are also exploring this technology. This talk will be describe several implementations of virtual environments for use in scientific visualization. Examples include the visualization of unsteady fluid flows (the virtual windtunnel), the visualization of geodesics in curved spacetime, surface manipulation, and examples developed at various laboratories.

Bryson, Steve↗

NASA NTRS1994

Virtual Environments in Scientific Visualization

Bryson, Steve↗

NASA NTRS1999

The Eyes Have It

NASA'S Ames Research Center contracted with SRI international to contract a device that would be able to anticipate, track, and monitor involuntary ocular movement horizontally, vertically, and with respect to depth-of-field. This development helped research institutions to understand the eye. The Eyetracker, manufactured and distributed by Forward Optical Technologies, Inc. is now used in the clinical/medical field.

Source record↗

NASA NTRS2002

A Focal Plane Stellar X-Ray Polarimeter for SXG

The Stellar X-Ray Polarimeter (SXRP) is the only X-ray polarimeter designed to view astrophysical sources that is currently scheduled to be flown. The SXRP is one of eight astronomical X-ray instruments intended to be flown at the focal plane of the two SODART large-area metal-foil grazing-incidence X-ray telescopes on the Russian Spectrum-Roentgen-Gamma (SRI) mission. The engineering model of the SXRP was delivered to Russia in February 1994. Construction of the flight model (FM) is complete. The SXRP-FM is currently in storage at SAO.

Kaaret, P.↗

NASA NTRS2002

Program Instrumentation and Trace Analysis

Several attempts have been made recently to apply techniques such as model checking and theorem proving to the analysis of programs. This shall be seen as a current trend to analyze real software systems instead of just their designs. This includes our own effort to develop a model checker for Java, the Java PathFinder 1, one of the very first of its kind in 1998. However, model checking cannot handle very large programs without some kind of abstraction of the program. This paper describes a complementary scalable technique to handle such large programs. Our interest is turned on the observation part of the equation: How much information can be extracted about a program from observing a single execution trace? It is our intention to develop a technology that can be applied automatically and to large full-size applications, with minimal modification to the code. We present a tool, Java PathExplorer (JPaX), for exploring execution traces of Java programs. The tool prioritizes scalability for completeness, and is directed towards detecting errors in programs, not to prove correctness. One core element in JPaX is an instrumentation package that allows to instrument Java byte code files to log various events when executed. The instrumentation is driven by a user provided script that specifies what information to log. Examples of instructions that such a script can contain are: 'report name and arguments of all called methods defined in class C, together with a timestamp'; 'report all updates to all variables'; and 'report all acquisitions and releases of locks'. In more complex instructions one can specify that certain expressions should be evaluated and even that certain code should be executed under various conditions. The instrumentation package can hence be seen as implementing Aspect Oriented Programming for Java in the sense that one can add functionality to a Java program without explicitly changing the code of the original program, but one rather writes an aspect and compiles it into the original program using the instrumentation. Another core element of JPaX is an observation package that supports the analysis of the generated event stream. Two kinds of analysis are currently supported. In temporal analysis the execution trace is evaluated against formulae written in temporal logic. We have implemented a temporal logic evaluator on finite traces using the Maude rewriting system from SRI International, USA. Temporal logic is defined in Maude by giving its syntax as a signature and its semantics as rewrite equations. The resulting semantics is extremely efficient and can handle event streams of hundreds of millions events in few minutes. Furthermore, the implementation is very succinct. The second form of even stream analysis supported is error pattern analysis where an execution trace is analyzed using various error detection algorithms that can identify error-prone programming practices that may potentially lead to errors in some different executions. Two such algorithms focusing on concurrency errors have been implemented in JPaX, one for deadlocks and the other for data races. It is important to note, that a deadlock or data race potential does not need to occur in order for its potential to be detected with these algorithms. This is what makes them very scalable in practice. The data race algorithm implemented is the Eraser algorithm from Compaq, however adopted to Java. The tool is currently being applied to a code base for controlling a spacecraft by the developers of that software in order to evaluate its applicability.

Havelund, Klaus↗

NASA NTRS2002

International Conference on Remote Sensing Applications for Archaeological Research and World Heritage Conservation

Contents include the following: Monitoring the Ancient Countryside: Remote Sensing and GIS at the Chora of Chersonesos (Crimea, Ukraine). Integration of Remote Sensing and GIS for Management Decision Support in the Pendjari Biosphere Reserve (Republic of Benin). Monitoring of deforestation invasion in natural reserves of northern Madagascar based on space imagery. Cartography of Kahuzi-Biega National Park. Cartography and Land Use Change of World Heritage Areas and the Benefits of Remote Sensing and GIS for Conservation. Assessing and Monitoring Vegetation in Nabq Protected Area, South Sinai, Egypt, using combine approach of Satellite Imagery and Land Surveys. Evaluation of forage resources in semi-arid savannah environments with satellite imagery: contribution to the management of a protected area (Nakuru National Park) in Kenya. SOGHA, the Surveillance of Gorilla Habitat in World Heritage sites using Space Technologies. Application of Remote Sensing to monitor the Mont-Saint-Michel Bay (France). Application of Remote Sensing & GIS for the Conservation of Natural and Cultural Heritage Sites of the Southern Province of Sri Lanka. Social and Environmental monitoring of a UNESCO Biosphere Reserve: Case Study over the Vosges du Nord and Pfalzerwald Parks using Corona and Spot Imagery. Satellite Remote Sensing as tool to Monitor Indian Reservation in the Brazilian Amazonia. Remote Sensing and GIS Technology for Monitoring UNESCO World Heritage Sites - A Pilot Project. Urban Green Spaces: Modern Heritage. Monitoring of the technical condition of the St. Sophia Cathedral and related monastic buildings in Kiev with Space Applications, geo-positioning systems and GIS tools. The Murghab delta palaeochannel Reconstruction on the Basis of Remote Sensing from Space. Acquisition, Registration and Application of IKONOS Space Imagery for the cultural World Heritage site at Mew, Turkmenistan. Remote Sensing and VR applications for the reconstruction of archaeological landscapes. Archaeology through Space: Experience in Indian Subcontinent. The creation of a GIS Archaeological Site Location Catalogue in Yucatan: A Tool to preserve its Cultural Heritage. Mapping the Ancient Anasazi Roads of Southeast Utah. Remote Sensing and GIS Technology for Identification of Conservation and Heritage sites in Urban Planning. Mapping Angkor: For a new appraisal of the Angkor region. Angkor and radar imaging: seeing a vast pre-industrial low-density, dispersed urban complex. Technical and methodological aspects of archaeological CRM integrating high resolution satellite imagery. The contribution of satellite imagery to archaeological survey: an example from western Syria. The use of satellite images, digital elevation models and ground truth for the monitoring of land degradation in the "Cinque Terre" National park. Remote Sensing and GIS Applications for Protection and Conservation of World Heritage Site on the coast - Case Study of Tamil Nadu Coast, India. Multispectral high resolution satellite imagery in combination with "traditional" remote sensing and ground survey methods to the study of archaeological landscapes. The case study of Tuscany. Use of Remotely-Sensed Imagery in Cultural Landscape. Characterisation at Fort Hood, Texas. Heritage Learning and Data Collection: Biodiversity & Heritage Conservation through Collaborative Monitoring & Research. A collaborative project by UNESCO's WHC (World Heritage Center) & The GLOBE Program (Global Learning and Observations to Benefit the Environment). Practical Remote Sensing Activities in an Interdisciplinary Master-Level Space Course.

Source record↗

NASA NTRS2004

Acquisition and Analysis of NASA Ames Sunphotometer Measurements during SAGE III Validation Campaigns and other Tropospheric and Stratospheric Research Missions

NASA Cooperative Agreement NCC2-1251 provided funding from April 2001 through December 2003 for Mr. John Livingston of SRI International to collaborate with NASA Ames Research Center scientists and engineers in the acquisition and analysis of airborne sunphotometer measurements during various atmospheric field studies. Mr. Livingston participated in instrument calibrations at Mauna Loa Observatory, pre-mission hardware and software preparations, acquisition and analysis of sunphotometer measurements during the missions, and post-mission analysis of data and reporting of scientific findings. The atmospheric field missions included the spring 2001 Intensive of the Asian Pacific Regional Aerosol Characterization Experiment (ACE-Asia), the Asian Dust Above Monterey-2003 (ADAM-2003) experiment, and the winter 2003 Second SAGE III Ozone Loss and Validation Experiment (SOLVE II).

Livingston, John M.↗

NASA NTRS1996

Formalizing New Navigation Requirements for NASA's Space Shuttle

We describe a recent NASA-sponsored pilot project intended to gauge the effectiveness of using formal methods in Space Shuttle software requirements analysis. Several Change Requests (CRs) were selected as promising targets to demonstrate the utility of formal methods in this demanding application domain. A CR to add new navigation capabilities to the Shuttle, based on Global Positioning System (GPS) technology, is the focus of this industrial usage report. Portions of the GPS CR were modeled using the language of SRI's Prototype Verification System (PVS). During a limited analysis conducted on the formal specifications, numerous requirements issues were discovered. We present a summary of these encouraging results and conclusions we have drawn from the pilot project.

DiVito, Ben L.↗

NASA NTRS1995

NASA Langley Research and Technology-Transfer Program in Formal Methods

This paper presents an overview of NASA Langley research program in formal methods. The major goals of this work are to make formal methods practical for use on life critical systems, and to orchestrate the transfer of this technology to U.S. industry through use of carefully designed demonstration projects. Several direct technology transfer efforts have been initiated that apply formal methods to critical subsystems of real aerospace computer systems. The research team consists of five NASA civil servants and contractors from Odyssey Research Associates, SRI International, and VIGYAN Inc.

Butler, Ricky W.↗

NASA NTRS2004

Explicit Finite Element Modeling of Multilayer Composite Fabric for Gas Turbine Engine Containment Systems: Ballistic Impact Testing - Part 2

Under the Federal Aviation Administration's Airworthiness Assurance Center of Excellence and the Aircraft Catastrophic Failure Prevention Program, National Aeronautics and Space Administration Glenn Research Center collaborated with Arizona State University, Honeywell Engines, Systems and Services, and SRI International to develop improved computational models for designing fabric-based engine containment systems. In the study described in this report, ballistic impact tests were conducted on layered dry fabric rings to provide impact response data for calibrating and verifying the improved numerical models. This report provides data on projectile velocity, impact and residual energy, and fabric deformation for a number of different test conditions.

ZYLON↗

NASA NTRS2007

Mechanisms for the Intraseasonal Variability of Tropospheric Ozone over the Indian Ocean during the Winter Monsoon

We synthesize daily sonde (vertical) information and daily satellite (horizontal) information to provide an empirical description of ozone origins over the northern Indian Ocean during the INDOEX (Indian Ocean Experiment) field campaign (February-March 1999). This area is shown to be a significant portion of the "high-ozone tropics". East-west O3 features and their flow are identified, and ozone origins are compared to other tropical regions, using water vapor as a second tracer. In the study period, multiple processes contribute to O3 column enhancements, their importance varying strongly by latitude: (1) Low-altitude O3 pollution over the northern Indian Ocean mainly originates from the Indian subcontinent and is traceable to high emission areas. Convective activity south of Sri Lanka helps direct ozone outflow from the northern Indian subcontinent. (2) Middle tropospheric O3 maxima over the northern Indian Ocean originate from various sources, often transitioning within a few hours. Convective venting of Asian pollutants can add 20-30 ppbv to the middle troposphere at 5degN-10degN, alternating with stratospheric influence. (3) A number of cases suggest that strong mixing-in of stratospheric air along the subtropical jet raised tropospheric O3 in early March by approx.40-50 ppbv, especially poleward of approx. 10degN. (4) Influences of lightning and large-scale biomass burning were not strong during this period, in contrast to the situation in Africa and the South Atlantic or locally in Southeast Asia. This work illustrates successes and limitations in approaches to synthesizing disparate information on trace-gas distributions taken from satellite retrieval products and ozonesondes.

Chatfield, R. b.↗

NASA NTRS2010

SimCheck: An Expressive Type System for Simulink

MATLAB Simulink is a member of a class of visual languages that are used for modeling and simulating physical and cyber-physical systems. A Simulink model consists of blocks with input and output ports connected using links that carry signals. We extend the type system of Simulink with annotations and dimensions/units associated with ports and links. These types can capture invariants on signals as well as relations between signals. We define a type-checker that checks the wellformedness of Simulink blocks with respect to these type annotations. The type checker generates proof obligations that are solved by SRI's Yices solver for satisfiability modulo theories (SMT). This translation can be used to detect type errors, demonstrate counterexamples, generate test cases, or prove the absence of type errors. Our work is an initial step toward the symbolic analysis of MATLAB Simulink models.

Roy, Pritam↗

NASA NTRS2009

Explicit Finite Element Modeling of Multilayer Composite Fabric for Gas Turbine Engine Containment Systems, Phase II: Material Model Development and Simulation of Experiments - Part 3

A team consisting of Arizona State University, Honeywell Engines, Systems & Services, the National Aeronautics and Space Administration Glenn Research Center, and SRI International collaborated to develop computational models and verification testing for designing and evaluating turbine engine fan blade fabric containment structures. This research was conducted under the Federal Aviation Administration Airworthiness Assurance Center of Excellence and was sponsored by the Aircraft Catastrophic Failure Prevention Program. The research was directed toward improving the modeling of a turbine engine fabric containment structure for an engine blade-out containment demonstration test required for certification of aircraft engines. The research conducted in Phase II began a new level of capability to design and develop fan blade containment systems for turbine engines. Significant progress was made in three areas: (1) further development of the ballistic fabric model to increase confidence and robustness in the material models for the Kevlar(TradeName) and Zylon(TradeName) material models developed in Phase I, (2) the capability was improved for finite element modeling of multiple layers of fabric using multiple layers of shell elements, and (3) large-scale simulations were performed. This report concentrates on the material model development and simulations of the impact tests.

Zylon↗