贮氢合金材料电化学与表面性能的研究进展

贮氢合金材料电化学与表面性能的研究进展①杨勇李骏林祖赓（厦门大学化学系，固体表面物理化学国家重点实验室，厦门３６１００５）八十年代后期以来，人们对地球的环境保护提出了更高的要求，而便携式电器（如移动电话，摄像机与笔记本电脑等）对电池的需求也大量增加...     

粉煤灰与复合添加剂的固相反应过程分析

煤灰分中主要矿物质之间的反应对灰分特性有着重要影响。本文在具有温控的小型高温反应器中对粉煤灰和复合添加剂所组成的混合灰样进行了静态煅烧试验，并对煅烧后的灰样进行了X射线衍射分析（XRD），着重讨论了温度和时间以及复合添加剂量对灰分矿相组成特性的影响。试验结果表明：当温度低于1200℃时，灰色中主要是游离态的氧化物和部分新生成的矿物如钙黄长石，硅酸二钙；当温度在1200℃-1300℃时，灰分中的主要矿物是钙黄长石，当温度在1320℃－1350℃时，灰分主要矿物是硅酸二钙，同时存在一定量的硅酸三钙、铝酸三钙、铁铝酸四钙以及硫铝酸钙。随着灰分中氧化钙的含量增加，高碱性矿物含量逐渐增大，同时高温下加热持续时间过长，部分新生成的矿物将发生分解。     

Lukasiewicz n值命题逻辑中命题的真度理论

利用势为 n的均匀概率空间的无穷乘积在 Lukasiewicz n值命题逻辑中引入了公式的真度概念,当3≤n≤17时证明了全体公式的真度值之集在[0,1]上是稠密的,并给出了公式真度的表达通式;利用真度定义了公式间的相似度,进而导出了全体公式集上的一种伪距离,为n值Lukasiewicz命题逻辑系统的近似推理理论提供了一种可能的框架。     

水下任意刚性散射体对Bessel波的散射特性分析

本文利用Bessel波的谐波展开式, 采用T矩阵方法的推导思路, 建立了水下任意刚性散射体在Bessel波照射下的声散射场计算公式. 以水下刚性椭球体和两端附连半球的刚性圆柱体为例, 计算了在不同波锥角β 下的反向散射形态函数, 同时, 依据镜反射波和绕行波的干涉物理模型, 给出了预报Bessel波照射下的反向散射形态函数峰峰间隔值的计算模型. 仿真结果表明本文提出的Bessel波照射下反向散射形态函数峰峰间隔值预报方法是准确有效的, 同时也说明, 本文建立的基于T矩阵法计算水下任意刚性散射体在Bessel波束下的声散射场方法是有效的, 这拓展了T矩阵法的应用领域.     

积逻辑系统中的广义重言式

讨论积逻辑系统中的广义重言式理论 ,给出积逻辑系统中子代数和广义重言式的一系列性质。本文的主要结果表明 ,在几个重要的逻辑系统中 ,标准积逻辑系统具有最简单的广义重言式结构 ,而在推理过程中 ,它具有较差的真值传递性。     

基于惯性测量的机载数字侧滑仪建模方法

机载侧滑仪是监测飞机在空中侧向受力的重要仪表。为解决机械侧滑仪精度无法量化的问题,提出了一种基于惯性测量的机载侧滑仪数字化建模方法,实现了飞行侧滑实时定量数字化显示。首先,从运动学出发导出了侧滑仪的运动理论表达式;进而,以惯性测量信号为输入,基于侧滑仪的动力学分析建立了侧滑仪的力学模型;最后,考虑工程实际对侧滑仪模型进行了简化,仅保留天向比力和侧向比力,并进一步结合实验确定了数字侧滑仪模型的关键参数摆长为10米。由于机械侧滑仪作为目视仪表难以量化,基于图像识别设计了验证实验,对机械侧滑仪和数字侧滑仪的输出进行定量对比,结果显示Pearson相关系数大于0.98。基于所提建模方法设计的数字侧滑仪可以及时准确地监测飞机侧向受力,该数字侧滑仪已在某型飞机上得到应用验证。     

逻辑系统$G_3$中命题的真度值之集在[0,1]上的分布

利用势为3的均匀概率空间的无穷乘积在G■del三值命题逻辑中引入了公式的真度概念,给出了真度推理规则,证明了全体公式的真度值之集在[0,1]上是稠密的,并给出了公式真度的表达通式,为进一步建立三值命题逻辑的近似推理理论奠定了基础．     

标准序列逻辑系统S_3中公式的概率真度理论

利用势为3的非均匀概率空间的无穷乘积在三值标准序列逻辑系统中引入了公式的概率真度概念,证明了全体公式的概率真度值之集在[0,1]中没有孤立点;利用概率真度定义了概率相似度和伪距离,进而建立了概率逻辑度量空间,证明了该空间中没有孤立点,为三值命题的近似推理理论提供了一种可能的框架.     

关于Donaldson-Floer理论的代数几何构造

本文概述了相对Donaldson不变量的一个代数构造,同时猜测这一代数相对Donaldson不变量可以配对给出代数的Donaldson不变量,从而构成代数Donaldson-Floer理论.     

完美晶体中正电子体寿命计算的几种方法的分析与比较

以正电子寿命为探测对象的正电子湮没寿命谱技术在研究半导体等材料的微缺陷方面得到了广泛的应用,它对晶体的结构类型、缺陷种类以及温度等十分敏感,因此,理论上正电子寿命的快速精确计算与实验数据的结合分析显得尤为重要. 采用中性原子叠加模型、赝势方法和全势方法处理正电子局域势能,有限差分方法自洽求解正电子波函数,局域密度近似和广义梯度近似处理正电子电子关联势和增强因子,以体心立方结构的α-Fe、面心立方结构的Al和复式面心立方结构的Si三种单晶固体为例,分别计算了它们的正电子体寿命,计算值与相应的实验结果和其他计算结果均符合较好. 同时细致分析了这几种方法在电子密度网格点精度、正电子电子关联势和增强因子等方面对正电子体寿命计算的影响,探讨了这几种方法在计算正电子体寿命方面各自的优缺点. 关键词： 正电子体寿命 完美晶体 正电子电子关联势 增强因子