Thermal modeling in electricity assisted incremental sheet forming

A thermal model was built to account for the effects of geometrical parameters of sheet specimen, process parameters and material parameters on the temperature increase of the sheet specimen in Electricity-Assisted Incremental Sheet Forming (EISF). In the EISF, the local area of sheet specimen contacting with a forming tool is heated by direct current, which flows through the forming tool to the sheet specimen. EISF experiments of two high strength steel sheets were carried out to validate the thermal model. The thermal model can be integrated into the control program of EISF system to achieve more accurate temperature control.     

Überwachung mit Videokameras durch nicht-öffentliche Stellen

Aus den Datenschutzbeh?rden

überwachung mit Videokameras durch nicht-?ffentliche Stellen     

Service integrators in business networks—the importance of relationship values

To realise the potentials of CRM (customer relationship management), relationship-specific processes need to be designed and implemented in companies. This is all the more important and complicated in business networks where two or more actors collaborate to serve the customers. A good collaboration within business networks is the basis for understanding the customer process and identifying customer needs. But, even in these days of customer orientation, transaction orientation is still a matter of strong interest, and the following questions remain to be answered: What is the difference between relationship-oriented processes and transaction-oriented processes, and how can relationship-oriented processes be designed for a business network? The authors give first answers to both questions by using a systematic, goal-oriented specialisation of generic actions. To give an example, one relationship-oriented process will be designed and specified for a certain customer process in the course of this paper.     

Two new control signal approaches for obtaining the MRAS-CDM and a real-time application

The coefficient diagram method (CDM) is one of the most effective control design methods. It creates control systems that are very stable and robust with responses without the overshoot and small settling time. Furthermore, all control parameters of the control systems are changed by varying some adjustment parameters in CDM depending on the demands. The model reference adaptive systems (MRAS) are the systems that follow and change the control parameters according to a given model reference system. There are several methods to combine the CDM with MRAS. One of these is to use the MRAS parameters as a gain of the CDM parameters. Another is to directly use the CDM parameters as the MRAS parameters. In the industrial applications, the system parameters can be changed frequently, but if the controller, by self-tuning, recalculates and develops its own parameters continuously, the system becomes more robust. Also, if the poles of the controlled systems approach the jw axis, the response of the closed-loop MRAS becomes more and more insufficient. In order to obtain better results, CDM is combined with a self-tuning model reference adaptive system. Systems controlled by a model reference adaptive controller give responses with small or without overshoot, have small settling times, and are more robust. Thus, in this paper, a hybrid combination of MRAS and CDM is developed and two different control structures of the control signal are investigated. The two methods are compared with MRAS and applied to real-time process control systems.     

Adaptive isogeometric analysis by local h-refinement with T-splines

Isogeometric analysis based on non-uniform rational B-splines (NURBS) as basis functions preserves the exact geometry but suffers from the drawback of a rectangular grid of control points in the parameter space, which renders a purely local refinement impossible. This paper demonstrates how this difficulty can be overcome by using T-splines instead. T-splines allow the introduction of so-called T-junctions, which are related to hanging nodes in the standard FEM. Obeying a few straightforward rules, rectangular patches in the parameter space of the T-splines can be subdivided and thus a local refinement becomes feasible while still preserving the exact geometry. Furthermore, it is shown how state-of-the-art a posteriori error estimation techniques can be combined with refinement by T-splines. Numerical examples underline the potential of isogeometric analysis with T-splines and give hints for further developments.     

Crusta: A new virtual globe for real-time visualization of sub-meter digital topography at planetary scales

Virtual globes are becoming ubiquitous in the visualization of planetary bodies and Earth specifically. While many of the current virtual globes have proven to be quite useful for remote geologic investigation, they were never designed for the purpose of serving as virtual geologic instruments. Their shortcomings have become more obvious as earth scientists struggle to visualize recently released digital elevation models of very high spatial resolution (0.5-1 m²/sample) and extent (>2000 km²). We developed Crusta as an alternative virtual globe that allows users to easily visualize their custom imagery and more importantly their custom topography. Crusta represents the globe as a 30-sided polyhedron to avoid distortion of the display, in particular the singularities at the poles characteristic of other projections. This polyhedron defines 30 “base patches,” each being a four-sided region that can be subdivided to an arbitrarily fine grid on the surface of the globe to accommodate input data of arbitrary resolution, from global (BlueMarble) to local (tripod LiDAR), all in the same visualization. We designed Crusta to be dynamic with the shading of the terrain surface computed on-the-fly when a user manipulates his point-of-view. In a similarly interactive fashion the globe's surface can be exaggerated vertically. The combination of the two effects greatly improves the perception of shape. A convenient pre-processing tool based on the GDAL library facilitates importing a number of data formats into the Crusta-specific multi-scale hierarchies that enable interactive visualization on a range of platforms from laptops to immersive geowalls and caves. The main scientific user community for Crusta is earth scientists, and their needs have been driving the development.     

Verifying Temporal Properties of Reactive Systems: A STeP Tutorial

We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions of the Bakery Mutual exclusion algorithm for mutual exclusion. We verify the classic two-process algorithm and simple variants, as well as an atomic parameterized version. The methods used include deductive verification rules, verification diagrams, automatic invariant generation, and finite-state model checking and abstraction.     

Top-down proteomic analysis by MALDI-TOF profiling: Concentration-independent biomarkers

Although numerous protein biomarkers have been correlated with advanced disease states, no new clinical assays have been developed. Goals often anticipate disease-specific protein changes that exceed values among healthy individuals, a property common to acute phase reactants. This review considers somewhat different approaches. It focuses on intact protein isoform ratios that present a biomarker without change in the total concentration of the protein. These will seldom be detected by peptide level analysis or by most antibody-based assays. For example, application of an inexpensive method to large sample groups resulted in observation of several polymorphisms, including the first structural polymorphism of apolipoprotein C1. Isoform distribution of this protein was altered and was eventually linked to increased obesity. Numerous other protein isoforms included C- and N-terminal proteolysis, changes of glycoisoform ratios and certain types of sulfhydryl oxidation. While many of these gave excellent statistical correlation with advanced disease, clinical utility was not apparent. More important may be that protein isoform ratios were very stable in each individual. Diagnosis by longitudinal analysis of the same individual might increase sensitivity of protein biomarkers by 20-fold or more. Protein changes that exceed the range of values found among healthy individuals may be uncommon.     

Low retaining force optical viewport seal

We report on the experimental realization of an ultrahigh vacuum (UHV) indium sealing between a conflat knife edge and an optical window. The sealing requires a very low clamping force and thus allows for the use of very thin and fragile windows.