Atomic force microscopy at ambient and liquid conditions with stiff sensors and small amplitudes

We report on atomic force microscopy (AFM) in ambient and liquid environments with the qPlus sensor, a force sensor based on a quartz tuning fork with an all-electrical deflection measurement scheme. Small amplitudes, stiff sensors with bulk diamond tips and high Q values in air and liquid allow to obtain high resolution images. The noise sources in air and liquid are analyzed and compared for standard silicon cantilevers and qPlus sensors. First, epitaxial graphene was imaged in air, showing atomic steps with 3 A? height and ridges. As a second sample system, measurements on calcite (CaCO(3)) in liquids were performed in water and polyethylenglycol (PEG). We demonstrate high resolution images of steps in PEG on calcite and nanolithography processes, in particular with frequency-modulation AFM the controlled dissolution of calcite monolayers.     

Towards long term monitoring of electrodermal activity in daily life

Manic depression, also known as bipolar disorder, is a common and severe form of mental disorder. The European research project MONARCA aims at developing and validating mobile technologies for multi-parametric, long term monitoring of physiological and behavioral information relevant to bipolar disorder. One aspect of MONARCA is to investigate the long term monitoring of Electrodermal activity (EDA) to support the diagnosis and treatment of bipolar disorder patients. EDA is known as an indicator of the emotional state and the stress level of a person. To realize a long-term monitoring of the EDA, the integration of the sensor system in the shoe or sock is a promising approach. This paper presents a first step towards such a sensor system. In a feasibility study including 8 subjects, we investigate the correlation between EDA measurements at the fingers, which is the most established sensing site, with measurements of the EDA at the feet. The results indicate that 88% of the evoked skin conductance responses (SCRs) occur at both sensing sites. When using an action movie as psychophysiologically activating stimulus, we have found weaker reactivity in the foot than in the hand EDA. The results also suggest that the influence of moderate physical activity on EDA measurements is low and has a similar effect for both recording sites. This suggests that the foot recording location is suitable for recordings in daily life even in the presence of moderate movement.     

Deciding the Word Problem for Ground and Strongly Shallow Identities w.r.t. Extensional Symbols

Journal of Automated Reasoning - The word problem for a finite set of ground identities is known to be decidable in polynomial time using congruence closure, and this is also the case if some of...     

Localized Synthesis of Iron Oxide Nanowires and Fabrication of High Performance Nanosensors Based on a Single Fe2O3 Nanowire

A composed morphology of iron oxide microstructures covered with very thin nanowires (NWs) with diameter of 15–50 nm has been presented. By oxidizing metallic Fe microparticles at 255 °C for 12 and 24 h, dense iron oxide NW networks bridging prepatterned Au/Cr pads are obtained. X‐ray photoelectron spectroscopy studies reveal formation of α‐Fe₂O₃ and Fe₃O₄ on the surface and it is confirmed by detailed high‐resolution transmission electron microscopy and selected area electron diffraction (SAED) investigations that NWs are single phase α‐Fe₂O₃ and some domains of single phase Fe₃O₄. Localized synthesis of such nano‐ and microparticles directly on sensor platform/structure at 255 °C for 24 h and reoxidation at 650 °C for 0.2–2 h, yield in highly performance and reliable detection of acetone vapor with fast response and recovery times. First nanosensors on a single α‐Fe₂O₃ nanowire are fabricated and studied showing excellent performances and an increase in acetone response by decrease of their diameter was developed. The facile technological approach enables this nanomaterial as candidate for a range of applications in the field of nanoelectronics such as nanosensors and biomedicine devices, especially for breath analysis in the treatment of diabetes patients.     

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.     

Combination problems for commutative/monoidal theories or how algebra can help in equational unification

We study the class of theories for which solving unification problems is equivalent to solving systems of linear equations over a semiring. It encompasses important examples like the theories of Abelian monoids, idempotent Abelian monoids, and Abelian groups. This class has been introduced by the authors independently of each other as commutative theories (Baader) and monoidal theories (Nutt).We show that commutative theories and monoidal theories indeed define the same class (modulo a translation of the signature), and we prove that it is undecidable whether a given theory belongs to it. In the remainder of the paper we investigate combinations of commutative/monoidal theories with other theories. We show that finitary commutative/monoidal theories always satisfy the requirements for applying general methods developed for the combination of unification algorithms for disjoint equational theories.Then we study the adjunction of monoids of homomorphisms to commutative/monoidal theories. This is a special case of a non-disjoint combination, which has an algebraic counterpart in the corresponding semiring. By studying equations over this semiring, we identify a large subclass of commutative/monoidal theories that are of unification type zero. We also show with methods from linear algebra that unitary and finitary commutative/monoidal theories do not change their unification type when they are augmented by a finite monoid of homomor-phisms, and how algorithms for the extended theory can be obtained from algorithms for the basic theory.     

Rule cubes for causal investigations

With the complexity of modern vehicles tremendously increasing, quality engineers play a key role within today’s automotive industry. Field data analysis supports corrective actions in development, production and after sales support. We decompose the requirements and show that association rules, being a popular approach to generating explanative models, still exhibit shortcomings. Interactive rule cubes, which have been proposed recently, are a promising alternative. We extend this work by introducing a way of intuitively visualizing and meaningfully ranking them. Moreover, we present methods to interactively factorize a problem and validate hypotheses by ranking patterns based on expectations, and by browsing a cube-based network of related influences. All this is currently in use as an interactive tool for warranty data analysis in the automotive industry. A real-world case study shows how engineers successfully use it in identifying root causes of quality issues.

Online world modeling and path planning for an unmanned helicopter

Mission scenarios beyond line of sight or with limited ground control station access require capabilities for autonomous safe navigation and necessitate a continuous extension of existing and potentially outdated information about obstacles. The presented approach is a novel synthesis of techniques for 3D environment perception and global path planning. A locally bounded sensor fusion approach is used to extract sparse obstacles for global incremental path planning in an anytime fashion. During the flight, a stereo camera checks the field of view along the flight path ahead by analyzing depth images. A 3D occupancy grid is built incrementally. To reduce the high data rate and storage demands of grid-type maps, an approximated polygonal world model is created. For a compacted representation, it uses prisms and ground planes. This enables the system to constantly renew and update its knowledge about obstacles. An incremental heuristic path planner uses both a-priori information as well as incremental obstacle updates to assure a collision-free path at any time. Mapping results from flight tests show the functionality of onboard world modeling from real sensor data. Path planning feasibility is demonstrated within a simulation environment considering world model changes inside the vehicle’s field of view.     

Using coverage to automate and improve test purpose based testing

Test purposes have been presented as a solution to avoid the state space explosion when selecting test cases from formal models. Although such techniques work very well with regard to the speed of the test derivation, they leave the tester with one important task that influences the quality of the overall testing process: test purposes have to be formulated manually. In this paper, we present an approach that assists a test engineer with test purpose design in two ways: it allows automatic generation of coverage based test suites and can be used to automatically exercise those aspects of the system that are missed by hand-crafted test purposes. We consider coverage of Lotos specifications, and show how labeled transition systems derived from such specifications have to be extended in order to allow the application of logical coverage criteria to Lotos specifications. We then show how existing tools can be used to efficiently derive test cases and suggest how to use the coverage information to minimize test suites while generating them.