首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 15 毫秒
1.
研究了BL*系统和BR0-代数.首先在BL*系统的基础上添加了一元逻辑连接词Δ,得到BL*系统的一种模式扩张BL*Δ系统,随后提出了ΔBR0-代数的概念,其次研究了ΔBR0-代数中的Δ-滤子及其性质,最后证明了BLΔ*系统的完备性,给出了BLΔ*系统的广义演绎定理.  相似文献   

2.
格上BR_0-代数结构的表示定理   总被引:1,自引:0,他引:1  
利用模糊命题演绎系统BL*中公理的基本特征,研究了BR0-代数结构,给出了BR0-代数结构在有界分配格上、有界格上及一般格上的不同形式的表示定理,同时指出了其相应的不同格上R0-代数结构的表达形式。  相似文献   

3.
目的对BR0-代数自身的完备性问题进行研究。方法研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相匹配的R0-代数,并结合吴洪博教授所定义的BR0-代数,从伴随的角度切入。结果在BR0-代数中定义了BR0-等式和BR0-方程,通过全序BR0-代数证明了BR0-代数自身的弱完备性。结论得到了BR0-代数的完备性定理,为相应形式逻辑系统与模糊推理的研究提供了理论框架。  相似文献   

4.
研究了模糊命题演算形式演绎系统L*和与之在语义上相匹配的R0代数,以及基础R0代数和基础L*系统,提出了BR0代数的简化形式的概念,讨论了BR0代数与FI代数的相互关系.  相似文献   

5.
给出了图L(d,1,1)-标号的一般性质. 对一般图G, 给出了构造L(d,1,1)-标号的一个算法, 证明了λd,1,1(G)≤Δ32+dΔ. 对最大度Δ的树T, 证明了d+Δ-1≤λd,1,1(T)≤d+2Δ-2, 并且式中的上界与下界都是可达的. 此外, 对于两类特殊的树图: 拟正则树TΔ及正则毛毛虫Catn, 给出了确切的L(d,1,1)-标号数, 其中d≥2.  相似文献   

6.
通过在BR0代数中引入了新的运算*,首先定义了BR0代数中的*理想、素*理想、生成*理想、极大*理想,并研究了对应理想的一些性质;其次,通过(素)*理想构造出1个同余关系,并证明了1个BR0代数在该同余关系下的商代数还是(全序)BR0代数.  相似文献   

7.
研究了一类具有饱和发生率和媒体报道的双时滞传染病模型.两个时滞分别为易感者接受信息后进行自我保护和媒体报道信息的时间延迟.首先,计算得到基本再生数R0,讨论了无病平衡点E0和地方病平衡点E*存在的条件,通过分析特征方程讨论了平衡点的局部渐近稳定性.然后,研究了在不同情形下,两个时滞对地方病平衡点E*的稳定性所产生的影响,分析了系统在E*处Hopf分支的存在性.最后,通过MATLAB数值模拟对理论结果进行了验证.  相似文献   

8.
设A,B是含单位元的Banach代数, M是一个Banach A,B-双模。 T=(A MB) 按照通常矩阵加法和乘法,范数定义为‖(a mb)‖=‖a‖A+‖m‖M+‖b‖B,构成三角Banach代数。通过作用(f hg)(a mb)=f(a)+h(m)+g(b), T的对偶空间 T*为(A* M*B*)。 在T*上定义模作用 (a mb)·(f hg)=(a·f+m·h b·hb·g), (f hg)·(a mb)=(f·a h·ah·m+g·b), 使其成为一个对偶Banach T-双模。从T到T*的映射称为对偶模映射。 本文对T上对偶模Jordan导子和对偶模广义导子进行讨论, 给出了T上对偶模Jordan导子是对偶模导子的一个充分条件并且对T上对偶模广义导子进行了刻画。  相似文献   

9.
研究了一类变换图G(R*,S*),其中R*=(r1,r2)且S*=(1,…,1),计算出变换图G(R*,S*)的Wiener指数公式,并给出变换图G(R*,S*)的Wiener指数的渐进性质.  相似文献   

10.
对Lipshitz带形区域Ωa上的Hardy空间Ηpa)(0<p<+! ),证明了Ηpa)的完备性,对解析函数f∈Ηpa)(0<p<+!)在边界点的非切向极限f*的存在性和f 能由边界函数f*的Cauchy积分表示也给出了证明.  相似文献   

11.
研究了一类潜伏期和染病期均传染的SEIQR流行病模型,定义了基本再生数R0.并运用Routh-Hurtwiz判据、 Lyapunov函数及LaSalle不变集原理和第二加性复合矩阵证明了当R0<1时,模型存在唯一的无病平衡点P0,且P0全局渐近稳定;当R0>1时,模型存在两个平衡点,无病平衡点P0不稳定,地方病平衡点P*全局渐近稳定.最后进行了数值模拟.  相似文献   

12.
TiO2光催化法去除饮用水中的有机卤代物   总被引:2,自引:0,他引:2  
利用自制 TiO2光催化剂, 对饮用水中常见的氯消毒副产物三氯甲烷等有机卤代物进行了光催化去除研究, 实验表明,对于三氯甲烷浓度为 100 g/ L的 50 ml 废水,当催化剂的用量为 0. 4 g, 光照时间 3. 0 h,溶液中 H+的浓度为 1*10-9mol/ L时, 三氯甲烷的光催化去除率达 95. 0%以上.同时对光催化去除三氯甲烷的机理进行了探讨,证明了三氯甲烷的TiO2光催化去除反应遵循一级反应速率公式: ln C= - 0. 75 t+ 4. 30.  相似文献   

13.
令Singn为Xn={1,2,…,n}上全变换半群的奇异部分.Xn上递减全变换半群为S-n={α∈Singn|xα≤x,?x∈Xn},S-n由幂等元生成,且被J*n-1里的n(n-1)/2个幂等元生成.文章进一步研究了S-n的幂等元深度问题,证明了E(J*n-1)是S-n的所有生成元集的交,给出了α∈S-n的E(J*n-1)-深度和S-n的全局E(J*n-1)-深度,以及α∈S-n的E(S-<...  相似文献   

14.
构造3-Pre-李代数一直是一个很困难的问题,目前关于3-Pre-李代数的例子很少.利用单无限维3-李代数Aω=m|m∈Z>上所有权为0的齐性Rota-Baxter算子,构造了5类不同构的3-Pre-李代数Bk, 0≤k≤4,且对所构造的3-Pre-李代数的结构进行了研究,证明了B2和B4是2类单3-Pre-李代数,B1是具有无限多个1维理想的不可分解3-Pre-李代数,B3是具有有限多个理想的不可分解3-Pre-李代数.  相似文献   

15.
给出了部分等距元的一些刻画,主要证明了如下结果:设a∈R#∩R+,则1)a∈RPI当且仅当(a#)*(a+)2=a*(a#)*a+;2)a∈RPI当且仅当方程x=x(a#)*a+在xa中至少有一个解;3)a∈RSEP当且仅当方程x=(a#)*xa#在xa中至少有一个解。其中xa={a,a#,a+,a*,(a#)*,(a+)*}。  相似文献   

16.
设R是有单位元的*-代数,若R包含非平凡对称幂等元P满足:(1)若ARP={0},则A=0;(2)若AR(I-P)={0},则A=0。设φ:R→R是满射,则φ强保持新积当且仅当存在Z∈ZS(R)且Z2=I,使得对所有X∈R, 有φ(X)=ZX。作为应用,在没有I1型的中心直和项的von Neumann代数上和素*-环上得到相似的结果。  相似文献   

17.
讨论了连续时间Guichardet-Fock空间L2(Γ;η)中修正随机梯度算子及修正点态随机梯度算子族{s;s∈R+}的性质。讨论表明:修正随机梯度算子是L2(Γ;η)中的稠定无界线性算子,而修正点态随机梯度算子族{s;s∈R+}及其共轭族{*s;s∈R+}是L2(Γ;η)中的有界线性算子,具有很多性质:满足典则反交换关系和幂零性;{s;s∈R+}与{*s;s∈R+}的不等时复合可交换,即s*s=*ss,对∠s≠t;同时{*ss;s∈R+}是L2(Γ;η)上一族正交投影。另外,利用{s;s∈R+}和{*s;s∈R+},构造了L2(Γ;η)上一个酉算子群。  相似文献   

18.
应用算子论方法研究Banach空间X中p(1i}i∈I, 定义了有界线性算子Tf: X*→lp, 建立了从全体p阶Bessel列组成的Banach空间BpX(I)到算子空间B(X*,lp)上的等距线性同构α: f→Tf, 并给出了p阶Bessel列的扰动定理.  相似文献   

19.
证明了在p≥11时, 0≠h0(b1)3∈Ext7, 3p2q+qA(H*V(2),Zp)和0≠(b 1)3h0∈Ext8,3p2q+pq+2qA(H*V(2),Zp)在Adams谱序列中分别收敛到π*V(2) 的非零元, 0≠h0(b1)3γ3Ext10 ,6p2q+2pq+2qAp,Zp)和0≠(b1)3g0γ3∈Ext11,6p2q+3p q+3qA(Zp,Zp)在Adams谱序列中分别收敛到π*S的非零元.  相似文献   

20.
NO是大气污染的主要成分,从微观上研究其脱除机理是提高NO脱除效率的关键问题.本研究采用发射光谱方法,分别对不同氧含量条件下NO负脉冲流光放电等离子体脱除过程进行了实验研究.研究结果表明:在无氧气参加反应的情况下,纯NO的脱除主要是快电子与NO的激发解离碰撞,即NO+e*→NO*+e→N*+O*+e,生成N原子和O原子,继而还原成N2和O2,从而达到NO脱除的目的;在富氧情况下,NO的脱除主要是在快电子参与下,NO与氧原子或氧分子发生氧化反应,转化为NO2,而不再是前者的还原脱除反应.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号