SEARCH · Search NASA

Results for “OTTER”

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 55 records · Page 3

All sources NASA NTRS DOE OSTI

NASA NTRS2004

An Empirical Evaluation of Automated Theorem Provers in Software Certification

We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligations which are then processed by an automated first-order theorem prover (ATP). We discuss the unique requirements this application places on the ATPs, focusing on automation, proof checking, and usability. For full automation, however, the obligations must be aggressively preprocessed and simplified, and we demonstrate how the individual simplification stages, which are implemented by rewriting, influence the ability of the ATPs to solve the proof tasks. Our results are based on 13 certification experiments that lead to more than 25,000 proof tasks which have each been attempted by Vampire, Spass, e-setheo, and Otter. The proofs found by Otter have been proof-checked by IVY.

Denney, Ewen↗

NASA NTRS2001

Wind Tunnel Tests Conducted to Develop an Icing Flight Simulator

As part of NASA's Aviation Safety Program goals to reduce aviation accidents due to icing, NASA Glenn Research Center is leading a flight simulator development activity to improve pilot training for the adverse flying characteristics due to icing. Developing flight simulators that incorporate the aerodynamic effects of icing will provide a critical element in pilot training programs by giving pilots a pre-exposure of icing-related hazards, such as ice-contaminated roll upset or tailplane stall. Integrating these effects into training flight simulators will provide an accurate representation of scenarios to develop pilot skills in unusual attitudes and loss-of-control events that may result from airframe icing. In order to achieve a high level of fidelity in the flight simulation, a series of wind tunnel tests have been conducted on a 6.5-percent-scale Twin Otter aircraft model. These wind tunnel tests were conducted at the Wichita State University 7- by 10-ft wind tunnel and Bihrle Applied Research's Large Amplitude Multiple Purpose Facility in Neuburg, Germany. The Twin Otter model was tested without ice (baseline), and with two ice configurations: 1) Ice on the horizontal tail only; 2) Ice on the wing, horizontal tail, and vertical tail. These wind tunnel tests resulted in data bases of aerodynamic forces and moments as functions of angle of attack; sideslip; control surface deflections; forced oscillations in the pitch, roll, and yaw axes; and various rotational speeds. A limited amount of wing and tail surface pressure data were also measured for comparison with data taken at Wichita State and with flight data. The data bases from these tests will be the foundation for a PC-based Icing Flight Simulator to be delivered to Glenn in fiscal year 2001.

Ratvasky, Thomas P.↗

NASA NTRS2007

Large and Small Droplet Impingement Data on Airfoils and Two Simulated Ice Shapes

Water droplet impingement data were obtained at the NASA Glenn Icing Research Tunnel (IRT) for four wings and one wing with two simulated ice shapes. The wings tested include three 36-in. chord wings (MS(1)-317, GLC-305, and a NACA 652-415) and a 57-in. chord Twin Otter horizontal tail section. The simulated ice shapes were 22.5- and 45-min glaze ice shapes for the Twin Otter horizontal tail section generated using the LEWICE 2.2 ice accretion program. The impingement experiments were performed with spray clouds having median volumetric diameters of 11, 21, 79, 137, and 168 mm. Comparisons to the experimental data were generated which showed good agreement for the clean wings and ice shapes at lower drop sizes. For larger drop sizes LEWICE 2.2 over predicted the collection efficiencies due to droplet splashing effects which were not modeled in the program. Also for the more complex glaze ice shapes interpolation errors resulted in the over prediction of collection efficiencies in cove and shadow regions of ice shapes.

Papadakis, Michael↗

NASA NTRS2022

Western Montana Ecological Forecasting II: Enhancing Habitat Suitability Modeling of Mustelid Species and Contaminant Monitoring in Northern Montana Using NASA Earth Observations

Environmental contaminants in aquatic ecosystems threaten both human and ecosystem health. Western Montana’s rivers possess great economic and ecological value, yet the status of contaminants in these systems can be unclear. Contaminants such as brominated flame-retardants, heavy metals, and pharmaceuticals negatively affect ecosystem health by traveling through the food chain and bioaccumulating in apex predators. Exposure to these contaminants can result in neurological, endocrine, and reproductive impairments in wildlife and humans. American mink (Neovison vison) and North American river otter (Lontra canadensis) have a predominantly aquatic diet and serve as reliable indicator species of environmental health. Working Dogs for Conservation (WD4C) uses detection dogs to locate scat samples of these species which are assessed for contaminants by the Virginia Institute of Marine Science (VIMS). With Software for Assisted Habitat Modeling (SAHM), the team generated current (2013-2020) and projected (2021-2040) habitat suitability models for mink and otter utilizing NASA Earth observations from Terra Moderate Resolution Imaging Spectroradiometer (MODIS), Global Precipitation Measurement Integrated Multi-Satellite Retrievals for GPM (GPM IMERG), Shuttle Radar Topography Mission (SRTM), and Soil Moisture Active Passive (SMAP). The habitat suitability maps’ study region encompassed Flathead National Forest and Blackfeet Indian Reservation. Additionally, the team created site accessibility and precipitation anomaly maps that display the viability of survey locations. The current habitat suitability models performed well (AUC-PR=0.88). The most important predictor variables for suitable habitat were distance to rivers, elevation, and land cover. These end products will further inform WD4C survey site selection and contaminant monitoring.

Chelsea Morton↗

NASA NTRSDate not supplied

Supercooled Large Droplet Ice Formations from Flight Research

This presentation shows ice formations resulting from research flights in supercooled large droplet conditions (SLD) using NASA’s Twin Otter research aircraft. The flight research was part of a 3-year collaboration between NASA, the Federal Aviation Administration, and the National Center for Atmospheric Research. SLD conditions were occasionally encountered in the flight testing and those results are reported herein. The presentation was part of a SLD Engineering Tools Development Workshop in 2004 and is being routed through STRIVES retroactively for public dissemination on NTRS.

Twin Otter↗

NASA NTRS1974

Develop a land use-peak runoff classification system for highway engineering purposes

The author has identified the following significant results. Based on the detail study of the Sunkhaze Stream Watershed, it is believed that good detailed drainage studies can be derived from repetitive ERTS imagery. Land use maps tailored to hydrologic study can be prepared from ERTS imagery. Significant changes in the Sunkhaze Stream and Otter Stream Watersheds at spring flood conditions have given important information on the causes for flooding in the town of Bradley.

Stoeckeler, E. G.↗

NASA NTRS1974

A flight investigation with a STOL airplane flying curved, descending instrument approach paths

A flight investigation using a De Havilland Twin Otter airplane was conducted to determine the configurations of curved, 6 deg descending approach paths which would provide minimum airspace usage within the requirements for acceptable commercial STOL airplane operations. Path configurations with turns of 90 deg, 135 deg, and 180 deg were studied; the approach airspeed was 75 knots. The length of the segment prior to turn, the turn radius, and the length of the final approach segment were varied. The relationship of the acceptable path configurations to the proposed microwave landing system azimuth coverage requirements was examined.

Benner, M. S.↗

NASA NTRS1974

Passenger demographics and subjective response to commuter aircraft in the northeast

Results are compared for comfort and environmental studies taken in conjunction with a STOL program. Data were taken on flights of four different airlines, each flying different aircraft. Two of the lines are classified as commuter airlines flying between relatively close destinations. The aircraft involved are: the De Havilland Twin Otter, a Canadian aircraft; the French Nord 262; the Beechcraft 99 Airliner and the Sikorsky S-61 helicopter, both American.

Noskowitz, D.↗

NASA NTRS1977

Description and flight tests of an oculometer

A remote sensing oculometer was successfully operated during flight tests with a NASA experimental Twin Otter aircraft at the Langley Research Center. Although the oculometer was designed primarily for the laboratory, it was able to track the pilot's eye-point-of-regard (lookpoint) consistently and unobtrusively in the flight environment. The instantaneous position of the lookpoint was determined to within approximately 1 deg. Data were recorded on both analog and video tape. The video data consisted of continuous scenes of the aircraft's instrument display and a superimposed white dot (simulating the lookpoint) dwelling on an instrument or moving from instrument to instrument as the pilot monitored the display information during landing approaches.

Middleton, D. B.↗

NASA NTRS1978

Development and flight tests of a Kalman filter for navigation during terminal area and landing operations

A Kalman filter for aircraft terminal area and landing navigation was implemented and flight tested in the NASA Ames STOLAND avionics computer onboard a Twin Otter aircraft. This system combines navaid measurements from TACAN, MODILS, air data, radar altimeter sensors along with measurements from strap-down accelerometer and attitude angle sensors. The flight test results demonstrate that the Kalman filter provides improved estimates of the aircraft position and velocity as compared with estimates from the more standard complementary filter. The onboard computer implementation requirements to achieve this improved performance are discussed.

Schmidt, S. F.↗

NASA NTRS1981

Development and evaluation of automatic landing control laws for light wing loading STOL aircraft

Automatic flare and decrab control laws were developed for NASA's experimental Twin Otter. This light wing loading STOL aircraft was equipped with direct lift control (DLC) wing spoilers to enhance flight path control. Automatic landing control laws that made use of the spoilers were developed, evaluated in a simulation and the results compared with these obtained for configurations that did not use DLC. The spoilers produced a significant improvement in performance. A simulation that could be operated faster than real time in order to provide statistical landing data for a large number of landings over a wide spectrum of disturbances in a short time was constructed and used in the evaluation and refinement of control law configurations. A longitudinal control law that had been previously developed and evaluated in flight was also simulated and its performance compared with that of the control laws developed. Runway alignment control laws were also defined, evaluated, and refined to result in a final recommended configuration. Good landing performance, compatible with Category 3 operation into STOL runways, was obtained.

Feinreich, B.↗

NASA NTRS1981

Airborne antenna pattern calculations

Calculated principal-and off-principal plane patterns are presented for the following aircraft: de Havilland DHC-7, Rockwell Sabreliner 75A, Piper PA-31T Cheyenne, Lockheed Jet Star II, Piper PA-31-350 Navajo Chieftain, Beechcraft Duke B60, Rockwell Commander 700, Cessna Citation 3, Piper PA-31P Pressurized Navajo, Lear Jet, and Twin Otter DHC-6.

Knerr, T. J.↗

NASA NTRS1984

Comparison of icing cloud instruments for 1982-1983 icing season flight program

A number of modern and old style liquid water content (LWC) and droplet sizing instruments were mounted on a DeHavilland DHC-6 Twin Otter and operated in natural icing clouds in order to determine their comparative operating characteristics and their limitations over a broad range of conditions. The evaluation period occurred during the 1982-1983 icing season from January to March 1983. Time histories of all instrument outputs were plotted and analyzed to assess instrument repeatability and reliability. Scatter plots were also generated for comparison of instruments. The measured LWC from four instruments differed by as much as 20 percent. The measured droplet size from two instruments differed by an average of three microns. The overall effort demonstrated the need for additional data, and for some means of calibrating these instruments to known standards.

Ide, R. F.↗

NASA NTRS1984

Early Air Force Flight Test Center (AFFTC) experience with Peripheral Vision Horizon Displays (PVHD)

Three separate Air Force Flight Test Center (AFFTC) tests were conducted in 1980 and 1981 on two models of the peripheral vision horizon displays (PVHD) (Malcolm Horizon). A fixed base simulator test was conducted with twenty test pilot subjects using the Flight Simulator Demonstration Model which incorporated a Helium Neon laser as the light bar medium. Two separate flight tests were conducted by the Test Pilot School classes 80A and 80B in a Twin Otter commuter aircraft using the Stage A Model PVHD. The Xenon lighted A Model was tested in its original configuration by class 80A. Class 80B used a modified configuration which incorporated an AFFTC designed and manufactured hood. With the hood, the PVHD projected a thinner, distinct light bar. Only a few general remarks concerning the tests and unrestricted, overall conclusions reached by the author are presented. The conclusions of all three AFFTC evaluations of the PVHD concept were that it has not yet been adequately evaluated. There seems to be a significant learning curve associated with the PVHD and the project pilots for Test Pilot School Class 80B only got a good start on the learning curve. A lengthy learning curve for the PVHD should be anticipated in view of the training period required for the attitude display indicator (ADI). This does seem to point out that the PVHD, in its present form, is simply not as compelling as the natural horizon. It can also be concluded that any attempt at a valid evaluation of the PVHD concept can be done only under instrument meteorological conditions (IMC) or validly simulated IMC conditions. The knee in the learning curve, however, may be reached without full IMC, although it may take much longer to reach.

Schofield, B. L.↗

NASA NTRS1984

Dynamic training devices in CRM training

Pilot training effectiveness and flying safety of a seasonal tour flight company are described. The change from single pilot to two pilot operated twin otters is examined. The use of the ATC 810 training device, its possibilities and training capacity is outlined. Problem areas which may arise, emergency system and pilot/passenger interaction are analyzed.

Lawver, J.↗

NASA NTRS1984

Comparison of icing cloud instruments for 1982-1983 icing season flight program

Ide, R. F.↗

NASA NTRS1987

Three-dimensional trajectory analyses of two drop sizing instruments - PMS OAP and PMS FSSP

Flow-induced distortions of water drop fluxes and speeds as seen by the PMS optical array probe (OAP) and the PMS forward scattering spectrometer probe (FSSP) are estimated via three-dimensional flow and trajectory calculation methods. The sensitivities of the instruments to water drop diameter, angle of attack, and free stream air speed are determined. The instruments are first placed in isolation and then mounted under the wing of a Twin Otter airplane. For the wing-mounted OAP at 4-deg angle of attack, partial flow stagnation under the uptilted wing causes a significant decrease in both the flux and speed for small water drops. For the wing-mounted FSSP, sensitivity is found to both angle of attack and free stream air speed.

Norment, H. G.↗

NASA NTRS1988

Measurement of local convective heat transfer coefficients from a smooth and roughened NACA-0012 airfoil: Flight test data

Wind tunnels typically have higher free stream turbulence levels than are found in flight. Turbulence intensity was measured to be 0.5 percent in the NASA Lewis Icing Research Tunnel (IRT) with the cloud making sprays off and around 2 percent with cloud making equipment on. Turbulence intensity for flight conditions was found to be too low to make meaningful measurements for smooth air. This difference between free stream and wing tunnel conditions has raised questions as to the validity of results obtained in the IRT. One objective of these tests was to determine the effect of free stream turbulence on convective heat transfer for the NASA Lewis LEWICE ice growth prediction code. These tests provide in-flight heat transfer data for a NASA-0012 airfoil with a 533 cm chord. Future tests will measure heat transfer data from the same airfoil in the Lewis Icing Research Tunnel. Roughness was obtained by the attachment of small, 2 mm diameter hemispheres of uniform size to the airfoil in three different patterns. Heat transfer measurements were recorded in flight on the NASA Lewis Twin Otter Icing Research Aircraft. Measurements were taken for the smooth and roughened surfaces at various aircraft speeds and angles of attack up to four degrees. Results are presented as Frossling number versus position on the airfoil for various roughnesses and angles of attack.

Newton, James E.↗