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.     

Neue Unabhängigkeit für den betrieblichen Datenschutzbeauftragten?

Der betriebliche Datenschutzbeauftragte dient der Selbstkontrolle der verantwortlichen Stelle. Wirksam ist solch eine Selbstkontrolle aber nur dann, wenn der Datenschutzbeauftragte auch Unabh?gigkeit genie?t. Welche Voraussetzungen hierfür erfüllt sein müssen, erl?utert der folgende Beitrag.     

A two-layer architecture for economically optimal process control and operation

A two-layer architecture for dynamic real-time optimization (or nonlinear modelpredictive control (NMPC) with an economic objective) is presented, where the solution of the dynamic optimization problem is computed on two time-scales. On the upper layer, a rigorous optimization problem is solved with an economic objective function at a slow time-scale, which captures slow trends in process uncertainties. On the lower layer, a fast neighboring-extremal controller is tracking the trajectory in order to deal with fast disturbances acting on the process. Compared to a single-layer architecture, the two-layer architecture is able to address control systems with complex models leading to high computational load, since the rigorous optimization problem can be solved at a slower rate than the process sampling time. Furthermore, solving a new rigorous optimization problem is not necessary at each sampling time if the process has rather slow dynamics compared to the disturbance dynamics. The two-layer control strategy is illustrated with a simulated case study of an industrial polymerization process.