Search NASA⌕ Search

SEARCH · Search NASA

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 109 records · Page 6
All sourcesNASA NTRSDOE OSTI
NASA NTRS1973

Space shuttle main engine controller assembly, phase C-D

System design and system analysis and simulation are slightly behind schedule, while design verification testing has improved. Input/output circuit design has improved, but digital computer unit (DCU) and mechanical design continue to lag. Part procurement was impacted by delays in printed circuit board, assembly drawing releases. These are the result of problems in generating suitable printed circuit artwork for the very complex and high density multilayer boards.

Source record↗
NASA NTRS2001

A Low Temperature, Reverse Brayton Cryocooler

This status report covers the fifty-second month of a project to develop a low temperature, reverse-Brayton cryocooler using turbomachines. This program consists of a Basic Phase and four Option Phases. Each of the Phases is directed to a particular load/temperature combination. The technology and fundamental design features of the components used in these systems are related but differ somewhat in size, speed, and some details in physical geometry. Each of the Phases can be carried out independently of the others, except that all of the Phases rely on the technology developed and demonstrated during the Basic Phase. The Basic Phase includes the demonstration of a critical component and the production of a prototype model cryocooler. The critical technology demonstration will be the test of a small turboalternator over a range of conditions at temperatures down to 6 K. These tests will provide design verification data useful for the further design of the other coolers. The prototype model cooler will be designed to provide at least 5 mW of cooling at 6 K. The heat rejection temperature for this requirement is 220 K or greater. The input power to the system at these conditions is to be less than 60 W.

Swift, Walter L.↗
NASA NTRS2018

NASA's Advanced Extra-Vehicular Activity Space Suit Pressure Garment 2018 Status and Development Plan

This paper presents both near-term and long-term NASA Advanced Extra-vehicular Activity (EVA) Pressure Garment development efforts. The near-term plan discusses the development of pressure garment components for the first design iteration of the International Space Station exploration space suit demonstration configuration, termed the xEMU Demo. The xEMU Demo effort is targeting a 2023-2025 flight demonstration timeframe. The Fiscal Year 2018 (FY18) tasks focus on either the initiation or maturation of component design, depending on the state of development of the components, and the assembly of a suit configuration, termed Z-2.5, that will be used to evaluate changes to the upper torso geometry in a Neutral Buoyancy Laboratory (NBL) test series. The geometry changes, which are being driven by the need to reduce the front-to-back dimension of the advanced extravehicular mobility unit, diverge from a proven shape, such as that of the Mark III Space Suit Technology Demonstrator. The 2018 efforts culminate in the Z-2.5 NBL test. The lessons learned from the Z-2.5 NBL test will inform the xEMU Demo design as the effort moves toward design verification testing and preliminary and critical design reviews. The long-term development plan looks to surface exploration and operations. Technology and knowledge gaps exist between the xEMU Demo configuration; a lunar surface capability, xEMU; and Mars surface suit, mEMU. The development plan takes into account both the priority and the anticipated development duration for each particular technology. The long-term development plan will be updated as risks are mitigated and gaps are closed, but its overarching structure will remain intact.

space suit↗
NASA NTRS2012

Structural Verification of the First Orbital Wonder of the World - The Structural Testing and Analysis of the International Space Station (ISS)

The International Space Station (ISS) can be considered one of the structural engineering wonders of the world. On par with the World Trade Center, the Colossus of Rhodes, the Statue of Liberty, the Great Pyramids, the Petronas towers and the Burj Khalifa skyscraper of Dubai, the ambition and scope of the ISS structural design, verification and assembly effort is a truly global success story. With its on-orbit life projected to be from its beginning in 1998 to the year 2020 (and perhaps beyond), all of those who participated in its development can consider themselves part of an historic engineering achievement representing all of humanity. The structural design and verification of the ISS could be the subject of many scholarly papers. Several papers have been written on the structural dynamic characterization of the ISS once it was assembled on-orbit [1], but the ground-based activities required to assure structural integrity and structural life of the individual elements from delivery to orbit through assembly and planned on-orbit operations have never been totally summarized. This paper is intended to give the reader an overview of some of the key decisions made during the structural verification planning for the elements of the U.S. On-Orbit Segment (USOS) as well as to summarize the many structural tests and structural analyses that were performed on its major elements. An effort is made for this paper to be summarily comprehensive, but as with all knowledge capture efforts of this kind, there are bound to be errors of omission. Should the reader discover any of these, please feel free to contact the principal author. The ISS (Figure 1) is composed of pre-integrated truss segments and pressurized elements supplied by NASA, the Russian Federal Space Agency (RSA), the European Space Agency (ESA) and the Japanese Aerospace Exploration Agency (JAXA). Each of these elements was delivered to orbit by a launch vehicle and connected to one another either robotically or autonomously. The primary structure of each element was assembled and verified by teams of responsible structural engineers within and among their respective agencies and agency contractors.

Zipay, John J.↗
NASA NTRS2009

A3 Subscale Diffuser Test Article Design

This paper gives a detailed description of the design of the A3 Subscale Diffuser Test (SDT) Article Design. The subscale diffuser is a geometrically accurate scale model of the A3 altitude rocket facility. It was designed and built to support the SDT risk mitigation project located at the E3 facility at Stennis Space Center, MS (SSC) supporting the design and construction of the A3 facility at SSC. The subscale test article is outfitted with a large array of instrumentation to support the design verification of the A3 facility. The mechanical design of the subscale diffuser and test instrumentation are described here

Saunders, G. P.↗
NASA NTRS1973

Photoheliograph thermal concepts study. Volume 2: Detailed analysis

The photoheliograph thermal concepts study which was to define and compare the performance of thermal subsystem concepts for each of three photoheliograph designs oriented toward unique solar observation missions is reported. These design and missions are categorized as: (1) A 150-centimeter photoheliograph for large solar observatory (LSO) missions. This design is intended for multiyear orbital operations as a part of a complement of solar telescopes in a free-flying LSO configuration. (2) A 100-centimeter photoheliograph for shuttle sorties. This design is intended for observation periods of up to 2 weeks while mounted in the cargo bay of the shuttle orbiter vehicle. (3) A 100-centimeter photoheliograph for balloon missions. This design is intended to be a design verification unit and precursor to the orbital flight designs. Mission duration is on the order of a single day at an altitude of approximately 24.4 kilometers. For each of these photoheliograph designs, the basic thermal environments, boundary conditions, and applicable thermal control concepts were defined and the interactions between concepts and environments were determined. A baseline thermal control concept was selected for the three classes of photoheliographs described.

Source record↗
NASA NTRS1974

Space Shuttle OMS engine valve technology

Valve technology program to determine shutoff valve concepts suitable for the Orbital Maneuvering System (OMS) engine of the Space Shuttle. The tradeoff studies selected the electric torque motor operated dual poppet and ball valves as the most desirable valve concepts for the OMS Engine Shutoff Valve. A prototype of one of these concepts was built and subjected to a design verification program. A number of unique features were designed to include the required contamination insensitivity, operating fluid compatibility, decontamination capability, minimum maintenance requirement and long service life capability.

Wichmann, H.↗
NASA NTRS1992

Tethered Satellite System Tip Canister - Thermal design and test

The Tethered Satellite System (TSS) is scheduled for launch, on STS-46 in mid-1992. The major mission objective is to investigate electrodynamic phenomena associated with long electrically conductive tether, in the earth orbital environment. A spherical Satellite (1.6-m diameter), remains connected to the Orbiter throughout TSS-1 mission by a conductive tether. The Satellite operates at up to 20 km above the Orbiter during the TSS mission. The Tip Canister (TPC), that is mounted on the end of a 12-m retractable boom, contains mechanisms that control and monitor tether movement. The TPC is an independent thermal system from the base 'Deployer/Spacelab Pallet'. This paper presents the TPC thermal design verification approach that includes a description of thermal design and thermal balance testing. Flight TPC temperature predictions are also presented.

Chapter, John J.↗
NASA NTRS1973

Design of a modular digital computer system DRL 4 and 5

Design and development efforts for a spaceborne modular computer system are reported. An initial baseline description is followed by an interface design that includes definition of the overall system response to all classes of failure. Final versions for the register level designs for all module types were completed. Packaging, support and control executive software, including memory utilization estimates and design verification plan, were formalized to insure a soundly integrated design of the digital computer system.

Source record↗
NASA NTRS1999

The Submillimeter-Wave Astronomy Satellite: On-Orbit Thermal Performance and Design Retrospective

A large telescope aperture, stringent thermal stability and temperature range requirements, and a passively-cooled 1500K module presented major challenges in thermal design and hardware fabrication of this Small Explorer satellite. This paper reviews briefly the thermal design of the SWAS science instrument, and examines the first three months of on-orbit thermal history. Measured temperatures for both the science payload and the spacecraft module and solar arrays are compared with those predicted by the correlated analytical model. Similarities and differences are interpreted in terms of the major uncertainties remaining after thermal-balance testing, especially those of MLI performance and telescope aperture properties. Review of the thermal model adequacy and thermal design verification are included to suggest improvements in the thermal design process for future missions.

Boyd, David A.↗
NASA NTRS1999

The Submillimeter-Wave Astronomy Satellite: On-Orbit Thermal Performance and Design Retrospective

A large telescope aperture, stringent thermal stability and temperature range requirements, and a passively-cooled 150 K module presented major challenges in thermal design and hardware fabrication of this Small Explorer satellite. This paper reviews briefly the thermal design of the SWAS science instrument, and examines the first three months of on-orbit thermal history. Measured temperatures for both the science payload and the spacecraft module and solar arrays are compared with those predicted by the correlated analytical model. Similarities and differences are interpreted in terms of the major uncertainties remaining after thermal-balance testing, especially those of MLI performance and telescope aperture properties. Review of the thermal model adequacy and thermal design verification are included to suggest improvements in the thermal design process for future missions.

Boyd, David A.↗
NASA NTRS2017

Runtime Verification Logics A Language Design Perspective

Runtime Verification is a light-weight approach to systems verification, where actual executions of a system are processed and analyzed using rigorous techniques. In this paper we shall narrow the term’s definition to represent the commonly studied variant consisting of verifying that a single system execution conforms to a specification written in a formal specification language. Runtime verification (in this sense) can be used for writing test oracles during testing when the system is too complex for full formal verification, or it can be used during deployment of the system as part of a fault protection strategy, where corrective actions may be taken in case the specification is violated. Specification languages for runtime verification appear to differ from for example temporal logics applied in model checking, in part due to the focus on monitoring of events that carry data, and specifically due to the desire to relate data values existing at different time points, resulting in new challenges in both the complexity of the monitoring approach and the expressiveness of languages. Over the recent years, numerous runtime verification specification languages have emerged, each with its different features and levels of expressiveness and usability. This paper presents an overview and a discussion of this design space.

Reger, Giles↗
NASA NTRS1978

Design and performance verification of a passive propellant management system

This paper describes the design and verification testing of a reusable passive propellant management system. The system was designed to acquire propellant in low- or zero-g environments and also retain this propellant under high axially directed accelerations that may be experienced during launch and orbit-to-orbit transfer. The system design requirements were established to satisfy generally the requirements for a large number of potential NASA and military applications, such as orbit-to-orbit shuttles and satellite vehicles. The resulting concept was a multicompartmented tank with independent surface tension acquisition channels in each compartment. The tank was designed to provide a minimum expulsion efficiency of 98 percent when subjected to the simultaneous conditions of acceleration, vibration, and outflow. The system design has the unique capability to demonstrate low-g performance in a 1-g test environment, and the test program summarized was structured around this capability.

Hess, D. A.↗
NASA NTRS1991

Verification of VLSI designs

In this paper we explore the specification and verification of VLSI designs. The paper focuses on abstract specification and verification of functionality using mathematical logic as opposed to low-level boolean equivalence verification such as that done using BDD's and Model Checking. Specification and verification, sometimes called formal methods, is one tool for increasing computer dependability in the face of an exponentially increasing testing effort.

Windley, P. J.↗
NASA NTRS1991

Verification of the FtCayuga fault-tolerant microprocessor system. Volume 2: Formal specification and correctness theorems

Presented here is a formal specification and verification of a property of a quadruplicately redundant fault tolerant microprocessor system design. A complete listing of the formal specification of the system and the correctness theorems that are proved are given. The system performs the task of obtaining interactive consistency among the processors using a special instruction on the processors. The design is based on an algorithm proposed by Pease, Shostak, and Lamport. The property verified insures that an execution of the special instruction by the processors correctly accomplishes interactive consistency, providing certain preconditions hold, using a computer aided design verification tool, Spectool, and the theorem prover, Clio. A major contribution of the work is the demonstration of a significant fault tolerant hardware design that is mechanically verified by a theorem prover.

Bickford, Mark↗
NASA NTRS1985

Problems experienced and envisioned for dynamical physical systems

The use of high performance systems, which is the trend of future space systems, naturally leads to lower margins and a higher sensitivity to parameter variations and, therefore, more problems of dynamical physical systems. To circumvent dynamic problems of these systems, appropriate design, verification analysis, and tests must be planned and conducted. The basic design goal is to define the problem before it occurs. The primary approach for meeting this goal is a good understanding and reviewing of the problems experienced in the past in terms of the system under design. This paper reviews many of the dynamic problems experienced in space systems design and operation, categorizes them as to causes, and envisions future program implications, developing recommendations for analysis and test approaches.

Ryan, R. S.↗
NASA NTRS1980

Numerical optimization - An assessment of its role in transport aircraft aerodynamic design through a case study

An efficient transonic wing design procedure based upon numerical optimization together with three-dimensional transonic methods has been developed and used to design an advanced transport wing. The method development included an examination of the use of both full potential and extended small disturbance analysis codes and demonstrated that the former formulation was more reliable. In either case, the design procedure is economical and easy to use. Design verification in a unique semi-span test arrangement demonstrated that the design method produced a wing which satisfied the study design requirements. However, aeroelastic deformation of the wing occurred during the wind tunnel test. The computational methods used in the design procedure were employed to assess the effect of the aeroelastic deformation. The paper concludes with an evaluation of the design procedure and recommendation for its improvement.

Lores, M. E.↗
NASA NTRS2007

NEXT Thruster Component Verification Testing

Component testing is a critical part of thruster life validation activities under NASA s Evolutionary Xenon Thruster (NEXT) project testing. The high voltage propellant isolators were selected for design verification testing. Even though they are based on a heritage design, design changes were made because the isolators will be operated under different environmental conditions including temperature, voltage, and pressure. The life test of two NEXT isolators was therefore initiated and has accumulated more than 10,000 hr of operation. Measurements to date indicate only a negligibly small increase in leakage current. The cathode heaters were also selected for verification testing. The technology to fabricate these heaters, developed for the International Space Station plasma contactor hollow cathode assembly, was transferred to Aerojet for the fabrication of the NEXT prototype model ion thrusters. Testing the contractor-fabricated heaters is necessary to validate fabrication processes for high reliability heaters. This paper documents the status of the propellant isolator and cathode heater tests.

Pinero, Luis R.↗