等离子体效应对类氦氖Kα线系电偶极辐射的影响

采用离子球模型，通过自洽求解Boltzmann方程和Poisson方程，得到类氦氖离子Kα线系的两条电偶极辐射光谱能量随等离子体环境的漂移．结果显示，Kα线系电偶极谱线随等离子体电子密度增大发生红移，红移量与等离子体电子密度有近似的正比关系；随着等离子体电子温度的降低，光谱红移对等离子体电子密度的敏感性增大。另外，所研究的两条谱线间的能量间隔随等离子体电子密度的增大而减小，减小量随等离子体电子密度的变化也呈现出近似的线性规律。值得注意的是，类氦氖Kα线系中两条电偶极谱线分别为互组合线与共振谱线，而其能量差

适用于中等耦合等离子体的碰撞算子

完全电离等离子体中，当试探粒子分布函数fα是关于试探粒子速度vα的偶函数时，导出了一个新的动力学方程的碰撞算子．该碰撞算子同时包括了大角散射（库仑近碰撞）和小角散射（库仑远碰撞）的二体碰撞的贡献，因此，该碰撞算子同时适用于弱耦合（库仑对数ln∧≥10）和中等耦合（库仑对数2≤ln∧≤10）等离子体．而且经过修改的碰撞算子和Rosenbluth势有直接的联系，当试探粒子和场粒子满足条件mα＜mβ（如电子-离子碰撞或Lorentz气体模型）和｜vα｜〉｜vβ｜时，经约化的电子-离子碰撞算子同最初的Fokker

Self-induced transmission on intersubband resonance in multiple quantum wells

We investigate the nonlinear propagation of ultrashort pulses on resonant intersubband transitions in multiple semiconductor quantum wells. It is shown that the nonlinearity rooted from electron-electron interactions destroys the condition giving rise to self-induced transparency. However, by adjusting the area of input pulse, we find the signatures of self-induced transmission due to a full Rabi flopping of the electron density, and this phenomenon can be approximately interpreted by the traditional standard area theorem via defining the effective area of input pulse.

Ground-state energy shifts of H-like Ti under dense and hot plasma conditions

In this study, by adopting the ion sphere model, the self-consistent. field method is used with the Poisson-Boltzmann equation and the Dirac equation to calculate the ground-state energies of H-like Ti at a plasma electron density from 10(22) cm(-3) to 10(24) cm(-3) and the electron temperature from 100 eV to 3600 eV. The ground-state energy shifts of H-like Ti show different trends with the electron density and the electron temperature. It is shown that the energy shifts increase with the increase in the electron density and decrease with the increase in the electron temperature. The energy shifts are sensitive to the electron density, but only sensitive to the low electron temperature. In addition, an accurately fitting formula is obtained to fast estimate the ground-state energies of H-like Ti. Such fitted formula can also be used to estimate the critical electron density of pressure ionization for the ground state of H-like Ti.

Optical properties of a square-lattice photonic crystal within the partial bandgap

Optical properties of a two-dimensional square-lattice photonic crystal are systematically investigated within the partial bandgap through anisotropic characteristics analysis and numerical simulation of field pattern. Using the plane-wave expansion method and Hellmann-Feynman theorem, the relationships between the incident and refracted angles for both phase and group velocities are calculated to analyze light propagation from air to photonic crystals. Three kinds of flat slab focusing are summarized and demonstrated by numerical simulations using the multiple scattering method. (c) 2007 Optical Society of America

Electrical transport in metallic films

On the basis of the Boltzmann equation, the authors propose a model that includes scattering from both film surfaces and grain boundaries, and have studied the quasiclassical electrical transport in metallic films. The in-plane electric conductivity of metallic films is obtained, and the theoretical results are shown to be in good agreement with experimental data. We also give the relation between temperature coefficient of resistivity and thickness of metallic films and make a comparison with experiment. <(C)> 2004 American Institute of Physics.

Analysis of lateral current spreading in solar cell devices by spatially-resolved electroluminescence

Spatially-resolved electroluminescence (EL) images from solar cells contain information of local current distribution. By theoretical analysis of the EL intensity distribution, the current density distribution under a certain current bias and the sheet resistance can be obtained quantitatively. Two-dimensional numerical simulation of the current density distribution is employed to a GaInP cell, which agrees very well with the experimental results. A reciprocity theorem for current spreading is found and used to interpret the EL images from the viewpoint of current extraction. The optimization of front electrodes is discussed based on the results. (C) 2010 American Institute of Physics. [doi:10.1063/1.3431390]

Dynamics of quantum dissipation systems interacting with fermion and boson grand canonical bath ensembles: Hierarchical equations of motion approach

A hierarchical equations of motion formalism for a quantum dissipation system in a grand canonical bath ensemble surrounding is constructed on the basis of the calculus-on-path-integral algorithm, together with the parametrization of arbitrary non-Markovian bath that satisfies fluctuation-dissipation theorem. The influence functionals for both the fermion or boson bath interaction are found to be of the same path integral expression as the canonical bath, assuming they all satisfy the Gaussian statistics. However, the equation of motion formalism is different due to the fluctuation-dissipation theories that are distinct and used explicitly. The implications of the present work to quantum transport through molecular wires and electron transfer in complex molecular systems are discussed. (c) 2007 American Institute of Physics.

Quantum master equation scheme of time-dependent density functional theory to time-dependent transport in nanoelectronic devices

In this work a practical scheme is developed for the first-principles study of time-dependent quantum transport. The basic idea is to combine the transport master equation with the well-known time-dependent density functional theory. The key ingredients of this paper include (i) the partitioning-free initial condition and the consideration of the time-dependent bias voltages which base our treatment on the Runge-Gross existence theorem; (ii) the non-Markovian master equation for the reduced (many-body) central system (i.e., the device); and (iii) the construction of Kohn-Sham master equations for the reduced single-particle density matrix, where a number of auxiliary functions are introduced and their equations of motion (EOMs) are established based on the technique of spectral decomposition. As a result, starting with a well-defined initial state, the time-dependent transport current can be calculated simultaneously along with the propagation of the Kohn-Sham master equation and the EOMs of the auxiliary functions.

A model for scattering due to interface roughness in finite quantum wells

A model for scattering due to interface roughness in finite quantum wells (QWs) is developed within the framework of the Boltzmann transport equation and a simple and explicit expression between mobility limited by interface roughness scattering and barrier height is obtained. The main advantage of our model is that it does not involve complicated wavefunction calculations, and thus it is convenient for predicting the mobility in thin finite QWs. It is found that the mobility limited by interface roughness is one order of amplitude higher than the results derived by assuming an infinite barrier, for finite barrier height QWs where x = 0.3. The mobility first decreases and then flattens out as the barrier confinement increases. The experimental results may be explained with monolayers of asperity height 1-2, and a correlation length of about 33 angstrom. The calculation results are in excellent agreement with the experimental data from AlxGa1-xAs/GaAs QWs.

Electronic structure and optical properties of quantum rods with wurtzite structure

The Hamiltonian of the wurtzite quantum rods with an ellipsoidal boundary is given after a coordinate transformation. The energies, wave functions, and transition possibilities are obtained as functions of the aspect ratio e with the same method we used on spherical dots. With an overall consideration of both the transition matrix element and the Boltzmann distribution we explained why the polarization factor increases with increasing e and approaches a saturation value, which tallies quite well with the experimental result. When e increases more and more S-z states are mixed into the ground, second, and third states of J(z)=1/2, resulting in an increase of the emission of z polarization. It is just the linear terms of the momentum operator in the hole Hamiltonian that cause the mixing of S and P states in the hole ground state. The effects of the crystal field splitting energy, temperature, and transverse radius to the polarization are also considered. We also calculated the band gap variation with the size and shape of the quantum rods.

Formal specification and refinement of a safe train control function

Motivated by the design and development challenges of the BART case study, an approach for developing and analyzing a formal model for reactive systems is presented. The approach makes use of a domain specific language for specifying control algorithms able to satisfy competing properties such as safety and optimality. The domain language, called SPC, offers several key abstractions such as the state, the profile, and the constraint to facilitate problem specification. Using a high-level program transformation system such as HATS being developed at the University of Nebraska at Omaha, specifications in this modelling language can be transformed to ML code. The resulting executable specification can be further refined by applying generic transformations to the abstractions provided by the domain language. Problem dependent transformations utilizing the domain specific knowledge and properties may also be applied. The result is a significantly more efficient implementation which can be used for simulation and gaining deeper insight into design decisions and various control policies. The correctness of transformations can be established using a rewrite-rule based induction theorem prover Rewrite Rule Laboratory developed at the University of New Mexico.

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 logic for default reasoning

The need to make default assumptions is frequently encountered in reasoning about incompletely specified worlds. Inferences sanctioned by default are best viewed as beliefs which may well be modified or rejected by subsequent observations. It is this property which leads to the non-monotonicity of any logic of defaults. In this paper we propose a logic for default reasoning. We then specialize our treatment to a very large class of commonly occuring defaults. For this class we develop a complete proof theory and show how to interface it with a top down resolution theorem prover. Finally, we provide criteria under which the revision of derived beliefs must be effected.

automatic construction of finite algebras

This paper deals withmodel generation for equational theories, i.e., automatically generating (finite) models of a given set of (logical) equations. Our method of finite model generation and a tool for automatic construction of finite algebras is described. Some examples are given to show the applications of our program. We argue that, the combination of model generators and theorem provers enables us to get a better understanding of logical theories. A brief comparison between our tool and other similar tools is also presented.