共查询到20条相似文献,搜索用时 328 毫秒
1.
2.
通过对模糊逻辑命题演算形式系统£^*的代数语义——R0代数的研究,给出了R0代数簇的完整分类,并利用L^*系统与幂零极小逻辑(NML)的等价性,由系统L^*是可代数化逻辑出发,得到与R0代数真子簇对应的£^*系统的全部公理化扩张,文中所用的方法用样适用于其他满足逆序对舍关系的逻辑的扩张,具有较好的扩展性。 相似文献
3.
4.
本文利用超可解群的性质,通过群的扩张理论,利用一种新的证明方法解决了2^3p^n(p=3,7)阶群当sylow-p子群来循环时的构造。 相似文献
5.
举例说明1^∞型极限比重要极限lim(x→0(1+x)^1/x更重要. 相似文献
6.
在林寿与我最近合作的一篇文章中指出了∑^*-空间的构成定理需重新考虑.本文就是要证明在空间X的每个点是Gδ^-集的条件下该构成定理是成立的,所得的结论是:X是T1且每个点是Gδ^-集的∑^ -空间,如果f:X→Y是闭的满连续映射,则在Y中有-σ-闭离散子空间Z,使得对每个y∈Y\Z,f^-1(y)是X的ω1^-紧子空间.为得到该主要结果,本文证明了若空间X是每个点是Gδ^-集的次亚紧空间.则X中的每个闭离散子集是X中的Gδ^-集. 相似文献
7.
本文讨论强度为随机变量X,应力为复合χ^2-更新过程Y(t)的半随机过程可靠性模型的结构可靠度一致估计问题。获得在设计基准期[0,T]内结构可靠度表达式和结构可靠度的一致估计。 相似文献
8.
9.
本文证明若^3D4(q)△G≤Aut(^3D4(q)),这里q是素数方幂,则G不能点传递作用在一个射影平面上. 相似文献
10.
11.
12.
设$G$是设计2-$(5^6,7,1)$的一个可解区传递自同构群,则$G$是旗传递的且$G\le A\Gamma L(1,5^6)$. 相似文献
13.
作为ChenZ.「1」的推广,文中证明了(p,q)-形式的δ^-方程的Koppelman-Leray算子Tp,q和Koppelman算子Hp,q解在具片段C^1-边界的开集D上局部地保持边界点的实解析性。 相似文献
14.
讨论了在q=2的情形下,Littlewood-Paley gλ^*函数在加权Herz型Hardy空间中的有界性,即当0〈p〈∞,1/2≤α〈1/2+ε时,gλ^*是HK2^α,p(ω1,ω2)到K2^α,p(ω1,ω2)中的有界算子.推广了文献[3]中的结果. 相似文献
15.
16.
林升光 《数学物理学报(A辑)》2001,21(2):245-251
该文讨论强度为随机变量X,应力为复合χ2 更新过程{Y(t),t∈ [0,T]}时结构可靠度的渐近正态性问题.获得在设计基准期[0,T]内结构可靠度表达式和结构可靠度渐近正态估计. 相似文献
17.
18.
在非Lipschitz条件和弱线性增长条件下, 我们证明了具有无穷时滞的It\^{o}型随机模糊微分方程强解的存在唯一性. 相似文献
19.
20.
本文主要研究了$\mathbb{Z}^{k}$-作用一维子系统的跟踪性质. 文中运用两种等价的方式引入了$\mathbb{Z}^{k}$-作用一维子系统的伪轨以及跟踪性的概念. 对于一个闭黎曼流形上的光滑$\mathbb{Z}^{k}$-作用$T$, 我们通过诱导的非自治动力系统提出了Anosov方向的概念. 借助Bowen几何的方法, 我们证明了$T$沿着任意Anosov方向具有Lipschitz跟踪性. 相似文献