N型四能级光学量子相干系统的结构子类型研究

根据偶极跃迁选择规则,选择合适的跃迁通道,利用布尔代数方法将N型四能级量子相干系统分成5种不同的现实通道子类型,并根据相关耦合光场强度的强、弱不同,将现实通道子类型进一步精确分为48种现实强度子类型.这些子类型的确定有利于N型四能级量子相干系统研究成果的整理与利用.     

核-电子组合系统中γ射线激光的折射率增强

对于有两个电子跃迁和两个核跃迁的双简并四能级系统——核-电组合系统，利用相干光学驱动电子跃迁产生的量子干涉，可以实现γ射线激光的无吸收折射率增强．     

多光子跃迁下Glauber-Lanchs态与运动二能级原子相互作用系统的粒子布局数反转

利用全量子理论,研究了多光子跃迁下Glauber-Lanchs态光场与运动二能级原子相互作用系统的粒子布局数反转.讨论了原子的初始状态、热平均光子数、场模结构参数、相干平均光子数、跃迁光子数对系统粒子布局数反转的影响.结果表明:场模结构参数影响系统粒子布局数反转的振荡周期及振幅大小;原子初始状态、热平均光子数影响粒子布局数反转的振荡幅度;相干平均光子数及跃迁光子数选取不同,系统量子态的原子布局数反转表现出不同的规律.     

三能级Λ型原子系统中边频对相位调制光栅的影响

利用原子相干与干涉效应研究了三能级∧型原子系统中边频对相位调制电磁感应光栅的影响。结果表明由于边频相干,该结构中电磁感应透明窗口从一个拓展到多个。调节合适的边频强度,分析吸收色散性质,利用边频相干效应,相位衍射光栅强度尤其是一阶衍射得到增强。该系统内合适的探测场失谐、边频与中心频率之间的频差、相互作用长度也对相位调制光栅效率起到增强作用。该研究对于发展新颖的量子信息光学、量子网络及光学成像等方面的器件有着潜在的应用。     

Kerr介质中双模相干场与原子多光子相互作用系统的光子统计

利用全量子理论并结合数值计算的方法,研究一个二能级原子与双模相干态光场相互作用系统的光子统计性质．讨论了初始平均光子数、克尔介质的作用强度、跃迁光子数对光子统计特性的影响．     

基于弱测量和量子反弱测量的三能级量子系统稳定研究

利用弱测量和量子反弱测量方法研究了一个V-型三能级量子系统处在振幅耗散退相干环境作用下的问题.得到了相应的最优化条件、保真度以及成功率解析表达式.通过数值模拟,发现到当弱测量和量子反弱测量强度在满足一定条件下,该退相干的三能级量子系统能有效稳定.     

腔中利用人工原子实现多量子比特相位门

在量子信息研究中,多量子比特相位门具有非常重要的意义。本文介绍了实现多量子比特相位门的两种模型,提出了一个利用腔中四能级超导人工原子实现多量子比特相位门的方案。该方案采用一个量子场和两个经典场控制各能级之间的跃迁,提高了多量子比特系统抵抗退相干的能力。     

V型三能级量子点体系中的类相干粒子数囚禁现象

采用产生函数（Generating Function）方法讨论了V型三能级量子点体系在泵浦场和探测场作用下的发射光子的统计特性.研究表明：在强泵浦场作用下,跃迁偶极矩垂直的V型三能级体系表现出Autler-Townes分裂现象;而在跃迁偶极矩平行的V型三能级系统表现出类似于相干粒子数囚禁的现象.通过所施加的探测场,我们可以调节量子点系统发射光子的开关状态.     

掺Yb~(+3)光纤的光学双稳与多稳的相干控制研究

Yb+3具有简单的二能级结构,利用双光子驱动建立起原子的相干,由于Yb+3的能级具有上下多重态的结构特点,使原子跃迁在多个Stark子能级间发生.这些跃迁的相干叠加决定着介质的非线性吸收和色散,而相干叠加的结果取决于驱动场的拉比频率.结果表明通过改变驱动场的拉比频率,可有效控制系统的双稳与多稳的存在与否和阈值强度的高低.     

两量子比特Rabi模型的纠缠动力学

利用零级近似方法讨论了两量子比特Rabi模型中的纠缠动力学问题,分析了不同耦合强度对系统纠缠的影响。这里量子比特和光场的初态分别选取为最大纠缠的Bell态和相干态。通过与数值方法比较,发现当量子比特跃迁频率远小于单模光场的频率时,在超强耦合区域内零级近似方法能够很好地描述系统的纠缠特性。结果显示两量子比特之间的纠缠可呈现突然死亡和产生的现象。而当量子比特之间的纠缠消失时,它们与光场的纠缠可以达到最大值,即两种不同的纠缠相互竞争相互制约。     

特殊钻石型等级晶格上 Q态 Potts 模型的临界性质

通过重整化群的方法,讨论了特殊钻石型晶格上Q态potts模型的相变,求得了系统的临界点,并且得到了关联长度的临界指数。由结果可知,该系统存在有限温度的相变,并且系统的临界点随着Q值的增加而变大。     

一种等级晶格上Gauss模型的临界性质

应用实空间重整化群的方法,研究了外场中一种等级晶格上Gauss模型的相变和临界性质,求出了系统的临界点和临界指数.结果表明,此系统存在一个临界点,与特殊钻石型等级晶格上的Gauss模型相比较,系统的临界指数发生了变化.     

一种等级晶格上S4模型的临界性质

应用实空间重整化群和累积展开的方法, 研究外场中一种等级晶格上S⁴模型的相变和临界性质, 求出系统的临界点和临界指数. 结果表明, 该系统存在一个Gauss不动点和一个Wilson-Fisher不动点, 与特殊钻石型等级晶格上的S⁴模型相比, 系统的临界点和临界指数均发生变化, 表明二者属于不同的普适类.      

时态逻辑与并发程序

分别阐述了基于Ｍａｎｎａ－Ｐｎｕｅｌｉ框架的命题线性时态逻辑ＰＬＴＬ和基于共享变量方式的并发程序（转换图）模型,并给出该模型与转换系统之间的对应关系;将时态逻辑与公平转移系统ＦＴＳ相结合来描述并发程序及其性质（公平性、安全性及活性）;指出了时态逻辑具备其它形式化方法（ＦＳＭ、Ｐｅｔｒｉ网）所没有的一些优势。     

基于抛物线方程求解二维电磁散射问题

文章应用抛物线方程求解二维凸面物体的双站雷达散射截面,模拟多体散射问题。其优点在于将传统的波动方程降维处理,采用步进迭代方法,节省大量计算资源。应用完全匹配层和有限差分法计算单个和多个圆柱的小角度双站RCS,计算结果和精确解基本吻合,且计算速度大大提高。     

汇编程序移植的四级映射法

文章介绍一种把MCS-51汇编语言软件转换成Keil C51语言软件的方法,通过四级映射把原汇编语言系统的数据、模块、函数及语句转换成对应高级语言实现。实际应用表明,用四级映射法转换后的C51软件结构清晰、代码可重用性好,可以较好地解决遗留汇编程序到高级语言C51的转换问题。     

LiF：F2^—色心晶体在被动调Q时的受激辐射

本文报导了Nd~(3+)∶YAG激光用LiF:F_2~-色心晶体进行被动调Q时获得该晶体的受激辐射,其光谱范围为1.133～1.154μm.本文用两个耦合的四能级系统的速率方程理论,解释了这一现象,同时给出了若干实验结果.     

自组织系统的非平衡相变临界指数及标度律

在具有普适意义的非平衡相变临界规格化模型基础上，讨论了一般自组织系统中的非平衡定态跃迁相变的临界奇异性和可标度性，导出一组普适的临界指数标度关系及普适类，由之计算出的四组非平衡普适类的临界数值与目前已知的实验及理论结果吻合得非常好。本文还讨论了平衡相变与非平衡相变的临界联系及普适性，将平衡相变临界标度理论的结果作为非平衡相变临界标度理论的理论极限而统一在同一理论体系中。     

CRITICAL EXPONENTS AND SCALING LAWS OF NONEQUILIBRIUM PHASE TRANSITION IN SELF- ORGANIZED SYSTEMS

在具有普适意义的非平衡相变临界规格化模型基础上,讨论了一般自组织系统中的非平衡定态跃迁相变的临界奇异性和可标度性,导出一组普适的临界指数标度关系及普适类,由之计算出的四组非平衡普适类的临界数值与目前已知的实验及理论结果吻合得非常好.本文还讨论了平衡相变与非平衡相变的临界联系及普适性,将平衡相变临界标度理论的结果作为非平衡相变临界标度理论的理论极限而统一在同一理论体系中.     

线性混合系统的一种验证方法

混合系统是指嵌入于物理环境中的数字实时系统．由于计算机技术的快速发展,混合系统在各行各业中都得到广泛应用,但是由于混合系统涉及到连续时间,因此其验证问题始终没有得到完善的解决．近年来,人们普遍采用模型检验方法对混合系统进行验证．由于线性混合系统在实际应用中可以表示大多数的嵌入式实时系统,因此我们着重研究这类混合系统的验证算法．本文首先介绍了混合系统的模型—混合自动机,然后提出了一种针对线性混合系统的基于区域的先划分再遍历的半确定性验证方法．经实例检验,该方法能够有效地验证线性混合系统．最后将本文的方法同有关的其它算法进行了比较