求解流函数涡度方程的特征线—差分方法

本文讨论了用特征线方法与有限差分方法相结合的数值方法(特征线—差分方法)求解流函数涡度形式的Navier-Stokes方程的问题.证明了该方法的收敛性,给出了数值例子.     

单模加光子双模SU(2)相干态的非线性高阶差压缩

本文研究了单模加光子双模SU(2)相干态|M,ζ;m〉=Ama m|M,ζ〉的非线性高阶差压缩(即N次方X压缩)效应.数值计算结果表明:对于单模加光子双模SU(2)相干态,光场存在着非线性高阶差压缩??—N(=1,2,3,4,…)次方X压缩效应,且随着光场总光子数M的增加,N次方X压缩效应增强,但增大场模光子增加数m或增大N次方X压缩的压缩阶数N,N次方X压缩效应减弱.     

N,N-二（对氟苄基）-N′-（2′,3′-二脱氧-3′-硫代胞苷）甲脒水解反应的理论研究

采用密度泛函理论方法B3LYP/6-31 G(d,p)//B3LYP/6-31G(d,p)和导体极化连续模型B3LYP/CPCM/6-31 G(d,p)方法对苯环对位上有F取代的N,N-二(对氟苄基)-N′-(2′,3′-二脱氧-3′-硫代胞苷)甲脒(FBFA-3TC)水解反应机理和溶剂效应进行了研究.考虑两条可能反应途径:水分子首先进攻CN双键的途径(PathA)和先进攻C—N单键的途径(PathB).计算结果表明,气相和水中两条途径的第一步都是速率控制步骤,PathA比PathB更有利.对优势途径PathA的第二步反应的进一步研究发现,中间体的羟基H原子转移到双键N比单键N更容易,从而形成2′,3′-二脱氧-3′-硫代胞苷(3TC)的最终水解产物.     

三维空间中的Navier-Stokes方程部分正则性问题

本文研究了Navier-Stokes方程的部分正则性问题.推进了L.Caffarelli.R.Kohn和L.Nirenberg、Hermann Schr和Wolf von Wahl及Paolo Maremontic中的结论,并且还给出了非正则点集的估计.     

β-C_3N_4的制备及若干问题探讨

采用热丝辅助反应溅射和等离子体增强热丝化学气相沉积（ＣＶＤ）的制备方法，获得了含有β－Ｃ３Ｎ４结晶相的ＣＮｘ薄膜．文章将重点介绍制备参数与ＣＮｘ薄膜结构的关系，并进一步讨论与β－Ｃ３Ｎ４结晶相择优生长有关的主要问题     

尼龙1010－聚四氢呋喃多嵌段共聚物的ESCA研究

尼龙１０１０－聚四氢呋哺多嵌段共聚物（ＰＡ－ＰＴＭＧ）是一种性能良好的聚合物。本文用Ｘ射线光电子能谱（ＥＳＣＡ）和计算机分峰技术研究了不同软硬段分子量的ＰＡ－ＰＴＭＧ的表面化学组成，进行了试样ＥＳＣＡ谱峰归属的确定。结果表明，本体嵌段效果较好，但在样品表面上Ｏ／Ｎ原子比大于体相Ｏ／Ｎ原子比，即软段富集于表面，并且分相程度高的试样较分相程度低的试样其软段在表面富集得更多。     

一种简单的快恢复14N NQR探头

利用一与射频脉冲同步的门控信号使探头在发射和接收时呈现不同的Q值,从而能够在不降低接收¹⁴N NQR信号的情噪比条件下极大地缩小探头的恢复时间.初步的实验结果表明:通过适当选择衰减电阻的阻值,提出的探头设计能够将常规探头的"死时间"限制在20μs以内.     

相关逻辑L5系统的Curry性质

本文改进了Thistlewaite, MoRobbie和Meyer的结果,证明了在命题相关逻辑LR的Gentzen型形式系统L₅中,若多重集α是L₅-可证的,则存在α的L₅-证明τ具有Curry性质,从而简化了L₅可判定性的证明。并指出:在具体的机器实现中使用Curry性质,提高了L₅证明搜索的LR的自动定理证明的剪枝效率。