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 289 records · Page 16
All sourcesNASA NTRSDOE OSTI
NASA NTRS1972

Panel flutter

Criteria are presented for the prediction of panel flutter, determination of its occurrence, design for its prevention, and evaluation of its severity. Theoretical analyses recommended for the prediction of flutter stability boundaries, vibration amplitudes, and frequencies for several types of panels are described. Vibration tests and wind tunnel tests are recommended for certain panels and environmental flow conditions to provide information for design of verification analysis. Appropriate design margins on flutter stability boundaries are given and general criteria are presented for evaluating the severity of possible short-duration, limited-amplitude panel flutter on nonreusable vehicles.

Dowell, E. H.↗
NASA NTRS1996

Coherent Lidar Design and Performance Verification

This final report summarizes the investigative results from the 3 complete years of funding and corresponding publications are listed. The first year saw the verification of beam alignment for coherent Doppler lidar in space by using the surface return. The second year saw the analysis and computerized simulation of using heterodyne efficiency as an absolute measure of performance of coherent Doppler lidar. A new method was proposed to determine the estimation error for Doppler lidar wind measurements without the need for an independent wind measurement. Coherent Doppler lidar signal covariance, including wind shear and turbulence, was derived and calculated for typical atmospheric conditions. The effects of wind turbulence defined by Kolmogorov spatial statistics were investigated theoretically and with simulations. The third year saw the performance of coherent Doppler lidar in the weak signal regime determined by computer simulations using the best velocity estimators. Improved algorithms for extracting the performance of velocity estimators with wind turbulence included were also produced.

Frehlich, Rod↗
NASA NTRS2016

System Level Aerothermal Testing for the Adaptive Deployable Entry and Placement Technology (ADEPT)

The Adaptive Deployable Entry and Placement Technology (ADEPT), a mechanically deployable entry vehicle technology, has been under development at NASA since 2011. As part of the technical maturation of ADEPT, designs capable of delivering small payloads (10 kg) are being considered to rapidly mature sub 1 m deployed diameter designs. The unique capability of ADEPT for small payloads comes from its ability to stow within a slender volume and deploy to achieve a mass efficient drag surface with a high heat rate capability. The low ballistic coefficient results in entry heating and mechanical loads that can be met by a revolutionary three-dimensionally woven carbon fabric supported by a deployable skeleton structure. This carbon fabric has test proven capability as both primary structure and payload thermal protection system. In order to rapidly advance ADEPTs technical maturation, the project is developing test methods that enable thermostructural design requirement verification of ADEPT designs at the system level using ground test facilities. Results from these tests are also relevant to larger class missions and help us define areas of focused component level testing in order to mature material and thermal response design codes. The ability to ground test sub 1 m diameter ADEPT configurations at or near full-scale provides significant value to the rapid maturation of this class of deployable entry vehicles. This paper will summarize arc jet test results, highlight design challenges, provide a summary of lessons learned and discuss future test approaches based upon this methodology.

Hypersonic↗
NASA NTRS2021

Maneuver Design Implementation and Verification for the Mars 2020 Mission

On February 18, 2021, the Perseverance rover landed in Jezero Crater on Mars, transported by the Mars 2020 spacecraft on a nearly seven-month journey to the Red Planet. The execution of three propulsive maneuvers during the interplanetary cruise phase was required to remove the launch-injection bias and deliver the spacecraft to the Mars atmospheric entry point. This paper focuses on the maneuver implementation and verification process between the navigation and spacecraft teams. Additionally, this paper discusses the execution error models that were used to determine maneuver performance and delivery accuracy at the atmospheric entry interface point.

Kruizinga, Gerhard↗
NASA NTRS1992

Structural verification of the TOPEX/Poseidon satellite

The prototype flight structural design and verification concept developed for TOPEX/Poseidon is presented. The structural configuration, design requirements, verification plan, analysis, and system level testing are described. The principal goal of the mission is to observe and measure ocean currents via radio altimetry, for enhanced knowledge of the interaction between the atmosphere and ocean.

Larkin, Paul A.↗
NASA NTRS1993

Towards the formal verification of the requirements and design of a processor interface unit

The formal verification of the design and partial requirements for a Processor Interface Unit (PIU) using the Higher Order Logic (HOL) theorem-proving system is described. The processor interface unit is a single-chip subsystem within a fault-tolerant embedded system under development within the Boeing Defense and Space Group. It provides the opportunity to investigate the specification and verification of a real-world subsystem within a commercially-developed fault-tolerant computer. An overview of the PIU verification effort is given. The actual HOL listing from the verification effort are documented in a companion NASA contractor report entitled 'Towards the Formal Verification of the Requirements and Design of a Processor Interface Unit - HOL Listings' including the general-purpose HOL theories and definitions that support the PIU verification as well as tactics used in the proofs.

Fura, David A.↗
NASA NTRS2000

Integrated Airframe Demonstrations

The objective of the project described in this viewgraph presentation is to develop and verify the technology required for the application of minimal weight control surfaces that meet MASP vehicle requirements. The approaches include the development of design and fabrication concepts, the verification of concept design through sub-component fabrication and tests, the design and fabrication of a full-scale segment of the carbon-carbon control surface, and the design verification and fabrication technology by thermal and structural tests.

Glass, David E.↗
NASA NTRS1971

Handbook: Design of automated redundancy verification

The use of the handbook is discussed and the design progress is reviewed. A description of the problem is presented, and examples are given to illustrate the necessity for redundancy verification, along with the types of situations to which it is typically applied. Reusable space vehicles, such as the space shuttle, are recognized as being significant in the development of the automated redundancy verification problem.

Ford, F. A.↗
NASA NTRS1979

Integrated testing and verification system for research flight software design document

The NASA Langley Research Center is developing the MUST (Multipurpose User-oriented Software Technology) program to cut the cost of producing research flight software through a system of software support tools. The HAL/S language is the primary subject of the design. Boeing Computer Services Company (BCS) has designed an integrated verification and testing capability as part of MUST. Documentation, verification and test options are provided with special attention on real time, multiprocessing issues. The needs of the entire software production cycle have been considered, with effective management and reduced lifecycle costs as foremost goals. Capabilities have been included in the design for static detection of data flow anomalies involving communicating concurrent processes. Some types of ill formed process synchronization and deadlock also are detected statically.

Taylor, R. N.↗
NASA NTRS1982

Design, analysis and test verification of advanced encapsulation systems

An analytical methodology for advanced encapsulation designs was developed. From these methods design sensitivities are established for the development of photovoltaic module criteria and the definition of needed research tasks. Analytical models were developed to perform optical, thermal, electrical and analyses on candidate encapsulation systems. From these analyses several candidate systems were selected for qualification testing. Additionally, test specimens of various types are constructed and tested to determine the validity of the analysis methodology developed. Identified deficiencies and/or discrepancies between analytical models and relevant test data are corrected. Prediction capability of analytical models is improved. Encapsulation engineering generalities, principles, and design aids for photovoltaic module designers is generated.

Garcia, A., III↗
NASA NTRS1983

Design, analysis and test verification of advanced encapsulation systems

The analytical methodology for advanced encapsulation designs for the development of photovoltaic modules is presented. Analytical models are developed to test optical, thermal, electrical and structural properties of the various encapsulation systems. Model data is compared to relevant test data to improve model accuracy and develop general principles for the design of photovoltaic modules.

Garcia, A., III↗