Low-threshold high-temperature operation of lambda similar to 7.4 mu m quantum cascade lasers

We report low-threshold high-temperature operation of 7.4 mu m strain-compensated InGaAs/InAlAs quantum cascade lasers (QCLs). For an uncoated 22-mu m-wide and 2-mm-long laser, the low-threshold current densities, i.e. 0.33 kA/cm(2) at 81 K in pulsed mode and 0.64 kA/cm(2) at 84 K in cw mode, are realized. High-temperature operation of uncoated devices, with a high value of 223 K, is achieved in cw mode.

Design consideration and performance of high-power and high-brightness InGaAs-InGaAsP-AlGaAs quantum-well diode lasers (lambda=0.98 mu m)

In this paper, we conduct a theoretical analysis of the design, fabrication, and performance measurement of high-power and high-brightness strained quantum-well lasers emitting at 0.98 mum, The material system of interest consists of an Al-free InGaAs-InGaAsP active region and AlGaAs cladding layers. Some key parameters of the laser structure are theoretically analyzed, and their effects on the laser performance are discussed. The laser material is grown by metal-organic chemical vapor deposition and demonstrates high quality with low-threshold current density, high internal quantum efficiency, and extremely low internal loss. High-performance broad-area multimode and ridge-waveguide single-mode laser devices are fabricated. For 100-mum-wide stripe lasers having a cavity length of 800 mum, a high slope efficiency of 1.08 W-A, a low vertical beam divergence of 34 degrees, a high output power of over 4.45 W, and a very high characteristic temperature coefficient of 250 K were achieved. Lifetime tests performed at 1.2-1.3 W (12-13 mW/mum) demonstrates reliable performance. For 4-mum-wide ridge waveguide single-mode laser devices, a maximum output power of 394 mW and fundamental mode power up to 200 mW with slope efficiency of 0.91 mW/mum are obtained.

An automata theoretic decision procedure for the propositional mu-calculus

The propositional mu-calculus is a propositional logic of programs which incorporates a least fixpoint operator and subsumes the propositional dynamic logic of Fischer and Ladner, the infinite looping construct of Streett, and the game logic of Parikh. We give an elementary time decision procedure, using a reduction to the emptiness problem for automata on infinite trees. A small model theorem is obtained as a corollary.

a higher-order duration calculus and its completeness

National Natural Science Foundation of China; Public Administration and Civil Service Bureau of Macau SAR; Companhia de Telecomunicacoes de Macau S.A.R.L.; Macau SAR Government Tourist Office