Nonlinear laser focusing using a conical guide and generation of energetic ions

Using conventional methods, a laser pulse can be focused down to around 6-8 mu m, but further reduction of the spot size has proven to be difficult. Here it is shown by particle-in-cell simulation that with a hollow cone an intense laser pulse can be reduced to a tiny, highly localized, spot of around 1 mu m radius, accompanied by much enhanced light intensity. The pulse shaping and focusing effect is due to a nonlinear laser-plasma interaction on the inner surface of the cone. When a thin foil is attached to the tip of the cone, the cone-focused light pulse compresses and accelerates the ions in its path and can punch through the thin target, creating highly localized energetic ion bunches of high density.

Spectral evolution of angularly resolved third-order harmonic generation by infrared femtosecond laser-pulse filamentation in air

We experimentally investigate the evolution of an angularly resolved spectrum of third harmonic generated by infrared femtosecond laser pulse filamentation in air. We show that at low pump intensity, phase matching between the fundamental and third-harmonic waves dominates the nonlinear optical effect and induces a ring structure of the third-harmonic beam, whereas at high pump intensity, the dispersion properties of air begin to affect the angular spectrum, leading to the formation of a nonlinear X wave at third harmonic.

Theoretical investigation of single attosecond pulse generation in an orthogonally polarized two-color laser field

We theoretically demonstrate the generation of extreme ultraviolet supercontinua in an orthogonally polarized two-color few-cycle laser field. We show that the ionized electrons can be driven back to their parent ion after traveling along curved trajectories in a plane perpendicular to the beam propagation direction, giving rise to a train of attosecond pulses at different polarization angles. A single isolated attosecond pulse can be obtained by blocking the low-order high harmonics, which contribute to the formation of the satellite pulses. (C) 2008 Optical Society of America.

Tunable high-order harmonic generation and the role of the folded quantum path

We theoretically demonstrate the selective enhancement of high-order harmonic generation (HHG) in two-color laser fields consisting of a single-cycle fundamental wave (800 nm wavelength) and a multicycle subharmonic wave (2400 nm wavelength). By performing time-frequency analyses based on a single-active-electron model, we reveal that such an enhancement is a result of the modified electron trajectories in the two-color field. Furthermore, we show that selectively enhanced HHG gives rise to a bandwidth-controllable extreme ultraviolet supercontinuum in the plateau region, facilitating the generation of intense single isolated attosecond pulses.

Analysis-aware design of embedded systems software

In the past many different methodologies have been devised to support software development and different sets of methodologies have been developed to support the analysis of software artefacts. We have identified this mismatch as one of the causes of the poor reliability of embedded systems software. The issue with software development styles is that they are ``analysis-agnostic.'' They do not try to structure the code in a way that lends itself to analysis. The analysis is usually applied post-mortem after the software was developed and it requires a large amount of effort. The issue with software analysis methodologies is that they do not exploit available information about the system being analyzed.

In this thesis we address the above issues by developing a new methodology, called "analysis-aware" design, that links software development styles with the capabilities of analysis tools. This methodology forms the basis of a framework for interactive software development. The framework consists of an executable specification language and a set of analysis tools based on static analysis, testing, and model checking. The language enforces an analysis-friendly code structure and offers primitives that allow users to implement their own testers and model checkers directly in the language. We introduce a new approach to static analysis that takes advantage of the capabilities of a rule-based engine. We have applied the analysis-aware methodology to the development of a smart home application.

Single sub-100 attosecond pulse generation in a two-colour time-gating laser field

We theoretically propose a method of generating a single sub-100 attosecond (as) pulse with a two-colour time-gating laser field. The field is synthesized by an 8 fs/800 nm (three optical cycles) pulse and a 24 fs/2400 nm (three optical cycles) pulse with an optimal time delay between them. In our simulation, we obtain a supercontinuum with an extremely broad spectrum of 150 eV and generate an isolated attosecond pulse with 96 as pulse duration without any dispersion compensation.

Generation of sub-5 fs pulses through cascade of filamentation and hollow fiber compression

A pulse-compression scheme based on cascade of filamentation and hollow fiber has been demonstrated, Pulses with duration of sub-5 fs and energy of 0.2 mJ near 800 nm have been generated by compressing the similar to 40 fs pulses from a commercial laser system. This method is promising to generate near monocycle high energy pulses. [GRAPHICS] Measured autocorrelation curve of the final compressed pulses with duration of sub-5 fs (black solid) and the simulated autocorrelation curve of 4.6 fs pulse near 800 rim (red dash) (C) 2008 by Astro Ltd. Published exclusively by WILEY-VCH Verlag GmbH & Co. KGaA

Phase-matched high-order harmonic generation in a gas cell with midinfrared femtosecond pulses

We experimentally investigate the generation of high-order harmonics in a 4-mm-long gas cell using midinfrared femtosecond pulses at various wavelengths of 1240 nm, 1500 nm, and 1800 nm. It is observed that the yield and cutoff energy of the generated high-order harmonics critically depend on focal position, gas pressure, and size of the input beam which can be controlled by an aperture placed in front of the focal lens. By optimizing the experimental parameters, we achieve a cutoff energy at similar to 190 eV with the 1500 nm driving pulses, which is the highest for the three wavelengths chosen in our experiment.

Photoluminescence of Ag nanoparticle embedded Tb3+/Ce3+ codoped NaYF4/PVP nanofibers prepared by electrospinning

Ag nanoparticle embedded NaYF4:0.05Tb center dot chi Ce/ PVP (PVP stands for poly(vinyl pyrrolidone)) composite nanofibers have been prepared by electrospinning. A field emission scanning electron microscope and x-ray diffraction have been utilized to characterize the size, morphology and structure of the as-prepared electrospun nanofibers. Obvious photoluminescence (PL) of NaYF4:0.05Tb center dot 0.05Ce/PVP electrospun nanofibers due to the efficient energy transfer from Ce3+ to Tb3+ ions is observed. The PL intensity of the electrospun nanofibers decreases gradually with the addition of Ag nanoparticles. No obvious surface plasmon resonance enhanced luminescence is observed. The reasons for the weakening of the emission intensity with the addition of Ag nanoparticles have also been discussed in this work.

Generation of plasma intrinsic oscillation at the front surface of a target irradiated by a circularly polarized laser pulse

In laser-target interaction, the effects of laser intensity on plasma oscillation at the front surface of targets have been investigated by one-dimensional particle in cell simulations. The periodical oscillations of the ion density and electrostatic field at the front surface of the targets are reported for the first time, which is considered as an intrinsic property of the target excited by the laser. The oscillation period depends only on initial plasma density and is irrelevant with laser intensity. Flattop structures with curves in ion phase space are found with a more intense laser pulse due to the larger amplitude variation of the electrostatic field. A simple but valid model is proposed to interpret the curves.

Attosecond x-ray pulse generation by linear Thomson scattering of intense laser beam with relativistic electron

Linear Thomson scattering of a short pulse laser by relativistic electron lids been investigated using computer simulations. It is shown that scattering of an intense laser pulse of similar to 33 fs full width at half maximum, with an electron of gamma(o) = 10 initial energy, generates an ultrashort, pulsed radiation of 76 attoseconds, with a photon wavelength of 2.5 nm in the backward direction. The scattered radiation generated by a highly relativistic electron has superior quality in terms of its pulse width and angular distribution in comparison to the one generated by lower relativistic energy electron.

Spectral distributions of harmonic generation from electron oscillation driven by intense femtosecond laser pulses

The characteristics of harmonic radiation due to electron oscillation driven by an intense femtosecond laser pulse are analyzed considering a single electron model. An interesting modulated structure of the spectrum is observed and analyzed for different polarization. Higher order harmonic radiations are possible for a sufficiently intense driving laser pulse. We have shown that for a realistic pulsed photon beam, the spectrum of the radiation is red shifted as well as broadened because of changes in the longitudinal velocity of the electrons during the laser pulse. These effects are more pronounced at higher laser intensities giving rise to higher order harmonics that eventually leads to a continuous spectrum. Numerical simulations have further shown that by increasing the laser pulse width broadening of the high harmonic radiations can be limited. (C) 2005 Elsevier B.V. All rights reserved.

Polarization-dependent supercontinuum generation from light filaments in air

We investigate polarization-dependent properties of the supercontinuum emission generated from filaments produced by intense femtosecond laser pulses propagating through air over a long distance. The conversion efficiency from the 800-nm fundamental to white light is observed to be higher for circular polarization than for linear polarization when the laser intensity exceeds the threshold of the breakdown of air. (C) 2005 Optical Society of America.