37 research outputs found
Picosecond photomodulation study of nanocrystalline hydrogenated silicon
Journal ArticleWe have extended our photomodulation studies of nc-Si:H to the picosecond time domain. We measured the decays of photoinduced reflectivity with lOOfs temporal resolution as a function of. light intensity. Comparison with the data obtained on a-Si:H and c-Si indicates that ultrafast trapping and recombination processes are mainly the properties of the amorphous phase. It has also been observed that nc-Si:H is unstable under high illumination
Formalizing Chemical Physics using the Lean Theorem Prover
Chemical theory can be made more rigorous using the Lean theorem prover, an
interactive theorem prover for complex mathematics. We formalize the Langmuir
and BET theories of adsorption, making each scientific premise clear and every
step of the derivations explicit. Lean's math library, mathlib, provides
formally verified theorems for infinite geometries series, which are central to
BET theory. While writing these proofs, Lean prompts us to include mathematical
constraints that were not originally reported. We also illustrate how Lean
flexibly enables the reuse of proofs that build on more complex theories
through the use of functions, definitions, and structures. Finally, we
construct scientific frameworks for interoperable proofs, by creating
structures for classical thermodynamics and kinematics, using them to formalize
gas law relationships like Boyle's Law and equations of motion underlying
Newtonian mechanics, respectively. This approach can be extended to other
fields, enabling the formalization of rich and complex theories in science and
engineering
Characterization of nanometer scale compositionally inhomogeneous AlGaN active regions on bulk AlN substrates
The optical and structural properties of AlGaN active regions containing nanoscale compositional inhomogeneities (NCI) grown on low dislocation density bulk AlN substrates are reported. These substrates are found to improve the internal quantum efficiency and structural quality of NCI-AlGaN active regions for high Al content alloys, as well as the interfaces of the NCI with the surrounding wider bandgap matrix, as manifested in the absence of any significant long decay component of the low temperature radiative lifetime, which is well characterized by a single exponential photoluminescence decay with a 330 ps time constant. However, room temperature results indicate that non-radiative recombination associated with the high point defect density becomes a limiting factor in these films even at low dislocation densities for larger AlN mole fractions
Characterization of nanometer scale compositionally inhomogeneous AlGaN active regions on bulk AlN substrates
Significantly improved minority carrier lifetime observed in a long-wavelength infrared III-V type-II superlattice comprised of InAs/InAsSb
Surface roughening during plasma-enhanced chemical-vapor deposition of hydrogenated amorphous silicon on crystal silicon substrates
Direction-dependent band nonparabolicity effects on high-field electron transport in GaN
Recommended from our members
Excitation wavelength dependence of terahertz emission from InN and InAs
The authors report on the excitation wavelength dependence of terahertz emission from n-InN and bulk p-InAs pumped with femtosecond pulses tunable from 800 to 1500 nm. The terahertz amplitude, normalized to pump and probe power, from both narrow band gap semiconductors remains relatively constant over the excitation wavelength range. In addition, terahertz radiation from In- and N-face InN samples with bulk carrier concentrations ranging from 10(17) to 10(19) cm(-3) is also investigated, showing a strong dependence of terahertz emission on bulk carrier concentration. The experimental results agree well with calculations based on drift-diffusion equations incorporating momentum conservation and relaxation. (c) 2006 American Institute of Physics