Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Design 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.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 1,171 records · Page 65
All sourcesNASA NTRSDOE OSTI
NASA NTRS1993

Advanced Turbine Technology Applications Project (ATTAP)

This report is the fifth in a series of Annual Technical Summary Reports for the Advanced Turbine Technology Applications Project (ATTAP), sponsored by the U.S. Department of Energy (DOE). The report was prepared by Garrett Auxiliary Power Division (GAPD), a unit of Allied-Signal Aerospace Company, a unit of Allied Signal, Inc. The report includes information provided by Garrett Ceramic Components, and the Norton Advanced Ceramics Company, (formerly Norton/TRW Ceramics), subcontractors to GAPD on the ATTAP. This report covers plans and progress on ceramics development for commercial automotive applications over the period 1 Jan. through 31 Dec. 1992. Project effort conducted under this contract is part of the DOE Gas Turbine Highway Vehicle System program. This program is directed to provide the U.S. automotive industry the high-risk, long-range technology necessary to produce gas turbine engines for automobiles with reduced fuel consumption, reduced environmental impact, and a decreased reliance on scarce materials and resources. The program is oriented toward developing the high-risk technology of ceramic structural component design and fabrication, such that industry can carry this technology forward to production in the 1990's. The ATTAP test bed engine, carried over from the previous AGT101 project, is being used for verification testing of the durability of next generation ceramic components, and their suitability for service at Reference Powertrain Design conditions. This document reports the technical effort conducted by GAPD and the ATTAP subcontractors during the fifth year of the project. Topics covered include ceramic processing definition and refinement, design improvements to the ATTAP test bed engine and test rigs, and the methodology development of ceramic impact and fracture mechanisms. Appendices include reports by ATTAP subcontractors in the development of silicon nitride materials and processes.

Source record↗
NASA NTRS1991

Formal specification and verification of Ada software

The use of formal methods in software development achieves levels of quality assurance unobtainable by other means. The Larch approach to specification is described, and the specification of avionics software designed to implement the logic of a flight control system is given as an example. Penelope is described which is an Ada-verification environment. The Penelope user inputs mathematical definitions, Larch-style specifications and Ada code and performs machine-assisted proofs that the code obeys its specifications. As an example, the verification of a binary search function is considered. Emphasis is given to techniques assisting the reuse of a verification effort on modified code.

Hird, Geoffrey R.↗
NASA NTRS2009

Theorem Proving in Intel Hardware Design

For the past decade, a framework combining model checking (symbolic trajectory evaluation) and higher-order logic theorem proving has been in production use at Intel. Our tools and methodology have been used to formally verify execution cluster functionality (including floating-point operations) for a number of Intel products, including the Pentium(Registered TradeMark)4 and Core(TradeMark)i7 processors. Hardware verification in 2009 is much more challenging than it was in 1999 - today s CPU chip designs contain many processor cores and significant firmware content. This talk will attempt to distill the lessons learned over the past ten years, discuss how they apply to today s problems, outline some future directions.

O'Leary, John↗
NASA NTRS1992

Development of a truss joint for robotic assembly of space structures

This report presents the results of a detailed study of mechanical fasteners which were designed to facilitate robotic assembly of structures. Design requirements for robotic structural assembly were developed, taking into account structural properties and overall system design, and four candidate fasteners were designed to meet them. These fasteners were built and evaluated in the laboratory, and the Hammer-Head joint was chosen as superior overall. It had a high reliability of fastening under misalignments of 2.54 mm (0.1 in) and 3 deg, the highest end fixity (2.18), the simplest end effector, an integral capture guide, good visual verification, and the lightest weight (782 g, 1.72 lb). The study found that a good design should incorporate chamfers sliding on chamfers, cylinders sliding on chamfers, and hard surface finishes on sliding surfaces. The study also comments on robot flexibility, sag, hysteresis, thermal expansion, and friction which were observed during the testing.

Parma, George F.↗
NASA NTRS2007

Cassini's Test Methodology for Flight Software Verification and Operations

The Cassini spacecraft was launched on 15 October 1997 on a Titan IV-B launch vehicle. The spacecraft is comprised of various subsystems, including the Attitude and Articulation Control Subsystem (AACS). The AACS Flight Software (FSW) and its development has been an ongoing effort, from the design, development and finally operations. As planned, major modifications to certain FSW functions were designed, tested, verified and uploaded during the cruise phase of the mission. Each flight software upload involved extensive verification testing. A standardized FSW testing methodology was used to verify the integrity of the flight software. This paper summarizes the flight software testing methodology used for verifying FSW from pre-launch through the prime mission, with an emphasis on flight experience testing during the first 2.5 years of the prime mission (July 2004 through January 2007).

Cassini Mission↗
NASA NTRS1988

Experimental verification of a large flexible manipulator

A large experimental lightweight manipulator would be useful for material handling, for welding, or for ultrasonic inspection of a large structure, such as an airframe. The flexible parallel link mechanism is designed for high rigidity without increasing weight. This constrained system is analyzed by singular value decomposition of the constraint Jacobian matrix. A verification of the modeling using the assumed mode method is presented. Eigenvalues and eigenvectors of the linearized model are compared to the measured system natural frequencies and their associated mode shapes. The modeling results for large motions are compared to the time response data from the experiments. The hydraulic actuator is verified.

Lee, Jac Won↗
NASA NTRS1992

Advanced Turbine Technology Applications Project (ATTAP)

This report is the fourth in a series of Annual Technical Summary Reports for the Advanced Turbine Technology Applications Project (ATTAP). This report covers plans and progress on ceramics development for commercial automotive applications over the period 1 Jan. - 31 Dec. 1991. Project effort conducted under this contract is part of the DOE Gas Turbine Highway Vehicle System program. This program is directed to provide the U.S. automotive industry the high-risk, long-range technology necessary to produce gas turbine engines for automobiles with reduced fuel consumption, reduced environmental impact, and a decreased reliance on scarce materials and resources. The program is oriented toward developing the high-risk technology of ceramic structural component design and fabrication, such that industry can carry this technology forward to production in the 1990s. The ATTAP test bed engine, carried over from the previous AGT101 project, is being used for verification testing of the durability of next-generation ceramic components, and their suitability for service at Reference Powertrain Design conditions. This document reports the technical effort conducted by GAPD and the ATTAP subcontractors during the fourth year of the project. Topics covered include ceramic processing definition and refinement, design improvements to the ATTAP test bed engine and test rigs and the methodology development of ceramic impact and fracture mechanisms. Appendices include reports by ATTAP subcontractors in the development of silicon nitride and silicon carbide families of materials and processes.

Source record↗
NASA NTRS1981

Real-time computer simulation/emulation for verification of multi-fault-tolerant control of Centaur-in-Shuttle

NASA has contracted with General Dynamics to design and develop an advanced Centaur liquid upper stage for support of the Galileo and Solar Polar interplanetary missions in 1985-86. The control of the Centaur while it resides in the Shuttle cargo bay must meet the STS safety requirements to be dual failure tolerant in all mission critical functions. The demonstration of the integrity of this control system in the event of multiple component failures and worst-case time-phase asynchroniety among the system's computers is performed by a real-time computer simulation. The simulation emulates the control hardware, subsystem interfaces, and imbedded software processes, wire-by-wire, to provide accessibility for fault insertion. Observability is provided via graphics and diagnostic software. Verification is the product of Monte Carlo simulation analysis.

Szatkowski, G. P.↗
NASA NTRS1973

A theoretical and experimental study of sound attenuation in an annular duct.

The flow duct used in the experiments for this study was described in an earlier paper by Plumblee and Dean (1972). Angular and radial standing modes were excited in isolation, and the modal attenuation and phase speed were measured in an annular duct with locally reacting liners. Contour maps of constant attenuation and phase speed were computed in the wall impedance plane for no-flow and several flow conditions, and experimental data were compared with some of these calculations. The effect of flow on modal attenuation and phase speed was measured and is theoretically verified. The major result of this study is the verification of theoretical predictions which ultimately can lead to a duct liner design optimization without resort to expensive and lengthy test programs.

Plumblee, H. E.↗
NASA NTRS1977

Door latch with through-access hole

Innovation allows fully-loaded container to be fastened to rear wall of recessed area. Assembly is designed to carry shear and tension loads. Retractable handle allows for visual verification if door is locked or unlocked.

Dixon, W. F.↗
NASA NTRS1974

Results from the EPL monkey-pod experiment conducted as part of the 1974 NASA/Ames shuttle CVT-2

The participation of the Environmental Physiology Laboratory (EPL) in the general purpose laboratory concept verification test 3 is documented. The EPL Monkey-Pod Experiment was designed to incorporate a 10-12 kg, pig tailed monkey, Macaca nemestrina, into the pod and measure the physiological responses of the animal continuously. Four major elements comprise the EPL Monkey-Pod Experiment System: (1) a fiberglass pod containing the instrumented monkey plus feeder and watering devices, (2) an inner console containing the SKYLAB mass spectrometer with its associated valving and electronic controls, sensing, control and monitoring units for lower body negative pressure, feeder activity, waterer activity, temperatures, and gas metabolism calibration, (3) an umbilical complex comprising gas flow lines and electrical cabling between the inner and outer console and (4) an outer console in principle representing the experiment support to be provided from general spacecraft sources.

Rahlmann, D. F.↗
NASA NTRS1976

Results from the EPL monkey-pod flight experiments conducted aboard the NASA/Ames CV-990, May 1976

The participation of the Environmental Physiology Laboratory (EPL) in the general purpose laboratory concept verification test 3 is documented. The EPL Monkey-Pod Experiment was designed to incorporate a 10-12 kg, pig tailed monkey, Macaca nemestrina, into the pod and measure the physiological responses of the animal continously. Four major elements comprise the EPL Monkey-Pod Experiment System: (1) a fiberglass pod containing the instrumented monkey plus feeder and watering devices, (2) an inner console containing the SKYLAB mass spectrometer with its associated valving and electronic controls, sensing, control and monitoring units for lower body negative pressure, feeder activity, waterer activity, temperatures, and gas metabolism calibration, (3) an umbilical complex comprising gas flow lines and electrical cabling between the inner and outer console and (4) an outer console in principle representing the experiment support to be provided from general space craft sources.

Rahlmann, D. F.↗
NASA NTRS1978

Tools for Embedded Computing Systems Software

A workshop was held to assess the state of tools for embedded systems software and to determine directions for tool development. A synopsis of the talk and the key figures of each workshop presentation, together with chairmen summaries, are presented. The presentations covered four major areas: (1) tools and the software environment (development and testing); (2) tools and software requirements, design, and specification; (3) tools and language processors; and (4) tools and verification and validation (analysis and testing). The utility and contribution of existing tools and research results for the development and testing of embedded computing systems software are described and assessed.

Source record↗
NASA NTRS1982

Development tests for the 2.5 megawatt Mod-2 wind turbine generator

The 2.5 megawatt MOD-2 wind turbine generator test program is discussed. The development of the 2.5 megawatt MOD-2 wind turbine generator included an extensive program of testing which encompassed verification of analytical procedures, component development, and integrated system verification. The test program was to assure achievement of the thirty year design operational life of the wind turbine system as well as to minimize costly design modifications which would otherwise have been required during on site system testing. Computer codes were modified, fatigue life of structure and dynamic components were verified, mechanical and electrical component and subsystems were functionally checked and modified where necessary to meet system specifications, and measured dynamic responses of coupled systems confirmed analytical predictions.

Andrews, J. S.↗
NASA NTRS1984

Evaluation of long-duration exposure to the natural space environment on graphite-polyimide and graphite-epoxy mechanical properties (A0175)

The primary objective of this experiment is to accumulate the needed operational data associated with the exposure of graphite-polyimide and graphite-epoxy material to the environments of space. The experiment will be mounted in two 3-in.-deep peripheral trays. Graphite-polyimide specimens will occupy 1 1/3 trays and the graphite-epoxy specimens will occupy two-thirds of a tray. The experiment approach requires two matched sets of specimens with traceable records that are maintained for materials processing and specimen quality. After fabrication, one set of each test specimen will be sectioned and structurally tested to serve as a data baseline. After the flight, the other set of specimens will undergo extensive measurements of mechanical properties for comparison with the original data baseline. Structural testing of the graphite-polyimide specimens will provide strength and elastic data in tension, compression, and shear. Transverse tension microcracking and crack propagation will be evaluated by photomicroscopy. Structural testing of the graphite-epoxy specimens will include verification of laminate, core, adhesive, and fatigue properties as applied to the design and analysis of the payload bay door. Microcracking and crack propagation will also be analyzed by photomicroscopy.

Powell, J. H.↗
NASA NTRS1988

Fourth Conference on Artificial Intelligence for Space Applications

Proceedings of a conference held in Huntsville, Alabama, on November 15-16, 1988. The Fourth Conference on Artificial Intelligence for Space Applications brings together diverse technical and scientific work in order to help those who employ AI methods in space applications to identify common goals and to address issues of general interest in the AI community. Topics include the following: space applications of expert systems in fault diagnostics, in telemetry monitoring and data collection, in design and systems integration; and in planning and scheduling; knowledge representation, capture, verification, and management; robotics and vision; adaptive learning; and automatic programming.

Odell, Stephen L.↗
NASA NTRS1989

Microwave scattering models and basic experiments

Progress is summarized which has been made in four areas of study: (1) scattering model development for sparsely populated media, such as a forested area; (2) scattering model development for dense media, such as a sea ice medium or a snow covered terrain; (3) model development for randomly rough surfaces; and (4) design and conduct of basic scattering and attenuation experiments suitable for the verification of theoretical models.

Fung, Adrian K.↗
NASA NTRS1990

Space Shuttle main engine technology and enhancements

The SSME Project Office is taking several paths to meet future needs for the Shuttle system. The producibility program focuses on manufacturing concerns. The product improvement program is attempting to address and correct limitations. The Alternate Turbopump Development Program focuses on the development of a more advanced and reliable turbopump design, and the Technology Test Bed Program focuses on the demonstration and verification of new technology and initial concept verification. A program has been structured to meet the needs of the payload community and to look forward toward the incorporation of advanced fabrication concepts.

Smelser, Jerry W.↗