Search Results

Matching Records: 7,858
1 2 3 4 5 6 7 8 9 10 Next >>
Sort Results By:
Selected   › View Selected  /  › Clear Selected
Proceedings of the First NASA Formal Methods Symposium
Document ID: 20100024454
NTRS Full-Text: Click to View  [PDF Size: 3.3 MB]
Author: Denney, Ewen (Editor); Giannakopoulou, Dimitra (Editor); Pasareanu, Corina S. (Editor)
Abstract: Topics covered include: Model Checking - My 27-Year Quest to Overcome the State Explosion Problem; hide
Publication Year: 2009
Document Type: Conference Proceedings
Report/Patent Number: NASA/CP-2009-215407, ARC-E-DAA-TN774
Date Acquired: Jul 13, 2010
Proceedings of the Second NASA Formal Methods Symposium
Document ID: 20100018529
NTRS Full-Text: Click to View  [PDF Size: 5.4 MB]
Author: Munoz, Cesar (Editor)
Abstract: This publication contains the proceedings of the Second NASA Formal Methods Symposium sponsored by hide
Publication Year: 2010
Document Type: Conference Proceedings
Report/Patent Number: NASA/CP-2010-216215, L-19844, NF1676L-10398
Date Acquired: May 19, 2010
Emergency Locator Transmitter System Performance During Three Full-Scale General Aviation Crash Tests
Document ID: 20160009372
NTRS Full-Text: Click to View  [PDF Size: 2.2 MB]
Author: Littell, Justin D.; Stimson, Chad M.
Abstract: Full-scale crash tests were conducted on three Cessna 172 aircraft at NASA Langley Research Center's hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NASA/TM-2016-219217, L-20702, NF1676L-24332
Date Acquired: Jul 26, 2016
Extending the Operational Envelope of a Turbofan Engine Simulation into the Sub-Idle Region
Document ID: 20160009115
NTRS Full-Text: Click to View  [PDF Size: 873 KB]
Author: Chapman, Jeffryes W.; Hamley, Andrew J.; Guo, Ten-Huei; Litt, Jonathan S.
Abstract: In many non-linear gas turbine simulations, operation in the sub-idle region can lead to model hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: AIAA-2016-1043, E-19233, NASA/TM-2016-219110, GRC-E-DAA-TN31401
Date Acquired: Jul 20, 2016
Viscoplastic Characterization of Ti-6-4: Experiments
Document ID: 20160008952
NTRS Full-Text: Click to View  [PDF Size: 5.1 MB]
Author: Lerch, Bradley A.; Arnold, Steven M.
Abstract: As part of a continued effort to improve the understanding of material time-dependent response, a hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: E-19135, NASA/TM-2016-218864, GRC-E-DAA-TN24949
Date Acquired: Jul 14, 2016
Remote Imaging of Exploration Flight Test-1 (EFT-1) Entry Heating Risk Reduction
Document ID: 20160009045
NTRS Full-Text: Click to View  [PDF Size: 4.2 MB]
Author: Schuster, David M.; Horvath, Thomas J.; Schwartz, Richard J.
Abstract: A Measure of Performance (MOP) identified with an Exploration Flight Test-1 (EFT-1) Multi- Purpose hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NF1676L-24878, NASA/TM-2016-219214, NESC-RP-12-00795, L-20727
Date Acquired: Jul 18, 2016
Contact and Bending Durability Calculation for Spiral-Bevel Gears
Document ID: 20160008393
NTRS Full-Text: Click to View  [PDF Size: 13.4 MB]
Author: Vijayakar, Sandeep
Abstract: The objective of this project is to extend the capabilities of the gear contact analysis solver hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: E-19235, NASA/CR-2016-219112, GRC-E-DAA-TN31732
Date Acquired: Jul 08, 2016
Dynamic Characterization of Galfenol (Fe81.6Ga18.4)
Document ID: 20160007563
NTRS Full-Text: Click to View  [PDF Size: 15.5 MB]
Author: Scheidler, Justin J.; Asnani, Vivake M.; Dapino, Marcelo J.
Abstract: Galfenol has the potential to transform the smart materials industry by allowing for the development hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NASA/TP-2016-218754, E-19082, GRC-E-DAA-TN22679
Date Acquired: Jun 16, 2016
Wind Information Uplink to Aircraft Performing Interval Management Operations
Document ID: 20160007418
NTRS Full-Text: Click to View  [PDF Size: 528 KB]
Author: Ahmad, Nashat N.; Barmore, Bryan E.; Swieringa, Kurt A.
Abstract: Interval Management (IM) is an ADS-B-enabled suite of applications that use ground and flight deck hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NASA/TM-2016-219203, NF1676L-23874, L-20684
Date Acquired: Jun 13, 2016
Application of Strategic Planning Process with Fleet Level Analysis Methods
Document ID: 20160007419
NTRS Full-Text: Click to View  [PDF Size: 5.5 MB]
Author: Bernardo, Jose; Mavris, Dimitri N.; Pfaender, Holger; Jimenez, Hernando; Garcia, Elena; Feron, Eric
Abstract: The goal of this work is to quantify and characterize the potential system-wide reduction of fuel hide
Publication Year: 2016
Document Type: Technical Report
Report/Patent Number: NF1676L-23801, NASA/CR-2016-219200
Date Acquired: Jun 13, 2016
1 2 3 4 5 6 7 8 9 10 Next >>
Facebook icon, External Link to NASA STI page on Facebook Twitter icon, External Link to NASA STI on Twitter YouTube icon, External Link to NASA STI Channel on YouTube RSS icon, External Link to New NASA STI RSS Feed
Refine By
Search History
 
NASA Logo, External Link

NASA Official: Gerald Steeman

Sponsored By: NASA Scientific and Technical Information Program

Site Curator: STI Support Services

Last Modified: July 29, 2016

Privacy Policy & Important Notices Disclaimers, Copyright, Terms of Use Freedom of Information Act USA.gov NASA.gov NASA OCIO Free Adobe PDF Reader Free MS Word Viewer