红外动态场景生成装置空间分辨率的测试

建立了一套基于刀口灰度图红外探测的实验装置,对红外场景生成器的空间分辨率进行了测试。首先通过被测红外场景生成器产生带有刀口标志的红外图像,然后利用红外热像仪采集红外场景生成器所成的红外图像,通过对采集到的红外热图的数据处理,实现了对红外场景生成器空间分辨率的测量。测得的红外场景生成器的空间分辨率为5lp/mm,标准误差为0.04。     

拓扑材料中的超导

近来,人们在凝聚态体系中发现了由拓扑不变量定义的物相,其中最重要的有拓扑绝缘体、拓扑半金属和拓扑超导体等.这些物相的拓扑性质由非平凡的拓扑数描述,相应的材料被称为拓扑材料,具有诸多新奇的物理特性.其中拓扑超导体由于边界上有满足非阿贝尔统计的Majorana零能模,成为实现拓扑量子计算的主要候选材料.除了探索本征的拓扑超导体外,由于拓扑性质上的相似性,在不超导的拓扑材料中调制出超导自然成为了实现拓扑超导的重要手段.目前,人们发展了栅极调制、掺杂、高压、近邻效应调制和硬针尖点接触等多种技术,已经成功地在许多拓扑绝缘体和半金属中诱导出了超导,并对超导的拓扑性和Majorana零能模进行了研究.本文回顾了本征拓扑超导候选材料,以及拓扑绝缘体和半金属中诱导出超导的代表性工作,评述了不同实验手段的优势和缺陷、分析了其超导拓扑性的证据,并提出展望.     

可修系统中半马氏过程的稳态分布

众所周知,可修系统是可靠性理论中讨论的一类非常重要的系统,也是可靠性数学主要研究对象之一,研究可修系统的主要数学工具是马氏理论.当构成系统各部件的寿命分布和故障后的修理时间分布,及其出现的有关分布均为指数分布时,只要适当的定义系统的状态,这样的系统总可以用马氏过程来描述.大部分学者为了方便,均是在马氏框架下研究问题的.但是在实践中经常遇到部件的寿命或修理时间分布不是指数分布的情形,这时可修系统所构成的随机过程是半马氏过程,用现有的马氏理论无法解决相关问题.目前,关于半马氏的理论研究的研究又很少,基于此,针对半马氏的随机模型给出了与马氏理论相平行的稳态分布的求解方法.     

关于绝对半素环和绝对半素根

本文了绝对半素环的概念，研究了绝对半素与与半素环及素环之间的关系，讨论了由全体绝对半素环类决定的上根－－绝对半半素根及其性质。     

矩阵方程A^TXB=C的正定和半正定解

给出了矩阵方程Ａ＾ＴＸＢ＝Ｃ在正定和半正定矩阵类中有解的充要条件及解的一般表达式。     

Ti_(1-x)(Hf_(0·919)Zr_(0·08))_xNiSn的制备及热电性能

采用固相反应法合成了单相的Ti_(1-x)(Hf_(0·919)Zr_(0·08))_xNiSn(x=0·00—0·15),并用放电等离子烧结方法制备出密实块体材料.研究了Hf和Zr同时在Ti位上的等电子合金化对Ti基半Heusler化合物热电性能的影响规律.结果表明:少量的Hf和微量的Zr在Ti位上的等电子合金化,显著地降低了体系的热导率κ,同时显著地提高了体系的Seebeck系数α.组成为Ti_(1-x)(Hf_(0·919)Zr_(0·08))_(0.15)NiSn的试样室温热导率为3·72W·m-1K-1,在700K时ZT值达到最大为0·56.与三元TiNiSn相比,在相同温度下ZT值的提高率为190%—310%.     

系数变号的半线性椭圆方程的正解

本文研究半线性椭圆方程Dirichlet问题-△u=α（x）f(u），x∈Ω， u（x）=0，x∈ЭΩ，正解的存在性，其中Ω为R^n中有界的带光滑边界的区域，α(x)可以变号。     

熔融LiCl及其急冷非晶键取向序的分子动力学模拟研究

本文进一步讨论了我们新近提出的等近邻数键球谐函数方法,并通过分子动力学模拟研究了熔融LiCl及其急冷过程。对计算机模拟各时间步产生的瞬态构型进行平均,计算了不同温度下键序Q_l谱.将模拟Q_l谱与线性组合模型Q_l谱比较,观察到模拟Q_l谱与含90％局部正四面体结构的组合模型十分相似,表明熔融Licl及其急冷非晶中局部键取向序明显倾向于正四面体序。急冷过程中不同温度下局部键取向序可用同一线性组合模型描述,但模型方差随模拟温度明显变化。方差随温度而降低,且在发生玻璃态转变时有一显著下降。不同温度下的键角分布也作了计算,观察到键角分布在109°(正四面体局部结构键角)附近且分布峰随温度升高而展宽,与键序Q_l得到的结论一致。     

左Clifford半群的特征与结构

作为Clifford半群的推广,本文定义了左Clifford半群,给出了它的许多特征,建立了它的半格分解结构和ξ直积结构。还讨论了两类特殊情形。     

一类半线性方程Dirichlet问题

本文利用概率方法证明了如下的Dirichlet问题的解的存在性：{－（△/2＋μ）u f(u)=v，在D中，其中D是R^d中的一个有界规则区域，μ和v是属于广义Kato类的符号测度，f是R^1上的连续可微函数连g↓eD上的一个连续函数。