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 343 records · Page 19
All sourcesNASA NTRSDOE OSTI
DOE OSTI2020

A compact mechanical power take-off for wave energy converters: Design, analysis, and test verification

Power Take-off (PTO) is one of the most critical components in the ocean wave conversion. This paper introduces an innovative compact mechanical PTO using a ball screw mechanism and a Mechanical Motion Rectifier (MMR) to improve the energy conversion performance. The proposed MMR PTO converts bidirectional oscillatory motion of the ocean waves into unidirectional rotation. The detailed design and working principle of the MMR PTO are explicitly explained. Dynamic analysis is presented for the three most important factors that influence the performance, including the equivalent mass, the equivalent damping, and the excitation frequency. The analytical relationship between these factors and the disengaged freewheeling motion caused by the MMR mechanism is derived, and the analytical solution is verified through dry lab testing. Experimental results in bench tests show that compared with the traditional linear PTO which use the ball screw to drive the generator directly, the MMR PTO is more efficient because of the unique freewheeling motion, achieving a maximum 81.2% energy transfer efficiency. After integrating the prototype PTO with a single-body point absorber type of wave energy converter, testing in a water tank yields total PTO efficiency up to 62.4%, showing a very promising potential for real applications.

16 TIDAL AND WAVE POWER↗
NASA NTRS2012

Designing Spacecraft and Mission Operations Plans to Meet Flight Crew Radiation Dose Requirements: Why is this an "Epic Challenge" for Long-Term Manned Interplanetary Flight

Outline of presentation: (1) Radiation Shielding Concepts and Performance - Galactic Cosmic Rays (GCRs) (1a) Some general considerations (1b) Galactic Cosmic Rays (2)GCR Shielding I: What material should I use and how much do I need? (2a) GCR shielding materials design and verification (2b) Spacecraft materials point dose cosmic ray shielding performance - hydrogen content and atomic number (2c) Accelerator point dose materials testing (2d) Material ranking and selection guidelines (2e) Development directions and return on investment (point dose metric) (2f) Secondary particle showers in the human body (2f-1) limited return of investment for low-Z, high-hydrogen content materials (3) GCR shielding II: How much will it cost? (3a) Spacecraft design and verification for mission radiation dose to the crew (3b) Habitat volume, shielding areal density, total weight, and launch cost for two habitat volumes (3c) It's All about the Money - Historical NASA budgets and budget limits (4) So, what can I do about all this? (4a) Program Design Architecture Trade Space (4b) The Vehicle Design Trade Space (4c) Some Near Term Recommendations

Koontz, Steven↗
NASA NTRS1994

Estimating Delays In ASIC's

Verification is important aspect of process of designing application-specific integrated circuit (ASIC). Design must not only be functionally accurate, but must also maintain correct timing. IFA, Intelligent Front Annotation program, assists in verifying timing of ASIC early in design process. This program speeds design-and-verification cycle by estimating delays before layouts completed. Written in C language.

Burke, Gary↗
NASA NTRS1972

A thermal scale modeling study for Apollo and Apollo applications, volume 1

The program is reported for developing and demonstrating the capabilities of thermal scale modeling as a thermal design and verification tool for Apollo and Apollo Applications Projects. The work performed for thermal scale modeling of STB; cabin atmosphere/spacecraft cabin wall thermal interface; closed loop heat rejection radiator; and docked module/spacecraft thermal interface are discussed along with the test facility requirements for thermal scale model testing of AAP spacecraft. It is concluded that thermal scale modeling can be used as an effective thermal design and verification tool to provide data early in a spacecraft development program.

Shannon, R. L.↗
NASA NTRS1997

Fourth NASA Langley Formal Methods Workshop

This publication consists of papers presented at NASA Langley Research Center's fourth workshop on the application of formal methods to the design and verification of life-critical systems. Topic considered include: Proving properties of accident; modeling and validating SAFER in VDM-SL; requirement analysis of real-time control systems using PVS; a tabular language for system design; automated deductive verification of parallel systems. Also included is a fundamental hardware design in PVS.

Holloway, C. Michael↗
NASA NTRS1971

Information management system study results. Volume 1: IMS study results

The information management system (IMS) special emphasis task was performed as an adjunct to the modular space station study, with the objective of providing extended depth of analysis and design in selected key areas of the information management system. Specific objectives included: (1) in-depth studies of IMS requirements and design approaches; (2) design and fabricate breadboard hardware for demonstration and verification of design concepts; (3) provide a technological base to identify potential design problems and influence long range planning (4) develop hardware and techniques to permit long duration, low cost, manned space operations; (5) support SR&T areas where techniques or equipment are considered inadequate; and (6) permit an overall understanding of the IMS as an integrated component of the space station.

Source record↗
NASA NTRS1978

Verification of redundancy management design

Statistical method checks designs by simulating system operating conditions and adding error factors. Method has potential applicability to commercial and industrial situations where redundancy management system is used to detect and isolate failed components.

Gelderloos, H. C.↗
NASA NTRS1981

Design, analysis, and test verification of advanced encapsulation system

Procurement of 4 in x 4 in polycrystalline solar cells were proceeded with some delays. A total of 1200 cells were procured for use in both the verification testing and qualification testing. Additional thermal structural analyses were run and the data are presented. An outline of the verification testing is included with information on test specimen construction.

Garcia, A.↗
NASA NTRS1983

The Hierarchical Specification and Mechanical Verification of the SIFT Design

The formal specification and proof methodology employed to demonstrate that the SIFT computer system meets its requirements are described. The hierarchy of design specifications is shown, from very abstract descriptions of system function down to the implementation. The most abstract design specifications are simple and easy to understand, almost all details of the realization were abstracted out, and are used to ensure that the system functions reliably and as intended. A succession of lower level specifications refines these specifications into more detailed, and more complex, views of the system design, culminating in the Pascal implementation. The section describes the rigorous mechanical proof that the abstract specifications are satisfied by the actual implementation.

Source record↗
NASA NTRS1984

Design, analysis and test verification of advanced encapsulation systems

Investigations into transparent conductive polymers were begun. Polypyrrole was electrochemically deposited, but the film characteristics were poor. A proprietary polymer material supplied by Polaroid was evaluated and showed promise as a readily processable material. A method was developed for calculating the magnitude and location of the maximum electric field for the family of solar-cell-like shapes. A method for calculating the lines of force for three dimensional electric fields was developed and applied to a geometry of interest to the photovoltaic program.

Garcia, A., III↗
NASA NTRS1987

Impact verification of space suit design for space station

The ballistic limits of single sheet and double sheet structures made of 6061 T6 Aluminum of 1.8 mm and larger nominal thickness were investigated for projectiles of 1.5 mm diameter fired in the Vertical Gun Range Test Facility and NASA Ames Research Center. The hole diameters and sheet deformation behavior were studied for various ratios of sheet spacing to projectile diameter. The results indicate that for projectiles of less than 1.5 mm diameter the ballistic limit exceeds the nominal 10 km/sec orbital debris encounter velocity, if a single-sheet suit of 1.8 mm thickness is behind a single bumper sheet of 1 mm thickness spaced 12.5 mm apart.

Fish, Richard H.↗
NASA NTRS2009

NASA Manned Launch Vehicle Lightning Protection Development

Historically, the National Aeronautics and Space Administration (NASA) relied heavily on lightning avoidance to protect launch vehicles and crew from lightning effects. As NASA transitions from the Space Shuttle to the new Constellation family of launch vehicles and spacecraft, NASA engineers are imposing design and construction standards on the spacecraft and launch vehicles to withstand both the direct and indirect effects of lightning. A review of current Space Shuttle lightning constraints and protection methodology will be presented, as well as a historical review of Space Shuttle lightning requirements and design. The Space Shuttle lightning requirements document, NSTS 07636, Lightning Protection, Test and Analysis Requirements, (originally published as document number JSC 07636, Lightning Protection Criteria Document) was developed in response to the Apollo 12 lightning event and other experiences with NASA and the Department of Defense launch vehicles. This document defined the lightning environment, vehicle protection requirements, and design guidelines for meeting the requirements. The criteria developed in JSC 07636 were a precursor to the Society of Automotive Engineers (SAE) lightning standards. These SAE standards, along with Radio Technical Commission for Aeronautics (RTCA) DO-160, Environmental Conditions and Test Procedures for Airborne Equipment, are the basis for the current Constellation lightning design requirements. The development and derivation of these requirements will be presented. As budget and schedule constraints hampered lightning protection design and verification efforts, the Space Shuttle elements waived the design requirements and relied on lightning avoidance in the form of launch commit criteria (LCC) constraints and a catenary wire system for lightning protection at the launch pads. A better understanding of the lightning environment has highlighted the vulnerability of the protection schemes and associated risk to the vehicle, which has resulted in lost launch opportunities and increased expenditures in manpower to assess Space Shuttle vehicle health and safety after lightning events at the launch pad. Because of high-percentage launch availability and long-term on-pad requirements, LCC constraints are no longer considered feasible. The Constellation vehicles must be designed to withstand direct and indirect effects of lightning. A review of the vehicle design and potential concerns will be presented as well as the new catenary lightning protection system for the launch pad. This system is required to protect the Constellation vehicles during launch processing when vehicle lightning effects protection might be compromised by such items as umbilical connections and open access hatches.

McCollum, Matthew B.↗
NASA NTRS2018

Using Maxwell's Demon to Tame the "Devil in the Details" that are Encountered During System Development

Model-Based Systems Engineering (MBSE) is the formalized application of modeling to support system requirements, design, analysis, verification and validation activities beginning in the conceptual design phase and continuing throughout development and later life cycle phases . This presentation will discuss the value proposition that MBSE has for Systems Engineering, and the associated culture change needed to adopt it.

Model Based Systems Engineering↗