SEARCH · Search NASA

Results for “system verification”

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 235 records · Page 13

All sources NASA NTRS DOE OSTI

NASA NTRS1981

Transonic flow over wing/fuselage configurations

Wing Body Code (WIBCO) program simulates flow-field configurations for reduction of design cost and improvement of aircraft performance. Inputs to WIBCO consist of ambient flow conditions and geometric configuration data; grid control and relaxation parameters are internally set. Outputs include input data echo, grid system verification, relaxation-solution convergence history, and computed velocities, pressures, forces, moments, reference lengths, and areas. Program is written in FORTRAN IV for batch execution.

Boppe, C. W.↗

NASA NTRS1980

The Crossbyton project

The Analog Design Verification System (ADVS), the largest single solar collector built, was tested. Referred to as the Solar Gridiron or Bowl Concept, it employs a stationary mirror, with tracking accomplished by the mirror.

Reichert, J. D.↗

NASA NTRS1980

Operational Applications of Satellite Snowcover Observations

The history of remote sensing of snow cover is reviewed and the following topics are covered: various techniques for interpreting LANDSAT and NOAA satellite data; the status of future systems for continuing snow hydrology applications; the use of snow cover observations in streamflow forecasts by Applications Systems Verification and Transfer participants and selected foreign investigators; and the benefits of using satellite snow cover data in runoff prediction.

Rango, A.↗

NASA NTRS1980

Status of the Space Shuttle Solid Rocket Booster

The first Space Shuttle Solid Rocket Boosters have been stacked on the Mobile Launch Platform at the Kennedy Space Center and are ready to be mated with the External Tank and Orbiter in preparation for the first Shuttle flight. This readiness is built upon a design within the state of the art and, to the maximum extent practicable, within the state of experience. Component qualification, subsystem verification, system checkout, and recovery tests are essentially complete and provide the basis for certifying the boosters for manned flight.

Horton, W. P.↗

NASA NTRS1981

Practical aspects of instrumentation system installation, volume 13

A review of factors influencing installation of aircraft flight test instrumentation is presented. Requirements, including such factors as environment, reliability, maintainability, and system safety are discussed. The assessment of the mission profile is followed by an overview of electrical and mechanical installation factors with emphasis on shock/vibration isolation systems and standardization of the electric wiring installation, two factors often overlooked by instrumentation engineers. A discussion of installation hardware reviews the performance capabilities of wiring, connectors, fuses and circuit breakers, and a guide to proper selections is provided. The discussion of the installation is primarily concerned with the electrical wire routing, shield terminations and grounding. Also inclued are some examples of installation mistakes that could affect system accuracy. System verification procedures and special considerations such as sneak circuits, pyrotechnics, aircraft antenna patterns, and lightning strikes are discussed.

Borek, R. W.↗

NASA NTRS1981

Technology transfer program: Perspective

Most of NASA's technology transfer activities are in the area of land use (development, suitability, and planning); forestry (including wildlife and range and vegetation inventories) agriculture related activities; and water resources. The technology dissemination function is exercised through three regional applications centers which are involved in 91 applications projects within 22 states. In addition there are approximately eight application system verification transfer (ASVT) projects, 21 university applications branches, institutionalized liason activities with public interest groups, and user requirements activities. As the result of budget cuts, the ASVT and user requirements and awareness programs are to be phased out at the end of FY81. The university applications programs are to be phased down and terminated by 1985. NASA will continue to work with the user more in an R & D and an applications development capacity, and not in a national scale or administrative way.

Toyshov, A. J.↗

NASA NTRS1982

Full power level development of the Space Shuttle main engine

Development of the Space Shuttle main engine for nominal operation at full power level (109 percent rated power) is continuing in parallel with the successful flight testing of the Space Transportation System. Verification of changes made to the rated power level configuration currently being flown on the Orbiter Columbia is in progress and the certification testing of the full power level configuration has begun. The certification test plan includes the accumulation of 10,000 seconds on each of two engines by early 1983. Certification testing includes the simulation of nominal mission duty cycles as well as the two abort thrust profiles: abort to orbit and return to launch site. Several of the certification tests are conducted at 111 percent power to demonstrate additional safety margins. In addition to the flight test and development program results, future plans for life demonstration and engine uprating will be discussed.

Johnson, J. R.↗

NASA NTRS1981

The evaluation of OSTA's APT and ASVT programs

The results of an evaluation of NASA's Applications Pilot Test (APT) and Applications System Verification and Transfer (AVST) Programs are presented. These programs sponsor cooperative projects between NASA and potential users of remote sensing (primarily LANDSAT) technology from federal and state government and the private sector. Fifteen specific projects, seven APT's and eight ASVT's, are examined as mechanisms for technology development, test, and transfer by comparing their results against stated objectives. Interviews with project managers from NASA field centers and user agency representatives provide the basis for project evaluation from NASA and user perspectives.

Source record↗

NASA NTRS1982

Status of the 4 MW WTS-4 wind turbine

The WTS-4 is a four-megawatt, horizontal-axis wind turbine presently being fabricated for the U.S. Department of Interior, Bureau of Reclamation, by United Technologies' Hamilton Standard division. This unit, called the System Verification Unit (SVU) will be installed at Medicine Bow, Wyoming, early next spring. The specifications, characteristics and features of the WTS-4 are discussed. The major components-such as rotor, nacelle and tower-are described and their status in the fabrication phase is presented.

Bussolari, R. J.↗

NASA NTRS1978

The classification of LANDSAT data for the Orlando, Florida, urban fringe area

Procedures used to map residential land cover on the Orlando, Florida, Urban fringe zone are detailed. The NASA Bureau of the Census Applications Systems Verification and Transfer project and the test site are described as well as the LANDSAT data used as the land cover information sources. Both single-date LANDSAT data processing and multitemporal principal components LANDSAT data processing are described. A summary of significant findings is included.

Walthall, C. L.↗

NASA NTRS1982

Experiences and perspectives with SRI's tools for software design and validation

Development of tools that include the STP theorem poer and its associated Design Verification Systems; PHIL, a meta-programmable context sensitive structured editor; Pegasus, a system for support of graphical programming; and OBJ, an ultra high level programming language based on rewrite rules and abstract data type is reported.

Goguen, J.↗

NASA NTRS1983

Adaptation of a software development methodology to the implementation of a large-scale data acquisition and control system

A progress report is presented on a program to upgrade the existing NASA Deep Space Network in terms of a redesigned computer-controlled data acquisition system for channelling tracking, telemetry, and command data between a California-based control center and three signal processing centers in Australia, California, and Spain. The methodology for the improvements is oriented towards single subsystem development with consideration for a multi-system and multi-subsystem network of operational software. Details of the existing hardware configurations and data transmission links are provided. The program methodology includes data flow design, interface design and coordination, incremental capability availability, increased inter-subsystem developmental synthesis and testing, system and network level synthesis and testing, and system verification and validation. The software has been implemented thus far to a 65 percent completion level, and the methodology being used to effect the changes, which will permit enhanced tracking and communication with spacecraft, has been concluded to feature effective techniques.

Madrid, G. A.↗

NASA NTRS1986

Further development of the dynamic gas temperature measurement system

The objective of this effort was to experimentally verify a dynamic gas temperature measurement system in laboratory experiments. The dynamic gas temperature measurement system verification program is described. A brief description of the sensor geometry and construction is followed by a discussion of the probe heat transfer analysis and subsequent compensation method. The laboratory experiments are described and experimental results are discussed. Finally, directions for further investigation are given.

Elmore, D. L.↗

NASA NTRS1990

Verification of floating-point software

Floating point computation presents a number of problems for formal verification. Should one treat the actual details of floating point operations, or accept them as imprecisely defined, or should one ignore round-off error altogether and behave as if floating point operations are perfectly accurate. There is the further problem that a numerical algorithm usually only approximately computes some mathematical function, and we often do not know just how good the approximation is, even in the absence of round-off error. ORA has developed a theory of asymptotic correctness which allows one to verify floating point software with a minimum entanglement in these problems. This theory and its implementation in the Ariel C verification system are described. The theory is illustrated using a simple program which finds a zero of a given function by bisection. This paper is presented in viewgraph form.

Hoover, Doug N.↗

NASA NTRS1991

Toward a formal verification of a floating-point coprocessor and its composition with a central processing unit

Discussed here is work to formally specify and verify a floating point coprocessor based on the MC68881. The HOL verification system developed at Cambridge University was used. The coprocessor consists of two independent units: the bus interface unit used to communicate with the cpu and the arithmetic processing unit used to perform the actual calculation. Reasoning about the interaction and synchronization among processes using higher order logic is demonstrated.

Pan, Jing↗

NASA NTRS1992

A step towards space-station user operations - An operational test-bed

A joint ESA/NASA project for researching and evaluating various remote payload operations for Space Station Freedom, using the ATLAS-1 Solar Constant (SOLCON) experiment as a representative payload and the MSFC Payload Operations Center (POCC) command and telemetry system as the base operations system, is described. A basic remote-user-center capability is to be implemented within the Columbus Crew Workstation facility at ESTEC in Noordwijk (NL), to demonstrate the ability to monitor real-time payload operations remotely and allow some command and control functions through the MSFC POCC. After the test-bed system is demonstrated for SOLCON, it is proposed to improve the capability and make it a standard service for Spacelab operations. This paper discusses POCC telemetry, command, and operations issues, NASA communications issues, SOLCON experiment-specific issues, NASA/ESA procedural issues, and system verification issues relating to the project.

Biddis, G. T.↗

NASA NTRS1992

Spacelab, Spacehab, and Space Station Freedom payload interface projects

Contributions were made to several projects. Howard Nguyen was assisted in developing the Space Station RPS (Rack Power Supply). The RPS is a computer controlled power supply that helps test equipment used for experiments before the equipment is installed on Space Station Freedom. Ron Bennett of General Electric Government Services was assisted in the design and analysis of the Standard Interface Rack Controller hardware and software. An analysis was made of the GPIB (General Purpose Interface Bus), looking for any potential problems while transmitting data across the bus, such as the interaction of the bus controller with a data talker and its listeners. An analysis was made of GPIB bus communications in general, including any negative impact the bus may have on transmitting data back to Earth. A study was made of transmitting digital data back to Earth over a video channel. A report was written about the study and a revised version of the report will be submitted for publication. Work was started on the design of a PC/AT compatible circuit board that will combine digital data with a video signal. Another PC/AT compatible circuit board is being designed to recover the digital data from the video signal. A proposal was submitted to support the continued development of the interface boards after the author returns to Memphis State University in the fall. A study was also made of storing circuit board design software and data on the hard disk server of a LAN (Local Area Network) that connects several IBM style PCs. A report was written that makes several recommendations. A preliminary design review was started of the AIVS (Automatic Interface Verification System). The summer was over before any significant contribution could be made to this project.

Smith, Dean Lance↗

NASA NTRS1991

A comparison of Nuclear Thermal Propulsion concepts - Results of a workshop

A Nuclear Thermal Propulsion Workshop, co-sponsored by NASA, DOE and DOD, was held in Cleveland, Ohio on July 10-12, 1990. The workshop was to provide a database of nuclear propulsion concepts and technologies to assist in planning a nuclear propulsion project, identify high priority activities to be initiated early, and to provide cost and schedule estimates for development of concepts to technology readiness level 6 - full system verification in a simulated environment. Sixteen concepts were presented to Technology Review Panels (TRP), and discussed. Each concept was compared to a baseline manned Mars mission. A preliminary comparison of ratings made by the TRP's is presented herein for mission benefit, safety, technical risk, and development cost.

Clark, John S.↗