Efficient numerical methods for the large‐scale,parallel solution of elastoplastic contact problems

Quasi‐static elastoplastic contact problems are ubiquitous in many industrial processes and other contexts, and their numerical simulation is consequently of great interest in accurately describing and optimizing production processes. The key component in these simulations is the solution of a single load step of a time iteration. From a mathematical perspective, the problems to be solved in each time step are characterized by the difficulties of variational inequalities for both the plastic behavior and the contact problem. Computationally, they also often lead to very large problems. In this paper, we present and evaluate a complete set of methods that are (1) designed to work well together and (2) allow for the efficient solution of such problems. In particular, we use adaptive finite element meshes with linear and quadratic elements, a Newton linearization of the plasticity, active set methods for the contact problem, and multigrid‐preconditioned linear solvers. Through a sequence of numerical experiments, we show the performance of these methods. This includes highly accurate solutions of a three‐dimensional benchmark problem and scaling our methods in parallel to 1024 cores and more than a billion unknowns. Copyright © 2015 John Wiley & Sons, Ltd.     

Cytosolic Calcium Concentration Changes in Neuronal Cells Under Clinorotation and in Parabolic Flight Missions

All life on earth has been established under conditions of stable gravity of 1g. Nevertheless, in numerous experiments the direct gravity dependence of biological processes has been shown on all levels of organization, from single molecules to humans. To study the effects especially of microgravity on biological systems, a variety of platforms are available, from drop towers to the ISS. Due to the costs of these platforms and their limited availability, as an alternative, numerous simulators have been developed for so called “simulated” microgravity. A classical systems is a clinostat, basically rotating a sample around one axis, and by integration of the gravity vector for 360° arguing that thus the effects of gravity are depleted. Indeed, a variety of studies has shown that taking out the direction of gravity from a biological system often results in consequences similar to the exposure of the system to real microgravity. Nevertheless, the opposite has been shown, too, and as a consequence the relevance of clinostats in microgravity research is still under discussion. To get some more insight into this problem we have constructed a small fluorescence clinostat and have studied the effects of clinorotation on the cytosolic calcium concentration of neuroglioma cells. The results have been compared to experiments with identical cells in real microgravity, utilizing parabolic flight missions. Our results show that in case of a cell suspension used in a small florescence clinostat within a tube diameter of 2mm, the effects of clinorotation are comparable to those under real microgravity, both showing a significant increase in intracellular calcium concentration.     

Kältemittel‐Schnüffler

Testing refrigerant sniffers The technical generation of coldness is typically done by machines based on a closed thermodynamic process using a refrigerant. As refrigerants usually halogenated hydrocarbons are used since these have good thermodynamic properties. Unfortunately, the halogens are harmful to the environment: They destroy the ozone layer. Therefore, the machines must be tight and must not loose the refrigerant. To check a machine for leakage, mobile leak sniffers are available which can be reliably and quantitatively controlled by test leaks.     

A Perspective on Emerging and Future Sintering Technologies of Ceramic Materials

Novel sintering methods have emerged in the recent past years, which have raised great interest in the scientific community. Relying on electric field effects, high heating rates, the use of mechanical pressure, or hydrothermal conditions, they offer fundamental advantages compared to conventional sintering routes like minimizing the energy consumption and enhancing the process efficiency. This perspective aims at explaining these effects in a general way and presenting the status quo of using them for the processing of high-performing ceramic materials. In detail, this work focuses on flash sintering, ultrafast high-temperature sintering, spark plasma sintering, cold sintering, and photonic sintering methods based on different light sources. The specificities, potentials, and limitations of each method are compared, especially in the light of a possible industrialization.     

Surface-Inspection-Pad (SIP)

Surface Inspection Pad (SIP) – A novel approach to resource-efficient sampling for contamination control of component surfaces The Surface Inspection Pad, or SIP for short, offers a cost-effective and resource-saving alternative to sampling for vacuum-assisted contamination control of component surfaces. The analysis of the surface chemistry of the component is then carried out by analyzing the SIP surface. In addition to other methods, surface-sensitive time-of-flight secondary ion mass spectrometry (ToF-SIMS) can be used for the analysis. The components to be examined therefore no longer must be removed from the process and destroyed for the analysis. The user can save enormous costs in this way. Furthermore, SIPs can be used for contamination control in lubricant circuits and liquids. To date, silicone oil (PDMS) has been detected in liquids with a detection limit of less than 10^–6 (ppm).     

Infrastructure Federation Through Virtualized Delegation of Resources and Services

Infrastructure federation is becoming an increasingly important issue for modern Distributed Computing Infrastructures (DCIs): Dynamic elasticity of quasi-static Grid environments, incorporation of special-purpose resources into commoditized Cloud infrastructures, cross-community collaboration for increasingly diverging areas of modern e-Science, and Cloud Bursting pose major challenges on the technical level for many resource and middleware providers. Especially with respect to increasing costs of operating data centers, the intelligent yet automated and secure sharing of resources is a key factor for success. With the D-Grid Scheduler Interoperability (DGSI) project within the German D-Grid Initiative, we provide a strategic technology for the automatically negotiated, SLA-secured, dynamically provisioned federation of resources and services for Grid-and Cloud-type infrastructures. This goal is achieved by complementing current DCI schedulers with the ability to federate infrastructure for the temporary leasing of resources and rechanneling of workloads. In this work, we describe the overall architecture and SLA-secured negotiation protocols within DGSI and depict an advanced mechanism for resource delegation through means of dynamically provisioned, virtualized middleware. Through this methodology, we provide the technological foundation for intelligent capacity planning and workload management in a cross-infrastructure fashion.     

Optimization problems in contracted tensor networks

We discuss the calculus of variations in tensor representations with a special focus on tensor networks and apply it to functionals of practical interest. The survey provides all necessary ingredients for applying minimization methods in a general setting. The important cases of target functionals which are linear and quadratic with respect to the tensor product are discussed, and combinations of these functionals are presented in detail. As an example, we consider the representation rank compression in tensor networks. For the numerical treatment, we use the nonlinear block Gauss?CSeidel method. We demonstrate the rate of convergence in numerical tests.     

Automated Flaw Detection in Algebraic Specifications

In interactive theorem proving practice a significant amount of time is spent on unsuccessful proof attempts of wrong conjectures. An automatic method that reveals them by generating finite counter examples would offer an extremely valuable support for a proof engineer by saving his time and effort. In practice, such counter examples tend to be small, so usually there is no need to search for big instances. Most definitions of functions or predicates on infinite structures do not preserve the semantics if a transition to arbitrary finite substructures is made. We propose constraints which guarantee a correct axiomatization on finite structures and present an approach which uses the Alloy Analyzer to generate finite instances of theories in the theorem prover KIV. It is evaluated on the library of basic data types as well as on some challenging case studies in KIV. The technique is implemented using the Kodkod constraint solver which is a successor of Alloy.     

Method development for epoxy resin analysis

Epoxy resin based negative photo resists are showing interesting properties which are useful for a series of applications in electronic industries (Mark et al. in Encyclopedia of polymer science and engineering, Wiley, New York, 1986; Potter in Epoxide resins, Springer, New York, 1970; May and Tanka in Epoxy resin chemistry and technology, Marcel Dekker, New York, 1973; Bauer in Epoxy resin chemistry, vol 114, American Chemical Society, Washington, 1979; Hood in RAPRA Rev Rep 38:4, 1990). Especially in micro system technologies they promise a high potential. To adjust the properties for the particular application modification of the chemical composition and crosslinker system must be performed. An actual problem is the constancy in behaviour during the LIGA-process of the resist mixture. In this work analytical techniques are used to get a detailed insight into the chemical composition of a commercial available epoxy novolac resin. Methods like size exclusion chromatography (SEC), matrix assisted laser desorption-time of flight (MALDI-ToF) and fourier transform infrared spectroscopy (FTIR) offer information about the molecular weight and functionality. The results reveal a distribution in molecular weight and functionality. Due this the resin was chemically modified. After processing a dependency of molecular weight and therefore the amount of epoxy groups existent was obtained.     

Driving Automotive User Interface Research

Cars offer an interesting but challenging microcosm for pervasive computing research and, in particular, for interaction with pervasive computing systems. Increasingly, researchers are looking at interactive applications in the car and investigating human-car interaction from a computer science—rather than an ergonomics or mechanical engineering—perspective. This article reports on the International Conference on Automotive User Interfaces and Interactive Vehicular Applications, wherein participants shared presentations on topics such as aesthetics, user interaction and distraction, safety, and driver monitoring.