基本的一阶时态逻辑的一个完备性定理

仅以基本公理作为逻辑公理的一阶时态逻辑的形式系统,称为基本的一阶时态逻辑的形式系统。基本的一阶时态逻辑有模态逻辑和时态逻辑的一个发展。本文的目的是:为基本的一阶时态逻辑建立一个完备性定理。     

金线蛙指名亚种、金线蛙福建亚种和黑斑蛙的脑、心、肝和肾组织的乳酸脱氢酶同工酶的分析比较

本文比较了不同地区产的金线蛙指名亚种(北京产的、杭州产的)、金线蛙福建亚科和黑斑蛙的脑、心、肝、肾组织中的乳酸脱氢酶(LDH)同工酶的酶谱.金线蛙指名亚种和金线蛙福建亚种 LHD 同工酶迁移率较一致,但是,它们的酶谱从 LDH_1—LDH_5各组分含量的多寡有区别。因此,我们认为把它们作为两个不同亚种处理较为恰当.其次,不同地区(北京相杭州)产的金线蛙指名亚种 LDH 同工酶酶谱虽然相似,但是,北京产的金线蛙指名亚种和杭州产的金线蛙指名亚种在脑、肝组织中 LDH 同工酶的组份,还有一些差异.电泳图谱表现出黑斑蛙 LDH 同工酶 LDH_1、LDH_2、LDH_3、LDH_4与金线蛙的相比,都明显地具有较小的迁移率。     

测定体内残余应力的孔周应变法

残余应力问题的广泛性与重要性,已日益为人们所了解。残余应力对构件的疲劳强度、应力腐蚀、形状精度等等均有重大影响;而它的形成,又随构件的材质、形状、成形与加工工艺过程等的不同而异,影响因素多,随机性大,又是自平衡力系,因此,如何确定残余应力的实际大小,是一个既重要而又困难的课题。残余应力的问题,现已发展成固体力学的一个分支。对于构件表层的残余应力,目前尚有一些比较可行的测试方法,如X射线法、小盲孔法、分割法等,在一定条件下能达到一定的精度。但物体内部残余应力的测定,却是特别困难的问题。即使对于形状简单且残余应力分布不复杂的构件,虽说有时采取剥离、剖分等全破坏性的方法结合计算,可以确定其体内残余应力,但也是工作量大、操作难度大、设备复     

接触载荷作用下的表面裂纹分析

用边界积分方法分析了表面裂纹在接触载荷作用下的张开位移和应力强度因子，该方法将埋在无穷大弹性介质中裂纹模拟为连续分布的位错环，根据两个位错环之间的相互作用能可以得到弹性体的应变能，对弹性体的势能取极值，可以得到关于裂纹张开位移的边界积分方程，通过把半空间的边界模拟成一个包含在无穷大弹性介质中大裂纹，该方法能用已有的边界积分方法很好的处理具有任意表面形状的表面裂纹，文中算例分析了不同倾角的表面裂纹在法向和切向接触载荷作用下，裂纹尖端的应力强度因子，其结果对于分析路面表面裂纹的扩展具有重要意义。     

FP-内射、FP-平坦维数与FPQ环

本文首先证明环R上左(右)模的fp*-内射(fp-平坦)维数均可以用Ext(Tor)来刻划的充要条件为R是一类比左Coherent环弱的环——在FPQ环;其次证明在左FPQ环上,左fp*-内射整体维数等于右fp-平坦整体维数(定理2);最后,着重讨论有限维FPQ环的有趣性质(定理3)。例如R是1fp*iD(R)≤2的左FPQ环,当且仅当左fp*-内射模的正向极限是fp*-内射的(指标集可以不定向)(推论)。     

C-S-H中Al3+离子的固溶对表面吸附碱量的影响

研究了Al3+离子的固溶对C-S-H表面吸附Na+离子量的影响.实验结果表明,Al3+离子固溶于C-S-H结构中将使C-S-H表面所带的负电量增大,因而也就增大了C-S-H表面对Na+离子的吸附能力.     

计算机在无机化学实验数据处理中的应用

无机化学实验中的定量实验近年来不仅有所增加,且计算愈趋复杂。为此,我们在中和热的测定、醋酸电离度和电离常数测定、配位化合物的配位数和稳定常数测定等定量实验中引入Apple—Ⅱ微机,使用BASIC语言对学生实验数据作出处理,效果较好。现选一例,加以介绍: 一、实验内容     

对河南农村劳动力向小城镇转移趋势的调查研究

“人口城镇化”是社会发展的必然趋势。本文从河南沁阳等九个“小城镇”的实际调查材料出发,较详细地讨论了农村劳动力向小城镇转移的流量,形成、就业层次和社会影响,说明中国的“人口城镇化”方向关键在于积极发展小城镇。     

一类非线性系统稳定性判据的计算机推导

本文对子平面上具有一次和三次项的系统的运动稳定性判据,中心焦点判据,以及奇点附近的极限环族存在的判据作了计算机公式推导,彻底求出显式公式     

非线性时变离散大系统的稳定性

本文利用“范数的加权和”形式的李雅普诺夫函数,研究了非线性时变离散大系统零解的稳定性,所得结果包括了〔1〕、〔2〕中的相应结果。