Electronic transport properties of capped-carbon-nanotube-based molecular junctions with multiple N and B dopants

By applying non-equilibrium Green’s function in combination with density functional theory,we investigated the electronic transport properties of capped-carbon-nanotube-based molecular junctions with multiple N and B dopants.The results show that the electronic transport properties are strongly dependent on the numbers and positions of N and B dopants.Best rectifying behavior is observed in the case with one N and one B dopants,and it is deteriorated strongly with the increasing dopants.The rectifying direction is even reversed with the change of doping positions.Moreover,obvious negative differential resistance behavior at very low bias is observed in some doping cases.     

具强阻尼黏弹性波动方程组解的指数衰退

研究一类包含强阻尼项的非线性波动方程组的初边值问题.根据方程组的特点,构造了能量函数,研究能量函数的性质,并利用所得结果、积分估计及Poincaré不等式,得到了在一定条件下该问题解的指数衰退性质.     

具有Sturm-Liouville边界条件的四阶奇异微分方程正解的存在性

利用极值原理和上下解方法给出了具有Sturm-Liouville边界条件的四阶奇异微分方程C2[0,1]和C3[0,1]正解的存在性,允许非线性项f(t,u)在u=0和t=0,1处可以是奇异的。     

局部凸空间中的微分算子及其不动点定理

首先在局部凸拓扑向量空间中对一类算子引进了可微分的概念，然后，有拓扑度方法在局部凸空间的锥上对微分算子获得了一个不动点定理，结果推广和改进了文献中的相应定理。     

二阶四点边值问题正解的存在性

利用不动点指数定理，得到了非线性项含有一阶导数的情况下，二阶四点边值问题正解的存在性结果．     

Quantum programming: From theories to implementations

This paper surveys the new field of programming methodology and techniques for future quantum computers, including design of sequential and concurrent quantum programming languages, their semantics and implementations. Several verification methods for quantum programs and communication protocols are also reviewed. The potential applications of programming techniques and related formal methods in quantum engineering are pointed out.     

基于图书馆系统对学风评价的实证研究

自主学习是学风评价的重要指标之一。图书馆作为培养优良学风的重要阵地,可以利用自身系统的优势,对自主学习学风评价指标进行数值量化,对学风进行客观、有真实数据支撑的评价,从而引导和促进学风建设。     

指数为1的半正定线性系统迭代方法的收敛性

当相容奇异线性系统系数矩阵的指数为1时，文章利用群逆的概念来介绍广义固定迭代方法半范数收敛，商收敛和收敛三者之间的关系，然后再利用群逆的概念来研究广义固定迭代方法半范数收敛的新条件．在保证迭代格式收敛的前提下，该条件比Keller的P-正则条件要弱．     

一类高阶线性微分方程的算子解法及其解的稳定性

本文利用微分算子研究一类高阶线性微分方程的解法及其解的稳定性,推广了文[3]的有关结果.     

本征值问题的修正傅里叶级数解

为了使本征值问题的求解更加完善,利用Iserles在2008年提出的修正傅里叶级数的三角基函数,使数学物理方法中的分离变量法成为一个全新的求解方法.利用这一方法对一类定解问题进行求解,最终得到了该问题的修正傅里叶级数解,验证了所提出的新方法的正确性.