Ultralow Expansion Glass as Material for Advanced Micromechanical Systems

Ultralow expansion (ULE) glasses are of special interest for temperature stabilized systems for example in precision metrology. Nowadays, ULE materials are mainly used in macroscopic and less in micromechanical systems. Reasons for this are a lack of technologies for parallel fabricating high-quality released microstructures with a high accuracy. As a result, there is a high demand in transferring these materials into miniaturized application examples, realistic system modeling, and the investigation of microscopic material properties. Herein, a technological base for fabricating released micromechanical structures and systems with a structure height above 100 μm in ULE 7972 glass is established. Herein, the main fabrication parameters that are important for the system design and contribute thus to the introduction of titanium silicate as material for glass-based micromechanical systems are discussed. To study the mechanical properties in combination with respective simulation models, microcantilevers are used as basic mechanical elements to evaluate technological parameters and other impact factors. The implemented models allow to predict the micromechanical system properties with a deviation of only ±5% and can thus effectively support the micromechanical system design in an early stage of development.     

3D-Druck für Hochvakuumanwendungen

To mark our anniversary, we are presenting articles that have been particularly appreciated by readers of our online edition once again in print. Here: 3D-Printing for High Vacuum Applications 3D printing technology has made the leap from a home-based private practice to industrial manufacturing. Due to the increasing reliability of printers and increasing material diversity, especially in the metal sector, double-digit percentage growth rates are possible in the coming years. This thesis deals with the manufacture of parts made by 3D printing for high vacuum application. Different components are printed and examined for their vacuum compatibility. As shown furthermore, conventionally made standard components can be vacuum sealed to printed parts, which enables cost-effective production of more complex components, such as e.g. a vacuum chamber allows. In addition, functional components can already be realized in the manufacturing process. The integration of a system of flow channels directly into the wall of a chamber is just one example. Thus, such a chamber can be heated during evacuation and effectively cool in later operation.     

High-resolution venography of the brain using magnetic resonance imaging

The purpose of this study was to evaluate a non-flow related magnetic resonance imaging method to visualize small veins independent of arteries in the human brain. A long TE, high-resolution 3D gradient echo MR acquisition was used to highlight venous information. The method is based on the paramagnetic property of deoxyhemoglobin and the resulting phase difference between veins and brain parenchyma at long echo times. The MR magnitude images were masked with a phase mask filter to enhance small structure visibility.. Venous information down to sub-pixel vessel diameters of several hundred microns is visible. Venous data are displayed in an angiographic manner using a minimum intensity projection algorithm. Both superficial veins and deep white matter veins are visible. The method has been successfully applied in volunteers. Preliminary results in patients with cerebral arteriovenous malformations indicate its potential in clinical applications. The proposed method is easy to implement and does not require administration of a contrast agent or application of specially designed rf pulses to highlight the veins. Rather it exploits the intrinsic magnetic properties (BOLD-effect) and the prolonged T ^_2* of venous blood. The method may be of diagnostic potential in the assessment of arteriovenous malformations or other vascular venous lesions. © 1998 Elsevier Science B.V. All rights reserved.     

Compact holographic storage demonstrator with rapid access

We discuss the design of a complete, compact holographic storage demonstrator based on a combination of spatial and angular multiplexing and using acousto-optic deflectors for rapid nonmechanical access. We also describe the implementation of this design and preliminary results of both the analog storage and the retrieval of 20,000 holograms in twenty 1-mm-thick layers of a lithium niobate crystal and of the digital storage and error-free retrieval of color images by using error-correcting techniques.     

Supporting rapid design and evaluation of pervasive applications: challenges and solutions

Along with the improvement of the key technologies for pervasive computing, the design of applications itself has emerged as a notable research area. A design should decide which features go into the application of supporting its context-awareness and ascertaining how well those features add value for users with an acceptable user experience. This paper initially identifies the challenges in designing and evaluating pervasive applications. It then presents a condensed survey of prototyping techniques and existing toolkits with the aim of understanding how the design issues have been addressed by research prototypes. At the end, we describe various open issues with suggestions of possible ways to extend the capabilities of current prototyping toolkits.     

On regular temporal logics with past

The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL and the closely related SystemVerilog Assertions, SVA for short, are increasingly used in many phases of the hardware design cycle, from specification to verification. In this article, we extend the common core of these specification languages with past operators. We name this extension PPSL. Although all ω-regular properties are expressible in PSL, SVA, and PPSL, past operators often allow one to specify properties more naturally and concisely. In fact, we show that PPSL is exponentially more succinct than the cores of PSL and SVA. On the star-free properties, PPSL is double exponentially more succinct than LTL. Furthermore, we present a translation of PPSL into language-equivalent nondeterministic Büchi automata, which is based on novel constructions for 2-way alternating automata. The upper bound on the size of the resulting nondeterministic Büchi automata obtained by our translation is almost the same as the upper bound for the nondeterministic Büchi automata obtained from existing translations for PSL and SVA. Consequently, the satisfiability problem and the model-checking problem for PPSL fall into the same complexity classes as the corresponding problems for PSL and SVA.     

Soil moisture estimation over vegetated terrains using multitemporal remote sensing data

A new method for retrieving soil moisture content over vegetated fields, employing multitemporal radar and optical images, is presented. It is based on the integration of the temporal series of radar data within an inversion scheme and on the correction of the vegetation effects. The retrieval algorithm uses the Bayesian maximum posterior probability and assumes the existence of a relation among the soil conditions at the different times of the series. The correction of the vegetation effects models the variation, with respect to the initial time of the series, of the component of the backscattering coefficient due to the soil characteristics as function of the variations of the measured backscattering coefficient and of the biomass. The method is tested on the data acquired throughout the SMEX02 experiment. The results show that measured and estimated soil moistures are fairly well correlated and that the performances of multitemporal retrieval algorithm are better than those obtained by employing one radar acquisition, especially in terms of capability to detect soil moisture changes. Although the approach to correct the vegetation effects on radar observations needs to be further assessed on different sets of data, this finding demonstrates that the proposed method has a potential to improve the quality of the soil moisture retrievals.     

Tight analysis of the (1+1)-EA for the single source shortest path problem

We conduct a rigorous analysis of the (1+1) evolutionary algorithm for the single source shortest path problem proposed by Scharnow, Tinnefeld, and Wegener (The analyses of evolutionary algorithms on sorting and shortest paths problems, 2004, Journal of Mathematical Modelling and Algorithms, 3(4):349-366). We prove that with high probability, the optimization time is O(n2 max{?, log(n)}), where ? is the smallest integer such that any vertex can be reached from the source via a shortest path having at most ? edges. This bound is tight. For all values of n and ? we provide a graph with edge weights such that, with high probability, the optimization time is of order Ω(n2 max{?, log(n)}). To obtain such sharp bounds, we develop a new technique that overcomes the coupon collector behavior of previously used arguments. Also, we exhibit a simple Chernoff type inequality for sums of independent geometrically distributed random variables, and one for sequences of random variables that are not independent, but show a desired behavior independent of the outcomes of the previous random variables. We are optimistic that these tools find further applications in the analysis of evolutionary algorithms.     

GPU-based real-time approximation of the ablation zone for radiofrequency ablation

Percutaneous radiofrequency ablation (RFA) is becoming a standard minimally invasive clinical procedure for the treatment of liver tumors. However, planning the applicator placement such that the malignant tissue is completely destroyed, is a demanding task that requires considerable experience. In this work, we present a fast GPU-based real-time approximation of the ablation zone incorporating the cooling effect of liver vessels. Weighted distance fields of varying RF applicator types are derived from complex numerical simulations to allow a fast estimation of the ablation zone. Furthermore, the heat-sink effect of the cooling blood flow close to the applicator's electrode is estimated by means of a preprocessed thermal equilibrium representation of the liver parenchyma and blood vessels. Utilizing the graphics card, the weighted distance field incorporating the cooling blood flow is calculated using a modular shader framework, which facilitates the real-time visualization of the ablation zone in projected slice views and in volume rendering. The proposed methods are integrated in our software assistant prototype for planning RFA therapy. The software allows the physician to interactively place virtual RF applicator models. The real-time visualization of the corresponding approximated ablation zone facilitates interactive evaluation of the tumor coverage in order to optimize the applicator's placement such that all cancer cells are destroyed by the ablation.