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 307 records · Page 17

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.↗

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↗

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↗

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↗

Formulation, Design and Experimental Verification of an Open Circuit Electro-Hydraulic Actuator

With the recent electrification trend in the fluid power area, more research has been incentivized to the proposal of cost-effective and energy-efficient solutions for hydraulic systems. Hence, electro-hydraulic actuator (EHA) architectures receive increasing attention. The paper proposes a novel open-circuit EHA architecture, with the goal to obtain a cost-effective mobile solution while maximizing the overall system efficiency. The proposed EHA is capable of meeting or exceeding traditional off-road machine performance, therefore enabling further electrification of off-road machines. Four-quadrant functionality, covering the full speed range, is achieved by a combination of a variable electro-hydraulic drive and valves with different functions and is validated by numerical as well as experimental methods. Here, a simulation model based on the Amesim environment and a dedicated test setup was developed to verify the performance. The good match between simulation and experimental results confirms the potential of the formulation approach of the proposed EHA for applications with different duty cycles and power levels.

24 POWER TRANSMISSION AND DISTRIBUTION↗

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.↗

Initial development and verification of a primary load design method based on elastic-perfectly plastic analysis

This report describes a new primary load design method to supplement the current design-by-elastic-analysis rules in Section III, Division 5, Subsection HB, Subpart B of the ASME Boiler and Pressure Vessel Code, covering the design and construction of Class A high temperature nuclear structural components. The main objectives for the new design method are to provide a procedure that can be applied to components with complicated geometries and to simplify the primary load design process by providing rules more compatible with modern finite element analysis. The report includes a complete set of design rules, presented as a draft ASME Code Case, as well as a commentary on the rules and a set of verification problems. The verification design problems demonstrate the new primary load design rules produce safe, efficient components when compared to the current Division 5 approach, while greatly simplifying the design analysis process.

42 ENGINEERING↗

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.↗

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.↗

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.↗

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.↗