We consider an interpretation of monadic second-order logic of order in the continuous time structure of nitely variable signals and show the decidability of monadic logic in this structure. The expressive power of monadic logic is illustrated by providing a straightforward meaning preserving translation into monadic logic of three typical continuous time speciication formalism: Temporal Logic ...

The challenge in visualizing fast microscale fluid motion phenomena is to record high-quality images free of motion-blur. Here, we present an illumination technique based on laser-induced fluorescence which delivers high-intensity light pulses of 7 ns. The light source consists of a Q-switched Nd:YAG laser and a laser dye solution incorporated into a total internal reflection lens, resulting in...

This paper introduces and discusses the main aspects of multicolored femtosecond pulse generation using cascaded four-wave mixing (CFWM) in transparent bulk materials. Theoretical analysis and semi-quantitative calculations, based on the phase-matching condition of the four-wave mixing process, explain the phenomena well. Experimental studies, based on our experiments, have shown the main chara...

Based on the free precession model of the isolated pulsar PSR B1828-11, Link & Epstein (2001) showed that the observed pulse durations require the radio beam to have a non-standard shape: the beam duration is larger for beam sweeps farthest from the dipole axis. In their analysis they assumed that the actual precession period is ≃ 500 d. Recent theoretical studies suggested that the actual prec...

Duration Calculus with Iteration (DC∗) has been used as an interface between original Duration Calculus and Timed Automata, but has not been studied rigorously. In this paper, we study a subset of DC∗ formulas consisting of so-called simple ones which corresponds precisely with the class of Timed Automata. We give a complete proof system and the decidability results for the subset.

Laser milling provides a new method of producing components for the micro tool manufacturing industry. This paper considers the technical capabilities of laser milling when applied to the machining of components for micro tooling. Characteristics important for laser milling as a micro tooling manufacturing process are reviewed. These characteristics are surface finish, aspect ratio, dimensional...

We prove that the particularly narrow subset of the duration calculus which is defined by the BNF φ ::= ⊥ | dSe | A | φ ⇒ φ | (φ; φ) is not recursively axiomatisable or, in other words, incomplete.

a chromium electroplating bath with the ability to produce homogenous mist was used to evaluate parameters influencing hexavalent chromium (cr+6) mist sampling methods. the results of 48 cr+6mist samples collected using the u.s. national institute for occupational safety and health method 7600showed that cr+6concentration was higher: (1) for sampling by closed-face filter cassettes than for sam...

We present an alternative method for measuring ultrashort extreme-ultraviolet pulses that can be synchronized with an intense infrared pulse. The method, based on photoionization of a target atom by the extremeultraviolet pulse in the presence of the infrared pulse, has a potential accuracy of close to 1 fs and is susceptible to single-shot operation. It is demonstrated on harmonic 15 of a tita...

We present a monolithic passively Q-switched microchip laser generating 200 ps pulses at a wavelength of 1064 nm with a repetition rate of up to 2 MHz. While maintaining transversal and longitudinal single-mode operation, the pulse energy can be changed from 130 nJ to 400 nJ by varying the pump conditions of the laser. To the best of our knowledge, the repetition rate of 2 MHz is by far the hig...