λ-Horn集上的λ-单元锁归结

我们于1984年提出了算子Fuzzy逻辑的概念和λ-归结方法,并得到若干理论结果。从中可以看到,在实际中很大一类不确定知识和规则,可以用λ-Horn子句集描述,例如著名的专家系统MYCIN中的知识和规     

保持广义可合数值域的线性算子

设G是对称群S_m的子群.记CG是所有函数f:G→C的集合.称f是半正定的,如果存在c∈CG,使得对任意的r∈G有f(r)=sum from σ∈G (c(στ)c(σ)特别地,G的不可约特征标是半正定的.记C_n×m为n×m复矩阵集.对于f∈CG,广义矩阵函数d_f:C_m×m→C定义为d_f(A)=sum from σ∈G (f(σ))multipy fromu=l to a_iσ(i),其中A=(a_i,)∈C_m×m 设 1≤ m≤n,f∈CG,A∈C_n×n.如果f是非零的和半正定的,则定义A的f可合数值域为集合W_f(A)=|d_f(X~*AX)|X∈C_n×m,d_f(X~*X)=1|当m=1且f=1时,W_f(A)即是A的经典数值域外W(A)=|x~*Ax|x∈C_n×1,x~*x=1|.f-可合数值域相关于张量对称类的可合元素.设c∈CG对任意的,τ∈G满足(1)式记V为带有标准内积的向量空间C_n×1.则张量空间(?)V是酉空间,其诱导内积满足(x(?),     

广义线性半锁归结

文献[1,2]提出的广义归结方法,把归结方法引入到了一般的公式集(广义子句集)中,使得对问题的描述更为自然,并证明了广义线性归结和广义锁归结的完备性。文献[4]在分析了(常义)线性归结和锁归结不相容的基础上,提出了(常义)线性半锁归结方法,并证明了其完备性。广义线性归结和广义锁归结也是不相容的,为此,本文引入了广义线性半锁归结方法,并     

解析广义函数

设Λ是n维复数空间C~n中的一个开区域.对任意λ=(λ_1…,λ_n)∈Λ,有一个单变数的广义函数T_λ,如果对任意φ∈(?),是λ∈Λ的解析函数,我们就称T_λ为λ的解析广义函数.在盖尔芳特和希洛夫的名著[1]中,许多重要而有趣的例子都是解析广义函数(Λ(?)C~1).     

螺线管里的弧式连通性

命k_1,k_2,k_3,…为大于或等于2的正整数列,对每个正整数n,命C_n为单位圆{z:|z|=1},f_n为由式子f_n(z)=z~k_n定义的,C_(n+1),到C_n上的映射。系列{C_n,f_n}的逆极限空间M叫做螺线管。为讨论方便,我们定义单位圆C_n(n=1,2,3,…)里两     

关于仿射球的几个定理

设A~(n+1)是n+1维幺模仿射空间,M是n维C~∞流形,x:M→A~(n+1)是一个局部严格凸的具有等积仿射法化的超曲面。λ_1,λ_2,…,λ_n表示x(M)的仿射主曲率,令     

∏_1空间上循环自共轭算子不变子空间

由文献[1],不妨设∏_1循环自共轭算子A在空间分解下有以下矩阵形式表示: A={λ_0,A_p,G,Q},(1)其中Z=[z],Z~*=[Jz],z为∏_1的非零零性向量,λ_0 ∈ R,A_p为P上自共轭算子,Q=Q~*。     

不分明自回归预测模型的研究

一、引言 考虑经典的n阶自回归预测模型: Y_1=A_0+A_1Y_(t-1)+…A_nY_(1-n)+e (1.1)本文应用Fuzzy集的理论,将其扩展为 (1。2)其中待估参数和因变数均为(·,f)型Fuzzy数,e_t为误差。     

关于算子值矩问题条件

在文献[1]中,研究了Hilbert空间H上算子序列A_n,能有表示A_n=integral from n=1 to (λ~nB(λ)dλ)(1)的条件.其中B(λ)为具有紧支集的可积算子值函数,且满足0≤B(λ)≤I.他的条件为存在算子序列A_n,满足     

关于算子的张量积

近年来许多作者讨论了广义导算子δ_(AB)(·)=A(·)-(·)B和初等算子τ_(AB)(·)=A-(·)B,当限制于Hilbert-Schmidt类C_2(H)上时,为正规算子,亚正规算子,次正规算子,k-拟亚正规算子,拟正规算子,θ-类算子等等的充分必要条件,并得到许多有趣的结果。这里H为一可分的复Hilbert空间,A,B∈B(H)。注意到Hilbert-Schmidt类C_2(H2→H_1)     

离散系统鲁棒性分析——一种几何方法

一、离散系统鲁棒性分析的基本引理 记n次复系数多项式集F~n={f(z)|f(z)=α_0z~n+α_1z~(n-1)+…+α_(n-1)z+α_n, α_i∈C,i=0,1,…,n且α_0≠0},对于任意的f(z)∈F~n,若f(z)的根均在以原点为圆心、以ρ>0为半径的圆内,则称f(z)为S_ρ稳定,记为f(z)∈S_ρ。特别地,若ρ=1,则称f(z)为Schur稳定,即为离散时间意义下的稳定,记为f(z)∈S。     

余代数的有限性之间的关系

我们先给出Beckenbach不等式的进一步推广。 定理1 设α,A,B,β_1,β_2,…,β_λ(λ≥2),k_j,1≤j≤n,均为正实数,又已知0相似文献   

完美匹配树最小正特征值的界

设G为n阶简单图,称其邻接矩阵A(G)的特征值为G的特征值。因A(G)是实对称方阵,故G的特征值均为实数,可按大小顺序排列:λ_1(G)≥λ_2(G)≥…≥λ_n(G)。若G是     

初等算子的数值域和本性数值域

设B(H)表示Hilbert空间H中线性有界算子全体构成的Banach代数,C_1为B(H)中的Hilbert-Schmidt算子类。任意A、B∈B(H),定义τ_(AB)(X)=AXB, X∈B(H),     

矩阵奇异值的一个不等式

一、引言 最近,陈道琦对矩阵的奇异值和乘积矩阵的奇异值证明了如下不等式:对任意正整数n和m,若A_1,…,A_m∈C~(n×n)分别具有奇异值σ_1~((j))≥σ_2~((j))≥…≥σ_n~((j))≥0,1≤j≤m。     

一类图集的Ramsey数

在图G的一个顶点v上加一条端线e=vw,w(?)V(G),称为G的一次发芽。由图G分别在它的每个顶点处一次发芽而得到的图集,称为G的一次发芽集,记为(G)_1。图集(?)中所有图的一次发芽集的并集,称为(?)的一次发芽集,记为(?)_1。图G的2次发芽集(G)_2可由(G)_2=((C)_1)_1定义。一般,C的n次发芽集(G)_n可递归地定义为     

可单位分解多个交换算子的摄动

设x是Banach空间,(X)是X上有界线性算子全体,a=(a_1,…,a_n)(X)为交换组,sp(a,x)记J.L.Taylor意义下的联合谱。a称为m可单位分解的(m≥2为固定自然数):若对C~n的任意m开覆盖{G_j}_(j=i)~m,存在与a可换的算子{V_j}_(j=i)~m(V_j称为a的局部投影算子)和a的不变子空间{X_j}_(j=i)~m满足:若对任意自然数m≥2,a是m可单位分解的,则a称为可单位分解的。     

关于5阶KdV方程及其变形方程的Backlund变换和非线性叠加公式

5阶KdV方程为通过变量代换u=2(lnf)_xx,方程(1)可写为利用双线性算子的性质,我们证得了如下的结果。定理 1方程(2)的一个Backlund变换(BT)为(3b)其中λ为任意参数。定理2 设f_o是方程(2)的一个解,而f_1、f_2分别为由f_o出发经参数为λ_1、λ_2的BT(3)     

区间对称矩阵渐近稳定的充要条件和充分条件

对区间对称矩阵G[B,C]={A|A=(a_(ij))_(n×n)=A~T,b_(ij)≤a_(ij)≤a_(ij)},(1)B=(b_(ij))_(n×n)=B~T,C=(C_(ij))_(n×n)=C~T∈R~(n×n),Bialas研究了G[B,C]渐近稳定的充要条件.后经有关文献(略)得到结论:G[B,C]渐近稳定当且仅当其子集H[B,C]={A|A=(a_(ij))_(n×n)∈G[B,C],a_(ij)=b_(ij)或C_i}(2)渐近稳定.我们进一步构造K[B,C]如下:     

收敛常数和标度因子的重正化群逼近

在一维单峰映像x_(n+1)=f(λ,x_n)中,每个k周期“窗口”内都含有k,k~2,…,k~∞的周期轨道。类似于倍周期分岔序列,它们的超稳轨道参数(?)_1,(?)_2,…,(?)_∞也都有其收敛常数δ_k,并且在无穷累积点(?)_∞(K)处,仍有普适的函数