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

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

共溅法制备锂离子电池Sn-Al/Cu复合薄膜及其电化学性能

采用磁控溅射共溅法,在铜箔和泡沫铜基底上分别制备了平面和三维网状结构的Sn-Al/Cu复合薄膜.表征了其结构,并研究了其作为锂离子电池负极材料的电化学性能.结果表明,三维网状结构的电化学性能明显优于平面复合薄膜,表现出很好的循环性能和倍率性能:以600 mA/g电流密度充放电,三维网状结构的复合薄膜有较好的容量保持率,循环50周后容量保持在410 mA·h/g;以2000 mA/g电流密度充放电,再以500 mA/g电流密度进行充放电,三维网状结构的复合薄膜仍有464 mA·h/g的放电容量.三维网状结构的Sn-Al复合薄膜能抑制充放电时带来的体积膨胀,较大的表面积和粗糙表面可以使其与锂充分反应,改善其电化学性能.     

固态电解质锂离子输运机制研究进展

全球环境问题推动了可充电锂电池技术的飞速发展.与液态电解液相比,固态电解质不易燃,构筑所得固态电池的安全性能得以提升.如果能够理解固态电解质中的离子输运行为,就能精准调控固态电池锂的动力学稳定性和倍率性能.随着计算机技术的快速发展,原子尺度模拟技术成为理解材料离子输运的重要手段.针对以上问题,本综合评述首先汇总了固体材料中的常见扩散机制;然后介绍了固态电解质中的锂离子输运机制,着重讨论了影响固态电解质锂离子输运的重要因素(晶体结构、电子结构、外部因素及晶界);最后对固态电解质锂离子输运机制研究进行了总结与展望.     

一氟化碳电子态的光谱性质和预解离机理的理论研究

采用考虑Davidson修正的内收缩多参考组态相互作用(icMRCI+Q)方法结合相关一致基组aug-cc-pV5Z和aug-cc-pV6Z首次计算了一氟化碳(CF)11个Λ-S 态(X²Π , a⁴Σ^-, A²Σ⁺, B²Δ, 1⁴Π, 1²Σ^-, 2⁴Π, 1^{4}Δ , 1⁴Σ⁺, 2²Σ^-和2⁴Σ^-) 所产生的25个Ω 态的势能曲线. 计算中考虑了旋轨耦合效应、核价相关和标量相对论修正以及将参考能和相关能分别外推至完全基组极限. 基于得到的势能曲线, 获得了束缚和准束缚的Λ-S态和Ω 态的光谱常数, 与已有的实验结果非常符合. 分析了束缚和准束缚的Λ-S态在各自平衡核间距R_e处的主要电子组态. 由于1⁴Π 和2⁴Π态的避免交叉, 发现准束缚态2⁴Π. 由Λ-S态势能曲线的交叉现象, 借助于计算的旋轨耦合矩阵元, 分析了a⁴Σ^-和B²Δ 态的预解离机理. 计算了25个Ω 态的离解关系, 给出了它们的离解极限. 最后研究了A²Σ⁺-X²Π 跃迁特性, 本文计算得到的A²Σ⁺-X²Π跃迁的Frank-Condon 因子和辐射寿命与已有实验值也符合得非常好.     

基于去模糊空间变换RCNN的毫米波图像目标检测（英文）

提出一种包含去模糊的空间变换区域卷积神经网络的目标检测算法.首先,基于主动毫米波圆柱扫描成像原理对人体进行三维成像(频率24~30 GHz),建立毫米波图像数据集.然后,估计毫米波图像的模糊核,通过卷积去噪网络获得图像先验知识,将其集成到半二次分裂的优化方法中,以实现非盲目去模糊.最后,由定位网络、网格生成器和采样网络三部分组成空间变换网络,将它融入到特征提取网络中,在去模糊后实现目标检测.通过该非盲目去模糊算法得到的图像的峰值信噪比可达27.49 dB,目标检测算法的平均精度可达80.9%.实验结果表明,与现有的先进方法相比,该方法可以有效地提高图像质量和检测精度,为毫米波图像中隐藏危险品的目标检测提供了新的技术支持.     

非水溶性卟啉NTPPH_2和ATPPH_2与环糊精超分子体系的光谱学研究

在中性磷酸盐缓冲溶液中,用紫外-可见分光光度法和荧光光谱法研究了非水溶性卟啉5-(4-硝基苯基)-10,15,20-三苯基卟啉(NTPPH2)和5-(4-氨基苯基)-10,15,20-三苯基卟啉(ATPPH2)与α-CD、β-CD和γ-CD三种环糊精相互作用形成的超分子体系。结果表明,NTPPH2与α-CD、β-CD和γ-CD均形成了1:1的包结物,ATPPH2与β-CD形成1:2的包结物,与α-CD和γ-CD则形成了1:1的包结物。其中α-CD与NTPPH2和ATPPH2的包结常数最大。本文探讨了卟啉环上给电子基团和吸电子基团对包结的影响,为卟啉和环糊精相互作用及超分子体系的机理研究提供了基础。     

固绿FCF分光光度法测替米沙坦的含量

在pH6.2的Britton-Robinson缓冲介质中,替米沙坦(TMST)与生物染色剂固绿FCF(FGF)反应,形成离子缔合物,溶液颜色发生明显改变,最大正、负吸收波长分别位于598、632 nm,从而建立光度法测定替米沙坦.在598、632 nm处,替米沙坦分别在0～1.35×10-5mol/,L、0～1.05×...     

AlCl分子X1Σ+电子态的光谱性质

运用耦合簇单双取代三重微扰方法[CCSD(T)]和内收缩多参考组态相互作用方法(MRCI)结合系列相关一致基, aug-cc-pV(n+d)Z(n = D, T, Q, 5, 6), 研究了AlCl(X1Σ+)分子的光谱性质. 比较了两种理论方法及不同的基组对AlCl(X1Σ+)分子的光谱常数的影响. 在优选的MRCI/aug-cc-pV(5+d)Z理论水平下于0.05-2.0 nm核间距范围内计算了AlCl(X1Σ+)分子的势能曲线. 拟合势能曲线得到其光谱常数De, D0, Re, ωe, ωexe, Be和αe. 它们分别为5.1942 eV, 5.1644 eV, 0.21350 nm, 481.67 cm-1, 2.1022 cm-1, 0.2416 cm-1和0.0016 cm-1. 这些结果与已有的实验结果均较为相符. 利用这一势能曲线, 通过求解双原子分子核运动的径向Schrödinger方程, 计算了AlCl分子基态的振转能级. 找到了J = 0时的全部182个振动态. 针对每一振动态, 还分别计算了其对应的振动能级、惯性转动常数和离心畸变常数等分子常数. 文中的大部分分子常数属首次报导.     

SiN自由基X2∑+,A2∏和B2∑+电子态的光谱常数研究

采用内收缩多参考组态相互作用(MRCI)方法,结合价态范围内的最大相关一致基aug-cc-pV6Z,计算了SiN自由基X2∑+,A2∏-和B2∑+电子态的势能曲线.采用Davidson修正来避免由于MRCI方法本身的大小一致性缺陷产生的误差.为了提高计算精度,进一步考虑了相对论修正和核价相关修正对势能曲线的影响.相对论修正是利用二阶Douglas-Kroll哈密顿近似在cc-pV5Z基组水平进行的;同时核价相关修正是在cc-pCV5Z基组水平进行的.对这些势能曲线进行拟合,得到各种水平下三个电子态的光谱常数(Te,Re,ωe,ωexe,αe和Be),并详细分析了Davidson 修正、相对论修正和核价相关修正对光谱常数的影响.与其他理论结果和实验数据进行比较,可知本文的结果更精确、更完整.