Search NASA⌕ Search

SEARCH · Search NASA

Results for “conformance analysis”

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 145 records · Page 8

The Specification-Based Validation of Reliable Multicast Protocol

Reliable Multicast Protocol (RMP) is a communication protocol that provides an atomic, totally ordered, reliable multicast service on top of unreliable IP multicasting. In this report, we develop formal models for RMP using existing automated verification systems, and perform validation on the formal RMP specifications. The validation analysis help identifies some minor specification and design problems. We also use the formal models of RMP to generate a test suite for conformance testing of the implementation. Throughout the process of RMP development, we follow an iterative, interactive approach that emphasizes concurrent and parallel progress of the implementation and verification processes. Through this approach, we incorporate formal techniques into our development process, promote a common understanding for the protocol, increase the reliability of our software, and maintain high fidelity between the specifications of RMP and its implementation.

Wu, Yunqing↗

Optimization of Car Body under Constraints of Noise, Vibration, and Harshness (NVH), and Crash

To be competitive on the today's market, cars have to be as light as possible while meeting the Noise, Vibration, and Harshness (NVH) requirements and conforming to Government-man dated crash survival regulations. The latter are difficult to meet because they involve very compute-intensive, nonlinear analysis, e.g., the code RADIOSS capable of simulation of the dynamics, and the geometrical and material nonlinearities of a thin-walled car structure in crash, would require over 12 days of elapsed time for a single design of a 390K elastic degrees of freedom model, if executed on a single processor of the state-of-the-art SGI Origin2000 computer. Of course, in optimization that crash analysis would have to be invoked many times. Needless to say, that has rendered such optimization intractable until now. The car finite element model is shown. The advent of computers that comprise large numbers of concurrently operating processors has created a new environment wherein the above optimization, and other engineering problems heretofore regarded as intractable may be solved. The procedure, shown, is a piecewise approximation based method and involves using a sensitivity based Taylor series approximation model for NVH and a polynomial response surface model for Crash. In that method the NVH constraints are evaluated using a finite element code (MSC/NASTRAN) that yields the constraint values and their derivatives with respect to design variables. The crash constraints are evaluated using the explicit code RADIOSS on the Origin 2000 operating on 256 processors simultaneously to generate data for a polynomial response surface in the design variable domain. The NVH constraints and their derivatives combined with the response surface for the crash constraints form an approximation to the system analysis (surrogate analysis) that enables a cycle of multidisciplinary optimization within move limits. In the inner loop, the NVH sensitivities are recomputed to update the NVH approximation model while keeping the Crash response surface constant. In every outer loop, the Crash response surface approximation is updated, including a gradual increase in the order of the response surface and the response surface extension in the direction of the search. In this optimization task, the NVH discipline has 30 design variables while the crash discipline has 20 design variables. A subset of these design variables (10) are common to both the NVH and crash disciplines. In order to construct a linear response surface for the Crash discipline constraints, a minimum of 21 design points would have to be analyzed using the RADIOSS code. On a single processor in Origin 2000 that amount of computing would require over 9 months! In this work, these runs were carried out concurrently on the Origin 2000 using multiple processors, ranging from 8 to 16, for each crash (RADIOSS) analysis. Another figure shows the wall time required for a single RADIOSS analysis using varying number of processors, as well as provides a comparison of 2 different common data placement procedures within the allotted memories for each analysis. The initial design is an infeasible design with NVH discipline Static Torsion constraint violations of over 10%. The final optimized design is a feasible design with a weight reduction of 15 kg compared to the initial design. This work demonstrates how advanced methodology for optimization combined with the technology of concurrent processing enables applications that until now were out of reach because of very long time-to-solution.

Kodiyalam, Srinivas↗

X-Ray Diffraction Analysis of NLO Crystals: Traditional Applications and More New Opportunities

Single crystal X-ray diffraction analysis is one of the more important methods for the molecular and crystal structure determination of matter and therefore it has a great importance in material science including design and engineering of different compounds with non-linear optical (NLO) properties. It was shown in our previous publications that this method provides unique information about molecular structure of NLO compounds, their crystal symmetry and crystal packing arrays, molecular conformation and geometries and many other structural and electronic characteristics that are important for understanding the nature of NLO properties of solids. A very new application of the X-ray diffraction method is related to analysis of the electron density distribution p(r) in crystals and some of its characteristics (atomic and group charges, dipole and higher multipole moments, etc.), that may be obtained directly form the diffraction measurements. In the present work, we will discuss our preliminary low temperature high-resolution X-ray data for the m-nitroaniline (mNA) single crystal (VI). This is one of the "classical" organic NLO materials and electron density distribution analysis in this simple compound has a great scientific interest.

Antipin, Mikhail Yu.↗

The divergence characteristics of constrained-sheath optics systems for use with 5-eV atomic oxygen sources

The potential usefulness of the constrained sheath optics concept as a means of controlling the divergence of low energy, high current density ion beams is examined numerically and experimentally. Numerical results demonstrate that some control of the divergence of typical ion beamlets can be achieved at perveance levels of interest by contouring the surface of the constrained sheath properly. Experimental results demonstrate that a sheath can be constrained by a wire mesh attached to the screen plate of the ion optics system. The numerically predicted beamlet divergence characteristics are shown to depart from those measured experimentally, and additional numerical analysis is used to demonstrate that this departure is probably due to distortions of the sheath caused by the fact that it attempts to conform to the individual wires that make up the sheath constraining mesh. The concept is considered potentially useful in controlling the divergence of ion beamlets in applications where low divergence, low energy, high current density beamlets are being sought, but more work is required to demonstrate this for net beam ion energies as low as 5 eV.

Anderson, John R.↗

A test of a vortex method for the computation of flap side edge noise

Upon approach to landing, a major source location of airframe noise occurs at the side edges of the part span, trailing edge flaps. In the vicinity of these flaps, a complex arrangement of spanwise flow with primary and secondary tip vortices may form. Each of these vortices is observed to become fully three-dimensional. In the present study, a numerical model is developed to investigate the noise radiated from the side edge of a flap. The inherent three-dimensionality of this flow forces us to carefully consider a numerical scheme which will be both accurate in its prediction of the flow acoustics and also computationally efficient. Vortex methods have offered a fast and efficient means of simulating many two and three-dimensional, vortex dominated flows. In vortex methods, the time development of the flow is tracked by following exclusively the vorticity containing regions. Through the Biot-Savart law, knowledge of the vorticity field enables one to obtain flow quantities at any desired location during the flow evolution. In the present study, a numerical procedure has been developed which incorporates the Lagrangian approach of vortex methods into a calculation for the noise radiated by a flow-surface interaction. In particular, the noise generated by a vortex in the presence of a flat half plane is considered. This problem serves as a basic model of flap edge flow. It also permits the direct comparison between our computed results and previous acoustic analyses performed for this problem. In our numerical simulations, the mean flow is represented by the complex potential W(z) = Aiz(exp l/2), which is obtained through conformal mapping techniques. The magnitude of the mean flow is controlled by the parameter A. This mean flow has been used in the acoustic analysis by Hardin and is considered a reasonable model of the flow field in the vicinity of the edge and away from the leading and trailing edges of the flap. To represent the primary vortex which occurs near the flap, a point vortex is introduced just below the flat half plane. Using a technique from panel methods, boundary conditions on the flap surface are satisfied by the introduction of a row of stationary point vortices along the extent of the flap. At each time step in the calculation, the strength of these vortices is chosen to eliminate the normal velocity at intermediary collocation points. The time development of the overall flow field is then tracked using standard techniques from vortex methods. Vortex trajectories obtained through this computation are in good agreement with those predicted by the analytical solution given by Hardin, thus verifying the viability of this procedure for more complex flow arrangements. For the flow acoustics, the Ffowcs Williams-Hawkings equation is numerically integrated. This equation supplies the far field acoustic pressure based upon pressures occurring along the flap surface. With our vortex method solution, surface pressures may be obtained with exceptional resolution. The Ffowcs Williams-Hawkings equation is integrated using a spatially fourth order accurate Simpson's rule. Rational function interpolation is used to obtain the surface pressures at the appropriate retarded times. Comparisons between our numerical results for the acoustic pressure and those predicted by the Hardin analysis have been made. Preliminary results indicate the need for an improved integration technique. In the future, the numerical procedure developed in this study will be applied to the case of a rectangular flap of finite thickness and ultimately modified for application to the fully three-dimensional problem.

Martin, James E.↗

A simulator for evaluating methods for the detection of lesion-deficit associations

Although much has been learned about the functional organization of the human brain through lesion-deficit analysis, the variety of statistical and image-processing methods developed for this purpose precludes a closed-form analysis of the statistical power of these systems. Therefore, we developed a lesion-deficit simulator (LDS), which generates artificial subjects, each of which consists of a set of functional deficits, and a brain image with lesions; the deficits and lesions conform to predefined distributions. We used probability distributions to model the number, sizes, and spatial distribution of lesions, to model the structure-function associations, and to model registration error. We used the LDS to evaluate, as examples, the effects of the complexities and strengths of lesion-deficit associations, and of registration error, on the power of lesion-deficit analysis. We measured the numbers of recovered associations from these simulated data, as a function of the number of subjects analyzed, the strengths and number of associations in the statistical model, the number of structures associated with a particular function, and the prior probabilities of structures being abnormal. The number of subjects required to recover the simulated lesion-deficit associations was found to have an inverse relationship to the strength of associations, and to the smallest probability in the structure-function model. The number of structures associated with a particular function (i.e., the complexity of associations) had a much greater effect on the performance of the analysis method than did the total number of associations. We also found that registration error of 5 mm or less reduces the number of associations discovered by approximately 13% compared to perfect registration. The LDS provides a flexible framework for evaluating many aspects of lesion-deficit analysis.

NASA Program Biomedical Research and Countermeasur↗

Characteristics of inhomogeneous coupled cylindrical striplines

Using conformal transformation, closed-form expressions for the even and odd mode impedances of inhomogeneous coupled cylindrical striplines are presented. It is shown that the analysis can be extended for the calculation of characteristics of coupled cylindrical microstrip lines. The analysis can also be extended to reveal the effects of warping due to environmental changes on an otherwise planar structure.

Reddy, C. J.↗

The performance evaluation of a new neural network based traffic management scheme for a satellite communication network

A neural-network-based traffic management scheme for a satellite communication network is described. The scheme consists of two levels of management. The front end of the scheme is a derivation of Kohonen's self-organization model to configure maps for the satellite communication network dynamically. The model consists of three stages. The first stage is the pattern recognition task, in which an exemplar map that best meets the current network requirements is selected. The second stage is the analysis of the discrepancy between the chosen exemplar map and the state of the network, and the adaptive modification of the chosen exemplar map to conform closely to the network requirement (input data pattern) by means of Kohonen's self-organization. On the basis of certain performance criteria, whether a new map is generated to replace the original chosen map is decided in the third stage. A state-dependent routing algorithm, which arranges the incoming call to some proper path, is used to make the network more efficient and to lower the call block rate. Simulation results demonstrate that the scheme, which combines self-organization and the state-dependent routing mechanism, provides better performance in terms of call block rate than schemes that only have either the self-organization mechanism or the routing mechanism.

Ansari, Nirwan↗

Ground truth management system to support multispectral scanner /MSS/ digital analysis

A computerized geographic information system for management of ground truth has been designed and implemented to relate MSS classification results to in situ observations. The ground truth system transforms, generalizes and rectifies ground observations to conform to the pixel size and shape of high resolution MSS aircraft data. These observations can then be aggregated for comparison to lower resolution sensor data. Construction of a digital ground truth array allows direct pixel by pixel comparison between classification results of MSS data and ground truth. By making comparisons, analysts can identify spatial distribution of error within the MSS data as well as usual figures of merit for the classifications. Use of the ground truth system permits investigators to compare a variety of environmental or anthropogenic data, such as soil color or tillage patterns, with classification results and allows direct inclusion of such data into classification operations. To illustrate the system, examples from classification of simulated Thematic Mapper data for agricultural test sites in North Dakota and Kansas are provided.

Coiner, J. C.↗

Analysis of Fibrous Felts for Flexible Ablators Using Synchrotron Hard X-Ray Micro-Tomography

We analyzed the material properties of low-density felts that are used as substrates for new-generation flexible and conformal carbon/phenolic ablators, and compared them with those of a rigid carbon fiber preform that is used to manufacture rigid carbon/phenolic ablators. Micro-tomography measurements were obtained using synchrotron X-rays, allowing the characterization of the materials microstructure at the scale of the fibers. Using the tomography voxels as computational grids, we computed tortuosity and room temperature conductivity. In addition we performed micro-scale simulations of the oxidation of carbon fibers using a random walk model for oxygen diffusion and a probability law to model surface reactions.

Ablation↗

Z-2 Architecture Description and Requirements Verification Results

The Z-2 Prototype Planetary Extravehicular Space Suit Assembly is a continuation of NASA's Z series of spacesuits. The Z-2 is another step in NASA's technology development roadmap leading to human exploration of the Martian surface. The suit was designed for maximum mobility at 8.3 psid, reduced mass, and to have high fidelity life support interfaces. As Z-2 will be man-tested at full vacuum in NASA JSC's Chamber B, it was manufactured as Class II, making it the most flight-like planetary walking suit produced to date. The Z-2 suit architecture is an evolution of previous EVA suits, namely the ISS EMU, Mark III, Rear Entry I-Suit and Z-1 spacesuits. The suit is a hybrid hard and soft multi-bearing, rear entry spacesuit. The hard upper torso (HUT) is an all-composite structure and includes a 2-bearing rolling convolute shoulder with Vernier sizing mechanism, removable suit port interface plate (SIP), elliptical hemispherical helmet and self-don/doff shoulder harness. The hatch is a hybrid aluminum and composite construction with Apollo style gas connectors, custom water pass-thru, removable hatch cage and interfaces to primary and auxiliary life support feed water bags. The suit includes Z-1 style lower arms with cam brackets for Vernier sizing and government furnished equipment (GFE) Phase VI gloves. The lower torso includes a telescopic waist sizing system, waist bearing, rolling convolute waist joint, hard brief, 2 bearing soft hip thigh, Z-1 style legs with ISS EMU style cam brackets for sizing, and conformal walking boots with ankle bearings. The Z-2 Requirements Verification Plan includes the verification of more than 200 individual requirements. The verification methods include test, analysis, inspection, demonstration or a combination of methods. Examples of unmanned requirements include suit leakage, proof pressure testing, operational life, mass, isometric man-loads, sizing adjustment ranges, internal and external interfaces such as in-suit drink bag, partial pressure relief valve, purge valve, donning stand and ISS Body Restraint Tether (BRT). Examples of manned requirements include verification of anthropometric range, suit self-don/doff, secondary suit exit method, donning stand self-ingress/egress and manned mobility covering eight functional tasks. The eight functional tasks include kneeling with object pick-up, standing toe touch, cross-body reach, walking, reach to the SIP and helmet visor. This paper will provide an overview of the Z-2 design. Z-2 requirements verification testing was performed with NASA at the ILC Houston test facility. This paper will also discuss pre-delivery manned and unmanned test results as well as analysis performed in support of requirements verification.

Graziosi, Dave↗

A Method of Compliance for Achieving Target Collision Risk in UTM Operations

This work proposes a method of compliance to ensure that the collision risks among small unmanned aircraft systems meet the target level of safety. This method presents what is needed for a strategic conflict detection service to achieve the target level of safety when conflict between operational intents are not permitted in nominal situations. A volume-based collision risk model is first developed to calculate the UA-to-UA collision risk given any two operational intent volumes. With this collision risk model, a test strategy is then proposed to assess if a strategic conflict detection service can reduce the collision risk and meet the target level of safety. The method also specifies operational data that are required to be collected to verify if requirements on conformance are being met. Additionally, two new requirements are identified and proposed by this method beyond the current standard for strategic conflict detection. In the sensitivity analysis, three main factors contributing to the collision risk are investigated. The analysis shows that buffers should be considered in a strategic conflict detection service when deconflicting operational intents. The results also reveal that the selection of test cases plays an important role in evaluating the strategic conflict detection service, and they should be representative and sufficiently complex in evaluation tests.

Collision Risk↗

A Method of Compliance for Achieving Target Collision Risk in UTM Operations

This work proposes a method of compliance to ensure that the collision risks among small unmanned aircraft systems meet the target level of safety. This method presents what is needed for a strategic conflict detection service to achieve the target level of safety when conflict between operational intents are not permitted in nominal situations. A volume-based collision risk model is first developed to calculate the UA-to-UA collision risk given any two operational intent volumes. With this collision risk model, a test strategy is then proposed to assess if a strategic conflict detection service can reduce the collision risk and meet the target level of safety. The method also specifies operational data that are required to be collected to verify if requirements on conformance are being met. Additionally, two new requirements are identified and proposed by this method beyond the current standard for strategic conflict detection. In the sensitivity analysis, three main factors contributing to the collision risk are investigated. The analysis shows that buffers should be considered in a strategic conflict detection service when deconflicting operational intents. The results also reveal that the selection of test cases plays an important role in evaluating the strategic conflict detection service, and they should be representative and sufficiently complex in evaluation tests.

UTM, Method of Compliance, collision risk↗

A Method of Compliance for Achieving Target Collision Risk in UTM Operations

This work proposes a method of compliance to ensure that the collision risks among small unmanned aircraft systems meet the target level of safety. This method presents what is needed for a strategic conflict detection service to achieve the target level of safety when conflict between operational intents are not permitted in nominal situations. A volume-based collision risk model is first developed to calculate the UA-to-UA collision risk given any two operational intent volumes. With this collision risk model, a test strategy is then proposed to assess if a strategic conflict detection service can reduce the collision risk and meet the target level of safety. The method also specifies operational data that are required to be collected to verify if requirements on conformance are being met. Additionally, two new requirements are identified and proposed by this method beyond the current standard for strategic conflict detection. In the sensitivity analysis, three main factors contributing to the collision risk are investigated. The analysis shows that buffers should be considered in a strategic conflict detection service when deconflicting operational intents. The results also reveal that the selection of test cases plays an important role in evaluating the strategic conflict detection service, and they should be representative and sufficiently complex in evaluation tests.

UTM↗

Function of Several Critical Amino Acids in Human Pyruvate Dehydrogenase Revealed by Its Structure

Pyruvate dehydrogenase (E1), an alpha 2 beta 2 tetramer, catalyzes the oxidative decarboxylation of pyruvate and reductive acetylation of lipoyl moieties of the dihydrolipoamide acetyltransferase. The roles of beta W135, alpha P188, alpha M181, alpha H15 and alpha R349 of E1 determined by kinetic analysis were reassessed by analyzing the three-dimensional structure of human E1. The residues identified above are found to play a structural role rather than being directly involved in catalysis: beta W135 is the center residue in the hydrophobic interaction between beta and beta' subunits; alpha P188 and alpha M181 are critical for the conformation of the TPP-binding motif and interaction between alpha and beta subunits; alpha H15, is necessary for the organization of the N-terminus of alpha and alpha'; subunits and alpha R349 supports the interaction of the C-terminus of the alpha subunits with the beta subunits. Analysis of several critical E1 residues confirms the importance of residues distant from the active site for subunit interactions and enzyme function.

Korotchkina, Lioubov G.↗

Improved Benchmarking of Cohesive Elements in Abaqus Standard for Predicting Disbond and Delamination in Composite Structures

Traditional approaches for aircraft certification require the assumption of an initial flaw condition, either represented as barely visible impact damage (BVID) or through inclusion of a Teflon insert to serve as surrogate damage. Based on the initial composite damage state, the structure must be shown to demonstrate structural durability and damage tolerance (DaDT) according to the following criteria: a. Damage displays no detrimental growth under cyclic loading b. The structure is able to sustain design limit load (DLL) Currently, the only available manner for validating structural performance is through test. Since damage can occur over a wide variety of areas within a structure, this approach has proven to be increasingly expensive and time consuming for composite airframes and acreage structure within the design-test-certification building block. A further complicating factor is the requirement to accurately capture the most critical damage morphologies as a starting condition. To understand the severity of the damage, it is either required to experimentally determine the most critical areas at tremendous expense or rely on legacy data of similar structural testing, which limits design space expansion. A preferred solution is to use advanced analysis to provide improved understanding of load margins for critical locations based on a wide variety of potential starting damage conditions. The standard industry approach for DaDT certification adheres to the use of the traditional virtual crack closure technique (VCCT) method. VCCT is generally a preferred method because it conforms to the current certification principles of damage from a known flaw, and when used correctly, can be effective at predicting delamination propagation under static and cyclic loading. The VCCT method requires the inclusion of an initial flaw in the finite element (FE) model requiring a-priori knowledge of the flaw location. This in turn requires a plethora of analysis cases to be examined to cover a reasonable span of potential damage states. Additionally, the VCCT approach requires node-to-node connectivity rendering it incompatible with the best practices and approaches for using continuum damage mechanics (CDM) based progressive damage and failure analysis (PDFA) tools within a typical FE solver. Alternatives to VCCT have emerged in the form of cohesive elements which utilize the cohesive zone model (CZM). Unlike VCCT which models linear elastic fracture mechanics, cohesive elements couples continuum and fracture based responses through the use of bilinear traction separation laws. These laws are defined based on a penalty stiffness, a cohesive strength, and a strain energy release rate. The approach can be mesh regularized with native cohesive elements within many FE solvers such as Abaqus and LS-DYNA. In Phase I of the NASA Advanced Composites Consortium (ACC) post-buckled stiffened panel with BVID, Strength and Life [1], the performance of cohesive elements were benchmarked in comparison to VCCT and LEFM solutions and showed good agreement using Abaqus explicit [2]. To realize savings on current and future programs, it is still necessary to close technical gaps related to the use of cohesive elements with Abaqus Standard. Within a program environment, standard finite element analysis is the preferred analytical capability for quasi-static loading as it eliminates uncertainty due to oscillatory behavior commonly seen with explicit analysis. This oscillatory behavior creates difficulties in writing margins of safety based on the analysis. The use of negative tangent stiffness material models complicates convergence which typically requires the use of numerical controls such as viscous damping to overcome. To date, there has not been a comprehensive study on how to establish best practices for cohesive element convergence for predictive capability within the Abaqus implicit solver. In pursuit of these goals, under the NASA ACC program, several numerical benchmark problems were proposed including pure mode I (double cantilevered beam – DCB), pure mode II (end notch flexure – ENF), and symmetric/unsymmetric evolving mixed mode (single leg bend – SLB). This paper focuses on the use of cohesive elements to model the delamination through the use of CZM. Specifically, finite element models for the DCB, ENF, symmetric SLB, and unsymmetric SLB, are developed and various solution controls for convergence are studied to develop a best practice. Once the best practice has been developed, the predictive capability of the objective CZM model is used to analyze the hat pull-off strength of a standard hat stiffened configuration under various loading conditions.

Abaqus↗

General verification description

A brief general description of the ASTP flight program verification was presented. The total program verification effort assures the accuracy and adequacy of the LVDC flight program and verifies that the final program meets mission requirements and conforms to program documentation. The flight program's functional requirements to integrate the guidance and control system with the launch vehicle sequencing system are verified directly by analysis of many special logic checks designed for this purpose and indirectly by the correct overall program response to nominal and numerous perturbed conditions. Verification of the interaction of function requirements is accomplished on every case run during the verification effort.

Source record↗

CAS22 - FORTRAN program for fast design and analysis of shock-free airfoil cascades using fictitious-gas concept

A user-oriented computer program, CAS22, was developed that is applicable to aerodynamic analysis and transonic shock-free redesign of existing two-dimensional cascades of airfoils. This FORTRAN program can be used: (1) as an analysis code for full-potential, transonic, shocked or shock-free cascade flows; (2) as a design code for shock-free cascades that uses Sobieczky's fictitious-gas concept; and (3) as a shock-free design code followed automatically by the analysis in order to confirm that the newly obtained cascade shape provides for an entirely shock-free transonic flow field. A four-level boundary-conforming grid of an O type is generated. The shock-free design is performed by implementing Sobieczky's fictitious-gas concept of elliptic continuation from subsonic into supersonic flow domains. Recomputation inside each supersonic zone is performed by the method of characteristics in the rheograph plane by using isentropic gas relations. Besides converting existing cascade shapes with multiple shocked supersonic regions into shock-free cascades, CAS22 can also unchoke previously choked cascades and make them shock free.

Dulikravich, D. S.↗