Binding energy of excitons bound to neutral donors in two-dimensional semiconductors

The binding energies of excitons bound to neutral donors in two-dimensional (2D) semiconductors within the spherical-effective-mass approximation, which are nondegenerate energy bands, have been calculated by a variational method for a relevant range of the effective electron-to-hole mass ratio sigma. The ratio of the binding energy of a 2D exciton bound to a neutral donor to that of a 2D neutral donor is found to be from 0.58 to 0.10. In the limit of vanishing sigma and large sigma, the results agree fairly well with previous experimental results. The results of this approach are compared with those of earlier theories.

Analytical study of the antiferromagnetic Heisenberg films

With the variational cumulant expansion (VCE) method, the thermodynamic behaviors of S = 1/2 antiferromagnetic Heisenberg films in simple cubic lattices are studied analytically. From the analytic properties of the free energy, in principle we are able to calculate analytically the critical temperatures T-c(L) and the thermodynamic functions, to any order cumulant as the functions of the number of L (the hyperlayers in the hyperfilm). Explicit expressions for T-c(L) up to the fourth order are given. A comparison with the existing results for 3-dimensional system is given. The effective range of the interaction is obtained from numerical results.

Quantum-confined Stark effects of exciton states in V-shaped GaAs/AlxGa1-xAs quantum wires

Quantum-confined Stark effects are investigated theoretically in GaAs/AlxGa1-xAs quantum wires formed in V-grooved structures. The electronic structures of the V-shaped quantum wires are calculated within the effective mass envelope function theory in the presence of electric field. The binding energies of excitons are also studied by two-dimensional Fourier transformation and variational method. The blue Stark shifts are found when the electric field is applied in the growth direction. A possible mechanism in which the blueshifts of photoluminescence peaks are attributed to two factors, one factor comes from the asymmetric structure of quantum wire along the electric field and another factor arises from the electric-field-induced change of the Coulomb interaction. The numerical results are compared with the recent experiment measurement.

Trace theory

The concept of traces has been introduced for describing non-sequential behaviour of concurrent systems via its sequential observations. Traces represent concurrent processes in the same way as strings represent sequential ones. The theory of traces can be used as a tool for reasoning about nets and it is hoped that applying this theory one can get a calculus of the concurrent processes anologous to that available for sequential systems. The following topics will be discussed: algebraic properties of traces, trace models of some concurrency phenomena, fixed-point calculus for finding the behaviour of nets, modularity, and some applications of the presented theory.

instability of standing wave, global existence and blowup for the klein-gordon-zakharov system with different-degree nonlinearities

This paper discusses the Klein–Gordon–Zakharov system with different-degree nonlinearities in two and three space dimensions. Firstly, we prove the existence of standing wave with ground state by applying an intricate variational argument. Next, by introducing an auxiliary functional and an equivalent minimization problem, we obtain two invariant manifolds under the solution flow generated by the Cauchy problem to the aforementioned Klein–Gordon–Zakharov system. Furthermore, by constructing a type of constrained variational problem, utilizing the above two invariant manifolds as well as applying potential well argument and concavity method, we derive a sharp threshold for global existence and blowup. Then, combining the above results, we obtain two conclusions of how small the initial data are for the solution to exist globally by using dilation transformation. Finally, we prove a modified instability of standing wave to the system under study.

带复杂数据结构的模型检测工具

模型检测是近二十几年来最成功的自动验证技术之一,而模型检测工具的开发是将模型检测和实际相结合的关键.为了有效地对涉及到复杂数据类型的并发传值系统进行模型检测,总结了以扩展的带赋值符号迁移图和模态图分别作为并发系统和逻辑公式的语义模型来实现模型检测工具的工作,特别是将复杂数据结构引入传值进程定义语言和带赋值符号迁移图.同时结合实际例子说明模型检测工具的有效性.

谓词μ演算和模态图的语义一致性

模态图是谓词μ演算的一种有效的图形表示形式。证明了谓词μ演算和模态图的语义一致性，详细讨论了谓词μ演算公式、嵌套谓词等式系和模态图之间的关系，并给出了一种优化的从线性公式到嵌套谓词等式系的转换算法。

面向传值进程的谓词μ-演算与FO(HML)的完备推演系统

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

π-演算互模拟判定算法的优化和实现

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

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