Herglotz-Noether theorem in conformal space- time.
Dyadic formalism to prove Herglotz-Noether theorem for flat manifolds
THEOREM PROVING↗
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.
Surface analysis of graphite fiber reinforced polyimide composites
Several techniques have been used to establish the effect of different surface pretreatments on graphite-polyimide composites. Composites were prepared from Celion 6000 graphite fibers and the polyimide LARC-160. Pretreatments included mechanical abrasion, chemical etching and light irradiation. Scanning electron microscopy (SEM) and X-ray photoelectron spectroscopy (XPS) were used in the analysis. Contact angle of five different liquids of varying surface tensions were measured on the composites. SEM results showed polymer-rich peaks and polymer-poor valleys conforming to the pattern of the release cloth used durng fabrication. Mechanically treated and light irradiated samples showed varying degrees of polymer peak removal, with some degradation down to the graphite fibers. Minimal changes in surface topography were observed on concentrations of surface fluorine even after pretreatment. The light irradiation pretreatment was most effective at reducing surface fluorine concentrations whereas chemical pretreatment was the least effective. Critical surface tensions correlated directly with the surface fluorine to carbon ratios as calculated from XPS.
Messick, D. L.↗
Characteristics of broadside coupled cylindrical striplines
This letter presents a method for calculating the even and odd mode impedances of broadside coupled cylindrical stiplines using the conformal mapping technique. Closed form expressions are presented for calculating the even and odd mode characteristic impedances. The data for even and odd mode impedances are presented. The analysis can also be extended to warped broadside coupled striplines.
Reddy, C. Jagadeswara↗
Wallops Ship Surveillance System
Approved as a Wallops control center backup system, the Wallops Ship Surveillance Software is a day-of-launch risk analysis tool for spaceport activities. The system calculates impact probabilities and displays ship locations relative to boundary lines. It enables rapid analysis of possible flight paths to preclude the need to cancel launches and allow execution of launches in a timely manner. Its design is based on low-cost, large-customer- base elements including personal computers, the Windows operating system, C/C++ object-oriented software, and network interfaces. In conformance with the NASA software safety standard, the system is designed to ensure that it does not falsely report a safe-for-launch condition. To improve the current ship surveillance method, the system is designed to prevent delay of launch under a safe-for-launch condition. A single workstation is designated the controller of the official ship information and the official risk analysis. Copies of this information are shared with other networked workstations. The program design is divided into five subsystems areas: 1. Communication Link -- threads that control the networking of workstations; 2. Contact List -- a thread that controls a list of protected item (ocean vessel) information; 3. Hazard List -- threads that control a list of hazardous item (debris) information and associated risk calculation information; 4. Display -- threads that control operator inputs and screen display outputs; and 5. Archive -- a thread that controls archive file read and write access. Currently, most of the hazard list thread and parts of other threads are being reused as part of a new ship surveillance system, under the SureTrak project.
Smith, Donna C.↗
Geometrical analysis of Cys-Cys bridges in proteins and their prediction from incomplete structural information
Analysis of C-alpha atom positions from cysteines involved in disulphide bridges in protein crystals shows that their geometric characteristics are unique with respect to other Cys-Cys, non-bridging pairs. They may be used for predicting disulphide connections in incompletely determined protein structures, such as low resolution crystallography or theoretical folding experiments. The basic unit for analysis and prediction is the 3 x 3 distance matrix for Cx positions of residues (i - 1), Cys(i), (i +1) with (j - 1), Cys(j), (j + 1). In each of its columns, row and diagonal vector--outer distances are larger than the central distance. This analysis is compared with some analytical models.
NASA Discipline Exobiology↗
Numerical calculation of transonic axial turbomachinery flows
A numerical method and the results of a computer program are presented for solving an exact, three dimensional, full potential equation that models rotating and nonrotating inviscid, absolutely irrotational, homentropic flows. Besides calculating the flows through an arbitrarily shaped rotor or stator blade row mounted on an axisymmetric hub and confined in an axisymmetric duct, the computer program is also capable of analyzing flow fields about arbitrarily shaped wing body combinations, propellers, helicopter rotors in hover, and wind turbine rotors. The governing equation is solved numerically in a fully conservative form by using an artificial time concept, a finite volume technique, rotated type dependent differencing, successive line overrelaxation, and sequential boundary conforming grid refinement. An artificial viscosity is added in fully conservative form, and an initial guess for the potential field is applied, as determined by a two dimensional cascade analysis.
Dulikravich, D. S.↗
Computer modeling of polymers
A Polymer Molecular Analysis Display System (p-MADS) was developed for computer modeling of polymers. This method of modeling allows for the theoretical calculation of molecular properties such as equilibrium geometries, conformational energies, heats of formations, crystal packing arrangements, and other properties. Furthermore, p-MADS has the following capabilities: constructing molecules from internal coordinates (bonds length, angles, and dihedral angles), Cartesian coordinates (such as X-ray structures), or from stick drawings; manipulating molecules using graphics and making hard copy representation of the molecules on a graphics printer; and performing geometry optimization calculations on molecules using the methods of molecular mechanics or molecular orbital theory.
Green, Terry J.↗
Preliminary design of four aircraft to service the California Corridor in the year 2010: The California Condor, California Sky-Hopper, high capacity short range transport tilt rotor aircraft needed to simplify intercity transportation
The major objective of this project was to design an aircraft for use in the California Corridor in the year 2010. The design process, completed by students in a senior design class at California Polytechnic State University, San Luis Obispo, used a Class 1 airplane design analysis from Jan Roskam's Airplane Design. The California Condor (CC-38), a 38 passenger, 400 mph aircraft, was designed to meet the needs of tomorrow's passengers while conforming to the California Corridor's restrictions. Assumptions were made using today's technology with forecasts into 21st Century technology. Doubling today's commuter aircraft passenger capacity, travelling at Mach .57 with improved cruise efficiencies of over 10 percent, with the ability to land within field lengths of 4000 feet, are the CC-38's strongest points. The California Condor has a very promising future in helping to relieve the air traffic and airport congestion in the 21st Century.
Source record↗
An Emerging Global Aerosol Climatology from the MODIS Satellite Sensors
The recently released Collection 5 MODIS aerosol products provide a consistent record of the Earth's aerosol system. Comparison with ground-based AERONET observations of aerosol optical depth (AOD) we find that Collection 5 MODIS aerosol products estimate AOD to within expected accuracy more than 60% of the time over ocean and more than 72% of the time over land. This is similar to previous results for ocean, and better than the previous results for land. However, the new Collection introduces a 0.01 5 offset between the Terra and Aqua global mean AOD over ocean, where none existed previously. Aqua conforms to previous values and expectations while Terra is high. The cause of the offset is unknown, but changes to calibration are a possible explanation. We focus the climatological analysis on the better understood Aqua retrievals. We find that global mean AOD at 550 nm over oceans is 0.13 and over land 0.19. AOD in situations with 80% cloud fraction are twice the global mean values, although such situations occur only 2% of the time over ocean and less than 1% of the time over land. There is no drastic change in aerosol particle size associated with these very cloudy situations. Regionally, aerosol amounts vary from polluted areas such as East Asia and India, to the cleanest regions such as Australia and the northern continents. In almost all oceans fine mode aerosol dominates over dust, except in the tropical Atlantic downwind of the Sahara and in some months the Arabian Sea.
Remer, Lorraine A.↗
Solution of free-boundary problems using finite-element/Newton methods and locally refined grids - Application to analysis of solidification microstructure
A new method is presented for the solution of free-boundary problems using Lagrangian finite element approximations defined on locally refined grids. The formulation allows for direct transition from coarse to fine grids without introducing non-conforming basis functions. The calculation of elemental stiffness matrices and residual vectors are unaffected by changes in the refinement level, which are accounted for in the loading of elemental data to the global stiffness matrix and residual vector. This technique for local mesh refinement is combined with recently developed mapping methods and Newton's method to form an efficient algorithm for the solution of free-boundary problems, as demonstrated here by sample calculations of cellular interfacial microstructure during directional solidification of a binary alloy.
Tsiveriotis, K.↗
Numerical calculation of transonic axial turbomachinery flows
This paper presents a numerical method and the results of a computer program for solving an exact, three-dimensional, full-potential equation that models rotating and nonrotating inviscid, absolutely irrotational, homentropic flows. Besides calculating the flows through an arbitrarily shaped rotor or stator blade row mounted on an axisymmetric hub and confined in an axisymmetric duct, the computer program is also capable of analysing flow fields about arbitrarily shaped wing-body combinations, propellers, helicopter rotors in hover, and wind turbine rotors. The governing equation is solved numerically in a fully conservative form by using an artificial time concept, a finite volume technique, rotated type-dependent differencing, successive line overrelaxation, and sequential boundary-conforming grid refinement. An artificial viscosity is added in fully conservative form; and an initial guess for the potential field is applied, as determined by a two-dimensional cascade analysis.
Dulikravich, D. S.↗
An Overview of the Runtime Verification Tool Java PathExplorer
We present an overview of the Java PathExplorer runtime verification tool, in short referred to as JPAX. JPAX can monitor the execution of a Java program and check that it conforms with a set of user provided properties formulated in temporal logic. JPAX can in addition analyze the program for concurrency errors such as deadlocks and data races. The concurrency analysis requires no user provided specification. The tool facilitates automated instrumentation of a program's bytecode, which when executed will emit an event stream, the execution trace, to an observer. The observer dispatches the incoming event stream to a set of observer processes, each performing a specialized analysis, such as the temporal logic verification, the deadlock analysis and the data race analysis. Temporal logic specifications can be formulated by the user in the Maude rewriting logic, where Maude is a high-speed rewriting system for equational logic, but here extended with executable temporal logic. The Maude rewriting engine is then activated as an event driven monitoring process. Alternatively, temporal specifications can be translated into efficient automata, which check the event stream. JPAX can be used during program testing to gain increased information about program executions, and can potentially furthermore be applied during operation to survey safety critical systems.
Havelund, Klaus↗
Development of Level of Detail System and First-Person Camera for the GCAS Visualization Suite
The use of data-driven simulations has become standard practice as part of planning for future space missions. These simulations allow visualizing the data interactively to show what the data represents, as well as the importance of the data in the context of the mission. Using this visualized data can enhance users’ understanding of it and accelerate analysis efforts related to missions planned around it. Three-dimensional (3D) visualization software was developed to allow creating 3D representations of various communication systems, as well as the physical terrain of the Moon, for upcoming missions. The goal of this software development effort was to create interactive visualization capabilities in the Glenn Research Center Communication Analysis Suite (GCAS) using data exported from MATLAB® (MathWorks, Inc.) scripts. This software had the functionality to visualize the line of sight and dynamic link margins of the communication satellites orbiting the Earth and the Moon. One important addition to this was the visualization of the terrain data located within the GeoTIFF files, which were produced in an effort to understand the Moon’s terrain. Proper displacement values of this data have to be visualized to showcase where craters are located and how the shadow casting works with said craters at different points of the day, as well as analysis of possible landing sites for future lunar expeditions. The graphics library coded in JavaScript, three.js, had been previously selected for developing this visualization software. The software was revised to conform to modern standards, then further developed to convert the MATLAB® data into JavaScript 3D objects and Blender GL Transmission Format Binary file (GLB) objects, which were to be imported into the scene. In the process, a variety of other testing projects were created to be combined with this project at a later point; these included the first-person camera movements around spherical objects to portray human movement around the Moon, GeoTIFF loading methods, data transfer methods for incorporating the elevation data into the scene, and level of detail (LOD) capabilities to decrease memory usage and rendering time.
Visualization↗
On the aerodynamics and performance of active vortex generators
As a building block in the development of smart lift-enhancement devices, a new concept for flow control using active vortex generators (AVGs) is presented. Ramp, wedge, and doublet wedge (Wheeler) VG configurations are investigated. The AVGs are designed to conform to the surface of the wing section at low alpha. As the section approaches the stall, they are deployed and accordingly, alpha(stall) and C(lmax) are increased. A qualitative analysis of the flow around the various VG configurations was conducted in a low speed wind tunnel at 1.6 ft/s and a Reynolds number of approximately 3400. The results demonstrate that ramp VGs produce vortices that have the longest distance at breakdown. The VGs were also applied to a 25-in. span, 8-in. chord NACA 4415 wing section. Optimization studies were conducted on the spanwise spacing, chordwise position, and size of statically deployed VGs. The test results demonstrate a 14-percent increase in C(lmax) while increasing alpha (stall) by up to 3.
Barrett, Ron↗
CAPTIONALS: A computer aided testing environment for the verification and validation of communication protocols
This paper covers the verification and protocol validation for distributed computer and communication systems using a computer aided testing approach. Validation and verification make up the so-called process of conformance testing. Protocol applications which pass conformance testing are then checked to see whether they can operate together. This is referred to as interoperability testing. A new comprehensive approach to protocol testing is presented which address: (1) modeling for inter-layer representation for compatibility between conformance and interoperability testing; (2) computational improvement to current testing methods by using the proposed model inclusive of formulation of new qualitative and quantitative measures and time-dependent behavior; (3) analysis and evaluation of protocol behavior for interactive testing without extensive simulation.
Feng, C.↗
Finite Element Modeling of a Cylindrical Contact Using Hertzian Assumptions
The turbine blades in the high-pressure fuel turbopump/alternate turbopump (HPFTP/AT) are subjected to hot gases rapidly flowing around them. This flow excites vibrations in the blades. Naturally, one has to worry about resonance, so a damping device was added to dissipate some energy from the system. The foundation is now laid for a very complex problem. The damper is in contact with the blade, so now there are contact stresses (both normal and tangential) to contend with. Since these stresses can be very high, it is not all that difficult to yield the material. Friction is another non-linearity and the blade is made out of a Nickel-based single-crystal superalloy that is orthotropic. A few approaches exist to solve such a problem and computer models, using contact elements, have been built with friction, plasticity, etc. These models are quite cumbersome and require many hours to solve just one load case and material orientation. A simpler approach is required. Ideally, the model should be simplified so the analysis can be conducted faster. When working with contact problems determining the contact patch and the stresses in the material are the main concerns. Closed-form solutions for non-conforming bodies, developed by Hertz, made out of isotropic materials are readily available. More involved solutions for 3-D cases using different materials are also available. The question is this: can Hertzian1 solutions be applied, or superimposed, to more complicated problems-like those involving anisotropic materials? That is the point of the investigation here. If these results agree with the more complicated computer models, then the analytical solutions can be used in lieu of the numerical solutions that take a very long time to process. As time goes on, the analytical solution will eventually have to include things like friction and plasticity. The models in this report use no contact elements and are essentially an applied load problem using Hertzian assumptions to determine the contact patch dimensions.
Knudsen, Erik↗
Modeling Geometry and Progressive Failure of Material Interfaces in Plain Weave Composites
A procedure combining a geometrically nonlinear, explicit-dynamics contact analysis, computer aided design techniques, and elasticity-based mesh adjustment is proposed to efficiently generate realistic finite element models for meso-mechanical analysis of progressive failure in textile composites. In the procedure, the geometry of fiber tows is obtained by imposing a fictitious expansion on the tows. Meshes resulting from the procedure are conformal with the computed tow-tow and tow-matrix interfaces but are incongruent at the interfaces. The mesh interfaces are treated as cohesive contact surfaces not only to resolve the incongruence but also to simulate progressive failure. The method is employed to simulate debonding at the material interfaces in a ceramic-matrix plain weave composite with matrix porosity and in a polymeric matrix plain weave composite without matrix porosity, both subject to uniaxial cyclic loading. The numerical results indicate progression of the interfacial damage during every loading and reverse loading event in a constant strain amplitude cyclic process. However, the composites show different patterns of damage advancement.
Hsu, Su-Yuen↗
Analysis of the Harrier forebody/inlet design using computational techniques
Under the support of this Cooperative Agreement, computations of transonic flow past the complex forebody/inlet configuration of the AV-8B Harrier II have been performed. The actual aircraft configuration was measured and its surface and surrounding domain were defined using computational structured grids. The thin-layer Navier-Stokes equations were used to model the flow along with the Chimera embedded multi-grid technique. A fully conservative, alternating direction implicit (ADI), approximately-factored, partially flux-split algorithm was employed to perform the computation. An existing code was altered to conform with the needs of the study, and some special engine face boundary conditions were developed. The algorithm incorporated the Chimera technique and an algebraic turbulence model in order to deal with the embedded multi-grids and viscous governing equations. Comparison with experimental data has yielded good agreement for the simplifications incorporated into the analysis. The aim of the present research was to provide a methodology for the numerical solution of complex, combined external/internal flows. This is the first time-dependent Navier-Stokes solution for a geometry in which the fuselage and inlet share a wall. The results indicate the methodology used here is a viable tool for transonic aircraft modeling.
Chow, Chuen-Yen↗