When is `partial' adequate? A logic-based proof technique using partial specifications

A technique is presented for ascertaining when a (finite-state) partial process specification is adequate, in the sense of being specified enough, for contexts in which it is to be used. The method relies on the automatic generation of a modal formula from the partial specification; if the remainder of the network satisfies this formula, then any process that meets the specification is guaranteed to ensure correct behavior of the overall system. Using the results, the authors develop compositional proof rules for establishing the correctness of networks of parallel processes and illustrate their use with several examples

Kinetics of picosecond laser pulse induced charge separation and proton transfer in bacteriorhodopsin

Bacteriorhodopsin (BR) films oriented by an electrophoretic method are deposited on a transparent conductive ITO glass. A counterelectrode of copper and gelose gel is used to compose a sandwich-type photodetector with the structure of ITO/BR film/gelose gel/Cu. A single 30-ps laser pulse and a mode-locked pulse train are respectively used to excite the BR photodetector. The ultrafast failing edge and the bipolar response signal are measured by the digital oscilloscope under seven different time ranges. Marquardt nonlinear least squares fitting is used to fit all the experimental data and a good fitting equation is found to describe the kinetic process of the photoelectric signal. Data fitting resolves six exponential components that can be assigned to a seven-step BR photocycle model: BR-->K-->KL-->L-->M-->N-->O-->BR. Comparing tests of the BR photodetector with a 100-ps Si PIN photodiode demonstrates that this type of BIR photocletector has at least 100-ps response time and can also serve as a fast photoelectric switch. (C) 2003 Society of Photo-Optical Instrumentation Engineers.

Charge Separation in Wurtzite/Zinc-Blende Heterojunction GaN Nanowires

The electronic properties of wurtzite/zinc-blende (WZ/ZB) heterojunction GaN are investigated using first-principles methods. A small component of ZB stacking formed along the growth direction in the WZ GaN nanowires does not show a significant effect on the electronic property, whereas a charge separation of electrons and holes occurs along the directions perpendicular to the growth direction in the ZB stacking. The later case provides an efficient way to separate the charge through controlling crystal structure. These results have significant implications for most state of the art excitonic solar cells and the tuning region in tunable laser diodes.

Subband separation energy dependence of intersubband relaxation time in wide quantum wells

Subband separation energy dependence of intersubband relaxation time in a wide quantum well (250 Angstrom) was studied by steady-state and time-resolved photoluminescence. By applying a perpendicular electrical field, the subband separation energy in the quantum well is continuously tuned from 21 to 40 meV. As a result, it is found that the intersubband relaxation time undergoes a drastic change from several hundred picoseconds to subpicoseconds. It is also found that the intersubband relaxation has already become very fast before the energy separation really reaches one optical phonon energy. (C) 1997 American Institute of Physics.

A voltage-controlled ring oscillator using InP full enhancement-mode HEMT logic

A voltage-controlled ring oscillator (VCO) based on a full enhancement-mode InAIAs/InGaAs/InP high electron mobility transistor (HEMT) logic is proposed. An enhancement-mode HEMT (E-HEMT) is fabricated, whose threshold is demonstrated to be 10 mV. The model of the E-HEMT is established and used in the SPICE simulation of the VCO. The result proves that the full E-HEMT logic technology can be applied to the VCO. And compared with the HEMT DCFL technology, the complexity of our fabrication process is reduced and the reliability is improved.

A Monolithic Integrated Logic Circuit of Resonant Tunneling Diodes and a HEMT

A technology for the monolithic integration of resonant tunneling diodes (RTDs) and high electron mobility transistors (HEMTs) is developed. Molecular beam epitaxy is used to grow an RTD on a HEMT structure on GaAs substrate. The RTD has a room temperature peak-to-valley ratio of 5.2:1 with a peak current density of 22.5kA/cm~2. The HEMT has a 1μm gate length with a-1V threshold voltage. A logic circuit called a monostableto-bistable transition logic element (MOBILE) circuit is developed. The experimental result confirms that the fabricated logic circuit operates successfully with frequency operations of up to 2GHz.

Measurement of Cavity Loss and Quasi-Fermi-Level Separation for Fabry-Perot Semiconductor Lasers

A fitting process is used to measure the cavity loss and the quasi-Fermi-level separation for Fabry- Perot semiconductor lasers. From the amplified spontaneous emission (ASE) spectrum, the gain spectrum and single-pass ASE obtained by the Cassidy method are applied in the fitting process. For a 1550nm quantum well InGaAsP ridge waveguide laser, the cavity loss of about ～24cm~(-1) is obtained.