Propagation properties of a hard-edged diffracted beam generated by a Gaussian mirror resonator

Based on the scalar diffraction theory, the propagation and focusing properties of a hard-edged diffracted beam generated by a Gaussian mirror resonator were investigated. Explicit expressions for the field distribution of the truncated beam that propagates through a paraxial optical ABCD system were derived in detail. Numerical examples are given to illustrate our analytical results. (c) 2006 Optical Society of America.

A novel antimicrobial peptide from salivary glands of the hard tick, Ixodes sinensis

A novel antimicrobial peptide named as ixosin was isolated from the salivary glands of the hard tick, Ixodes sinensis, by gel filtration, ion exchange chromatography and reverse-phase high-performance liquid chromatography (RP-HPLC). Its amino acid sequen

Proof of solid state cathodoluminescence by using brightness waveform

Three different inorganic-organic hetero-junctions (A : ITO/SiO2/Alq(3)/Al, B: ITO/Alq3/SiO2/Al and C: ITO/SiO2/Alq(3)/ SiO2/Al) were fabricated. The emission can be observed only under positive bias in devices A and B, but under both biases in device C according to their brightness waveforms. With increasing voltage, the increase in blue emission in devices B and C is faster than that in green emission. This is because that the recombination of hot electrons and holes, i.e., electron-hole pairs, produced blue emission in devices B and C, and the recombination of electrons injected from Al with the accumulated holes, which are excited by hot electrons, produced green emission in device A. Hence, the emissions of the devices are attributed to not only the recombination of electrons and accumulated holes, but also the cathodoluminescence-like (CL-like) emission.

Proof of InAs/GaAs self-organized quantum dot lasing and the experimental determination of local Strain effect on the band structures

Confirmation of quantum dot lasing have been given by photoluminescence and electro-luminescence spectra. Energy levels of QD laser are distinctively resolved due to band filling effect, and the lasing energy of quantum dot laser is much lower than quantum well laser. The energy barrier at InAs/GaAs interface due to the built-in strain in self-organized system has been determined experimentally by deep level transient spectroscopy (DLTS). Such barrier has been predicted by previous theories and can be explained by the apexes appeared in the interface between InAs and GaAs caused by strain.

Hard magnetic properties of Sm3Fe26.7VxN4 and Sm3Fe26.7VxCy

Sm3Fe26.7V2.3N4 nitrides and Sm3Fe26.7V2.3Cy carbides have been synthesized by gas-solid phase reaction. Their hard magnetic properties have been investigated by means of additional ball-milling at room temperature. The saturation magnetization of Sm3Fe26.7V2.3N4 almost decreases linearly with increasing ball-milling time t, but that of Sm3Fe26.7V2.3Cy has no obvious change when the ball-milling time increases from t = 1 to 28 h. As a preliminary result, the maximum remanence B-r of 0.94 and 0.88 T, the coercivity mu(0i)H(C) of 0.75 and 0.25 T, and the maximum energy product (BH) of 108.5 and 39.1 kJ/m(3) for their resin-bonded permanent magnets are achieved, respectively, by ball-milling at 293 K. (C) 1999 Published by Elsevier Science B.V. All rights reserved.

An ambient proof and wide tuning range LC VCO with automatic amplitude control for tuner applications

This paper represents a LC VCO with AAC (Auto Amplitude Control), in which PMOS FETs are used as active components, and the varactors are directly connected to ground to widen Kvco linear range. The AAC circuitry adds little noise to the VCO and provides it with robust performance over a wide temperature and carrier frequency range. The VCO is fabricated in 50-GHz 0.35-mu m SiGe BiCMOS process. The measurement results show that it has -127.27-dBc/Hz phase noise at 1-MHz offset and a linear gain of 32.4-MHz/V between 990-MHz and 1.14-GHz. The whole circuit draws 6.6-mA current from 5.0-V supply.

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

an intuitive formal proof for deadline driven scheduler

United Nations University, Int. Inst. for Softw. Technol., China; Vietnam National University, Hanoi, Vietnam; Vietnam Academy of Science and Technology, Vietnam

Phase equilibria and plate-fluid interfacial tensions for associating hard sphere fluids confined in slit pores

The excess Helmholtz free energy functional for associating hard sphere fluid is formulated by using a modified fundamental measure theory [Y. X. Yu and J. Z. Wu, J. Chem. Phys. 117, 10156 (2002)]. Within the framework of density functional theory, the thermodynamic properties including phase equilibria for both molecules and monomers, equilibrium plate-fluid interfacial tensions and isotherms of excess adsorption, average molecule density, average monomer density, and plate-fluid interfacial tension for four-site associating hard sphere fluids confined in slit pores are investigated. The phase equilibria inside the hard slit pores and attractive slit pores are determined according to the requirement that temperature, chemical potential, and grand potential in coexistence phases should be equal and the plate-fluid interfacial tensions at equilibrium states are predicted consequently. The influences of association energy, fluid-solid interaction, and pore width on phase equilibria and equilibrium plate-fluid interfacial tensions are discussed.

Total Dose Radiation-Hard 0. SOI CMOS Transistors and ASIC

This paper presents the total dose radiation performance of 0. S^m SOI CMOS devices fabricated with full dose SIMOX technology. The radiation performance is characterized by threshold voltage shifts and leakage currents of transistors and standby currents of ASIC as functions of the total dose up to 500krad(Si) .The experimental results show that the worst case threshold voltage shifts of front channels are less than 320mV for pMOS transistors under off-gate radiation bias at lMrad(Si) and less than 120mV for nMOS transistors under on-gate radiation bias. No significant radiation-induced leakage current is observed in transistors to lMrad(Si). The standby currents of ASIC are less than the specification of 5μA over the total dose range of 500krad(Si).