基于蕴涵算子L-λ-0-λ-G的模糊推理的三I算法

研究了基于蕴涵算子L-λ-0-λ-G模糊推理的FMP三I支持算法,给出了FMP模型和FMT模型的三I算法的计算公式。     

λ-格的微分

在λ-格中定义了微分,讨论了相关性质,并通过λ-格微分的弱正则性和正则性,得到了λ-格微分的一些重要结果。     

中介谓词逻辑系统的λ-归结

给出中介逻辑谓词演算系统MF的一种无穷值语义解释,即无穷值的(解释,将λ-归结方法引入到MF中,讨论了MF的λ-归结原理,并证明了它的完备性.     

中介谓词逻辑一种改进的语义解释及λ-归结

潘给出的中介谓词逻辑系统MF的无穷值语义解释,不同于MF的其他任何语义解释。但在该无穷值语义解释下,“当A fuz时~A真”这种情况并未得到反映,并且该解释在模糊知识推理中必须作适当的修改才能更符合客观思维。给出了中介谓词逻辑系统MF一种真值域为（0,1－λ）[∪]（1－λ,λ）[∪]（λ,1）（λ[∈]（0.5,1））的无穷值语义解释,重新定义了MF的文字,提出了一种新的MF的λ-归结原理,证明了其完备性。该解释进一步表明用中介逻辑作为模糊知识的表示与推理的工具是可行的。     

基于蕴涵算子族Lλ0λG的α-三I约束算法

提出了基于蕴涵算子族Lλ0λG的模糊推理的思想,这将有助于提高推理结果的可靠性。针对蕴涵算子族Lλ0λG给出了模糊推理的FMP模型及FMT模型的α-三I约束算法。     

基于蕴涵算子族Lλ0λG的α-三Ⅰ约束算法

提出了基于蕴涵算子族Lλ0λG的模糊推理的思想,这将有助于提高推理结果的可靠性.针对蕴涵算子族Lλ0λG给出了模糊推理的FMP模型及FMT模型的α-三Ⅰ约束算法.     

半环诱导的赋值代数的解轮廓和解扩展

在由半环诱导的赋值代数中,通过半环同态与赋值的复合得到了一个新的赋值代数。证明了嵌入同态保持赋值的解轮廓,推广了赋值的解扩展定理。     

N(2,2,0)代数的(∈,∈∨q_(λ,μ))-模糊结合理想

引入N(2,2,0)代数结合理想的概念。利用(∈,∈∨q(λ,μ))-模糊代数,给出了N(2,2,0)代数广义(λ,μ)-模糊结合理想和点态化模糊结合理想的概念,讨论了两者之间的等价关系;给出了(∈,∈∨q(λ,μ))-模糊结合理想的一些等价刻画,研究了其相关性质;讨论了(∈,∈∨q(λ,μ))-模糊结合理想的同态像与同态原像的关系;还研究了(∈,∈∨q(λ,μ))-模糊结合理想的直积。     

格蕴涵代数的(∈,∈∨q（λ,μ）)-模糊素滤子

将((∈,∈∨q_（λ,μ）))-模糊代数应用于格蕴涵代数,提出了点态化((∈,∈∨q_（λ,μ）))-模糊素滤子和（λμ）-模糊素滤子的概念,并从以下几个方面对((∈,∈∨q_（λ,μ）))-模糊素滤子进行了详细的研究:讨论了((∈,∈∨q_（λ,μ）))-模糊素滤子和（λμ）-模糊素滤子的等价关系;研究了((∈,∈∨q_（λ,μ）))-模糊素滤子的相关性质;得到了特定条件下((∈,∈∨q_（λ,μ）))-模糊素滤子的若干等价刻画,建立了((∈,∈∨q_（λ,μ）))-模糊素滤子的扩张定理;探讨了((∈,∈∨q_（λ,μ）))-模糊素滤子的同态像与同态原像。     

λ演算中的第二不动点定理*

作者研究λ演算中的第二不动点的性质．首先讨论关于第二不动点的3个命题之间的关系且证明了它们．然后为第二不动点组合子给以一个充分条件且作出一系列的第二不动点组合子．作者还提出和证明了多元第二不动点定理．     

λ-连通分割和最优区域分并分割算法

本文提出适用于多维灰度图象的λ-连通分割算法,其计算时间为0(m|∑_m|);这里m为空间∑_m的维数.我们对λ-连通分割作了误差分析,并利用长度k-局部受限的概念,证明当图象在∑_m中的连通量不大于(1/2)|∑_m|时,k必须大于O(m-1)ln n)且几乎不需要超过O((m+1)ln n). 我们改进了经典的区域分并(四叉树)分割方法,得到其时间复杂性为O(|∑_m|·log_2|∑_m|)的算法,并从理论和应用两方面对这两种方法作了比较.     

一种λ-模糊测度确定新准则及其应用

在利用模糊积分进行多属性决策时,模糊积分中所用模糊测度确定是一个较难解决的问题,针对现有的λ-模糊测度确定方法的局限性,提出了一种λ-模糊测度准则。该准则可使决策者根据实际的需要通过设定指标的重视度和λ值达到惩罚落后指标,鼓励各项指标均衡发展的目的;也可达到奖励先进指标,鼓励搞突出抓重点的目的。通过与经典多属性决策算例的对比发现:应用λ-模糊测度确定准则进行决策较为符合人们的主观判断,比传统的λ-模糊测度确定方法更简便直观。     

几类旋转对称布尔函数的密码学性质

Sumanta Sarkar等人给出了一类具有最大代数免疫阶的旋转对称布尔函数,但对给出的旋转对称布尔函数仅研究了该函数的非线性度而对其他密码学性质未加以研究.因此,研究了上面给出的旋转对称布尔函数的其他密码学性质:代数次数、线性结构、扩散性、相关免疫性等.研究结果显示,虽然这类布尔函数的代数免疫阶达到最大,但是其他的密码学性质并不好.因此,此类布尔函数并不能直接应用在密码系统中.     

格蕴涵代数的（∈,∈∨q（λ,μ）-模糊滤子

给出了点态化（∈,∈∨q（λ,μ））-模糊滤子和广义模糊滤子的概念,讨论了两者之间的等价关系;得到了（∈,∈∨q（λ,μ））-模糊滤子的若干等价刻画,并研究了其相关性质;讨论了（∈,∈∨q（λ,μ））-模糊滤子的同态像与同态原像的基本性质;最后研究了（∈,∈∨q（λ,μ））-模糊滤子的直积。     

λ交软MTL滤子

引入了λ交软MTL-滤子、强交软MTL-滤子、交软MTL-滤子的概念,其中交软MTL-滤子是λ交软MTL-滤子的特例。讨论了λ交软MTL-滤子的刻画、性质和运算。给出了λ交软MTL-滤子在同态下像和逆像的性质。     

具有三种否定的模糊命题逻辑形式系统FLCOM的λ-归结

考虑到模糊逻辑中定理自动证明的重要性以及目前主要研究具有一种否定的模糊逻辑的归结原理,文中对具有三种否定(矛盾否定、对立否定和中介否定)的模糊命题逻辑(FLCOM)的归结原理进行研究.基于FLCOM的一种无穷值语义解释提出λ-可满足的和λ-不可满足的概念.将λ-归结方法引入FLCOM,给出FLCOM的λ-归结演绎定义,讨论FLCOM的λ-归结原理,并证明FLCOM的λ-归结方法的完备性.基于λ-归结方法和已证明的结论给出实例以佐证文中λ-归结方法和结论的正确性和可行性.因此,在FLCOM范围内可判定任一模糊命题公式是否是λ-可满足的或λ-不可满足的.     

KU代数上的(∈,∈∨q_((λ,μ)))-模糊正关联理想

给出了KU代数的点态化(∈,∈∨q_((λ,μ)))-模糊正关联理想与广义模糊正关联理想的概念,得到了KU代数的(∈,∈∨q_((λ,μ)))-模糊正关联理想的一些等价刻画,并指出了(∈,∈∨q_((λ,μ)))-模糊正关联理想有丰富的层次结构;其次得到了多个KU代数的(∈,∈∨q_((λ,μ)))-模糊正关联理想的交、并、同态像和同态原像(在一定条件下)也是(∈,∈∨q_((λ,μ)))-模糊正关联理想;而后又对KU代数(∈,∈∨q_((λ,μ)))-模糊正关联理想的直积以及投影进行了研究;最后给出KU代数的正关联理想的降(升)链条件的新概念,并利用(∈,∈∨q_((λ,μ)))-模糊正关联理想的性质研究了KU代数的正关联理想的降(升)链条件。     

R*-树空间索引的优化研究

针对大型空间数据库应用的需求及己有空间索引技术的不足,在论述R-树及R*-树索引技术的相关概念、数据结构、算法描述及性能分析的基础上,提出了一种改进的R*-树空间索引结构。研究结果表明：改进后的R*-树与原始的R*-树相比具有更高的性能。     

N（2,2,0）代数的（？,？Vq（λ,μ））-模糊正关联理想

对N （2,2,0）代数的正关联理想进行了详细的研究。提出了N （2,2,0）代数正关联理想的概念,讨论了正关联理想与理想、关联理想的关系;给出了N （2,2,0）代数广义（λ,μ）-模糊正关联理想和点态化模糊正关联理想的概念,讨论了两者之间的等价关系;给出了（？,？Vq（λ,μ））-模糊正关联理想的一些等价刻画,并研究了其相关性质。