CABLE ROBOTS AS CONVENTIONAL LINEAR STAGE ALTERNATIVES FOR THE INVESTIGATION OF COMPLEX-SHAPED OBJECTS VIA MACROSCOPIC X-RAY FLUORESCENCE IMAGING

Cable Robots as Conventional Linear Stage Alternatives for the Investigation of Complex-Shaped Objects via Macroscopic X-ray Fluorescence Imaging

The acquisition of elemental and chemical distribution images on the surface of cultural heritage objects has provided us new insights into our past.The techniques commonly employed, such as macroscopic X-ray fluorescence imaging (MA-XRF), in general require pointwise or whisk-broom scanning of an object under constant measurement geometry for opti

read more


Port Protocols for Deadlock-Freedom of Component Systems

In component-based development, approaches for property verification exist that avoid building the global system behavior of the component model.Typically, these approaches rely Fat Separators on the analysis of the local behavior of fixed sized subsystems of components.In our approach, we want to avoid not only the analysis of the global behavior

read more