n值Lukasiewicz命题逻辑系统中公式的矛盾度理论

在n值Lukasiewicz命题逻辑系统中运用公式的矛盾度概念,讨论了公式矛盾度的部分重要性质,给出了Lukasiewicz命题逻辑系统中的矛盾度并推理规则,进而讨论了矛盾度与推理规则之间的关系.     

n值R0-命题逻辑系统L*n中公式的矛盾度理论

将n值R0-命题逻辑系统Ln^＊中的矛盾式概念程度化，引入了矛盾度的概念，并且讨论了公式的矛盾度的若干重要性质，进而用矛盾度定义了公式之间的差异度函数p＇,证明了p’是一个伪度量，从而在F（S）上建立了逻辑度量空间（F（S），p’）。     

n值逻辑系统L_n~*中矛盾度的等价定义及性质

给出了n值R0-命题逻辑系统L*n中一个更为直观的矛盾度定义的等价形式,利用矛盾度定义的等价形式简化了矛盾度的一些重要性质的证明,并得到了矛盾度的对称性定理.     

二值命题逻辑中命题的矛盾度理论

与二值命题逻辑系统L中公式的真度概念相对应,给出了系统L中公式的矛盾度概念,研究了其部分重要性质。在此基础上将逻辑等价概念程度化,并给出了矛盾度的一种升级算法.进一步在L的全体公式集F(S)上定义了公式之间的差异度概念,ρ证明了差异度ρ即是F(S)上的伪距离,并讨论了伪距离空间(F(S),ρ)的一些性质。     

排列图在PMC模型下的g好邻条件诊断度

诊断度是评估和判定多处理器计算机系统互连网络的自我故障诊断能力的重要指标。g好邻条件诊断度推广了经典的诊断度的概念,它要求每个非故障结点没有发生故障的邻点个数至少有g个。本文以PMC为模型,对排列图A_(n,k)的g好邻条件诊断度的上、下界进行讨论,最终得到了A_(n,k)在PMC模型下的g好邻条件诊断度为[(g+1)k-g](n-k).     

不完备信息系统中基于对象等值度的属性约简

在含缺省值的不完备信息系统中,以对象的等值度与矛盾度概念为基础,定义了关于对象及信息系统的属性约简概念,给出了约简存在的充要条件,提出并证明了属性约简定理,解决了基于容差关系的属性约简导致系统有用信息损失的问题,为信息系统知识发现提供了新的工具.     

周期为2~n的二元序列谱免疫度的算法

通过对周期序列谱免疫度的研究,提出了序列的0限制k错线性复杂度的概念。以Mark Stamp所提出的计算周期为2n的二元序列k错线性复杂度的算法为基础,设计了求周期为2n的二元序列0限制k错线性复杂度的算法1,并利用算法1提出了确定该二元序列谱免疫度的快速算法,该算法具有较高的计算效率,时间复杂度为O(n)。     

n值标准序列逻辑系统中的近似推理理论

在n值标准序列逻辑系统中引入公式的真度概念,利用真度定义了公式间的相似度和伪距离并证明了真度推理规则,同时给出一种推理误差的定义,这就为进一步在n值标准序列逻辑系统中展开近似推理奠定了基础.     

有向Kautz图的好邻连通度

有向Kautz图是并行计算系统的一类重要网络。根据实际应用中并行计算系统的故障分布情况,提出了有向图的好邻连通度的概念,该连通度是比传统连通度更精确的网络可靠性指标,并证明了有向Kautz图K(d,n)的好邻连通度为2d-2。     

积分语义学中的积分相似度、伪距离与近似推理理论

进一步研究了积分语义学理论中的积分相似度、伪距离及近似推理理论，提出了改进的积分交推理规则，给出了公式集Γ的n次发散度的估计式；同时在近似推理中引入了“相离度”概念，并给出了判定相离度为0的充分必要条件。     

杨辉三角形模5的绝对最小余数分布的分形结构特征

定义杨辉三角形中一些特殊的三角形:n度基三角、n度零三角、n度倍三角、n度反三角、n度叁倍三角、n度三角,并在此基础上猜想和证明了杨辉三角形中n+1度基三角可由n度三角通过某种特定的排列得到,从而论证了杨辉三角形中组合数模5的绝对最小余数分布具有自相似结构特征.     

值乘积命题逻辑中命题的α-真度理论

利用均匀概率空间的无穷乘积,在n值乘积逻辑系统中引入命题的α-真度概念.给出了一般推理规则,利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的伪距离,使得在n值命题逻辑系统中展开近似推理成为可能.     

分层立方网络在MM~*模型下的g好邻条件诊断度

诊断度在衡量互联网络可靠性方面有着重要的作用。许多著名网络的诊断度已被研究。g好邻条件诊断度扩展了传统诊断度的概念,它要求每个非故障处理器至少有g个非故障邻点。本文证明了分层立方网络HCNn在MM*模型下的1-好邻条件诊断度为2n+1,2-好邻条件诊断度为4n-1.     

■ukasiewicz n值命题逻辑中公式的α-随机真度理论

给出■ukasiewicz n值命题逻辑中公式的α-随机真度的概念和性质,利用α-随机真度定义了公式间的α-Dn相似度,进而导出全体公式集上的一种伪距离。     

关于图的连通度、宽直径、顶点数函数的讨论

Frank Hsu D博士（1994年）中提出了w-距离（w-distance)和w-直径（w-diameter)的概念,介绍了“函数h(k,d,n)”,其中的参变数包含连通度k,最大直径d和顶点个数n。该文对这个函数进行了讨论,给出了部分结果。     

两相异斑块中扩散Lotka-Volterra树系统持续生存的判据

讨论了两相异斑块中n种群扩散Lotka-Volterra树系统.通过引入"种群度"的概念,给出了一组判断该系统是持续生存的、容易验证的充分条件.     

n值Lukasiewicz逻辑中命题的条件真度理论

利用条件概率的思想在n值Lukasiewicz命题逻辑中引入公式的条件真度概念,并给出条件真度的一些性质;利用条件真度定义公式相似度,进而导出全体公式集上的一种伪距离,这为n值Lukasiewicz逻辑系统中给出在信息∑下的近似推理理论提供了一种可能的框架.     

无爪图中子图的度和与Hamilton圈

定义了子图的度的概念,证明了如下结果：设图G是n阶2-连通无爪图,如果G中任意两个同构于心的不相邻子图日,也的度和d（H1）＋d（H2）≥n-2,则G有Hamilton圈．     

n值Lukasiewicz命题逻辑系统中公式的绝对真度理论

在n值Lukasiewicz命题逻辑系统中,回避均匀概率空间中的无穷乘积测度,借助逻辑公式A所诱导的函数引入逻辑公式A的绝对真度概念,并利用绝对真度定义公式间的绝对相似度和伪距离.讨论绝对相似度和伪距离性质.证明┑,→,∧,∨运算在伪距离空间中是连续的.     

涉及复合函数分担条件的全纯函数正规族

讨论了涉及复合函数分担条件的全纯函数正规族,提出了"局部度"的概念,利用Pang-Zalcman方法和Nevanlinna理论证明了:对于区域D上的全纯函数族!,若P(z)是次数为n的多项式,φ(z)是局部度小于n的解析函数,且对任意f,g∈F,满足P(f)和P(g)在D上IM分担φ(z),则!是D上的正规族.并举例说明了该结论中局部度条件不能减弱,在特定意义下是最优的.