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

一阶时态逻辑与程序语言理论中另外两门非常有用的逻辑——动态逻辑和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+)同位素交抉过程。用前报中提出的界面吸附双电层模型及解离机制满意地解释了实验事实。     

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

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

6066Al/SiCp复合材料内耗性能研究

用粉末冶金方法制备了6066Al合金和不同SiCp含量的6066Al/SiCp复合材料,用多功能内耗仪在200～600 K温度区间内测试了所研究材料在升温过程中的内耗变化趋势,探讨了6066 Al /SiCp复合材料在不同温度区间的内耗机制.结果表明6066Al/SiCp的内耗值比6066Al合金内耗值高,特别是在高温阶段比6066Al合金内耗值高得多;6066Al/SiCp和6066Al合金在300～470 K时的内耗主要是位错与第二相颗粒交互作用引起的位错内耗,在高温下内耗主要由Al/Al、Al/SiC的界面微滑移引起.     

Sc^＋18离子1s^23d-1s^2nf的跃迁能和偶极振子强度

用全实加关联方法计算了类锂Sc^＋18离子1s^23d-1s^2nf（4≤n≤9）的跃迁能和1s^2nf（n≤9）态的精细结构，依据量子亏损理论确定了该Rydberg系列的量子数亏损，用这些作为能量的缓变函数的量子亏损。可以实现对任意高激发态（n≥10）的能量可靠的预言，利用在计算能量过程中确定的波函数，计算了Sc^＋18离子1s^23d-1s^2nf的偶极跃迁在三种规范下振子强度；将这些分立态振子强度与量子亏损理论相结合，得到在电离阚附近束缚态，束缚态跃迁振子强度以及束缚态．连续态跌迁振子强度密度，从而将Sc^＋18离子的这一重要光谱特性的理论预言外推到整个能域。     

纳米级精度分光路双频干涉度量系统的设计

为完成快速、精确的外观轮廓度量,设计了一种新型纳米级精度分光路双频干涉度量系统。系统由低频差双频激光干涉度量模块和微探头及二维工作台两部分组成。微探针以轻敲式接近样品至几十纳米时,受原子力作用发生偏转,利用双频干涉模块度量其纵向偏转量,并对样品进行梳状式度量得到外观形貌。根据双频激光的实际光源,对原有双频干涉度量理论进行了改进提高。进行了系统组建和实验验证。结果表明:系统具有纳米级精度,可用于超精样品外观轮廓度量。     

铁分子Fe2的自旋极化效应

采用密度泛函方法(B3P86)对 Fe_2分子结构进行了优化.计算结果中未观察到自旋污染,基态波函数与高态波函数并未混杂,结果表明,Fe_2中有8个未配对电子,这些电子空间分布不同和自旋平行产生的自旋极化效应,使 Fe_2能量最低.计算结果表明,Fe_2分子的基态是~9∑_g~ ,并非~7Δ_u,进而表明 Fe_2的自旋平行效应比电子自旋配对效应要强.计算得到该分子基态的二阶、三阶和四阶力常数分别为1.4115×10~(-2)aJ/nm~2、-37.1751×10~3aJ/nm~3和 98.7596×10~4aJ/nm~4；光谱数据ω_eχ_e、B_e、α_e分别为0.3522、0.0345、 0.4963×10~(-4)cm~(-1)；离解能为3.5522eV,平衡键长为0.2137nm,振动频率为292.914cm~(-1)；并得到了 Murrel-Sorbie 函数.     

Structural and thermodynamic properties of AlB2 compound

We employ a first-principles plane wave method with the relativistic analytic pseudopotential of Hartwigsen, Goedecker and Hutter (HGH) scheme in the frame of DFT to calculate the equilibrium lattice parameters and the thermodynamic properties of AlB₂ compound with hcp structure. The obtained lattice parameters are in good agreement with the available experimental data and those calculated by others. Through the quasi-harmonic Debye model, obtained successfully are the dependences of the normalized lattice parameters a/a₀ and c/c₀ on pressure P, the normalized primitive cell volume V/V₀ on pressure P, the variation of the thermal expansion α with pressure P and temperature T, as well as the Debye temperature \Theta_D and the heat capacity C_V on pressure P and temperature T.     

人体中的伯努利方程

本文从设计实验入手,形象诠释伯努利原理,并从物理学角度出发,根据人体体液流动的实际情况,运用伯努利原理及经典的伯努利方程,从人体血液循环、房水循环的压力形成和改变方面,把物理学的基本理论运用于分析人体体液压力的变化。