固体微/纳米尺度传热理论研究进展

随着半导体技术的飞速发展,器件的尺寸已进入到微/纳米尺度。由于量子效应、表面及界面效应,使得微尺度下的热物性与宏观尺度下有了明显的区别。人们针对微观传热领域的特点,发展了声子玻尔兹曼传输方程、分子动力学等方法,取得了一定的成果,但仍存在不少问题。一些基础概念问题,特别是非平衡态下的局域温度的定义,有待澄清。本文主要回顾近年来微/纳米尺度传热在理论和数值模拟方面的进展,以及目前所面临的挑战和问题。     

磁通量子比特qubit信号强度随势垒偏置电压的变化

在20mK极低温下,测量了超导磁通量子比特的环流方向,并测到量子比特(qubit)信号.通过改变磁通量子比特的势垒高度,得到qubit信号强度随势垒高度的变化的实验数据并建立理论模型解释了实验现象.     

在群论框架下电子三重态与声子耦合的理论研究

本文基于绝热近似和群论导出了电声耦合系统的哈密顿量的一般形式,讨论了电声耦合系统中的电子算符和活跃的声子模式. 应用幺正平移变换和能量最小化方法,进一步计算了正四面体群下T*(e+t₂)杨-泰勒系统中的激发态能量,从对称性的角度分析了T₁电子态的能级分裂以及晶格体系的对称性破缺,得出了对称性的破缺方式和电声耦合系统密切相关的结论. 结果表明:通过群论与对称性分析完全可以定性地解释由于电声耦合所造成的简并电子 关键词： 电声耦合 杨-泰勒畸变 活跃的杨-泰勒声子模式 电声耦合哈密顿量     

水基切伦科夫μ子探测器的研究

利用高速带电粒子在透明介质中产生切伦科夫辐射的特性,以蒸馏水作为辐射介质,搭建了一个小尺寸(π×22.52cm2×45 cm)的切伦科夫探测器,对能量在GeV量级的μ子进行了相应的测量,考虑其他能量损耗、光传输和收集效率、阴极量子效率后,实验结果与理论估计值有比较高的相符度,可以初步断定仪器具备探测GeV量级μ子的能力.     

Banach Algebra Dynamical Systems

This paper generalizes the C*-dynamical system to the Banach algebra dynamical system(A,G,α)and define the crossed product A α G of a given Banach algebra dynamical system(A,G,α).Then the representation of A α G is described when A admits a bounded left approximate identity.In a natural way,the authors define the reduced crossed product A α,r G and discuss the question when A α G coincides with A α,r G.     

3-LIE BIALGEBRAS

3-Lie algebras have close relationships with many important fields in mathemat- ics and mathematical physics. This article concerns 3-Lie algebras. The concepts of 3-Lie coalgebras and 3-Lie bialgebras are given. The structures of such categories of algebras and the relationships with 3-Lie algebras are studied. And the classification of 4-dimensional 3-Lie coalgebras and 3-dimensional 3-Lie bialgebras over an algebraically closed field of char- acteristic zero are provided.     

近黎奇梯度孤立子的分类

本文研究黎奇梯度孤立子的分类问题. 利用与文献[11]类似的方法, 在Bach张量等于零的条件下, 对于n ≥ 5, 证明了流形是Einstein的或者Weyl曲率张量是调和的.     

剩余格上的L滤子

剩余格为模糊逻辑和模糊推理提供了一种良好的代数结构,滤子是剩余格中一个十分重要的概念,它在基于剩余格的模糊逻辑代数语义的研究中,扮演着一个关键的角色。本文基于Pavelka所提出的广义MP规则和真值提升规则,研究基于这两种推理规则的演绎系统的代数化问题。引入L滤子的概念,讨论这些滤子之间的关系,并给出它们的一些代数刻画。     

MTL-代数的演绎系统和余零化子及其相互关系

首先,在MTL-代数中给出了演绎系统的定义;其次,提出了MTL-代数余零化子的概念,并研究了它们的一些基本性质;最后,讨论了MTL-代数中余零化子与演绎系统的关系,证明了MTL-代数的演绎系统A的余零化子A⊥是素的演绎系统的充要条件:A是线性的且A≠{1}。