相关逻辑L5系统的Curry性质

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

关于CW复形的同伦群的挠

本文讨论了CW复形X的同伦群π_nX的p挠群的性质.利用X的Z_p系数同调群H_*(X;Z_p)以及基本群π₁X的性质,给出了对无穷多个n,Tor(π_n,X,Z_p)≠0的充分条件.     

D2-C76旋光度的理论研究

应用电磁场与分子相互作用理论,给出了分子旋光度的计算公式.对D₂-C₇₆的旋光度进行了估算,得到它的旋光度约为1°/cm.     

Bi2Sr2Ca1-xYxCu2O8+y的晶体结构、电子结构和超导电性

本文研究了Y替代Ca对Bi₂Sr₂Ca_1-xY_xCu₂O_8+y,超导体晶体结构和电子状态的影响,发现:Y替代Ca后至少使得Bi-O双层中所夹的一层额外的氧原子发生了变化,沿b轴方向的无公度超格子的调制周期从4.7b连续减小到大约为4.0b;并发现当Y完全替代Ca时,则同时存在大约为4b和8b的调制周期.用XPS进一步研究其电子状态变化的结果表明,超导电性的变化不是由于晶体结构的微小变化引起的,而主要是由CuO₂层中O2p轨道空穴的逐步填充所致.结果明确表明,对于该替代体系依然是当Cu离子3d轨道存在一个空穴时(3d⁹态)对应于强关联的反铁磁绝缘体,而当CuO₂层中氧离子2p轨道存在额外的空穴时(即3d⁹L态)对应于超导体.     

纳米ZrO2固体低温内耗谱的研究

本文系统研究了不同颗粒度的纳米ZrO₂块状固体从室温至-200℃的内耗和模量.发现三个内耗峰(P₁,P₂和P₃——对应升温测量或P''₁,P''₂和P''₃——对应降温测量),通过这些内耗峰行为的研究,可以看出,P₃或P''₃峰可以归因于晶界的弛豫,即它是由于纳米ZrO₂固体中晶界的滑动产生的.P₂(或P''₂)与纳米ZrO₂在低温下的相变有关.随着退火温度的升高,能量耗散迅速减小,模量明显增大.     

两类万有膨胀移位的刻划

本文具体刻划了这样两类万有膨胀移位算子:A_^?0)类单边加权移位和(BCP)_θ类单边加权移位.由此我们回答了一些有关问题.     

Tl-1223超导体及其复Ag带

研究了用部分熔化法制备T1-1223超导体的工艺,样品的名义组成为(Tl_0.5Pb_0.5)(Sr_0.8Ba_0.2)₂Ca₂Cu₃O_y,调整样品中Ba的含量,出现了织构的迹象,经烧结一部分熔化—退火的样品,其磁化电流在77K和1T下大于2×10⁴A/cm²,用这样的样品作原料所制备的Tl-1223复Ag带短样,在77K和0T下,J_c达2.1×10⁴A/cm²,超导带横断面的SEM显微观察表明,在1223相中夹杂了BaPbO₃和Sr-Ca-Cu-O相.     

La2/3Ca1/3MnO3-δ薄膜中磁致电阻温度关系的一种经验描述

在不同磁场H下 ,在 300～ 77K范围内测量了外延L_{a2 /3} Ca_1/3 MnO_3-y薄膜的电阻率ρ(T) ,发现电阻率的温度依赖关系可以按如下的经验公式来描述:ρ(T) =1σ(T) =1/α(M/M_s)² + βexp(-E0/k_BT) ,其中拟合参数α ,β随磁场的变化略有变化,E₀为磁极化子热激活能 ,约等于1 160k_B,M_s 为饱和磁化强度 ,M/Ms采用平均场近似求得,据此对提高CMR效应的可能性作了讨论.     

Y-TZP及Y-TZP/Al2O3陶瓷的微波加热及微波烧结特性

用矩形单模TE_10n(n=3,5)微波腔体成功地烧结得到了致密的Y-TZP陶瓷及Y-TZP/Al₂O₃复相陶瓷材料.材料的微波加热特性与其组分有关.Y-TZP含量高有利于提高样品的加热速率并降低加热所需时间.试样加热至600—800℃之后,需随时调整输入功率、短路活塞位置及可调偶合窗开启尺寸,以保持腔体谐振和最佳偶合状态,从而保持一定的升温速度和达到稳定的最终烧结温度.纯Y-TZP及含20Vol％Al₂O₃的Y-TZP/Al₂O₃陶瓷材料均可微波烧结至相对密度98％以上,而晶粒尺寸则分别不大于0.4和1.0μm.实验还发现,温度过高时,试样中心由于达到高于其表面的温度而发生过烧现象.     

Tl-Ba-Ca-Cu-O体系一系列超导相的晶体结构

本文用粉末烧结法合成了Tl-Ba-Ca-Cu-O体系一系列超导试样。用X射线粉末衍射法对它们进行了结构分析,发现了一组点阵常数α值相同,c值不同的四方超导相。超导相由隔层(Tl-O单隔层或双隔层)和缺氧类钙钛矿型结构单元Ba₂×Ca_n-1Cu_nO_2n+1(n为整数)所组成。从晶体结构观点可分为两类:一类属Tl-O单隔层、简单四方点阵,空间群为p4/mmm,理想化学式为TlBa₂Ca_n-1Cu_nO_2n+2.5,n=1,2,3,4;另一类属Tl-O双隔层,体心四方点阵,空间群为I4/mmm,理想化学式为Tl₂Ba₂Ca_n-1Cu_nO_2n+1,n=1,2,3,4。这些超导相随n值的增加,超导转变温度升高。当n值相同时,体心四方点阵的超导转变温度比简单四方点阵高。并讨论了超导相结构之间的相互关系。提出了依据第一条衍射线面间距d值或点阵常数c值推测超导相晶体结构的方法。