点集拓扑学之杨忠道定理的一个机械化证明

本文给出一种用高阶逻辑自动证明语言Isabelle在计算机中表示拓扑空间中开集、闭集、邻域和导集等基本概念的方法,在此基础上证明点集拓扑学中著名的杨忠道定理,即一拓扑空间的任意单点集的导集为闭集,则其任意子集的导集亦为闭集.     

紫激光作用下四甲基硅多光子电离TOF质谱研究

本文采用超声分子束技术，以飞行时间质谱仪，在３９６～３８７ｎｍ内的紫激光作用下对四甲硅进行了多光子电离飞行时间质谱的研究，在较高在激光能量作用下检测到了Ｓｉ（ＣＨ３）＾＋ｎ（ｎ＝１，２，３，）、Ｓｉ＾＋及Ｃ＾＋２等多种离子的信号，在较低的激光能量作用下只检测到了Ｓｉ＾＋、Ｃ＾＋２等离子的信号，表明四甲基硅在不同激光能量作用下经历了不同的多光子电离过程。     

用电容法测量微振动位移

木文介绍了微振动位移非接触测量的电容法，讨论了方法的原理，测量电子学和有关的技术问题．测量中采用小尺寸的电容位移探测头，同样获得了高的灵敏度，精密的滤波技术，使得所测振动的上限频率达７ｋＨｚ．实验结果证明，这一方法是可靠的．     

高速运动分层介质界面上的时间平均能流密度

利用坐标变换和高速运动介质界面上平面电磁波入射、反射和透射电场、磁场之间的关系,详细讨论了当介质界面运动时入射、反射和透射时间平均能流密度的变化规律.     

高斯谢尔光束通过湍流大气漫射目标的散射统计

基于广义惠更斯菲涅耳原理分析了高斯谢尔光束通过湍流大气漫射目标的散射统计特性。假定相位结构函数起主导作用,根据高斯谢尔光束的交叉密度函数,推导了散斑场的互相干函数表达式,进而得出接收面处的散斑尺寸大小和强湍流起伏的时延协方差函数表达式。数值分析了源相干长度、波长、湍流强度对互相干函数的影响。对理想漫射目标,接收面的散斑尺寸大小由束腰宽度、源相干长度和湍流强度确定,随着湍流强度的增加,散斑尺寸变小;在弱湍流区,散斑尺寸由源相干长度决定,当湍流增强时,散斑尺寸大小逐渐趋于一致。     

中、高能电子被SO2分子散射的微分截面、动量转移截面及弹性积分截面

在考虑分子内成键原子间的电子云重叠效应的基础上, 提出了一种能够准确计算“中、高能电子-分子”散射的微分截面、动量转移截面及弹性积分截面的修正势方法. 利用可加性规则、使用Hartree-Fock波函数并采用被这一方法修正过的复光学势, 在100—1000eV内对电子被SO₂分子散射的微分截面、动量转移截面及弹性积分截面进行了计算, 并将计算结果与实验及其他理论结果进行比较. 结果表明, 利用这一修正过的复光学势及可加性规则获得的微分截面比利用未修正的复光学势及可加性规则得到的结果准 关键词： 可加性规则 微分截面 动量转移截面 电子散射     

理论研究BeS(X~1∑~+)的光谱常数及分子常数

采用Davidson校正的内收缩多参考组态相互作用方法（MRCI+Q）结合相关一致五重基cc-pV5Z在二阶Douglas-Kroll Hamiltonian近似下,计算了BeS分子X¹∑⁺态的势能曲线.对势能曲线进行核价相关效应修正计算,得到了同时含有核价相关效应修正及相对论效应的势能曲线.拟合修正的势能曲线,获得BeS（X¹∑⁺）的光谱常数R_e,ω_e,ω_ex_e,ω_ey_e,B_e,α_e,β和D₀,分别为:0.17429 nm,997.06cm^-1,6.1056 cm^-1,0.0041 cm^-1,0.7893 cm^-1,0.006657 cm^-1,6.8002×10^-9cm^-1和4.2609 eV.与已有的实验结果及其它理论结果的比较表明,本文BeS（X¹∑⁺）的光谱常数的计算结果达到了较高的精度.通过求解双原子分子核运动的径向Schr（o|¨）nger方程,找到了非转动BeS（X¹∑⁺）的前40个振动态.针对每一振动态还分别计算了相应的振动能级、惯性转动常数和离心畸变常数等分子常数.     

两种高性能芯片散热器换热性能比较研究

大型计算机服务器的CPU作为高热流密度器件的典型代表,其冷却问题至关重要,为提高对CPU芯片的冷却效率而提出了一种冷凝段带有翅片的热管型散热器。利用自建实验台,在相同的工况条件下与效能较高的平板式热管散热器进行了对比实验研究。通过散热器总热阻、扩散热阻的实验对比和数值分析认为:在服务器空间条件允许情况下,这种带有强化换热的新型散热器更能满足大型计算机CPU的冷却要求。     

Correlation between Electroresistance and Magnetoresistance in Slight Oxygen-Deficient Nd0.67Sr0.33MnO3-δ Polycrystalline Ceramics

A colossal electroresistance effect is found in Nd0.67Sr0.33MnO3-δ polycrystalline ceramics with a very slight oxygen deficiency ~ ~ 0.05. The electroresistance behaviour of Nd0.67Sr0.33MnO3-δ（δ= 0.05） displays the striking similarity to its counterpart magnetoresisnce. It reveals that the boundary effect plays an important role in electroresistance and the same physical origin is likely responsible for both magnetoresistance and electroresistance effects in Nd0.67Sr0.33MnO3-δ polycrystals.     

平均场框架下两分量玻色-爱因斯坦凝聚中集体激发的阻尼

研究两分量玻色-爱因斯坦凝聚中集体激发的阻尼,该阻尼包括朗道和巴利耶夫两种机制。采用哈特利-福特-波戈留波夫平均场理论,基于单分量系统理论,构建了两分量系统的理论框架,严格按照单分量系统理论推导公式,并且分析两分量系统和单分量系统在理论框架构建上的主要差别。以理想的能级连续的均匀系统朗道阻尼为例进行半经典近似计算,展示粒子相互作用细节,说明所提理论的物理意义和应用方法。在计算过程中,通过无量纲阻尼函数分析朗道阻尼与温度的依赖关系,分析对阻尼有贡献的准粒子跃迁,包括同类型准粒子之间和不同类型准粒子之间的各种情况,并通过误差函数分析不同能量范围的准粒子跃迁对阻尼的贡献。