反链方法及其在正则三值逻辑函数计数上的应用

为适应不确定推理之需要,Mukaidono提出并系统地研究了正则三值逻辑函数的理论.这类函数个数的计算十分复杂,至今仅对自变量个数小于7的情形提出了若干结果.本文将反链方法与该类计算联系起来,从而为解决该类问题提供了一种新的可能途径.定义1 　设E={0,1/2,1},在E上除通常序“≤”外,再定义偏序(?)为:0(?)1/2,1(?)1/2,i(?)i.这两种序在E~n上各诱导出相应的乘积序,仍记为“≤”或“(?)”.映射f:E~n→E称正则函数,若(?)a,b∈E~n,当a(?)b时f(a)(?)f(b).正则函数f:E~n→E称单调函数,(?)a,b∈E~n,当a≤b时f(a)≤f(b).以下用F(n,R)记全体n元正则函数之集,用F(n,M)记全体n元单调函数之集.定义2 设(P,≤)是非空偏序集,a,b∈P.若有c∈P使c≤a且c≤b,则称a与b有公根.设A与B是P中的反链,若(?)a∈A和(?)b∈B,a与b有(无)公根,则称序对(A,B)为全(无)公根反链对.以下用E(n)表示(E~n,(?))中全体无公根反链对之集.令N(n)={1,…,n}.W(n)={L:L(?)N(n),L≠φ},用N(n,C)表示(W(n),(?))中全体全公根反链之集.定义3 设a=(a_1,…,a_n)∈(E~n.(?)).     

圆周自映射拓扑熵为零的充要条件

设S~1为单位圆周,对a、b∈S~1,a≠b,(a,b]、[a,b)分别是指S~1上按逆时针方向从a到b的半开弧。对于f∈C~0(S~1,S~1),记f的拓扑熵为ent(f),f的回复点集为R(f),     

连续时间MDP及其与离散时间MDP的关系

本文讨论的连续时间MDP(Continuous Time MDP,简记为CTMDP)折扣模型为{S,(A(i),(i),i∈S),q,r,a},其中状态集S可列;行动集A(i)为任意非空集,(i)为其上的σ-代数,它包含A(i)的所有单点集;转移速率族q(j|i,a)满足:i∈S,a∈A(i)均有—∞相似文献   

一般概率度量空间的等距度量化

文献[1～3]对两类特殊的概率度量空间进行了等距度量化,得到了定理A PM空间(E,F)等距同构于一个伪度量族生成空间(E′,d_r,r∈(0,1)(?)≥min.PM空间(E,F)等距同构于一个度量空间(E′,d)(?)(1,b)>a,(?)a∈(0,1).本文将对一般的概率度量空间(?(a,a)=1)进行等距度量化.除特别声明外,本文符号和术语与文献[1,3]相同.     

以滞量为参数的向日葵方程的Hopf分支

文献[1]在谈到向日葵方程(?)+(a/r)(?)+(b/r)sinα(t-r)=0的Hopf分支问题时写到:“我们可以把(1)式写为(?)=F(a,b,r,z).若我们选取r为参数,则由于r进入了z_t的定义,故F对r的依赖性是复杂的,所以我们取a为参数.”众所周知,滞量是引起时滞微分方程和常微分方程差异的关键所在,所以用滞量作参数讨论时滞方程分支问题是很有意义的.本文就是以时滞r为参数,给出(1)式的Hopf分支存在的条件,同时还明确地给出其Hopf分支方向,分支周期解的渐近表达式及其稳定性.关于(1)式的导出及意义可参阅文献[1～3].     

一类退缩抛物方程的平衡解

本文考虑下面Cauchy问题: 这里m>1,n>1,p≥1,m>p,我们总是考虑具有紧支集的u_o≥0,u_o∈L~∞(R~m),于是(1)式对应的定常问题为本文假设a(r)满足下面条件: (A 1)a(r)∈C~1([0,∞))且a′(r)>0,对r∈(0,∞); (A 2)存在a>0,使得(r-a)a(r)≥o,对r∈[0,∞)。在实际应用中,问题(1)—(2)描述了一生物动力学模型。问题(1)及相应的Dirichlet初边值问题的解的存在性在文献[3]中得到。在文献[4]中证明了(2)的非平凡解的唯一性,为     

关于迭代方程sum from i=1 to n(λ_if~i(x))=F(x)解存在性的讨论

一、引言本文讨论迭代方程λ_1f(x)+λ_2f~2(x)+…+λ_nf~n(x)=F(x),其中:f~o(x)=x,f~k(x)=fof~(k-1)(x),λ_i∈R~1。关于方程(1)的讨论直接源引于迭代根问题:求适当连续函数f:[a,b]→[a,b]。使     

分子格构成Fuzzy布尔代数的条件

设L为分子格,π为分子集,当a、b∈π对,若a≤b或b≤a,则称a与b具有可比关系,用a～b 表示.易见～是π上的等价关系.对a∈π,记(?)={b|b∈π,b～a},a_p=∨{b|b∈π,b∈(?)),显然a_p∈π.定又1 在π中规定一个二元运算“·”,它满足;i)a∈π,b∈π(?)a·b∈π;ii) c∈(?),d∈(?)c·d∈(?)b;称这个运算为π上的Fuzzy     

分布函数满足Lip-ψ的充要条件

设Φ(x)是定义在[0,∞)上的严格增加连续函数,Φ(0)=0,Φ(x)/x是非增的。称函数φ(x)满足Lip-Φ(记作φ∈Lip-Φ),如果存在常数M>0,使得对一切x,y∈R~1,成立|φ(x)-φ(y)|≤MΦ(|x-y|)。如果Φ(x)=x~r,r∈(0,1],则Lip-x~r归结为通常所谓以r为指数的Lipschitz条件,此时简记作Lip-r,又设J是这样一类特征函数的集合,对每个g∈J,成立:     

变分不等式的并行Schwarz算法

设Ω为R~d中有界多角形区域,V为Sobo1ev空间H~k(Ω)的子空间,a(·,·)为V×V上连续强制对称双线性型,f∈V。为简单计,设V中元素在Ω上满足齐次边界条件。考虑变分不等式:求u∈K使 a(u,v—u)≥f(v—u), (?)v∈K, (1) 其中 K={v∈V:v≥φ于Ω},φ≤0于(?)Ω, (2) 或者 K={v∈V:φ≤v≤ψ于Ω}, φ≤0≤ψ于(?)Ω, (3) 且φ,ψ∈H~1(Ω)∩C~0(Ω)。 设V~h(?)H_0~1(Ω)是V的有限元逼近且其结点参数值包含在结点的函数值。问题(1),(2)或问题(1),(3)的有限元逼近为:求u_h∈K_h使     

具有广义半线性性质的抽象语言族

一、引言和结果陈述 设V={v_1,…,v_n}为字母集合,对每个字P∈V~*,以N_(vi)(P)表示字母v_i在P中出现的次数,1966年Parikh在研究语言的本性不分明特性的时候,引进了映射φ:V~*→N~n,φ(P)=(N_(v_1)(P),…,N_(v_n)(P)),其中N={0,1,2,…}.N~n中子集合A叫作是线性的,是指存在r≥0和a_0,a_1,…,a_r∈A,使得     

奇性常微分方程的有界解的存在性

本文考虑了具有奇性的常微分方程的有界解问题Ly≡a(t)y″+b(t)y′=f(t,y,y′),(1)y(1)=0,y∈C[0,1]∩C~2(0,1] 且(2)其中a(0)=0,b(0)>0,(3)文献[1,2]等在很特殊的条件下证明了问题     

(10,3,4)强正则图

记Γ(a)为点a的邻点集,|M|为集M中元素的数目。 定义 图G称为(l,m,n)强正则图,如果它是l正则的,且(?)a,b∈G,a adj b,有|Γ(a)∩Γ(b)|=M,(?)a,b∈G,a≠b,a,b不相邻,有|Γ(a)∩Γ(b)|=n。 1973年榎本提出:(10,3,4)强正则图是否存在? 1981年李乔、杜锡录等同志又提出此问题,因为它对图的对称性研究是相当有意义的。但该图的存在性一直不清楚。本文具体构造出此图,因而存在性问题自然解决了。     

Bi-2223相厚膜银夹套带材的力学行为

设0≤a≤b≤1,G°(I)表示区间I=[0,1]上所有连续自映射之集.对任f∈G°(I),如果存在常数α>1,使得对任x_1,x_2∈[a,b],都有|f(x_2)-f(x_1)|≥α|x_2-x_1|,则称f在[a,b]上是扩张的,称α是f[a,b]的一个扩张常数,若在I上存在着k 1个点0=c_0相似文献   

某些RFDE解的渐近性态

其中F,G_i∈C(R,R),0≤τ_i(t)≤r(i=1,2,…,n),r>0,F(u)关于u∈R是单调不增的,并且对(?)∈R及每个i,存在T_i>t_0,使得t-τ_i(t)≤t_0对t∈[t_0,T_i]成立。我们有如下结果。     

近似匹配下的模糊推理

设F是非空集,L是完备格,R是F上的L-模糊相似关系,θ是L上的二元函数、按第一变元保持任意并、按第二变元保序且满足θ(a,1)=a(a∈L)。 定义1 设X是F上的L-模糊子集,r=是F上的n元L-推理规则,(?)是一集F上的L-推理规则。     

自由格的若干定理

格的一个等式类K上由一个弱偏格生成的自由格的定义可以按自由代数的理论或仿照K上由偏格生成的自由格的定义来给出。 定理1(存在定理) 设u=相似文献   

关于具有限时滞Liénard方程周期解的存在性

关于具有限时滞的Liénard方程x(t) f(x(t))x(t) g(x(t-r))=0 (0.1)的周期解的存在性的研究已有很多,但多数对g(x)都假设x∈R\{0}时X·g(x)>0.该条件对某些实际背景很强的方程是不成立的.如向日葵方程a(t) (a/r)a(t) (b/r)sina(t-r)=0就不满足上述条件.关于方程(0.1)的周期解的研究可参阅文献[2～4]及其参考文献.本文的目的在于以滞量r为参数,在减弱条件x·g(x)>0的基础上,给出保证方程(0.1)存在非平凡周期解的充分条件1 零解的稳定性及Hopf分支对方程(0.l),假设r>0为常数f,g∈C~2且g(0)=0.记f(0)=m,g’(0)=n,且设m>0,n>0.令x=y,则方程(0.1)化成等价系统     

(a,b,k)-临界图

本文所考虑的图皆指有限无向简单图。设G是一个图,具有顶点集合V(G)和边集合E(G)。文中未加说明的记号和定义参见文献[1]。设S(?)V(G),用G[S]表示G中由S导出的子图。用d_G(x)表示顶点x在G中的次数。设a和b是两个非负整数且a≤b。图G的一个[a,b]-因子是G的一个支撑子图H,使对任意的x∈V(H)有设。如果去掉图G的任意k个顶点所剩的图仍有[a,b]-因子,则称图G是(a,b,c)-临界图,或者说G是(a,b,k)-临界的。如果a=b=n,则简称(a,b,k)-临界图为(n,k)-临界图。如果n=1,则简称(n,k)-临界图为k-临界图。Plummer和Lovasz讨论了2-临界图的特征和性质。于青林给出了k-临界图的特征。刘桂真和于青林研究了(n,k)-临界图的特征。本文考虑a相似文献   

关于Hochschild同调群的一个恒等式

设A是域k上的有限维代数,A~e是A的包络代数,即A~e=A(?)A~(op),其中A~(op)是A的反代数.任一A-A双模M自然地视为左A~e-模:(a(?)b’)m:=amb,(?)a(?)b’∈A~e,m∈M.由此得到左 A~e-模A并且有如下维数公式(参见文献[1]):proj.dim.A~eA=gl.dim.A.根据Cartan-Eilenberg公式,A的第i次Hochschild同调群H_i(A)等同于向量空间H_i(A)(?)Ext_(A~e)~i( A,D(A))(?)Tor~A~e_i( A,A),其中D=Horm_k(-,k)为对偶函子. 关于Hochschild同调群和上同调群的原始定义和基本性质我们引用经典文献和新书.近年来的若干文献表明代数的Hochschild同调群和上同调群与代数的表示之间有紧密的联系.我们指出同时研究Hochschild同调群和上同调群