Fuzzy蕴涵代数的模糊正则滤子

在Fuzzy蕴涵代数中引入模糊正则滤子的概念并讨论其性质.获得了模糊正则滤子的若干等价刻画.深入考察了模糊正则滤子与其它类型的模糊滤子之间的关系,证明了一个模糊集是模糊Q-滤子当且仅当它既是模糊P-滤子又是模糊正则滤子的结论.     

剩余格蕴涵代数中多重模糊结合滤子的研究

在剩余格蕴涵代数中,首先提出了多重模糊结合滤子的概念,研究了其性质.然后,讨论了多重模糊结合滤子与模糊滤子之间的关系;接着,讨论了多重模糊结合滤子与多重模糊关联滤子之间的关系;最后,得到了在格H蕴涵代数中,不同的多重模糊结合滤子之间等价的结论.     

剩余格上的(λ,μ)直觉模糊滤子北大核心

在剩余格上引入λ,μ直觉模糊滤子的概念,讨论了它与剩余格上滤子之间的关系,研究了λ,μ直觉模糊滤子在剩余格同态下的像与原像的相关性质.     

有界Rl-幺半群的犹豫模糊滤子北大核心

将犹豫模糊集应用到有界剩余格序幺半群(Rl-幺半群)中,引入有界Rl-幺半群的犹豫模糊滤子的概念,研究其相关性质。获得了犹豫模糊滤子的一些等价刻画,建立了犹豫模糊滤子与其水平滤子之间的关系。讨论了犹豫模糊集成为犹豫模糊滤子的条件,给出了由一个给定犹豫模糊集生成的犹豫模糊滤子的表达式。     

Girard Quantale中的模糊关联滤子

在Girard Quantale中引入了模糊滤子和模糊关联滤子的概念,研究了Girard Quantale中模糊滤子和模糊关联滤子的一些性质,给出了Girard Quantale中模糊关联滤子的若干等价刻画,探讨了模糊关联滤子与模糊布尔滤子之间的关系.     

相似剩余格及其对应逻辑系统的完备性

引入了相似剩余格的概念,讨论了剩余格上相似算子和等价算子的关系,并得到了真值剩余格和相似剩余格相互转化的方法.其次,研究了相似剩余格上的相似滤子,利用相似滤子刻画了可表示的相似剩余格.最后,引入了相似剩余格对应的逻辑系统,证明了其完备性定理,并得到了其成为半线性逻辑的条件.     

效应代数中的模糊滤子

在效应代数中引入模糊滤子和模糊理想的概念,讨论了它们的性质;引入并研究了强模糊滤子;在全序效应代数中提出了一个模糊同余关系并证明了这样生成的同余类是一个全序格效应代数.     

剩余格上的L滤子

剩余格为模糊逻辑和模糊推理提供了一种良好的代数结构,滤子是剩余格中一个十分重要的概念,它在基于剩余格的模糊逻辑代数语义的研究中,扮演着一个关键的角色。本文基于Pavelka所提出的广义MP规则和真值提升规则,研究基于这两种推理规则的演绎系统的代数化问题。引入L滤子的概念,讨论这些滤子之间的关系,并给出它们的一些代数刻画。     

Heyting-代数上的(λ,μ)直觉模糊偏滤子

把直觉模糊滤子和Heyting-代数相结合,分别给出直觉模糊偏滤子,(λ,μ)直觉模糊偏滤子和(λ,μ)直觉模糊偏格滤子的定义,讨论所定义偏滤子的性质,得出(λ,μ)直觉模糊偏滤子具有交的不变性,最后证明了(λ,μ)直觉模糊偏滤子和(λ,μ)直觉模糊偏格滤子的等价关系。     

蕴涵格的MP*-滤子

通过对模糊逻辑代数中传统MP-滤子的定义进行改造,在蕴涵格中引入MP*-滤子的概念,并由此构作了完整的同余关系和商代数结构;同时,引入优蕴涵格的概念,证明了优蕴涵格的素滤子定理,从而完满地建立了蕴涵格的一般滤子理论,研究结果表明,当蕴涵格特化为IMTL-代数、R0-代她、MV-代数时,MP*-滤子正好特化为传统的MP-...     

Some Properties of Fuzzy Filter and Its Category

Ｉｎｏｒｄｅｒｔｏｓｔｕｄｙｍａｎｙｖａｌｕｅｄｌｏｇｉｃｓｙｓｔｅｍａｎｄｅｖｅｎｔｈｅｌｏｇｉｃｓｙｓｔｅｍｂａｓｅｄｏｎｌａｔｔｉｃｅ，ａｎａｌｇｅｂｒａｉｃｓｔｒｕｃｔｕｒｅ－ｌａｔｔｉｃｅｉｍｐｌｉｃａｔｉｏｎａｌｇｅｂｒａｗａｓｉｎｔｒｏｄｕｃｅｄｉｎｒｅｆｅｒｅｎｃｅ［１］．Ｔｈｅｓｔｕｄｙｏｆｌａｔｔｉｃｅｉｍｐｌｉｃａｔｉｏｎａｌｇｅｂｒａａｓａｌｇｅｂｒａｉｃｓｙｓｔｅｍｉｓｏｆｉｎｄｅｐｅｎｄｅｎｔｉｎｔｅｒｅｓｔ．Ｉｎｒｅｆｅｒｅｎｃｅ［２，３］ｓｏｍｅｐｒｏｐｅｒｔｉｅ…     

Fuzzy Order Filters in Adjoint Semigroups of BCK-Algebras

In this paper, we introduce the notion of fuzzy order filters in adjoint semigroups of BCK-algebras. We prove that there is a bijection between the fuzzy ideals of BCK-algebras X and the fuzzy order filters in the adjoint semigroup M(X) of X.AMS Subject Classification (2000) 06F35 03G25 20M10     

Fuzzy Ordered Filters in Implicative Semigroups

Animplicativesemilatticeisanalgebraicsystemhavingasmodelslogicalsystemsequippedwithimplicationandconjunction,butnotpossessingadisjunction.ImplicativesemilatticeswerestudiedbyW.C.Nemitz[5].In[2],T.S.BlythgeneralizedsomeresultsofW.C.Nemitz[5]byintroducingthenotionofaBrouweriansemigroup.FollowingtheideasofNemitzandBlyth,M.W.ChanandK.P.Shum[3]introducedthenotionofnegativelypartiallyorderedimplicativesemigroupsandgeneralizedsomeresultofNemitzonimplicativesemilatticestoim-plicativesemigroups…     

格蕴涵代数的关联理想与模糊关联理想(英文)

本文提出了格蕴涵代数的关联理想和模糊关联理想的概念 ,讨论了它们的性质 ,指出了关联理想与理想、关联理想与关联滤子、关联理想与模糊关联理想、模糊关联理想与模糊关联滤子、模糊关联理想与模糊理想之间的关系     

非可换模糊逻辑系统PL~*及其完备性

首先建立了非可换R_0t-模,以此为语义背景将模糊逻辑形式系统L~*拓广到非可换情形,提出了新的模糊逻辑形式系统PL~*,证明了系统PL~*的可靠性定理．其次,引入PL~*-代数及其滤子概念,得到PL~*-代数的正规素滤子定理,借此证明了PL~*系统的完备性．最后说明了PR_0t-模及PL~*系统可能的应用方向．     

非可换模糊逻辑系统PL~*及其完备性

首先建立了非可换R_0t-模,以此为语义背景将模糊逻辑形式系统L~*拓广到非可换情形,提出了新的模糊逻辑形式系统PL~*,证明了系统PL~*的可靠性定理．其次,引入PL~*-代数及其滤子概念,得到PL~*-代数的正规素滤子定理,借此证明了PL~*系统的完备性．最后说明了PR_0t-模及PL~*系统可能的应用方向．     

偏序集上蕴涵代数的素滤子

偏序集上的蕴涵代数是取值于偏序集上的蕴涵逻辑联结词的一种代数抽象.以偏序集上蕴涵代数中由蕴涵算子引入的逻辑运算t-余范为工具,讨论了偏序集上蕴涵代数的一些性质,然后引入了偏序集上蕴涵代数的素滤子的概念,讨论了素滤子在一定条件下的性质,并给出了一个MP滤子成为素滤子的条件.     

AHP多路径排序度量转换中的非线性问题

由于不同测量条件下的测量结果不是线性可加,AHP用矩阵乘法实现多路径序转换值得商榷.自隶属度从只取"1或0"两个值扩展到可取[0,1]区间上一切实数,可表征界于"是"与"不是"之间所有可能"部分是"模糊状态时起,对二值逻辑的研究已拓展到研究近似推理的模糊逻辑.这是逻辑的一个新的研究方向,目的是在隶属度转换过程中,通过对人类近似推理本领进行规范,使得到的目标值是"真值"在当前条件下的最优近似.模糊逻辑的量化方法是数值计算;推理依据是区分权滤波的冗余理论;实质性计算是由冗余理论导出的、实现隶属度转换的非线性去冗算法;所建的隶属度转换模型也是不同测量条件下高维状态空间上测量结果的非线性可加模型.将一维测量数据映射到高维状态空间上表为隶属度向量,可借助隶属度转换模型解决AHP多路径序转换的非线性计算.     

多雷达系统数据融合与航迹预测

为了便于准确定位传感器网络,分布式的单雷达系统首先进行各自的数据处理,包括:地理坐标换算至平面直角坐标;剔除孤立的异常点迹;采用模糊c-均值聚类方法和"动态分区",将单雷达数据中属于同目标的相似点迹归类集合;根据雷达观测和目标运动的特征,在每个点迹集合中设计门限滤波和相关矩阵检验,提取完整连续的目标运动的航迹;结合各航迹特征进行种类分析.接下来对属于不同雷达的航迹两两比较,找出有相交时间段的航迹,采用三次样条对两条航迹的进行内插和外推,再通过模糊综合函数对这两条航迹给出一个相似性度量,并取阈值为0.85.最后得出雷达间各航迹匹配关系.通过该雷达所观测到的航迹的稳定程度来近似估计其观察精度.首先对每一条航迹进行分段拟合得到其剩余方差,然后直接用每一条航迹的剩余方差来衡量雷达的观察精度,最后我们得出雷达的精度排序29107728,7724253720252539.对航迹融合,我们首先采用D-S证据理论并利用分析得到的雷达精度,对表示同一目标的航迹对进行融合.其次试图运用卡尔曼滤波对航迹进行融合:思路一是设法离线估计出噪声矩阵,得出系统噪声方差矩阵和观测噪声方差矩阵,从而用于标准卡尔曼滤波方程;思路二是探究较为实用的自适应滤波,兼顾Sage-Husa自适应滤波算法的高精度与强跟踪自适应滤波算法的可靠性,采用了一种混合算法给出收敛的估计.最终给出了雷达7728和2910的融合算例以及10秒钟的预测轨迹.最后,我们将导弹拦截飞机建模为三维的追逃问题,建立了运动学关系方程,最终归结为最小能量导引律问题.采用"模糊T-S线性模型"以及RH控制方法和伴随技术,在目标作对抗性机动条件下,获得了一个有效拦截的导引律.还对多雷达系统平均处理周期、数据融合系统的航迹处理周期进行了分析,对雷达网络实时性做了评价.