关于正定矩阵的一点注记

一、引言与主要结果正定矩阵是代数学中的一个重要概念。近年来随着计算数学、统计学、经济学等学科的发展,它的重要性日益显出。1980年,Bellman.R.首先建立两个正定矩阵的类似于Cauchy-Schwarz不等式:     

现代逻辑的一个规范化理论——一阶时态逻辑

一阶时态逻辑与程序语言理论中另外两门非常有用的逻辑——动态逻辑和Hoare逻辑它们之间到底有什么关系呢?本文的目的就是要解决这个问题.为此,我们首先拓广了时态算子的概念.与此同时,我们又提出了一种关于约束变元组的定义.这种关于约束变元的新的定义,使得某些现代逻辑学家心中的,关于变元组受约束的非形式化的约定,能够形式化地表达出来.随后,我们证实了:一阶时态逻辑具有一阶动态逻辑和Hoare逻辑的演算功能.再结合已知的事实:一阶时态逻辑具有一阶谓词逻辑、模态逻辑和(通常的)时态逻辑的演算功能.我们可以认为:一阶时态逻辑是这些现代逻辑的一个统一理论.由于我们能在一阶时态逻辑的一个形式系统里,同时进行上述的各种逻辑演算,因而一阶时态逻辑能成为一门很有前途的公理语义学.     

一种新的简易共蒸Nb_3Sn膜的制备及其电子显微术(TEM)研究

一种新的简易共蒸发技术,成功地制备了超导化合物 Nb_3Sn薄膜,临界温度T_c为18K。用该膜为电极材料制作的Nb_3Sn-Pb隧道结,具有典型的直流I-V特性曲线并测得Nb_3Sn膜的能隙值为 3.1meV。电子显微术(TEM)观察研究表明,这种新的简易共蒸术制备的高T_cNb_3Sn膜,是单相的A15型超导化合物Nb_3Sn,具有共蒸A15型超导化合物微结构的基本特征,高分辨电子显微术(HREM)观察到大范围内(500A)Nb_3Sn的二维晶格条纹象。     

离子交换过程的基础研究(Ⅰ)—M~(Z+)—■—H~+及M~(Z+)—■离子交换

本文用大孔磺酸树脂SA—209(×8)研究了Li~+、Ca~(2+)、Co~(2+)、Tm~(3+)对H~+正、逆离子交换过程以及~(59)Co~(2+)—、~(169)Tm~(3+)—~(170)Tm~(3+)同位素交抉过程。用前报中提出的界面吸附双电层模型及解离机制满意地解释了实验事实。     

准移动闭塞系统的元胞自动机模型及列车延迟传播规律的研究

在NaSch模型的基础上，针对铁路交通的特点提出一种用于模拟准移动闭塞系统的元胞自动机模型.应用该模型模拟了准移动闭塞系统列车延迟传播的交通现象，分析了准移动闭塞系统中的轨道定位单元长度、发车时间间隔、初始延迟时间等因素对列车延迟传播的影响. 关键词： 元胞自动机 交通流 准移动闭塞     

C72,La2@C72几何结构和电子性质的计算研究

采用密度泛涵理论(density functional theory,DFT)中的广义梯度近似(generally gradient approximation,GGA)对富勒烯C72和内掺金属La富勒烯La2@C72三种同分异构体的几何结构和电子结构进行研究.发现在C72的三种同分异构体中,满足独立五边形规则(isolated-pentagon-rule,IPR)的C72(D6d)结构最为稳定;在La2@C72三种同分异构体中,有着两对两两相邻五元环(twofused-pentagon)的La2@C72(#10611)结构最为稳定,而满足IPR的La2@C72(D6d)的结构变成了最不稳定结构.从能级图和态密度图分析得知,笼子稳定性的变化与La原子的原子轨道与C72原子轨道之间的杂化有关.Mulliken电荷分析得知,La2@C72(#10611)的两个La原子共转移了约3个电子给C72,并且,它们几乎分布在整个C笼上,形成的电子结构为La23+@C3-72.净自旋分析得知,La2@C72(#10611)中La原子磁性完全淬灭.     

用短谐振腔结构优化THz电磁波参量振荡器的输出特性

以MgO：LiNbO₃为非线性光学介质，通过采用一种高性能腔反射镜实现了一种85mm短腔长的法布里-珀罗式的光学参量振荡器，产生THz电磁波的实验结果.这种短腔长THz参量振荡器比传统的160mm腔长的振荡阈值降低了22.3％；峰值能量提高了170％；频率调谐范围从0.5—2.4THz提高到0.8—3.1THz.还报道了一种基于平面金属丝网的法布里-珀罗干涉仪测量THz波线宽的实验结果. 关键词： THz电磁波 OPO 非线性光学 3')" href="#">LiNbO₃     

四角晶相HfO2(001)表面原子和电子结构研究

采用基于第一性原理的密度泛函理论研究了四角晶相二氧化铪(t-HfO₂)体相及 其(001)表面的原子几何与电子结构.理论计算结果表明，t-HfO₂(001)表面不会 产生重构现象.与体相电子结构相比, t-HfO₂(001)表面态密度明显高于体相态 密度.其次，表面原子的态密度更靠近费米能级(E_F)，价带往低能量处移动，并 有表面态产生.计算结果表明了t-HfO₂表面禁带宽度明显低于体相的禁带宽度. t-HfO₂(001)的表面态产生以及表面禁带宽度减小是由于Hf原子与O原子的配位 数减少，表面原子周围的环境发生变化而引起的. 关键词： 密度泛函理论 2(001)')" href="#">t-HfO₂(001) 表面电子结构     

Ag+掺杂的立方相Y2O3:Eu纳米晶体粉末发光强度研究

采用化学自燃烧法制备了不同Ag⁺掺杂浓度的Y₂O₃:Eu纳米晶体粉末样品(［Y³⁺］∶［Eu³⁺］∶［Ag⁺］=99∶1∶X，X=0—3.5×10^-2)，以及通过退火处理得到了相应的体材料.根据X射线衍射谱确定所得纳米和体材料样品均为纯立方相.实验表明在纳米尺寸样品中随着Ag离子浓度的增加，荧光发射强度随之增加，当X=2×10^-2时达到最大值，其发光强度比X=0时提高了近50%.当Ag离子浓度继续增加，样品发光强度保持不变.在相应的体材料样品中则没有观察到此现象.通过对各样品的发射光谱，激发光谱，X射线衍射图谱，透射电镜(TEM)照片和荧光衰减曲线的研究，分析了引起纳米样品荧光强度变化的原因是由于Ag离子与表面悬键氧结合，从而使这一无辐射通道阻断，使发光中心Eu³⁺的量子效率提高；Ag⁺的引入所带来的另一个效应是使激发更为有效.这两方面原因使发光效率得到了提高.     

用红外光谱技术研究磁能活性水的生物效应

磁化水具有比普通水更小的簇合分子,具有硬度、pH值、含氧浓度均增加的性质.采用傅立叶变换红外光谱技术,测量了大豆与玉米实验组与空白组的叶绿体的红外光谱,发现两者在酰氨键的振动吸峰处存在一定的差异,实验组的吸收明显强于对照组,说明磁化水对作物的生长发育有一定影响,具有一定的生物效应.