Search NASA⌕ Search

SEARCH · Search NASA

Results for “compositional reasoning”

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 559 records · Page 31

Assume-Guarantee Abstraction Refinement Meets Hybrid Systems

Compositional verification techniques in the assume- guarantee style have been successfully applied to transition systems to efficiently reduce the search space by leveraging the compositional nature of the systems under consideration. We adapt these techniques to the domain of hybrid systems with affine dynamics. To build assumptions we introduce an abstraction based on location merging. We integrate the assume-guarantee style analysis with automatic abstraction refinement. We have implemented our approach in the symbolic hybrid model checker SpaceEx. The evaluation shows its practical potential. To the best of our knowledge, this is the first work combining assume-guarantee reasoning with automatic abstraction-refinement in the context of hybrid automata.

Reliability↗

Jupiter and Saturn from 2 to 6 microns

Earth based spectroscopic observations that support current compositional and structural analyses of planetary atmospheres are summarized. The overview of Jupiter's IR spectrum illustrates a fundamental constraint to observations of the outer planets: atmospheric studies are restricted to narrow, isolated windows defined by the planetary absorbers H2, CH4, NH3, and PH3. Some of these planetary windows, such as at 1.6 micron are accessible in ground based observations, but others, such as at 1.9 and 2.7 micron are totally obscured by terrestrial H2O. For this reason, high altitude sites, such as aircraft, balloons, and spacecraft, are essential for IR spectral studies of the outer planets.

Larson, H. P.↗

Improvements in Production of Single-Walled Carbon Nanotubes

A continuing program of research and development has been directed toward improvement of a prior batch process in which single-walled carbon nanotubes are formed by catalytic disproportionation of carbon monoxide in a fluidized-bed reactor. The overall effect of the improvements has been to make progress toward converting the process from a batch mode to a continuous mode and to scaling of production to larger quantities. Efforts have also been made to optimize associated purification and dispersion post processes to make them effective at large scales and to investigate means of incorporating the purified products into composite materials. The ultimate purpose of the program is to enable the production of high-quality single-walled carbon nanotubes in quantities large enough and at costs low enough to foster the further development of practical applications. The fluidized bed used in this process contains mixed-metal catalyst particles. The choice of the catalyst and the operating conditions is such that the yield of single-walled carbon nanotubes, relative to all forms of carbon (including carbon fibers, multi-walled carbon nanotubes, and graphite) produced in the disproportionation reaction is more than 90 weight percent. After the reaction, the nanotubes are dispersed in various solvents in preparation for end use, which typically involves blending into a plastic, ceramic, or other matrix to form a composite material. Notwithstanding the batch nature of the unmodified prior fluidized-bed process, the fluidized-bed reactor operates in a continuous mode during the process. The operation is almost entirely automated, utilizing mass flow controllers, a control computer running software specific to the process, and other equipment. Moreover, an important inherent advantage of fluidized- bed reactors in general is that solid particles can be added to and removed from fluidized beds during operation. For these reasons, the process and equipment were amenable to modification for conversion from batch to continuous production.

Balzano, Leandro↗

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↗

Satellites of Mars - Geologic history

The small, irregularly shaped satellites of Mars, Phobos and Deimos, provide the most detailed view of the geomorphic forms and processes important on small solar system bodies. The satellites appear to be very similar in composition, strongly resembling carbonaceous asteroids; however, recent groundbased spectra suggest that their surfaces have little bound or interlayer water. Despite their similar compositions, sizes and environments, Phobos and Deimos have radically different surface features. Phobos is densely covered by craters that are nearly lunar in appearance; Deimos' craters are subdued and largely filled in by debris. Phobos shows only local downslope movement of regolith; Deimos has it on a global scale. Phobos is criss-crossed by linear depressions; Deimos has none. Crater ejecta appear to be retained near their sources on Phobos while the ejecta are widespread on Deimos. The reasons for the differences between the satellites are not known; imaging of asteroids should tell us which, if either, satellite is typical of the many small bodies that populate the asteroid belt.

Thomas, P.↗

Craters in aluminum 1100 targets using glass projectiles at 1-7 km/s

We report on impact experiments using soda-lime glass spheres of 3.2 mm diameter and aluminum targets (1100 series). The purpose is to assist in the interpretation of LDEF instruments and in the development of future cosmic-dust collectors in low-Earth orbit. Because such instruments demand understanding of both the cratering and penetration process, we typically employ targets with thicknesses that range from massive, infinite half-space targets, to ultrathin films. This report addresses a subset of cratering experiments that were conducted to fine-tune our understanding of crater morphology as a function of impact velocity. Also, little empirical insight exists about the physical distribution and shock-metamorphism of the impactor residues as a function of encounter speed, despite their recognized significance in the analysis of space-exposed surfaces. Soda-lime glass spheres were chosen as a reasonable analog to extraterrestrial silicates, and aluminum 1100 was chosen for targets, which among the common Al-alloys, best represents the physical properties of high-purity aluminum. These materials complement existing impact studies that typically employed metallic impactors and less ductile Al-alloys. We have completed dimensional analyses of the resulting craters and are in the process of investigating the detailed distribution of the unmelted and melted impactor residues via SEM methods, as well as potential compositional modifications of the projectile melts via electron microprobe.

Bernhard, R. P.↗

Evidence for a Meteoritic Component in Impact Melt Rock from the Chicxulub Structure

The Chicxulub structure in Yucatan, Mexico, has recently been recognized as a greater then 200-km-diameter multi-ring impact crater of K-T boundary age. Crystalline impact melt rocks and breccias from within the crater, which have compositions similar to those of normal continental crustal rocks and which show shock metamorphic effects, have been studied for trace element and Re-Os isotope compositions. Re-Os isotope systematics allow the sensitive and selective determination of an extraterrestrial component in impact-derived rocks. A melt rock sample shows elevated iridium concentrations, an osmium concentration of 25 ppb, and a low Os-187/Os-188 ratio of 0.113, which are incompatible with derivation from the continental crust. Even though the Os-187/Os-188 ratio is slightly lower than the range so far measured in meteorites, a mantle origin seems unlikely for mass balance reasons and because the cratering event is unlikely to have excavated mantle material. The data support the hypothesis of a heterogeneously distributed meteoritic component in the Chicxulub melt rock. A sample of impact glass from the Haitian K-T boundary at Beloc yielded about 0.1 ppb osmium and an Os-187/0s-188 ratio of 0.251, indicating the presence of a small meteoritic component in the impact ejecta as well.

Koeberl, Christian↗

Structure of the Soot Growth Region of Laminar Premixer Methane/Oxygen Flames

Soot is a dominant feature of hydrocarbon/air flames, affecting their reaction mechanisms and structure. As a result, soot processes affect capabilities for computational combustion as well as predictions of flame radiation and pollution emissions. Motivated by these observations, the present investigation extended past work on soot growth in laminar premixed flames, seeking to evaluate model predictions of flame structure. Xu et al. report direct measurements of soot residence times, soot concentrations, soot structure, gas temperatures and gas compositions for premixed flames similar to those studied by Harris and Weiner and Ramer et al. respectively. It was found that predictions of major stable gas species concentrations based on mechanisms of Leung and Lindstedt and Frenklach and coworkers, were in good agreement with the measurements. The results were also used to evaluate the hydrogen-abstraction/carbon-addition (HACA) soot growth mechanisms of Frenklach and coworkers and Colket and Hall. It was found that these mechanisms were effective using quite reasonable correlations for the steric factors appearing in the theories. The successful evaluation of the HACA mechanism of soot growth in Refs. 1 and 2 is encouraging but one aspect of this evaluation is a concern. In particular, H-atom concentrations play a crucial role in the HACA mechanism and it was necessary to estimate these concentrations because they were not measured directly. These estimates were made assuming local thermodynamic equilibrium between H, and H based on measured temperatures and H2 concentrations and the equilibrium constant data of Kee et al.. This approach was justified by the flame structure predictions; nevertheless, direct evaluation of equilibrium estimates of H-atom concentrations in the soot growth regions of laminar premixed flames is needed to provide more convincing proof of this behavior. Thus, the objective of the present investigation was to complete new measurements of the structure of the soot growth region of laminar premixed flames and to use these results to evaluate whether H and H2 are in thermodynamic equilibrium and to extend the earlier evaluation of predictions of concentrations of major gas species.

Xu, F.↗

Overview of NASA Langley's Piezoelectric Ceramic Packaging Technology and Applications

Over the past decade, NASA Langley Research Center (LaRC) has developed several actuator packaging concepts designed to enhance the performance of commercial electroactive ceramics. NASA LaRC focused on properly designed actuator and sensor packaging for the following reasons, increased durability, protect the working material from the environment, allow for proper mechanical and electrical contact, afford "ready to use" mechanisms that are scalable, and develop fabrication methodology applicable to any active material of the same physical class. It is more cost effective to enhance or tailor the performance of existing systems, through innovative packaging, than to develop, test and manufacture new materials. This approach led to the development of several solid state actuators that include THUNDER, the Macrofiber Composite or (MFC) and the Radial Field Diaphragm or (RFD). All these actuators are fabricated using standard materials and processes derived from earlier concepts. NASA s fabrication and packaging technology as yielded, piezoelectric actuators and sensors that are easy to implement, reliable, consistent in properties, and of lower cost to manufacture in quantity, than their predecessors (as evidenced by their continued commercial availability.) These piezoelectric actuators have helped foster new research and development in areas involving computational modeling, actuator specific refinements, and engineering system redesign which led to new applications for piezo-based devices that replace traditional systems currently in use.

Bryant, Robert G.↗

Application of Commercial Non-Dispersive Infrared Spectroscopy Sensors for Sub-Ambient Carbon Dioxide Detection

Monitoring carbon dioxide (CO2) concentration within a spacecraft or spacesuit is critically important to ensuring the safety of the crew. Carbon dioxide uniquely absorbs light at wavelengths of 3.95 micrometers and 4.26 micrometers. As a result, non-dispersive infrared (NDIR) spectroscopy can be employed as a reliable and inexpensive method for the quantification of CO2 within the atmosphere. A multitude of commercial off-the-shelf (COTS) NDIR sensors exist for CO2 quantification. The COTS sensors provide reasonable accuracy as long as the measurements are attained under conditions close to the calibration conditions of the sensor (typically 21.1 C (70.0 F) and 1 atmosphere). However, as pressure deviates from atmospheric to the pressures associated with a spacecraft (8.0{10.2 pounds per square inch absolute (psia)) or spacesuit (4.1{8.0 psia), the error in the measurement grows increasingly large. In addition to pressure and temperature dependencies, the infrared transmissivity through a volume of gas also depends on the composition of the gas. As the composition is not known a priori, accurate sub-ambient detection must rely on iterative sensor compensation techniques. This manuscript describes the development of recursive compensation algorithms for sub-ambient detection of CO2 with COTS NDIR sensors. In addition, the source of the exponential loss in accuracy is developed theoretically. The basis of the loss can be explained through thermal, Doppler, and Lorentz broadening effects that arise as a result of the temperature, pressure, and composition of the gas mixture under analysis. This manuscript provides an approach to employing COTS sensors at sub-ambient conditions and may also lend insight into designing future NDIR sensors for aerospace application.

Swickrath, Michael J.↗

Gold absorbing film for a composite bolometer

The principles governing the design of metal films are reviewed, with attention also given to the choice of metals. A description is then given of the characteristics of a bolometer with a gold absorbing film. It is demonstrated that gold is effective as an absorbing film for a millimeter bolometer operated at 1.5 K. At 1.5 K, gold is significantly better than bismuth since gold has a lower heat capacity for the absorbing film. At 0.3 K, gold and bismuth are both suitable. It is pointed out that at temperatures below 0.3 K, a superconducting absorbing film can have a heat capacity low enough not to dominate the heat capacity of the detector; for this reason, it may give better performance than a nonsuperconducting absorbing film.

Dragovan, M.↗

Carbon isotopic ratios in some low-delta N-15 lunar breccias

Lunar soil breccias 10018, 79035 and 79135 were analyzed for carbon and nitrogen contents and isotopic compositions by vacuum pyrolysis, with a 500 C pre-combustion step in some cases. The combustion was used to remove carbon of terrestrial origin. Nitrogen isotopic ratios for the breccias are very low and are in agreement with results in the literature. Nitrogen yields in two cases were lower than literature values, a result attributable to heterogeneous mixing of implanted and implantation-free components in the breccias. Carbon isotopic ratios were found to be low in these breccias, even when reasonable account is taken of terrestrial carbon contamination. The results are consistent with the idea that low-delta N-15 values in lunar soils and breccias are accompanied by low-delta C-13 values, and imply that any secular variation which occurred in the delta N-15 of nitrogen implanted in lunar soils was accompanied by a similar but smaller variation in the delta C-13 of implanted carbon.

Becker, R. H.↗

Effects of elevated temperature on the viscoplastic modeling of graphite/polymeric composites

To support the development of new materials for the design of next generation supersonic transports, a research program is underway at NASA to assess the long term durability of advanced polymer matrix composites (PMC's). One of main objectives of the program was to explore the effects of elevated temperature (23 to 200 C) on the constitutive model's material parameters. To achieve this goal, test data on the observed nonlinear, stress-strain behavior of IM7/5260 and IM7/8320 composites under tension and compression loading were collected and correlated against temperature. These tests, conducted under isothermal conditions using variable strain rates, included such phenomena as stress relaxation and short term creep. The second major goal was the verification of the model by comparison of analytical predictions and test results for off axis and angle ply laminates. Correlation between test and predicted behavior was performed for specimens of both material systems over a range of temperatures. Results indicated that the model provided reasonable predictions of material behavior in load or strain controlled tests. Periods of loading, unloading, stress relaxation, and creep were accounted for.

Gates, Thomas S.↗

Residual Gases in Crystal Growth Systems

Residual gases present in closed ampoules may affect different crystal growth processes. That seems to be particularly true under microgravity conditions where, due to weightlessness of the melt, the gases may lead to detached solidification and/or formation of voids and bubbles, as observed in the past. For that reason a good understanding and control of formation of residual gases is important for an optimum design and meaningful interpretation of crystal growth experiments. Our extensive experimental and theoretical studies of the subject, summarized in this paper, include degassing of silica glass and generation of gases from different source materials. Different materials processing conditions, like outgassing under vacuum, annealing in hydrogen, resublimation, different material preparation procedures, multiple annealings, different processing times, and others were applied and their effect on the amount and composition of gas were analyzed. The experimental results were interpreted based on theoretical calculations on diffusion in silica glass and source materials and thermochemistry of the system. Procedures for a reduction of the amount of gas are also discussed.

Palosz, W.↗

Oxidative Attack of Carbon/Carbon Substrates through Coating Pinholes

A critical issue with oxidation protected carbon/carbon composites used for spacecraft thermal protection is the formation of coating pinholes. In laboratory experiments, artificial pinholes were drilled through SiC-coatings on a carbon/carbon material and the material was oxidized at 600, 1000, and 1400 C at reduced pressures of air. The attack of the carbon/carbon was quantified by both weight loss and a novel cross-sectioning technique. A two-zone, one dimensional diffusion control model was adapted to analyze this problem. Agreement of the model with experiment was reasonable at 1000 and 1400 C; however results at lower temperatures show clear deviations from the theory suggesting that surface reaction control plays a role.

Jacobson, Nathan S.↗

Structure of Laminar Permanently Blue, Opposed-Jet Ethylene-Fueled Diffusion Flames

The structure and state relationships of laminar soot-free (permanently blue) ethylene-fueled diffusion flames at various strain rates were studied both experimentally and computationally using an opposed-jet configuration. Measurements of gas velocities, temperatures, and compositions were carried out along the stagnation stream line. Corresponding predictions of flame structure were obtained, based on numerical simulations using several contemporary reaction mechanisms for methane oxidation. Flame conditions studied included ethylene-fueled opposed-jet diffusion flames having stoichiometric mixture fractions of 0.7 with measurements involving strain rates of 60-240/s and predictions involving strain rates of 0-1140/s at normal temperature and pressure. It was found that measured major gas species concentrations and temperature distributions were in reasonably good agreement with predictions using mechanisms due to GRI-Mech and Peters and that effects of preferential diffusion significantly influence flame structure even when reactant mass diffusivities are similar. Oxygen leakage to fuel-rich conditions and carbon monoxide leakage to fuel-lean conditions both increased as strain rates increased. Furthermore, increased strain rates caused increased fuel concentrations near the flame sheet, decreased peak gas temperatures, and decreased concentrations of carbon dioxide and water vapor throughout the flames. State relationships for major gas species and gas temperatures were found to exist over a broad range of strain rates, providing potential for significant computational simplifications for modeling purposes in some instances.

Lin, K.-C.↗

Structure of Laminar Permanently Blue, Opposed-Jet Ethylene-Fueled Diffusion Flames

The structure and state relationships of laminar soot-free (permanently blue) ethylene-fueled diffusion flames at various strain rates were studied both experimentally and computationally using an opposed-jet configuration. Measurements of gas velocities, temperatures, and compositions were carried out along the stagnation stream line. Corresponding predictions of flame structure were obtained, based on numerical simulations using several contemporary reaction mechanisms for methane oxidation. Flame conditions studied included ethylene-fueled opposed-jet diffusion flames having stoichiometric mixture fractions of 0.7 with measurements involving strain rates of 60-240/s and predictions involving strain rates of 0-1140/s at normal temperature and pressure. It was found that measured major gas species concentrations and temperature distributions were in reasonably good agreement with predictions using mechanisms due to GRI-Mech and Peters and that effects of preferential diffusion significantly influence flame structure even when reactant mass diffusivities are similar. Oxygen leakage to fuel-rich conditions and carbon monoxide leakage to fuel-lean conditions both increased as strain rates increased. Furthermore, increased strain rates caused increased fuel concentrations near the flame sheet, decreased peak gas temperatures, and decreased concentrations of carbon dioxide and water vapor throughout the flames. State relationships for major gas species and gas temperatures were found to exist over a broad range of strain rates, providing potential for significant computational simplifications for modeling purposes in some instances.

Lin, K.-C.↗

Nonlinear Finite Element Analysis of a Composite Non-Cylindrical Pressurized Aircraft Fuselage Structure

The Environmentally Responsible Aviation Project aims to develop aircraft technologies enabling significant fuel burn and community noise reductions. Small incremental changes to the conventional metallic alloy-based 'tube and wing' configuration are not sufficient to achieve the desired metrics. One of the airframe concepts that might dramatically improve aircraft performance is a composite-based hybrid wing body configuration. Such a concept, however, presents inherent challenges stemming from, among other factors, the necessity to transfer wing loads through the entire center fuselage section which accommodates a pressurized cabin confined by flat or nearly flat panels. This paper discusses a nonlinear finite element analysis of a large-scale test article being developed to demonstrate that the Pultruded Rod Stitched Efficient Unitized Structure concept can meet these challenging demands of the next generation airframes. There are specific reasons why geometrically nonlinear analysis may be warranted for the hybrid wing body flat panel structure. In general, for sufficiently high internal pressure and/or mechanical loading, energy related to the in-plane strain may become significant relative to the bending strain energy, particularly in thin-walled areas such as the minimum gage skin extensively used in the structure under analysis. To account for this effect, a geometrically nonlinear strain-displacement relationship is needed to properly couple large out-of-plane and in-plane deformations. Depending on the loading, this nonlinear coupling mechanism manifests itself in a distinct manner in compression- and tension-dominated sections of the structure. Under significant compression, nonlinear analysis is needed to accurately predict loss of stability and postbuckled deformation. Under significant tension, the nonlinear effects account for suppression of the out-of-plane deformation due to in-plane stretching. By comparing the present results with the previously published preliminary linear analysis, it is demonstrated in the present paper that neglecting nonlinear effects for the structure and loads of interest can lead to appreciable loss in analysis fidelity.

Przekop, Adam↗