格值模型的超积基本定理的另一形式

<正> 文献[1—3]中通常都要求值格具有弱或强特征式,不难知道必须附加这样一个较强的条件的本质原因之一在于文献[1]中对于“某模型满足某理论”的定义。本文修改了此定义并在此基础上证明了格值模型的一个超     

关于饱和模型的讨论

一阶模型论中,关于可数模型的讨论是一个重要课题。在这方面,对于可数饱和模型的研究已得到了一些意义重要的经典结果。在文献[1]中,Benda定义了比饱和模型的条件要弱一些的几乎饱和模型和满模型的概念,探讨了它们的一些相关性质,证明了如果一个可数语言上     

一类正则半群的E-析取性

研究E-析取逆半群是Petrich提出来的一个问题。Pastijn和Petrich又定义并讨论了E-析取正则半群。文献[3,4]都研究了E-析取逆半群。由文献[1]易知每个逆半群都同构于一个基本逆半群和一个E-析取逆半群的次直积,可见E-析取的概念有重要的意义。受文献[3]的启发,我们在此考虑了正则单半群的强半格的E-析取性,给出了一个刻划。文献[3]中E-析取Clifford半群的刻划是本文结果的一个推论。     

模糊关系方程·■=的解

本文指出文[1]中关于Fuzzy关系方程A·X=B的解的一个推论不成立。同时给出了反例以及相应的结论。 给定,称A·X=B为模糊(Fuzzy)关系方程。其中。 定义1 在[0,1]上定义算子α     

Smale马蹄的一个简单模型

在微分动力体系的研究中,“Smale马蹄”是一个著名的重要的例子。这个例子提供了一个这样的微分同胚:它有无穷多个周期点,并且其非游荡集是一个“康托集”。但在文献[1]中对这个例子的表述很复杂。这里,我们给出“马蹄”的一个较简单的模型。关于Ω稳定性的证明略去,因为它可从文献[1]中的一般结果推出。首先,给出R~2中的矩形域Q、Q_1、Q_2、P_1、P_2的定义如下:     

海滨锦葵的滞后自花授粉策略

尽管在进化过程中植物面临不利自花授粉的选择, 但许多植物仍维持混合的授粉机制. 在被子植物中从优势的异花传粉到自花传粉是最广泛和普遍的进化转变[1]. 花的形态特征和行为, 如雌雄异位[2,3]、雌雄异熟[2,3]、花部运动和花冠脱落[4~6]等影响植物的传粉模式和繁殖. 如果一个植物种群仅仅依靠动物在个体间传递花粉, 并且如果传粉者缺少或在某一时段或年份数量较低, 在无前期异交发生的情况下,能自花授粉的个体将有一定的选择优势[7]. Lloyd 和Schoen[8]将这种一直滞后到杂交机会丧失后才发生的自花授粉定义为滞后自交(delayed selfing). …     

关于平面上宽过去马氏性的注记

一、引言和定义 关于两参数过程的马氏性,有各种不同的定义。这主要是因为所考虑的过去不同。即使只考虑宽过去,仍然有几种马氏性的定义。例如文献[1]中的*-马氏性;文献[2]中的宽过去马氏性;文献[3]中给出、文献[4]中略加改变的另一种宽过去马氏性(我们将称为弱的宽过去马氏性)。还有文献[5]中给出、文献[1]中略加改变的L-马氏性。在研究两参数随机微     

Carlitz-Kummer函数域的素分解

设 F_q 为特征 p 的 q 元有限域.k=F_q(T)为有理函数域,k~(ax)为 k 的某固定的代数闭包.令 M 为 R=F_q[T]中首1多项式,M 在α∈k~(ax)上的 Carlitz 作用如下定义:α~M=M(F+T)oα,其中 Toα=Tα,Foα=α~q.此作用的 M-挠元全体 A_M 为一循环 R-子模.作为分圆数域的模拟,k_M=k(A_M)称为分圆函数域(关于分圆函数域的理论可参看文献).设 K/k_M 为域的有限次扩张,z∈K—K~M,则作为数域 Kummer 扩张的一个模拟,在文献[4]中 Schul-theis 定义 u~M-z 的分裂域 K_(M,n)为 K 的 Carlitz-Kummer 函数域扩张(以下简称 CK 扩     

一类解析函数空间的特征

设函数f(z)在单位圆D内解析,记M(r,f)=max|f(Z)|(0≤r<1),H~p表示|z|=rHardy空间。对某一在[0,1)上不减的非负连续权函数ρ(t),由[1]定义带权的解析函数空间:     

关于判定问题的两个注记

1.在文献中Castaneda对Lewis模态命题演算S5证明了一条定理。此定理表明演算S5具有有穷模型性质,从而由之可推出S5的可判定性。略早于文献[1]时,著者在文献[2]中对于演算(?)_ε得到一条类似的定理,即文献[2]中的定理6。这里应指出,Castaneda在文献[1]中的定理和文献[2]中的定理6实质上是等价的。这里先对文献[2]中有关部分作一些修正。文献[2]的定理6陈述中的“B_0~()”应改为“B_0~(<2n>)”;相应地,该定理证明中     

微分多项式理想的极小特征基

在文献[1]中我们定义了多项式理想的极小特征基并研究了其性质。本文将这一概念推广至微分多项式理想。 1。极小特征基的定义 考虑一个特征为零的基本数域K及一组变元X_1,…,X_n。K{X_1,…,X_n)为系数在K中X_1,…,X_n的微分多项式集。我们用X_i,j表示X_i的j次微分。有关微分代数的一些概念如:初式、升列、基列等读者可参考文献[2,3]。在变量间     

格蕴涵代数的滤子与结构

为了从语义角度研究命题的真值取于格上的逻辑系统,文献[1]将格与蕴涵代数相结合提出了格蕴涵代数的概念,文献[1,3～5]研究了格蕴涵代数的一些性质.本文讨论格蕴涵代数中的滤子,特别是生成滤子,并由此探讨一类格蕴涵代数的结构特征.1 滤子及其性质关于格蕴涵代数及其中滤子的定义参看文献[1].定义1 设(L,V,∧,’,→)为一个格蕴涵代数,称包含A(?)L的最小滤子(A]为由A生成的滤子.     

布尔模态逻辑的泛模型与有限模型

布尔模态逻辑是一种模态词带结构的模态逻辑,其模态词及模态词的运算构成一个布尔代数.文献[1]讨论了布尔模态逻辑BML的有关性质,本文在此基础上研究了BML泛模型的存在性.文献[2]中考察了PDL泛模型的存在性,由于BML拟标准模型的可达关系的运算要求满足布尔运算规律,与PDL模型有很大的差异,文献[2]中构造泛模型的方法对BML无效,本文利用基本模态词编码的方法将“P-射”技术一般化,由非标准模型构造出拟标准泛模型.另外,本文还讨论了含n个原子模态词时BML的有限模型性质并进一步利用公式闭包及符号闭包的方法给出BML小模型规模的上界,所谓模型的规模指模型可能世界集的基数.     

数列最优成组剖分的一个近似算法

一、问题的提出及定义根据铁路运输中列车的编组问题,文献[2]提出了有限数列的最优成组剖分问题,文献[3]解决了文献[2]中提出的顺序子序列的计数问题,文献[4]给出了最优拟顺序成组剖分的一个多项式算法。设S是一个有限数列     

Banach空间的无限维可分商

在泛函分析中有一个基本问题:是否每一无限维Banach空间都有一个无限维的、可分的商空间?该问题长期未获解决(见文献[1]和[2]等).定义1 设X是无限维Banach空间,如果存在X的闭子空间M,使得商空间Y=X/M是无限维的,并且按商范数拓扑是可分的,则称X有无限维可分商.定义2 设B(Y,X)表示由Banach空间Y到Banach空间X的有界线性算子的全体;     

和的统一定义

文[1]指出,在物质流的能量方程中,pv这一项不是物质所携有的一种能量——流动能,而是物质流克服压力所作的流动功.但是现有的稳定物质流的(?)和(?)的定义(例如文[2])中,仍然将pv这一项视为物质流所携有的一种能量.文[3]得到了一个各种不同形式的能量的     

一类鞍点量的计算

一、问题的提出 复域中常微分方程的奇点定性分类已在文献[1,2]中给出。对线性系统定义一个示性数以A_c=—λ_1/λ_2,其中λ_1和λ_2为下列特征方程的根:     

组合码及其对偶码的不可检错误概率

由文献[1]知,在二元对称信道中,设误码率为p,则一个二元[n,k]线性码C的平均不可检错误概率定义为P_e(P)=sum from i=1 to n(A_iP~i(1-P)~(n-i),其中(A_0,A_1,…,A_n)是C的重量分布.而且,如果对任给的0≤p≤0.5,恒成立P_e(p)     

Bleimann等的一个算子的逼近特征

对于定义在[0,∞)上的函数f(x),文[1]引入了算子     

modpΛ中无短链的有限表示型自入射代数存在Hall多项式

<正>在文献[1]中,Ringel定义了Finitary环A上的Hall代数(?)(A).它是以{u_[M]}_[M]为基的自由Abel群,其中[M]表示有限A模M的同构类,(?)(A)的定义如下