Search NASA⌕ Search

SEARCH · Search NASA

Results for “cohesive models”

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 181 records · Page 10

On the Current State of Sheaf Theoretic Networking

Advancing the Delay Tolerant Networking (DTN) effort has proven to be a unique and difficult challenge. In the journey to implementing space networking, NASA has considered several strategies. From direct translations of Internet Protocol (IP) to satellite networks to pre-planned routing structures in Contact Graph Routing (CGR), each potential solution for DTN has come with its fair share of setbacks and challenges. Frequently, these challenges can be traced back to specific assumptions made in the development of each protocol that do not carry over from ground networks to space networks. To address these fundamental assumptions, a more general and foundational networking theory is required. In this paper, we survey a novel mathematical foundation for networking using the theory of cellular sheaves. Sheaves form a mathematical tool for modeling local phenomenon that leads to global effects. Sheaves have been introduced a number of times, and our goal here is to summarize the applications and point towards important future work that must be done to build a stronger, cohesive theory for networking.

Sheaves↗

Droplet Deformation in an Extensional Flow: The Role of Surfactant Physical Chemistry

Surfactant-induced Marangoni effects strongly alter the stresses exerted along fluid particle interfaces. In low gravity processes, these stresses can dictate the system behavior. The dependence of Marangoni effects on surfactant physical chemistry is not understood, severely impacting our ability to predict and control fluid particle flows. A droplet in an extensional flow allows the controlled study of stretching and deforming interfaces. The deformations of the drop allow both Marangoni stresses, which resist tangential shear, and Marangoni elasticities, which resist surface dilatation, to develop. This flow presents an ideal model system for studying these effects. Prior surfactant-related work in this flow considered a linear dependence of the surface tension on the surface concentration, valid only at dilute surface concentrations, or a non-linear framework at concentrations sufficiently dilute that the linear approximation was valid. The linear framework becomes inadequate for several reasons. The finite dimensions of surfactant molecules must be taken into account with a model that includes surfaces saturation. Nonideal interactions between adsorbed surfactant molecules alter the partitioning of surfactant between the bulk and the interface, the dynamics of surfactant adsorptive/desorptive exchange, and the sensitivity of the surface tension to adsorbed surfactant. For example, cohesion between hydrocarbon chains favors strong adsorption. Cohesion also slows the rate of desorption from interfaces, and decreases the sensitivity of the surface tension to adsorbed surfactant. Strong cohesive interactions result in first order surface phase changes with a plateau in the surface tension vs surface concentration. Within this surface concentration range, the surface tension is decoupled from surface concentration gradients. We are engaged in the study of the role of surfactant physical chemistry in determining the Marangoni stresses on a drop in an extensional flow in a numerical and experimental program. Using surfactants whose dynamics and equilibrium behavior have been characterized in our laboratory, drop deformation will be studied in ground-based experiment. In an accompanying numerical study, predictive drop deformations will be determined based on the isotherm and equation of state determined in our laboratory. This work will improve our abilities to predict and control all fluid particle flows.

Stebe, Kathleen J.↗

Mixed-Mode Decohesion Finite Elements for the Simulation of Delamination in Composite Materials

A new decohesion element with mixed-mode capability is proposed and demonstrated. The element is used at the interface between solid finite elements to model the initiation and non-self-similar growth of delaminations. A single relative displacement-based damage parameter is applied in a softening law to track the damage state of the interface and to prevent the restoration of the cohesive state during unloading. The softening law for mixed-mode delamination propagation can be applied to any mode interaction criterion such as the two-parameter power law or the three-parameter Benzeggagh-Kenane criterion. To demonstrate the accuracy of the predictions and the irreversibility capability of the constitutive law, steady-state delamination growth is simulated for quasistatic loading-unloading cycles of various single mode and mixed-mode delamination test specimens.

Camanho, Pedro P.↗

Thermal barrier coating life-prediction model development

Life predictions are made for two types of strain-tolerant and oxidation-resistant Thermal Barrier Coating (TBC) systems produced by commercial coating suppliers to the gas turbine industry. The plasma-sprayed TBC system, composed of a low-pressure plasma spray (LPPS) applied oxidation-resistant NiCrAlY bond coating and an air-plasma-sprayed yttria (8 percent) partially stabilized zirconia insulative layer, is applied by both Chromalloy and Klock. The second type of TBC is applied by the electron-beam/physical vapor deposition process by Temescal. Thermomechanical and thermochemical testing of the program TBCs is in progress. A number of the former tests has been completed. Fracture mechanics data for the Chromalloy plasma-sprayed TBC system indicate that the cohesive toughness of the zirconia layer is increased by thermal cycling and reduced by high temperature exposure at 1150 C. Eddy current technology feasibility has been established with respect to nondestructively measuring zirconia layer thickness of a TBC system. High pressure turbine blades have been coated with program TBC systems for a piggyback test in a TFE731-5 turbofan factory engine test. Data from this test will be used to validate the TBC life models.

Strangman, T. E.↗

C-Language Integrated Production System, Version 5.1

CLIPS 5.1 provides cohesive software tool for handling wide variety of knowledge with support for three different programming paradigms: rule-based, object-oriented, and procedural. Rule-based programming provides representation of knowledge by use of heuristics. Object-oriented programming enables modeling of complex systems as modular components. Procedural programming enables CLIPS to represent knowledge in ways similar to those allowed in such languages as C, Pascal, Ada, and LISP. Working with CLIPS 5.1, one can develop expert-system software by use of rule-based programming only, object-oriented programming only, procedural programming only, or combinations of the three.

Riley, Gary↗

Lunar dust transport and potential interactions with power system components

The lunar surface is covered by a thick blanket of fine dust. This dust may be readily suspended from the surface and transported by a variety of mechanisms. As a consequence, lunar dust can accumulate on sensitive power components, such as photovoltaic arrays and radiator surfaces, reducing their performance. In addition to natural mechanisms, human activities on the Moon will disturb significant amounts of lunar dust. Of all the mechanisms identified, the most serious is rocket launch and landing. The return of components from the Surveyor 3 provided a rare opportunity to observe the effects of the nearby landing of the Apollo 12 Lunar Module. The evidence proved that significant dust accumulation occurred on the Surveyor at a distance of 155 m. From available information on particle suspension and transport mechanisms, a series of models was developed to predict dust accumulation as a function of distance from the lunar module. The accumulation distribution was extrapolated to a future Lunar Lander scenario. These models indicate that accumulation is expected to be substantial even as far as 2 km from the landing site. Estimates of the performance penalties associated with lunar dust coverage and photovoltaic arrays are presented. Because of the lunar dust adhesive and cohesive properties, the most practical dust defensive strategy appears to be the protection of sensitive components from the arrival of lunar dust by location, orientation, or barriers.

Katzan, Cynthia M.↗

Proceedings of the Second NASA Formal Methods Symposium

This publication contains the proceedings of the Second NASA Formal Methods Symposium sponsored by the National Aeronautics and Space Administration and held in Washington D.C. April 13-15, 2010. Topics covered include: Decision Engines for Software Analysis using Satisfiability Modulo Theories Solvers; Verification and Validation of Flight-Critical Systems; Formal Methods at Intel -- An Overview; Automatic Review of Abstract State Machines by Meta Property Verification; Hardware-independent Proofs of Numerical Programs; Slice-based Formal Specification Measures -- Mapping Coupling and Cohesion Measures to Formal Z; How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project; A Machine-Checked Proof of A State-Space Construction Algorithm; Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications; Modeling Regular Replacement for String Constraint Solving; Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol; Can Regulatory Bodies Expect Efficient Help from Formal Methods?; Synthesis of Greedy Algorithms Using Dominance Relations; A New Method for Incremental Testing of Finite State Machines; Verification of Faulty Message Passing Systems with Continuous State Space in PVS; Phase Two Feasibility Study for Software Safety Requirements Analysis Using Model Checking; A Prototype Embedding of Bluespec System Verilog in the PVS Theorem Prover; SimCheck: An Expressive Type System for Simulink; Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness; Software Model Checking of ARINC-653 Flight Code with MCP; Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B; Formal Verification of Large Software Systems; Symbolic Computation of Strongly Connected Components Using Saturation; Towards the Formal Verification of a Distributed Real-Time Automotive System; Slicing AADL Specifications for Model Checking; Model Checking with Edge-valued Decision Diagrams; and Data-flow based Model Analysis.

Munoz, Cesar↗

Induction of three-dimensional assembly of human liver cells by simulated microgravity

The establishment of long-term cultures of functional primary human liver cells (PHLC) is formidable. Developed at NASA, the Rotary Cell Culture System (RCCS) allows the creation of the unique microgravity environment of low shear force, high-mass transfer, and 3-dimensional cell culture of dissimilar cell types. The aim of our study was to establish long-term hepatocyte cultures in simulated microgravity. PHLC were harvested from human livers by collagenase perfusion and were cultured in RCCS. PHLC aggregates were readily formed and increased up to 1 cm long. The expansion of PHLC in bioreactors was further evaluated with microcarriers and biodegradable scaffolds. While microcarriers were not conducive to formation of spheroids, PHLC cultured with biodegradable scaffolds formed aggregates up to 3 cm long. Analyses of PHLC spheroids revealed tissue-like structures composed of hepatocytes, biliary epithelial cells, and/or progenitor liver cells that were arranged as bile duct-like structures along nascent vascular sprouts. Electron microscopy revealed groups of cohesive hepatocytes surrounded by complex stromal structures and reticulin fibers, bile canaliculi with multiple microvilli, and tight cellular junctions. Albumin mRNA was expressed throughout the 60-d culture. A simulated microgravity environment is conducive to maintaining long-term cultures of functional hepatocytes. This model system will assist in developing improved protocols for autologous hepatocyte transplantation, gene therapy, and liver assist devices, and facilitate studies of liver regeneration and cell-to-cell interactions that occur in vivo.

NASA Center JSC↗

Exploration Clinical Decision Support System: Medical Data Architecture

The Exploration Clinical Decision Support (ECDS) System project is intended to enhance the Exploration Medical Capability (ExMC) Element for extended duration, deep-space mission planning in HRP. A major development guideline is the Risk of "Adverse Health Outcomes & Decrements in Performance due to Limitations of In-flight Medical Conditions". ECDS attempts to mitigate that Risk by providing crew-specific health information, actionable insight, crew guidance and advice based on computational algorithmic analysis. The availability of inflight health diagnostic computational methods has been identified as an essential capability for human exploration missions. Inflight electronic health data sources are often heterogeneous, and thus may be isolated or not examined as an aggregate whole. The ECDS System objective provides both a data architecture that collects and manages disparate health data, and an active knowledge system that analyzes health evidence to deliver case-specific advice. A single, cohesive space-ready decision support capability that considers all exploration clinical measurements is not commercially available at present. Hence, this Task is a newly coordinated development effort by which ECDS and its supporting data infrastructure will demonstrate the feasibility of intelligent data mining and predictive modeling as a biomedical diagnostic support mechanism on manned exploration missions. The initial step towards ground and flight demonstrations has been the research and development of both image and clinical text-based computer-aided patient diagnosis. Human anatomical images displaying abnormal/pathological features have been annotated using controlled terminology templates, marked-up, and then stored in compliance with the AIM standard. These images have been filtered and disease characterized based on machine learning of semantic and quantitative feature vectors. The next phase will evaluate disease treatment response via quantitative linear dimension biomarkers that enable image content-based retrieval and criteria assessment. In addition, a data mining engine (DME) is applied to cross-sectional adult surveys for predicting occurrence of renal calculi, ranked by statistical significance of demographics and specific food ingestion. In addition to this precursor space flight algorithm training, the DME will utilize a feature-engineering capability for unstructured clinical text classification health discovery. The ECDS backbone is a proposed multi-tier modular architecture providing data messaging protocols, storage, management and real-time patient data access. Technology demonstrations and success metrics will be finalized in FY16.

Biomedical support↗

Reduction in Computational Cost of Progressive Failure Analysis of Composite Structures

Designing aircraft structures requires efficient modeling approaches to iterate on multiple structural configurations to achieve an optimal design. Typically, damage tolerance is not considered at the design stage because of the high computational cost in its implementation within a finite element modeling approach. Therefore, analytical or empirical approaches are often used to size critical damage-tolerant structures once an optimal design is determined. In this study, the Progressive Release eXplicit Virtual Crack-Closure Technique (PRX-VCCT) is assessed for its capability to cost-effectively evaluate skin stringer separation of a blade-stiffened panel that is subjected to seven point bend loads. An initial verification study was performed to evaluate PRX VCCT to accurately simulate skin-stringer separation with respect to existing cohesive element approaches. Furthermore, the influence of element size, ranging from 0.10 in. to 0.40 in., on the total computational time using the PRX-VCCT is investigated. The results indicate that the PRX-VCCT can be used to accurately simulate skin stringer separation using large element lengths (0.40 in.). Additionally, a significant reduction in the computational time to simulate skin stringer separation is observed using the PRX-VCCT. Large-scale progressive damage analysis using PRX-VCCT can be implemented early in the design cycle of composite structures without requiring a global-to-local modeling approach.

Composites↗

Sediment-transport experiments in zero-gravity

One of the important parameters in the analysis of sediment entrainment and transport is gravitational attraction. The availability of a laboratory in Earth orbit would afford an opportunity to conduct experiments in zero and variable gravity environments. Elimination of gravitational attraction as a factor in such experiments would enable other critical parameters (such as particle cohesion and aerodynamic forces) to be evaluated much more accurately. A Carousel Wind Tunnel (CWT) is proposed for use in conducting experiments concerning sediment particle entrainment and transport in a space station. In order to test the concept of this wind tunnel design a one third scale model CWT was constructed and calibrated. Experiments were conducted in the prototype to determine the feasibility of studying various aeolian processes and the results were compared with various numerical analysis. Several types of experiments appear to be feasible utilizing the proposed apparatus.

Iversen, J. D.↗

Sediment-transport experiments in zero-gravity

One of the important parameters in the analysis of sediment entrainment and transport is gravitational attraction. The availability of a laboratory in earth orbit would afford an opportunity to conduct experiments in zero and variable gravity environments. Elimination of gravitational attraction as a factor in such experiments would enable other critical parameters (such as particle cohesion and aerodynamic forces) to be evaluated much more accurately. A Carousel Wind Tunnel (CWT) is proposed for use in conducting experiments concerning sediment particle entrainment and transport in a space station. In order to test the concept of this wind tunnel design a one third scale model CWT was constructed and calibrated. Experiments were conducted in the prototype to determine the feasibility of studying various aeolian processes and the results were compared with various numerical analysis. Several types of experiments appear to be feasible utilizing the proposed apparatus.

Iversen, James D.↗

A survey of program slicing for software engineering

This research concerns program slicing which is used as a tool for program maintainence of software systems. Program slicing decreases the level of effort required to understand and maintain complex software systems. It was first designed as a debugging aid, but it has since been generalized into various tools and extended to include program comprehension, module cohesion estimation, requirements verification, dead code elimination, and maintainence of several software systems, including reverse engineering, parallelization, portability, and reuse component generation. This paper seeks to address and define terminology, theoretical concepts, program representation, different program graphs, developments in static slicing, dynamic slicing, and semantics and mathematical models. Applications for conventional slicing are presented, along with a prognosis of future work in this field.

Beck, Jon↗

An investigation into the role of plastic failure in crater modification

The mechanical stability of an impact crater is analyzed in this paper via a quasi-static, axisymmetric slip line theory of plasticity. The yield model incorporated is Mohr-Coulomb and a simplified rectangular profile is used for the transient cavity. The degree of stability (or instability) is described as a function of internal friction angle, depth/diameter ratio, and a dimensionless parameter. To match the observed slumping of large lunar craters the cohesion strength of the lunar surface material must be low (less than 20 bars) and the angle of internal friction must be less than 2 deg. It is not implausible that these failure strength characteristics are realized by freshly shocked rock.

Mckinnon, W. B.↗

Cohesive Elements for Shells

A cohesive element for shell analysis is presented. The element can be used to simulate the initiation and growth of delaminations between stacked, non-coincident layers of shell elements. The procedure to construct the element accounts for the thickness offset by applying the kinematic relations of shell deformation to transform the stiffness and internal force of a zero-thickness cohesive element such that interfacial continuity between the layers is enforced. The procedure is demonstrated by simulating the response and failure of the Mixed Mode Bending test and a skin-stiffener debond specimen. In addition, it is shown that stacks of shell elements can be used to create effective models to predict the inplane and delamination failure modes of thick components. The results indicate that simple shell models can retain many of the necessary predictive attributes of much more complex 3D models while providing the computational efficiency that is necessary for design.

Davila, Carlos G.↗

Effective Simulation of Delamination in Aeronautical Structures Using Shells and Cohesive Elements

A cohesive element for shell analysis is presented. The element can be used to simulate the initiation and growth of delaminations between stacked, non-coincident layers of shell elements. The procedure to construct the element accounts for the thickness offset by applying the kinematic relations of shell deformation to transform the stiffness and internal force of a zero-thickness cohesive element such that interfacial continuity between the layers is enforced. The procedure is demonstrated by simulating the response and failure of the Mixed Mode Bending test and a skin-stiffener debond specimen. In addition, it is shown that stacks of shell elements can be used to create effective models to predict the inplane and delamination failure modes of thick components. The results indicate that simple shell models can retain many of the necessary predictive attributes of much more complex 3D models while providing the computational efficiency that is necessary for design.

Davila, Carlos G.↗

An Analysis Methodology to Predict Damage Propagation in Notched Composite Fuselage Structures

A new methodology is proposed for predicting damage propagation in notched composite skin-stiffened structures. The proposed approach considers the interaction of damage propagation in the skin with delamination of the stiffener in order to assess the damage containment behavior of the structure. The damage propagating from a notch within a thin fiber-reinforced polymer skin is idealized as a through-the-thickness cohesive crack. The cohesive law for the through-the-thickness crack is characterized using a compact tension test. The approach was applied to a full-scale pultruded rod stitched efficient unitized structure (PRSEUS) concept fuselage panel that was tested recently. The stitched skin/stringer interfaces, a key feature of the PRSEUS concept, were modeled to assess the effectiveness of the stitching at containing damage propagation. Comparison between the predicted and observed damage extension shows acceptable agreement throughout loading. These results indicate that the model can represent accurately the complex interactions between a through-the-thickness crack in the skin and delamination between the skin and stringer. The model is used to demonstrate that the skin-stiffener interface toughness is critical to damage containment capability

Bergan, A.↗

Towards Sheaf Theoretic Analyses for Delay Tolerant Networking

The goal of Delay Tolerant Networking (DTN) is to take a collection of heterogeneous, disparate connections between satellites, space assets, ground stations, and ground infrastructure and bring it together into a cohesive, functioning overlay network. Depending on the systems being considered, one can find links with a one-way light time exceeding minutes (and hours),periodic links which can sometimes be predicted by orbital mechanics, and restrictions based on the variety of capabilities built into these systems. These characteristics preclude traditional network models and routing techniques and have classically led to either rigid routing tables or purely probabilistic models. As the deeper underlying structures remain unknown, development of more DTN-optimized algorithms has lacked the necessary foundation. In a continuation of previous work, the goal of this paper is to identify and study these fundamental structures that exist in delay tolerant networks (DTN), with a focus on space networks. The current routing methodology has been to use contact graph routing (CGR) algorithms. CGR models a series of known contacts as a static graph. For CGR to work, this graph must be globally consistent and must have an accurate picture of the network. Because this is a globally controlled structure, there is little room for flexibility in the event of changes to the network which would naturally occur as the network grows. As a response to the desire for flexibility as the network changes, we introduced the mathematical structure known as sheaves to DTNs last year. The tag-line for sheaves is that they are a mathematically precise way of gluing local data together into unique global data. Thus, sheaves lend extra power to traditional models(and routing algorithms) by taking additional information and merging it, in as consistent a manner as possible, with the representation itself. The clearest example of how Earth-bound networks exhibit behavior that is “sheafy” is link state routers, which build a local-to-global picture of their network by gluing local information together into a global network, exactly as a sheaf would do. For routing within delay tolerant networks to truly exploit this structure, a deeper structure than a graph is required. In this paper, we develop sheaves that can work over directed graphs such as temporal flow networks, we construct a sheaf representation for Dijkstra’s algorithm, and we outline a construction for routing sheaves capable of modeling multicast scenarios. Finally, there is a section of future work suggesting follow-on research.

Robert Short↗