相长干涉：电磁诱导吸收

揭示修饰态原子相干对吸收的相长干涉产生电磁诱导吸收，这与修饰态原子相干对吸收的相消干涉导致电磁诱导透明的情形形成鲜明的对照. 以三个电偶极跃迁构成N型链的四能级系统为例，中间跃迁作为探测跃迁，在修饰态表象中分裂成四个相互耦合的跃迁. 这些耦合源于介质的自发辐射和介质激发态相干到基态相干的自发转移. 前者对所有四个探测跃迁产生相同符号的耦合，表现为对吸收的抑制. 而后者对其中两个跃迁产生正号的耦合，对另两个跃迁产生负号的耦合. 正是这些正负参半的耦合显著改变修饰态相干对吸收的贡献，使之由抑制吸收改变为增强吸 关键词： 电磁诱导吸收 相消干涉 相长干涉 原子相干的自发转移     

Comparison of Picard groups in dimension 1

We compare two Picard groups in dimension 1. Our proofs are constructive and the results generalize a theorem of J. Sands [11]. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Highly efficient four-wave mixing induced by quantum constructive interference in rubidium vapour

We demonstrate efficient four-wave mixing with an intensity conversion efficiency of nearly 100% in theory without considering the Doppler-broadening effect in a four-level double-Λ system of hot 87 Rb gas.The corresponding experimental value of about 73% was reported in our earlier work under the same conditions.This dramatic efficiency is critically dependent on the constructive interference between two four-wave mixing processes relevant to the internally generated four-wave mixing signal.     

Extensional Σ-Spaces in Type Theory

Synthetic Domain Theory provides a setting for denotational semantics following Dana Scott's slogan domains as sets in which all functions are continuous. Several approaches can be found in the literature, but they are either model-dependent or if they use an axiomatic setting then not uniformly and not explicitly. We present a completely logical approach to Synthetic Domain Theory (SDT), axiomatizing (complete) Extensional PERs. On these grounds some basic domain theory is developed. Special attention is devoted to admissibility. The axiomatic approach is advantageous since it allows for easy formalization and comparison to other axiomatic settings.The consistency of the theory is shown by providing an appropriate realizability model. It is discussed how to get from this special kind of SDT {à la Scott} to a more general form which unifies several approaches.     

Construction of uniquely H‐colorable graphs

We shall prove that for any graph H that is a core, if χ(G) is large enough, then H × G is uniquely H‐colorable. We also give a new construction of triangle free graphs, which are uniquely n‐colorable. © 1999 John Wiley & Sons, Inc. J Graph Theory 30: 1–6, 1999     

Finding simple t-designs with enumeration techniques

Lattice basis reduction in combination with an efficient backtracking algorithm is used to find all (4 996 426) simple 7-(33,8,10) designs with automorphism group PΓL(2, 32). © 1998 John Wiley & Sons, Inc. J Combin Designs 6:79–90, 1998     

线结构光共焦显微成像技术的实验研究

激光共焦扫描显微镜大多采用点共焦扫描成像形式,扫描机构复杂,成本高。新型的线结构光共焦显微成像技术是对样品进行线共焦成像,只需对样品进行一维扫描就可以得到整个平面的像。设计了线结构光共焦成像实验装置,进行了线结构光共焦显微成像实验。实验结果证明了线结构光共焦成像的可行性,杂散光明显地减少,提高了成像清晰度,并且有光学层析能力。采用低照度高分辨率CCD代替价格昂贵的像增强器大大降低了系统成本。     

Algorithm for constructing range restricted histosplines

This paper is concerned with numerical methods in range restricted histopolation. The proposal is to apply splines on refined grids. The ratios of the added split points are considered to be parameters. In this way, by choosing suitable spline classes, range restricted histosplines can always be constructed if the restrictions are compatible with the given histogram. We offer an algorithm for solving the bivariate problem on a rectangular grid which utilizes univariate results as well as tensor product techniques. This revised version was published online in June 2006 with corrections to the Cover Date.     

由算法分析引出的一类差分方程的解及其相应的求和公式——悼念游兆永教授

感谢会议对我的邀请并提供发言的机会，此时此地，此会此际，本来游兆永教授当应居东道的首席，不幸不久前逝世了，令人不胜悲痛和惆怅。