Last Lecture: • Model of timed behaviour: state variables and their interpretation • First order predicate-logic for requirements and system properties This Lecture: • Educational Objectives: Capabilities for following tasks/questions. • Read (and at best also write) Duration Calculus formulae. • Content: • Classes of requirements (safety, liveness, etc.) • Duration Calculus: Assertions, Terms,...

The design of grating-based instruments to handle and condition coherent ultrafast pulses in the extreme-ultraviolet is discussed. The main application of such instruments is the monochromatization of high-order laser harmonics and free-electron-laser pulses in the femtosecond time scale. Broad-band monochromators require the use of diffraction gratings at grazing incidence. A grating can be us...

Lithium containing droplet and cluster targets irradiated by laser pulses are proposed as prospective source of for soft x-ray lithography. Analytical model and simulations show that laser with repetition rate of several MHz with energy of several mJ and pulse duration 10 ps is required.

We show that according to the GRB internal shock model the pulse duration and the interval between neighboring pulses are correlated and have a similar distribution. We analyze a sample of bright long bursts and find that the pulses duration have a lognormal distribution while the intervals has an excess of long intervals (relative to lognormal distribution). This excess can be explained by the...

We extend Duration Calculus to a logic which allows description of Discrete Processes where several steps of computation can occur at the same time point. The resulting logic is called Duration Calculus of Weakly Monotonic Time (WDC). It allows effects such as true synchrony and digitisation to be modelled. As an example of this, we formulate a novel semantics of Timed CSP assuming that the com...

Effects of stimulus duration and inter-letter spacing were studied in a letter-in-string identification paradigm. Participants were shown strings of 5 random consonants (e.g., PGKDM) centered on fixation and were asked to identify the letter that had appeared at a post-cued location. Stimulus duration was manipulated in Experiment 1 (13 ms-91 ms), and inter-letter spacing manipulated in Experim...

For focused pulses of light in isotropic nonlinear media, third-harmonic generation can be strongly affected by group-velocity mismatch between the fundamental and third-harmonic. There is a characteristic time determined by the group-velocity mismatch and the Rayleigh range of the focused pulse. The dynamics depend on two dimensionless quantities, namely the ratio of the characteristic time to...

We efficiently extract an ultraviolet femtosecond pulse train of milliwatt average power and 100 MHz repetition rate from a colliding pulse mode-locked dye laser by intracavity frequency doubling in KDP. The ultraviolet and visible outputs, which are comparable in power and pulse duration, are perfect synchronized with each