Search NASASearch

SEARCH · Search NASA

Results for “V”

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 91 records · Page 5

V-V compact group of galaxies

A search for X-ray emission from five compact groups of galaxies with the Einstein Observatory revealed detections from three groups. Soft, extended X-ray emission was observed in Stephan's Quintet which is most likely caused by hot intracluster gas. This provides evidence for dynamical interaction among the group galaxies. X-ray emission from the group Arp 330 may also originate in hot intracluster gas. Stephan's Quintet and Arp 330 have the largest velocity dispersions among the groups studied suggesting a correlation between high velocity and the release (or properties) of hot gas. X-ray emission from Arp 318 may originate in its member galaxies.

Bahcall, N.

High-resolution oscillator strength measurements for the A(v') - X(0) bands of carbon monoxide with 11 less than or equal to v' less than or equal to 14

Band oscillator strengths (f-values) for four bands of the Fourth Positive system (A (1)Pi - Chi(sup 1) Sigma(+)) of CO have been determined from high-resolution (lambda/Delta lambda approximately equal to 150,000) absorption spectra. The bands, (14, 0) through (11, 0), are at wavelengths between 121 and 127 nm. Our f-values for the (11, 0) and (12, 0) bands support those of Chan, Cooper, & Brion (1993), which have been shown to be consistent with observations of CO in the clouds in the line of sight to zeta Oph. Our f-values for the (13, 0) and (14, 0) bands are the first directly measured values for these bands.

Smith, Peter L.

The "Supercritical Pile" Model for GRB: Tapping the Proton Energy and Getting the v F(sub V) Peak at Approx. 1 MeV

We propose a process by which the kinetic energy of the protons, that carry most of the energy of GRB relativistic blast waves (RBW) of Lorentz factor is converted explosively into relativistic electrons of the same Lorentz factor, which subsequently produce the observed prompt gamma-ray emission of the burst. This conversion is the result of the combined effects of the reflection of photons produced within the flow by upstream located matter, their re-interception and conversion into e(+) e(-) pairs on the RBW by the p gamma (right arrow) p e(+) e(-) reaction.

Kazanas, D.

Hosted Services for Advanced V and V Technologies: An Approach to Achieving Adoption without the Woes of Usage

Attempts to achieve widespread use of software verification tools have been notably unsuccessful. Even 'straightforward', classic, and potentially effective verification tools such as lint-like tools face limits on their acceptance. These limits are imposed by the expertise required applying the tools and interpreting the results, the high false positive rate of many verification tools, and the need to integrate the tools into development environments. The barriers are even greater for more complex advanced technologies such as model checking. Web-hosted services for advanced verification technologies may mitigate these problems by centralizing tool expertise. The possible benefits of this approach include eliminating the need for software developer expertise in tool application and results filtering, and improving integration with other development tools.

Koga, Dennis

Preliminary Results of Altitude-Wind-Tunnel Investigation of X24C-4B Turbojet Engine. V - Performance of Modified Engine: Performance of Modified Engine - V

An investigation has been conducted in the NACA Cleveland altitude wind tunnel to evaluate the performance characteristics of a modified X24C-4B turbojet engine over a range of simulated altitudes from 5000 to 45,000 feet, simulated flight Mach numbers from 0.25 to 1.07, and engine speeds from 4000 to 12,500 rpm. The engine was modified by the manufacturer to improve the velocity and temperature profiles within the engine. Performance data are graphically presented to show the effect of altitude at a flight Mach number of 0.25 and the effect of flight Mach number at an altitude of 25,000 feet. Original and modified engine performances for several specific operating conditions are compared. A complete tabulation of average pressures and temperatures throughout the engine, performance data, and lubrication and fuel-system data is presented.

Prince, William R.

An Investigation of the Aerodynamic Characteristics of an 0.08-Scale Model of the Chance Vought XF7U-1 Airplane in the Langley High-Speed 7- by 10-Foot Tunnel. Part V - Wing-Alone Tests and Effect of Modifications to the Vertical Fins, Speed Brakes, and Fuselage TED No. NACA DE308: Wing-Alone Tests and Effect of Modifications to the Vertical Fins, Speed Brakes, and Fuselage, TED No. NACA DE308 - Part V

Tests have been conducted in the Langley high-speed 7- by 10-foot tunnel over a Mach number range from 0.40 to 0.91 to determine the stability and control characteristics of an 0.08-scale model of the Chance Vought XF7U-1 airplane. The wing-alone tests and the effect of the various vertical-fin modifications, speed-brake modifications, and fuselage modifications on the aerodynamic characteristics in pitch and yaw are presented in the present paper with a limited analysis of the results. Also included are tuft studies of the flow for some of the modifications tested.

Kuhri, Richard E.

Test oracle automation for V&V of an autonomous spacecraft's planner

We built automation to assist the software testing efforts associated with the Remote Agent experiment. In particular, our focus was upon introducing test oracles into the testing of the planning and scheduling system component. This summary is intended to provide an overview of the work.

testing test oracles verification validation analy

Community Coordinated Modeling Center Support of Operations: Real-Time Simulations and V & V.

In support of Operations Community Coordinated Modeling Center (CCMC) performing validation and verification of space weather models. To identify suitable metrics the CCMC focus on parameters most useful to operations that CCMC resident models can provide. The real time simulations carried out at CCMC are an essential tool to test model performance and stability by using input conditions that may occur in nature at any time. Since 2001, the magnetospheric MHD model BATSRUS has been run in real time using ACE real time data. CCMC staff developed an experimental real-time system that controls uploading of the real-time ACE data, monitors continuous model execution, initiates automatic recovery procedure in case of data gaps or hardware failures, synchronizes BATSRUS and FRC runs, and periodically runs IDL based visualization software.

Kuznetsova, M.

Geologic Mapping of the Medusae Fossae Formation on Mars (MC-8 SE and MC-23 NW) and the Northern Lowlands of Venus (V-16 and V-15)

This report summarizes the status of a mapping project supported by NASA grant NNX07AP42G, funding for which became available on July 18, focusing on the mapping of the Medusae Fossae Formation (MFF) on Mars. The report also briefly discusses the status of maps of Venus and Ascraeus Mons, begun under previous NASA grants but which are still in progress.

Zimbelman, J. R.

V and V of Lexical, Syntactic and Semantic Properties for Interactive Systems Through Model Checking of Formal Description of Dialog

During early phases of the development of an interactive system, future system properties are identified (through interaction with end users in the brainstorming and prototyping phase of the application, or by other stakehold-ers) imposing requirements on the final system. They can be specific to the application under development or generic to all applications such as usability principles. Instances of specific properties include visibility of the aircraft altitude, speed… in the cockpit and the continuous possibility of disengaging the autopilot in whatever state the aircraft is. Instances of generic properties include availability of undo (for undoable functions) and availability of a progression bar for functions lasting more than four seconds. While behavioral models of interactive systems using formal description techniques provide complete and unambiguous descriptions of states and state changes, it does not provide explicit representation of the absence or presence of properties. Assessing that the system that has been built is the right system remains a challenge usually met through extensive use and acceptance tests. By the explicit representation of properties and the availability of tools to support checking these properties, it becomes possible to provide developers with means for systematic exploration of the behavioral models and assessment of the presence or absence of these properties. This paper proposes the synergistic use two tools for checking both generic and specific properties of interactive applications: Petshop and Java PathFinder. Petshop is dedicated to the description of interactive system behavior. Java PathFinder is dedicated to the runtime verification of Java applications and as an extension dedicated to User Interfaces. This approach is exemplified on a safety critical application in the area of interactive cockpits for large civil aircrafts.

human-computer interface

Assessing V and V Processes for Automation with Respect to Vulnerabilities to Loss of Airplane State Awareness

Automation has contributed substantially to the sustained improvement of aviation safety by minimizing the physical workload of the pilot and increasing operational efficiency. Nevertheless, in complex and highly automated aircraft, automation also has unintended consequences. As systems become more complex and the authority and autonomy (A&A) of the automation increases, human operators become relegated to the role of a system supervisor or administrator, a passive role not conducive to maintaining engagement and airplane state awareness (ASA). The consequence is that flight crews can often come to over rely on the automation, become less engaged in the human-machine interaction, and lose awareness of the automation mode under which the aircraft is operating. Likewise, the complexity of the system and automation modes may lead to poor understanding of the interaction between a mode of automation and a particular system configuration or phase of flight. These and other examples of mode confusion often lead to mismanaging the aircraftâ€"TM"s energy state or the aircraft deviating from the intended flight path. This report examines methods for assessing whether, and how, operational constructs properly assign authority and autonomy in a safe and coordinated manner, with particular emphasis on assuring adequate airplane state awareness by the flight crew and air traffic controllers in off-nominal and/or complex situations.

Whitlow, Stephen

SILHIL Replication of Electric Aircraft Powertrain Dynamics and Inner-Loop Control for V&V of System Health Management Routines

Software-in-the-loop and Hardware-in-the-loop testing of failure prognostics and decision making tools for aircraft systems will facilitate more comprehensive and cost-effective testing than what is practical to conduct with flight tests. A framework is described for the offline recreation of dynamic loads on simulated or physical aircraft powertrain components based on a real-time simulation of airframe dynamics running on a flight simulator, an inner-loop flight control policy executed by either an autopilot routine or a human pilot, and a supervisory fault management control policy. The creation of an offline framework for verifying and validating supervisory failure prognostics and decision making routines is described for the example of battery charge depletion failure scenarios onboard a prototype electric unmanned aerial vehicle.

Verification and Validation