Study of techniques for redundancy verification without disrupting systems
Developing techniques for verifying operational integrity of redundant equipment without disrupting systems
Source record↗
SEARCH · Engineering Papers
Results for “Verification study”
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.
Solar heating system design package for a single-family residence at William O'Brien State Park, Minnesota
The plans, specifications, cost trade studies, and verification status of a prototype solar heating and hot water system for the Minnesota Department of Natural Resources's single-family dwelling located at O'Brien State Park, 30 miles east of Minneapolis, Minnesota are presented.
Source record↗
Total main rotor isolation system analysis
The requirements for a preliminary design study and verification procedure for a total main rotor isolation system at n/rev are established. The system is developed and analyzed, and predesign drawings are created for an isolation system that achieves over 95 percent isolation of all six degrees of freedom.
Halwes, D. R.↗
Merging for Particle-Mesh Complex Particle Kinetic Modeling of the Multiple Plasma Beams
We suggest a merging procedure for the Particle-Mesh Complex Particle Kinetic (PMCPK) method in case of inter-penetrating flow (multiple plasma beams). We examine the standard particle-in-cell (PIC) and the PMCPK methods in the case of particle acceleration by shock surfing for a wide range of the control numerical parameters. The plasma dynamics is described by a hybrid (particle-ion-fluid-electron) model. Note that one may need a mesh if modeling with the computation of an electromagnetic field. Our calculations use specified, time-independent electromagnetic fields for the shock, rather than self-consistently generated fields. While a particle-mesh method is a well-verified approach, the CPK method seems to be a good approach for multiscale modeling that includes multiple regions with various particle/fluid plasma behavior. However, the CPK method is still in need of a verification for studying the basic plasma phenomena: particle heating and acceleration by collisionless shocks, magnetic field reconnection, beam dynamics, etc.
Lipatov, Alexander S.↗
LPV Modeling of a Flexible Wing Aircraft Using Modal Alignment and Adaptive Gridding Methods
One of the earliest approaches in gain-scheduling control is the gridding based approach, in which a set of local linear time-invariant models are obtained at various gridded points corresponding to the varying parameters within the flight envelop. In order to ensure smooth and effective Linear Parameter-Varying control, aligning all the flexible modes within each local model and maintaining small number of representative local models over the gridded parameter space are crucial. In addition, since the flexible structural models tend to have large dimensions, a tractable model reduction process is necessary. In this paper, the notion of s-shifted H2- and H Infinity-norm are introduced and used as a metric to measure the model mismatch. A new modal alignment algorithm is developed which utilizes the defined metric for aligning all the local models over the entire gridded parameter space. Furthermore, an Adaptive Grid Step Size Determination algorithm is developed to minimize the number of local models required to represent the gridded parameter space. For model reduction, we propose to utilize the concept of Composite Modal Cost Analysis, through which the collective contribution of each flexible mode is computed and ranked. Therefore, a reduced-order model is constructed by retaining only those modes with significant contribution. The NASA Generic Transport Model operating at various flight speeds is studied for verification purpose, and the analysis and simulation results demonstrate the effectiveness of the proposed modeling approach.
LPV Modeling↗
New Perspectives for Watering Substrate-Based Root Modules in Microgravity in the Advanced Plant Habitat (APH)
The Advanced Plant Habitat (APH) was installed on the International Space Station (ISS) in October 2017. Following a successful EVT (Experiment Verification Test) study at Kennedy Space Center (KSC), using Arabidopsis lines with varying levels of lignin, two inaugural studies were carried out on ISS in 2018 under the same experimental design, with the corresponding ground controls at KSC. The APH for this study deploys a substrate-based root module designed for plant growth in microgravity. Upon experiment initiation (such as for the EVT), the root module is primed (liquid imbibition) by flooding the root zone to initiate seed germination and to remove air from the porous tubing and particulate media. In the APH ISS inaugural study, the speed of supplying water to initially dry media was found to adversely affect the overall moisture distribution within the root module in microgravity (but not at 1g). Non-destructive estimations of Arabidopsis plant growth were carried out by monitoring changes in rosette leaf area on a daily basis. These data indicated that the original priming procedure caused patchy moisture distribution that affected plant growth and survival. An improved methodology for priming the second root module of PH-01 was devised and implemented in the second experiment. Leaf area and color estimates suggested that the modified priming scheme improved moisture distribution and plant growth. These data, when compared with the EVT study, suggest that nondestructive measurements of plant growth can aid towards optimization of plant growth conditions in microgravity.
Monje O.↗
Static test induced loads verification beyond elastic limit
Increasing demands for reliable and least-cost high performance aerostructures are pressing design analyses, materials, and manufacturing processes to new and narrowly experienced performance and verification technologies. This study assessed the adequacy of current experimental verification of the traditional binding ultimate safety factor which covers rare events in which no statistical design data exist. Because large, high-performance structures are inherently very flexible, boundary rotations and deflections under externally applied loads approaching fracture may distort their transmission and unknowingly accept submarginal structures or prematurely fracturing reliable ones. A technique was developed, using measured strains from back-to-back surface mounted gauges, to analyze, define, and monitor induced moments and plane forces through progressive material changes from total-elastic to total inelastic zones within the structural element cross section. Deviations from specified test loads are identified by the consecutively changing ratios of moment-to-axial load.
Verderaime, V.↗
Static test induced loads verification beyond elastic limit
Increasing demands for reliable and least-cost high-performance aerostructures are pressing design analyses, materials, and manufacturing processes to new and narrowly experienced performance and verification technologies. This study assessed the adequacy of current experimental verification of the traditional binding ultimate safety factor which covers rare events in which no statistical design data exist. Because large high-performance structures are inherently very flexible, boundary rotations and deflections under externally applied loads approaching fracture may distort their transmission and unknowingly accept submarginal structures or prematurely fracturing reliable ones. A technique was developed, using measured strains from back-to-back surface mounted gauges, to analyze, define, and monitor induced moments and plane forces through progressive material changes from total-elastic to total-inelastic zones within the structural element cross section. Deviations from specified test loads are identified by the consecutively changing ratios of moment-to-axial load.
Verderaime, V.↗
Active control of instabilities in laminar boundary-layer flow. Part 1: An overview
This paper (the first in a series) focuses on using active-control methods to maintain laminar flow in a region of the flow in which the natural instabilities, if left unattended, lead to turbulent flow. The authors review previous studies that examine wave cancellation (currently the most prominent method) and solve the unsteady, nonlinear Navier-Stokes equations to evaluate this method of controlling instabilities. It is definitely shown that instabilities are controlled by the linear summation of waves (i.e., wave cancellation). Although a mathematically complete method for controlling arbitrary instabilities has been developed (but not yet tested), the review, duplication, and physical explanation of previous studies are important steps for providing an independent verification of those studies, for establishing a framework for subsequent work which will involve automated transition control, and for detailing the phenomena by which the automated studies can be used to expand knowledge of flow control.
Joslin, Ronald D.↗
Active Control of Instabilities in Laminar Boundary Layers-Overview and Concept Validation
This paper (the first in a series) focuses on using active-control methods to maintain laminar flow in a region of the flow in which the natural instabilities, if left unattended, lead to turbulent flow. The authors review previous studies that examine wave cancellation (currently the most prominent method) and solve the unsteady, nonlinear Navier-Stokes equations to evaluate this method of controlling instabilities. It is definitively shown that instabilities are controlled by the linear summation of waves (i.e., wave cancellation). Although a mathematically complete method for controlling arbitrary instabilities has been developed, the review, duplication, and physical explanation of previous studies are important steps for providing an independent verification of those studies, for establishing a framework for the work which will involve automated transition control, and for detailing the phenomena by-which the automated studies can be used to expand knowledge of flow control.
Joslin, Ronald D.↗
Development of a Subcell Based Modeling Approach for Modeling the Architecturally Dependent Impact Response of Triaxially Braided Polymer Matrix Composites
Understanding the high velocity impact response of polymer matrix composites with complex architectures is critical to many aerospace applications, including engine fan blade containment systems where the structure must be able to completely contain fan blades in the event of a blade-out. Despite the benefits offered by these materials, the complex nature of textile composites presents a significant challenge for the prediction of deformation and damage under both quasi-static and impact loading conditions. The relatively large mesoscale repeating unit cell (in comparison to the size of structural components) causes the material to behave like a structure rather than a homogeneous material. Impact experiments conducted at NASA Glenn Research Center have shown the damage patterns to be a function of the underlying material architecture. Traditional computational techniques that involve modeling these materials using smeared homogeneous, orthotropic material properties at the macroscale result in simulated damage patterns that are a function of the structural geometry, but not the material architecture. In order to preserve heterogeneity at the highest length scale in a robust yet computationally efficient manner, and capture the architecturally dependent damage patterns, a previously-developed subcell modeling approach where the braided composite unit cell is approximated as a series of four adjacent laminated composites is utilized. This work discusses the implementation of the subcell methodology into the commercial transient dynamic finite element code LS-DYNA (Livermore Software Technology Corp.). Verification and validation studies are also presented, including simulation of the tensile response of straight-sided and notched quasi-static coupons composed of a T700/PR520 triaxially braided [0deg/60deg/-60deg] composite. Based on the results of the verification and validation studies, advantages and limitations of the methodology as well as plans for future work are discussed.
finite element method↗
Verifying an interactive consistency circuit: A case study in the reuse of a verification technology
The work done at ORA for NASA-LRC in the design and formal verification of a hardware implementation of a scheme for attaining interactive consistency (byzantine agreement) among four microprocessors is presented in view graph form. The microprocessors used in the design are an updated version of a formally verified 32-bit, instruction-pipelined, RISC processor, MiniCayuga. The 4-processor system, which is designed under the assumption that the clocks of all the processors are synchronized, provides software control over the interactive consistency operation. Interactive consistency computation is supported as an explicit instruction on each of the microprocessors. An identical user program executing on each of the processors decides when and on what data interactive consistency must be performed. This exercise also served as a case study to investigate the effectiveness of reusing the technology which was developed during the MiniCayuga effort for verifying synchronous hardware designs. MiniCayuga was verified using the verification system Clio which was also developed at ORA. To assist in reusing this technology, a computer-aided specification and verification tool was developed. This tool specializes Clio to synchronous hardware designs and significantly reduces the tedium involved in verifying such designs. The tool is presented and how it was used to specify and verify the interactive consistency circuit is described.
Bickford, Mark↗
Verification and analysis of TOVS satellite data
A study which involves the verification of TOVS (TIROS Operational Vertical Soundings) stratospheric temperature information and derived geopotential heights, as well as the higher order derivations of wind, heat flux, and momentum flux, is discussed. Rocketsondes were launched daily at the times of NOAA-7 overpasses of Wallops Island during February 23-March 24, 1982, and resources made available by NASA were used to provide in-situ field measurements and additional analysis. The TOVS satellite products from hemispheric analyses are compared with unsmoothed rocketsonde data. Some of the benefits provided by the comparisons are considered.
Gelman, M. E.↗
Study of nondestructive techniques for redundancy verification
Redundant functional element, together with basic elements of system, constitutes a redundant system with primary and backup capability for performing particular functions with increased reliability. Methodology is applicable to design of a verification system for hypothetical complex communication system.
Source record↗
A study of techniques for the automated verification of redundancy
Checkout and verification of space shuttle system redundant components without disrupting systems
Ford, F. A.↗
Improved fluid dynamics similarity, analysis and verification. Part 5: Analytical and experimental studies of thermal stratification phenomena
The stratification behavior of a contained fluid subjected to transient free convection heat transfer was studied. A rectangular vessel was employed with heat transfer from two opposite walls of the vessel to the fluid. The wall temperature was increased suddenly to initiate the process and was then maintained constant throughout the transient stratification period. Thermocouples were positioned on a post at the center of the vessel. They were adjusted so that temperatures could be measured at the fluid surface and at specific depths beneath the surface. The predicted values of the surface temperature and the stratified layer thickness were found to agree reasonably well with the experimental measurements. The experiments also provided information on the transient centerline temperature distribution and the transient flow distribution.
Winter, E. R. F.↗
Satellite Power Systems (SPS) concept definition study exhibit C. Volume 3: Experimental verification definition
An environmentally oriented microwave technology exploratory research program aimed at reducing the uncertainty associated with microwave power system critical technical issues is described. Topics discussed include: (1) Solar Power Satellite System (SPS) development plan elements; (2) critical technology issues related to the SPS preliminary reference configuration; (3) pilot plant to demonstrate commercial viability of the SPS system; and (4) research areas required to demonstrate feasibility of the SPS system. Progress in the development of advanced GaAs solar cells is reported along with a power distribution subsystem.
Source record↗
A Numerical Study of Hurricane Erin (2001): Model Verification and Storm Evolution - Part 1
The Pennsylvania State University-National Center for Atmospheric Research mesoscale model MM5 is used to simulate Hurricane Erin (2001) at high resolution (4-km spacing) from its early development as a tropical depression on 7 September 2001, through a period of rapid intensification into a strong hurricane (8-9 September), and finally into a stage during which it maintains its intensity on 10 September. These three stages of development, intensification, and maintenance in the simulation are in good agreement with the observed evolution of Erin. The simulation shows that during the development and early portions of the intensification stages, intensification is favored because the environmental wind shear is weak and the system moves over a warm tongue of water. As Erin intensifies, the wind'shear gradually increases with the approach of an upper-level trough and strengthening of a low-level high pressure system. By 10 September, the wind shear peaks and begins to decrease, the storm moves over slightly cooler waters, and the intensification ends. Important structural changes occur at this time as the outer precipitation shift from the northeastern and eastern sides to the western side of the eye and precipitation begins to surround the entire eye to initiate the development of a secondary wind maximum and an outer eyewall. The simulation is used to investigate the role of vertical wind shear in the changes of the precipitation structure that took place between 9-10 September by examining the effects of both storm-relative flow changes and changes in the shear-induced tilt. Qualitative agreement is found between the divergence pattern and advection of vorticity by the relative flow with convergence (divergence) generally associated with asymmetric inflow (outflow) in the eyewall region. The shift in the outer precipitation is consistent with a shift in the low-level relative inflow from the northeastern to the northwestern side of the storm. The changes in the relative flow are associated with changes in the winds as the hurricane moves relative to the upper tough and the low-level high pressure system. Examination of the shear-induced tilt of the vortex shows that the change in the tilt direction is greater than that of the shear direction as the tilt shifts from a northerly orientation to northwesterly. Consistent with theory for adiabatic vortices, the maximum low-level convergence and upper-level divergence (and the maximum upward motion) occurs in the direction of tilt. Consequently, both mechanisms may play roles in the changes in the precipitation pattern.
Wu, Liquang↗