The output energy of 10.6 and 3.25 J with a pulse duration of ~1 ms and a crystal temperature of 85 K was achieved in the Fe:ZnSe and Fe:ZnS lasers, respectively. At room temperature, the Fe:ZnSe laser energy was as high as 1.2 J with a pulse duration of 150 ns. A few optical schemas of the Cr:CdSe laser with laser diode pumping were realized.

Nowadays, carbon fiber reinforced plastics (CFRP) composites is widely used in the aerospace industry due to its excellent mechanical properties. In laser cutting process, high powers are used to cut materials then material melts and burns leaving edges with a high quality finish. To fulfill the high demand of cutting quality, a set of laser cutting parameters of CFRP material are studied. The ...

We theoretically and experimentally studied the dispersion effects in an actively mode-locked inhomogeneously broadened laser. In the positive group velocity dispersion (GVD) region, the laser generates incoherent pulses. Self-phase modulation and resonant dispersion impede reduction of the pulse duration when the GVD is small or near zero. A single, stable, soliton-like pulse can be generated ...

We investigate a variant of dense-time Duration Calculus which permits model checking using timed/hybrid automata. We define a variant of the Duration Calculus, called Interval Duration Logic, (IDL), whose models are timed state sequences [1]. A subset LIDL of IDL consisting only of located time constraints is presented. As our main result, we show that the models of an LIDL formula can be capt...

Deflection of two-level atoms by a pulsed standing wave with a pulse duration of a few nanoseconds is studied by using the density matrix formalism. The effect of the limited coherence time of the pulsed laser field on the momentum distribution of the deflected atoms is investigated. In particular, we determine the coherence time at which the deflection by a pulsed standing wave differs signifi...

INTRODUCTION Parallel transmission is an emerging technique that has great potential in many applications such as reducing selective RF pulse duration and improving B1 and B0 field inhomogeneity in high fields [1-3]. A potential issue in parallel transmission is elevated RF power deposition which is characterized by the specific absorption ratio (SAR). In parallel excitation, the effect of elec...

We use a combination of three techniques for the speciication of processes, data and time: CSP, Object-Z and Duration Calculus. Whereas the combination of CSP and Object-Z is well established by the work of C. Fischer 2, 3], the integration with Duration Calculus is new. The combination is used to specify parts of a novel case study on radio controlled railway crossings.

In this work, we address the problem of verifying a Timed Automaton for a real-time property written in Duration Calculus in the form of Linear Duration Invariants. We present a conservative method for solving the problem using the linear programming techniques. First, we provide a procedure to translate Timed Automata to a sort of regular expressions for timed languages. Then, we extend the li...

We investigate four-wave mixing in hydrogen gas using a gas cell and a hollow fiber for the generation of high-energy, multicolor femtosecond (fs) optical pulses. Both a hydrogen-filled gas cell and hollow fiber lead to the generation of multicolor fs pulses in a broad spectral range from the deep ultraviolet to the near infrared. However, there is a difference in the energy distribution of the...

Many extensions of Duration Calculus (DC) have been proposed for handling different aspects of real-time systems. For each extension several different semantics are defined for different time structures which are suitable for different applications and achieve low complexity for the decidability of some properties. Hence, different proof systems have to be developed for reasoning in different c...