“A是A,B是B”句联的语义考察

从语义平面考察“A是A,B是B”句联。把“A是A,B是B”句联分为两种类型:区别型和列举型。两种类型又各自分成几个次类,区别型分为偏别式、平别式,列举型分为“有”式、“合格”式、“鲜明”式。重点考察各类型和次类的语义特点,找出区别型和列举型在语义上存在一定的联系。考察“A是A,B是B”句联与先行句和后续句的语义联系,分为在复句中和在对话中两种情况。对于“A是A,B是B”句联歧义的消解提出解决手段。     

完备格上的张量积

本文讨论了完备格上张量积的一个有意义的性质:A、B是完备的Heyting代数,当且仅当A与B的张量积是完备的Heyting代数。     

关于日本初期马文化的源流

马文化传入日本有两次,第一次是四世纪末至五世纪初,第二次是五世纪后半期。马文化是在日本没有马的情况下传入的,其背景值得研究。第一次马文化的马具有两个明显特征,马鞍分A型和B型,都发源于朝鲜半岛南部。A型可能属鲜卑系,B型因资料缺乏,尚待研究。两型马鞍的差别并不单纯是前后关系,呈现出马文化向日本传播的复杂背景。日本早期马具起源何处？通过中国辽西出土的马具证明与中国东北地区有关系。     

ABB式叠词的内部结构分析

ABB式叠词所涵盖的词性范围较广,其中以形容词为最多。本文根据形式和意义两个方面的标准,把ABB叠词可以分为两种类型三个层次。两种类型是复合词和派生词。复合词中又可分为构形复合与构词复合;构词复合可以再分为以A为中心和以BB为中心。这样形成三个层次。复合词中的A与B或A与BB都是可以单用的,具有词资格。它们之间通过不同的语法关系相联系。构形复合词的内部结构形式可以记为“((A+B)﹄B)”,词尾B是附着于基词的叠音,与词义无关,不过有一定的语法意义。所以,严格的说,构形复合词应该叫做复合派生词。构词复合词的内部结构形式可以记为“(A+(B+B))”,其中的A和都有单用的资格。派生词的内部结构可以记为“(A﹄(B+B))”,其中的BB是纯粹的音的重叠。它与词中A的关系是依附关系。     

伴随矩阵A*的一个性质的一种证明

文章从两个引理出发，给出降秩矩阵A的伴随矩阵的特征值性质的一种证明方法，为解决相关问题提供了一种思路。     

互斥事件与相互独立事件

互斥事件和独立事件是高中数学概丰中的两个重要概念,互斥事件与相互独立事件有如下关系:对事件A、B,若P(A)、P(B)都不为0,若A,B相互独立,则A、B一定不互斥;若A、B互斥,则A、B一定不相互独立;若A,B不相互独立,则A、B可能互斥也可能不互斥;若A、B不互斥,则A、B可能独立也可能不独立.对于事件A、B,若A、B至少有一个为不可能事件,则A、B也一定互斥,也一定独立.     

论构式“无A不B”的逻辑意义

“无A不B”构式可表达全称肯定命题SAP,也可表达必要条件蕴含命题?A→?B,其不同逻辑意义是构式常项和变项互相作用的结果。常项“无”“不”以双重否定表达全量肯定,A项保持体词性或被强制体词化,B项保持谓词性或被强制谓词化,其逻辑意义为SAP。A项、B项同时保持谓词性或被强制谓词化,常项“无”“不”和A项、B项或谓词化A项、B项分别结合为?A、?B两个小句,构式强制赋予两个小句以蕴含关系,其逻辑意义为?A→?B。识解区分其两种逻辑意义可根据构式的语块、A项的语义、A项和B项的语义关系、A项和B项的词性组合、语境和百科知识等五个方面进行。     

关于调和点列的若干证明

调和点列的证明在几何中颇为多见。本文提出了调和点列及其性质和判定。讨论了调和点列的若干判定方法。1、定义、定理先给出一个定义及几个定理。定义。若线段AB被点C内分成的两条线段之比等于点D外分AB所成的两条线段之比，则称共线点A、B、C、D为调和点列。由定义知，也即。可见，B内分（或外分）CD所成的两条线段之比也等于A外分（或内分）CD所成的两条线段之比。性质定理1：如果四点A、B、C、D是调和点列，且点O是AB中点，则证明：如图考虑到上面的证明每步可逆，于是有下面的结论。判定定理l：共线五点A、B、C、D、（），…     

关于BCK-代数AF(B)

本文引入了 AF(B)BCK-代数,讨论了 BCK-代数 B 与 BCK-代数 AF(B)之间的几个关系.     

A/B型性格对时距估计的影响

时间认知分段综合模型认为,个体的时间认知取决于包含人格特征在内的多种因素。已有研究不能有效地考察不同性格类型的被试在时距估计方面的差异。本研究以75名A/B型性格大学生为被试,采用估计法与产生法探讨了A/B型性格对时距估计的影响。结果发现,(1)在估计法3种时距长度条件下,A型者比B型者估计的时间更长,差异达到边缘显著;(2)在产生法2种时距长度条件下,性别与性格类型的交互作用呈边缘显著,A型女被试产生的时距比B型女被试短,B型男被试产生的时距比B型女被试短;(3)在被试可以自由操纵的休息时间环节上,A型性格者的休息时间显著长于B型性格者。表明A/B型性格特征对时距估计具有影响,而B型性格对时距估计影响的性别差异显著。     

模糊域上模糊代数的表示定理与同构扩张定理

在引入模糊域与模糊域上模糊代数的基础上 ,给出了模糊域上模糊代数的表示定理与同构扩张定理 .     

关于BCI-代数的一些半群

讨论了BCI一代数的伴随摹群与伴随半群之间的关系，证明了在p-半单BCI-代数之下它们是同构的．     

矩阵算子代数上的完全正映射

证明了二阶矩阵 C* 代数之间 *同构在满足辛群作用不变性时可表示为 C* 代数间的两个 *同构的直和 ,同时给出了矩阵 C*代数的一些类似数值矩阵的性质 .通过证明完全正映射的一个类似于 Krein- Milman定理的性质 ,给出了一个纯的完全正映射延拓的存在性证明 .     

关于代数模与代数的扩张的注记

由可知,从已知代数模的扩张U出发,便可得一广义导子f。反之,利用这个广义导子f,我们也可构造出一个代数模的扩张U＇。本文证明了这两个代数模U与U＇是同构的。并给出了由因子系构造代数的扩张的一个方法。     

新型水驱特征曲线系列(Ⅱ)

针对目前在国内用得比较多的4种水驱特征曲线所存在的问题,提出了一种既简单又综合了甲乙两种类型关系的f _w—R*水驱特征曲线。将丙型与丁型结合提出新的水驱特征曲线,并和经典的水驱特征曲线完全等效的一种水驱特征曲线表达式,同时又能反映含水率-采出程度关系的多条曲线,对它的形状和性质作了一些研究,指出今后水驱特征曲线的研究方向是找出更简单、准确、实用的广义水驱特征曲线。通过实例计算表明,所建立的新型水驱特征曲线与实际数据拟合相关性更强,结果更可靠。     

关于可换BCK—代数的一个注记

1980年,K.Iseki[1]提出具有条件(C)的BCK—代数是否可换的问题。1982年,M.palasinki[2]绐出了一个条件(C_1),并证明了在BCK—代数中条件(C_1)等价于可换。1989年,沈百英(3)证明了(C_1)与(C)是等价的,从而解决了Iseki的问题。本文给出具有条件(C)的BCK—代数等价于可换的一个直接证明。     

p-半单BCI-代数的导群列

引入了p-半单BCI-代数的导群和广义a-结合BCI-代数的导半群的概念,并给出了p-半单BCI-代数的一个导群列和广义a-结合BCI-代数的导半群列.     

现代汉语中的AB/BA式异序词

现代汉语中存在着大量的AB/BA式异序词。考察《现代汉语词典》中收录的全部异序词,发现每组中的A1和A2、B1和B2的读音有相同和不同两种情况,意义方面有相同、相近、相关、无关等几种类型,不同的意义类型有其各自不同的特点,且与词性、结构等因素有着密切的关系。