滤子
- 非交换剩余格上的广义余区间值模糊滤子
了非交换剩余格的滤子。郝加兴等［3］研究了非交换剩余格上模糊滤子的性质和刻画。后来，L.A.Zadeh［4］又将模糊集进行了推广，给出了具有区间值隶属函数的模糊集。PU P.M.等［5］给出了属于和拟一致于概念。ZHAN J.M.等［6］在BL-代 数上引入了区间值(∈,∈∨q)-模糊滤子。在模糊代数研究中，余模糊理想发挥着重要作用，S.H.Asaad 等［7］建立了正规半群上余模糊理想的相关理论。在以上研究工作的基础上，我们在非交换剩余格上引入(∈,∈∨
新乡学院学报 2024年3期2024-06-09
- 非交换剩余格上的直觉模糊滤子
它们的特殊情况。滤子理论在逻辑代数中起着非常重要的作用。 目前，人们已将诸如蕴涵滤子、奇异滤子、正则滤子和固执滤子等一些特殊滤子引入非交换剩余格和其他逻辑代数，并获得了许多重要的结果［6-12］。K. T. Atanassov［13］给出直觉模糊集以后，直觉模糊集理论得到了迅速发展。 S. Boudaoud 等［14］研究了格上的直觉模糊滤子及其等价刻画， 给出了主直觉模糊滤子。 M. A. Kologani 等［15］给出了Hoop 代数上的直觉模糊滤子
新乡学院学报 2023年12期2023-02-11
- 相等代数上态的存在性
了相等代数的蕴涵滤子, 奇异滤子及其素滤子, 并且研究了它们之间的关系, 2019 年, 文献[2] 研究了超相等代数的强超推理系统,在2021 年, Borzooei R. A. 等人[3]研究了超相等代数上的滤子理论, 态理论在研究模糊逻辑和它相关的代数结构中扮演了一个十分重要的角色. 特别是态的存在性理论是一个十分重要的课题, 引起了国内外学者的关注. 如MTL - 代数上的态的存在性[4], 剩余格上的Bosbach 态和Riečan 态[5],R
纯粹数学与应用数学 2023年4期2023-02-05
- EBL-代数上的蕴涵滤子与正蕴涵滤子
辑代数的过程中，滤子作为一个工具性概念发挥了不可替代的作用. 目前，在BL-代数、剩余格等代数系统中，这方面的研究工作已经获得了很多有价值的成果[6-14]. EMV-代数[4]和EBL-代数[5]上也分别引入了滤子的概念，讨论了滤子的一些基本性质，但对于具体滤子没有做更多深入地探讨. 在此背景下，本文在文献[5]的基础上，在EBL-代数中定义了Boolean滤子、蕴涵滤子、正蕴涵滤子等概念，得到了它们的一系列等价刻画，并讨论了它们的相互关系，证明了正蕴涵
兰州文理学院学报(自然科学版) 2022年5期2022-09-24
- m-半格中的滤子及其相关拓扑性质
格序结构中研究了滤子的拓扑性质； 文献[8]通过在Quantale中引入滤子的概念, 讨论了Quantale中滤子的拓扑性质, 得到了一系列重要结论. 而m-半格是Quantale的一般化, 基于此, 本文在更广泛的m-半格结构上给出滤子的概念, 研究滤子的若干性质, 构造滤子拓扑并讨论滤子空间的一系列性质.首先, 证明每个滤子空间是连通的且满足第一可数性公理, 并分别给出滤子空间是T0空间和满足第二可数性公理的等价刻画; 其次, 通过在m-半格上引入素滤
吉林大学学报（理学版） 2022年3期2022-07-07
- 非交换剩余格上的n重PMTL滤子及其刻画
辑代数的研究中,滤子理论起到了非常重要的作用.目前,在剩余格、非交换剩余格以及其他逻辑代数中,各种特殊滤子已被引入,如正规滤子、布尔滤子、蕴涵滤子、正蕴涵滤子、奇异滤子等[11-19],并获得了许多重要结果.受文献[20-21]的启发,本文在非交换剩余格上引入n重PMTL滤子的概念,得到这类滤子的一系列刻画,提出n重PMTL代数的定义,从n重PMTL滤子的角度证明n重PMTL代数的若干特征定理,并通过提出n重素滤子的定义,给出n重PMTL代数的另一种刻画.
四川师范大学学报（自然科学版） 2022年2期2022-03-27
- 非交换剩余格上模糊PMTL滤子的特征及其性质
数中的共同特征。滤子是研究逻辑代数的一个重要工具，它对不同逻辑系统以及与之对应的逻辑代数的完备性问题的研究发挥着重要作用。 目前，非交换剩余格及其他逻辑代数中已引入各种特殊滤子，如布尔滤子、蕴涵滤子、正蕴涵滤子、奇异滤子、PMTL滤子等，并获得了许多重要结果[4-10]。文献[11]提出模糊集的概念后，众多学者将其应用于多种代数结构，使模糊理论得到了进一步发展[12-13]。 为了更好地揭示非交换剩余格的特性，学者们将模糊集的方法应用于非交换剩余格中，提出
郑州大学学报（理学版） 2022年1期2022-01-22
- 区间集非交换剩余格广义Fuzzy滤子的构造性刻画
[14-16]。滤子理论[17-21]既是研究模糊逻辑演绎推理系统可视为代数滤子的镜像,又是众多学者从不同视域提出性质迥异的滤子概念，拓展了模糊逻辑代数分析的研究路径。文献[22]研究了逻辑代数上的滤子(理想)理论,EQ-代数上的拓扑结构及拓扑EQ-代数，逻辑代数及其超结构上的态理论、内态理论和广义态理论，而基于非可换逻辑代数均含有共同的非交换剩余格这一本质的基础性代数结构。本文将区间集思想和滤子理论应用于非交换剩余格，在给出区间集非交换剩余格的定义和文献
渭南师范学院学报 2021年11期2021-11-22
- EQ-代数中的两类L-模糊前滤子及其性质
-7]. (前)滤子概念在EQ-代数中起着重要作用. 文献[8]在EQ-代数中提出蕴涵前滤子和正蕴涵前滤子的概念; 基于模糊集思想, 文献[9]在EQ-代数中提出了模糊前滤子和素模糊前滤子的概念; 文献[10]提出了模糊蕴涵(前)滤子和模糊正蕴涵(前)滤子, 并讨论了它们之间的关系; 文献[11]基于L-模糊子集, 在EQ-代数中提出了L-模糊滤子的概念, 得到了L-模糊滤子的等价刻画, 并讨论了L-模糊滤子与EQ-同态和EQ-同余的关系.本文受上述文献的
兰州文理学院学报(自然科学版) 2021年5期2021-10-13
- BL-代数的直觉模糊滤子度
一种代数方法. 滤子理论在逻辑代数的研究中起着重要的作用, 从不确定信息的角度看, 相应推理系统中的可证明公式集可以用这些代数语义的模糊滤子来描述[10]. 许多学者对BL-代数的滤子做了大量的研究[11-18], 特别是文献[18] 将文献[19] 提出的直觉模糊集应用于BL- 代数中, 建立了BL- 代数的直觉模糊滤子理论, 研究几种直觉模糊滤子的性质和它们之间的一些关系.文献[20] 为研究一个模糊子集满足模糊子群条件的程度, 引入了模糊子群度的概念
纯粹数学与应用数学 2021年2期2021-07-23
- 关于线性算子的弱统计收敛
为一般的理想(或滤子)收敛[10-11].伴随着每一种推广形式的统计收敛的引入，关于统计收敛与经典收敛之间的关系都是人们研究的热点问题.其中一个核心的定理是度量空间X中序列的统计收敛与几乎处处收敛是等价的，即序列(xn)⊂X统计收敛于x∈X当且仅当存在一个统计零集G⊂N使得(xn)n∈N G在度量拓扑意义下收敛于x(例如X=R,可参考文献[12-13]).Maio等[7]证明了当X是第一可数空间时，则上述定理也是成立的.尽管如此，但该结论反过来却不成立.具
厦门大学学报（自然科学版） 2021年1期2021-02-02
- 偏序集上的素强滤子
述概念，并提出了滤子极大理想的概念[3]。此外，潘美林等在文献[4]中给出了弱理想的定义，得到了若干好的结果，进而丰富了特殊元理论。2017年，唐照勇等在文献[5]中引入了强理想的概念，并研究了其在有限偏序集上的应用。文献[6]引入了强集的概念，并将文献[5]中元素间连通关系的定义推广到一般偏序集上。在此基础上，本文在偏序集上引入素强滤子的概念，并研究其相关性质。此外，考察素强滤子、素滤子、强滤子三者之间的关系。最后得到：强滤子在序同构映射下的像是强滤子；
南昌大学学报（理科版） 2020年3期2020-10-10
- 模型论中的超理想
引言在模型论中，滤子［1]出现在超积理论中. 滤子是偏序集合［2]的特殊子集. 滤子起源于拓扑学，并常在序理论［3]和格理论［4]中出现，它的特殊使用情况是：要考虑的有序集合只是某个集合的幂集，并用集合包含来排序.文献［5]对滤子进行研究，通过介绍滤子和常见几种滤子的定义，给出常见几种滤子的实例，在此基础上，给出滤子的一些性质和常见滤子的关系.滤子的对偶概念是理想，由于滤子和理想在概念上的序对偶性，关于滤子的讨论通常可以与理想相关联. 文献［6]讨论正则剩
淮北师范大学学报(自然科学版) 2020年2期2020-07-02
- 一种求解序列二次规划结合信赖域的多维滤子算法
]等人提出了一种滤子算法来求解非线性规划问题。他们借用了多目标优化的思想，将非线性约束优化问题分为双目标优化，其实质为一种非单调法，即目标函数与约束违反度都减小，但可以不同时减小的策略，具有非常好的收敛性效果。紧接着Fletcher，Gould和Leyffer[2]等人又给出了SQP结合信赖域的全局收敛性证明。Su和An[3]等人提出了一种对于等式约束具有全局收敛性的非单调滤子算法，他们将试探步分为了准法步与切步，使算法的计算规模变得更小。Nie[4]等人
运筹与管理 2019年10期2019-12-17
- 有界半Hoops上的时态算子
性质,给出了时态滤子的定义,刻画了时态滤子.探究了极大时态滤子,得到了一些重要结果.2 预备知识定义 2.1[4]一个(2,2,2,0)型的代数A=(A,⊙,→,∧,1)若满足下列条件:(1)(A,∧,1)是一个有最大元1的交半格;(2)(A,⊙,1)是一个可换半群;(3)(x⊙y)→z=x→(y→z),对任意的x,y,z∈A.则称 (A,⊙,→,∧,1)为半 Hoops代数.在一个半 Hoops代数 (A,⊙,→,∧,1)上,定义对任意的x,y∈A,x≤
纯粹数学与应用数学 2019年3期2019-10-24
- 广义拓扑空间中滤子的一些结果
义拓扑空间中引入滤子概念，并且得到关于滤子的一些性质和理论结果?本文主要就上述问题，在文献［1］的基础上对广义拓扑空间中的滤子进行研究，并得到广义拓扑空间滤子的一些结果;并且，将广义拓扑空间滤子与映射相结合，获得滤子和映射的一系列结果。1 预备知识首先，回忆广义拓扑空间的概念:定义1［1］X 是任一非空集合，T 是X 的一些子集构成的集族，则称T 为集合X 上的一个广义拓扑，如果下列两个条件被满足:(A1) 若{Gλ}λ∈Λ∈T 。这时称有序偶(X，T )
四川轻化工大学学报(自然科学版) 2019年3期2019-06-28
- 基于梯度投影的广义滤子填充函数方法
的求解中[6].滤子技术最早由Fletcher和Leyffer提出,他们详细讨论了滤子作为代替罚函数的工具在局部优化算法中的一些应用[7,8].之后滤子技术在局部优化问题的求解中被认为是一种更有效的方法,因其良好的数值效果,许多学者继续进行了一系列的相关研究[9−11].梯度投影算法自从被Rosen[12]提出后就引起了广泛的注意和系统的研究[13,14],由于该方法简单、实际应用的数值效果好,在一些更有效的近代算法中也继续沿用了它的基本思想[15,16]
数学杂志 2019年1期2019-01-18
- FI代数上基于模糊滤子的一致拓扑空间
果[2-10].滤子作为一种工具性概念在命题逻辑系统及与之相匹配的语义代数完备性证明中扮演着重要角色. 从逻辑观点来看，各种不同的滤子对应不同的可证公式集. 鉴于此，许多学者从不同的角度对FI代数提出了多种不同形式的滤子概念，并对其性质和模糊化问题进行了深入细致的研究[11-15].近年来，借助拓扑工具描述逻辑问题越来越受到学术界的关注，为逻辑问题的研究提供了新的方法和途径. 其中，文献[16]在R0-代数上以全体MP滤子为基础建立了拓扑空间并讨论了该空间
浙江大学学报（理学版） 2018年5期2018-09-10
- 双重MS-代数的正则理想
究，常借助理想和滤子，是人们认识序代数-Ockham代数类的结构及同余关系的一个重要工具.文献[5]给出了双重MS-代数正则滤子同余关系的表达式；文献[6-11]以理想与滤子为工具刻画了相关Ockham代数的结构，给出了相应Ockham代数理想和滤子同余关系表达式.本文作为文献[5]的补充，讨论双重MS-代数正则理想与正则滤子的关系，丰富序代数结构的研究.1 预备知识定义1.1[1]设（L；∧，∨，0，1）是一个有界分配格，其上赋予一元运算o，且满足条件：
汕头大学学报（自然科学版） 2018年3期2018-08-28
- BR0代数的犹豫模糊滤子与理想
工作。众所周知，滤子理论与理想理论在逻辑代数系统的结构研究中扮演着十分重要的角色。文献[21]引入了BR0代数的模糊滤子与模糊素滤子的概念，研究了其相关性质。文献[22]提出了BR0代数的模糊理想和模糊素理想的概念，研究了它们的基本性质，给出了BR0代数的模糊集构成模糊理想的条件。本文，将犹豫模糊集应用于BR0代数中，建立拟BR0代数的犹豫模糊滤子与理想理论，研究其性质和结构特征。2 预备知识定义1[5]设X为一个给定的集合，一个X上的犹豫模糊集的定义如下
计算机工程与应用 2018年11期2018-06-01
- 理想和滤子的S-收敛
限点、S-聚点，滤子的S-极限点、S-聚点等概念，并给出了网的S-极限点、S-聚点，理想的S-极限点、S-聚点和滤子的S-极限点、S-聚点之间的关系，确立了理想和滤子的S-收敛理论.定义1.1[8]设(X，τ)是L-拓扑空间，A∈LX.则：A称为半开L-集，当且仅当A≤cl(int(A))；A称为半闭L-集，当且仅当int(cl(A))≤A.记LX中所有半开L-集的集合为SO(X)，所有半闭L-集的集合为SC(X).定义1.2[8]令(X，τ)是L-拓扑空
东北师大学报（自然科学版） 2018年1期2018-04-03
- EQ－代数的模糊滤子粗糙性研究
则F就称为E的准滤子。定理3［2］设F是一个可分ΕQ－代数E的准滤子，且a～b∈F，a'～b'∈F，则下列式子成立:(1)(a ∧a')～ ( b ∧b')∈F;(2)( a ～a')～ ( b ～b')∈F;(3)( a →a')～ ( b →b')∈ F。定理4［2］设F是可分的ΕQ－代数E的一个准滤子，对任意的a，b∈E，如果a～b∈F，b～c∈F，则a～c∈F。定理5［3］设E是一个可分的ΕQ－代数，F是E的滤子。则≈是E上的一个同余关系。我们把
渭南师范学院学报 2018年4期2018-03-10
- 有限偏序集上的强滤子及其应用
有限偏序集上的强滤子及其应用刘志禹， 姜广浩， 唐照勇(淮北师范大学数学科学学院,安徽淮北 235000)本文在偏序集上引入强滤子的概念,并在有限偏序集上探讨强滤子与(非)连通偏序集之间的关系.强集； 强滤子； 不交并偏序集； (非)连通偏序集1 引言与预备知识唐照勇等在文献[5]中给出了另一种等价的数学语言来刻画有限偏序集的连通性,进而将有限偏序集分为连通和非连通两种类型， 并在有限偏序集上探讨了强理想与(非)连通偏序集之间的关系. 受此启发， 本文在偏
洛阳师范学院学报 2017年11期2017-12-22
- R0-代数的导子
集和R0-代数的滤子，获得了一个滤子成为好的理想导子滤子的充要条件，移植了不动点集在其他代数结构上的一些重要结果。R0-代数；导子；不动点集；滤子1 引言为了给模糊逻辑提供更坚实的逻辑基础，文献[1]中提出了一种形式的演绎系统L*，并以此为背景抽象出R0-语义 Lindenbau代数的基本性质。在文献[2]中，王国俊教授提出了R0-代数，它可以为模糊命题形式演绎系统提供一种完备性解释[3]。导子的理论来源于分析学，将它引入到代数系统中有助于研究代数系统的结
中成药 2017年11期2017-11-28
- 剩余格的犹豫模糊滤子理论*
剩余格的犹豫模糊滤子理论*彭家寅+内江师范学院 数学与信息科学学院，四川 内江 641199将犹豫模糊集概念应用于剩余格的滤子理论中，提出了剩余格的犹豫模糊滤子、犹豫模糊蕴涵滤子、犹豫模糊正定蕴涵滤子、犹豫模糊MV-滤子及犹豫模糊正规滤子的概念，研究了它们的性质，讨论了它们之间的关系，获得了它们的若干等价刻画。给出了犹豫模糊集成为犹豫模糊滤子，及犹豫模糊滤子成为犹豫模糊（正定蕴涵、MV、正规）蕴涵滤子的条件。探究了各种犹豫模糊滤子与其对应的水平滤子之间的关
计算机与生活 2017年11期2017-11-16
- 态R0代数
此基础上给出了态滤子和态局部R0代数的概念,并利用态滤子刻画了态局部R0代数.推广了局部R0代数的相关理论.R0代数;态R0代数;态滤子;态局部1 引言多值逻辑系统是20世纪30年代Lukasiewicz提出的.随着20世纪70年代模糊集概念的提出,模糊逻辑与模糊推理理论得到了发展.基于对模糊逻辑与经典逻辑本质区别的分析,1997年,王国俊[1]提出了模糊命题的一种形式演绎系统£∗,为了系统研究£∗,王国俊[2]引入了一种新的逻辑代数-R0代数.这为这类演
数学杂志 2017年4期2017-07-18
- 剩余格上n-重滤子的特征及结构
)剩余格上n-重滤子的特征及结构刘莉君(陕西理工大学 数学与计算机科学学院，陕西 汉中 723000)在剩余格中引入和讨论了n-重蕴涵滤子、n-重极滤子、n-重正蕴涵滤子和n-重布尔滤子的概念及特征性质，证明了剩余格上这几类n-重滤子之间相互转化的充要条件，研究结果拓展了剩余格上的滤子理论，并使剩余格上n-重滤子概念间的层次关系更加清晰和完善。剩余格；n-重蕴涵滤子；n-重极滤子；n-重正蕴涵滤子；n-重布尔滤子在信息科学、计算机科学、控制理论、人工智能等
陕西理工大学学报(自然科学版) 2017年3期2017-06-28
- 偏序集上的局部极大滤子
序集上的局部极大滤子王逸芬，卢涛 （淮北师范大学 数学科学学院，安徽 淮北 235000）在偏序集上引入局部极大滤子的概念，讨论局部极大滤子在格、分配格、Heyting代数、Boole代数中的相关性质，得到一些等价条件，进一步地丰富偏序集的内容.偏序集；极大滤子；局部极大滤子0 引言滤子作为偏序集上的一个特殊的集合，同时也具有很多好的性质，对滤子的研究也一直没有间断过.本文受文献［1-2］启发，引入偏序集上的局部极大滤子的概念，并在格、分配格、Heytin
淮北师范大学学报(自然科学版) 2017年2期2017-06-05
- 区间集上非交换剩余格的广义模糊布尔滤子
[12-14]和滤子理论[15-20]研究工作的基础上,作为文献[21]研究讨论的继续，进一步将区间集和滤子理论运用到非交换剩余格上,引入区间集非交换剩余格广义模糊布尔滤子的概念，给出了区间集上非交换剩余格广义模糊布尔滤子的等价性刻画及其特征性质。1 预备知识定义 1[18]设＜I(2U),∪,∩,⊗,⇒,→,μ,Ø＞是一个（2，2，2，2，2，0，0）型代数，若满足以下条件：1）＜I(2U)∪,∩，μ，Ø＞是一个有界格；2) ＜I(2U)⊗,μ，Ø＞是
商洛学院学报 2017年6期2017-05-11
- 平衡伪补Ockham代数的O-理想
代数核理想和余核滤子同余关系表达式，获得了平衡伪补Ockham代数上的理想成为O-理想的充要条件.Ockham代数；平衡伪补Ockham代数；核理想；O-理想0 引言回顾文献[1-2]，1个Ockham代数（简记为O）（L；∧，∨，f，0，1）是在有界分配格上赋予一元运算的代数，Ockham代数是布尔代数的推广，它包含着大量重要的代数子类，诸如Stone代数、de Morgan代数、伪补代数（简记为p）等.由这些代数又可产生比较复杂结构的代数，使上述某些代
汕头大学学报（自然科学版） 2016年4期2017-01-18
- 剩余格的模糊滤子理论
1）剩余格的模糊滤子理论刘春辉 （赤峰学院数学与统计学院，内蒙古赤峰024001）运用模糊集的方法和原理进一步深入研究剩余格的滤子问题.在剩余格中引入了模糊预线性滤子，模糊可除滤子和模糊G livenko滤子三类新的模糊滤子概念，给出了它们的若干性质和等价刻画.系统讨论了这三类模糊滤子以及模糊正关联滤子，模糊Boolean滤子，模糊MV滤子和模糊正则滤子间的相互关系，证明了一个模糊滤子为模糊MV滤子当且仅当它既是模糊正则滤子又是模糊可除滤子的结论.剩余格；
高校应用数学学报A辑 2016年2期2016-11-16
- 极大并滤子及其相关性质
5000）极大并滤子及其相关性质李贺，卢涛，高淑红（淮北师范大学数学科学学院，安徽淮北 235000）在极大滤子定义基础上引入极大并滤子概念，进而给出分配格的一个新的内部刻画，并证明了其存在性定理.最后，讨论了Heyting代数中极大并滤子及其相关性质.极大并滤子；素滤子；分配格；Heyting代数连续格理论集序结构、代数结构和拓扑结构的研究于一体，是拓扑学和理论计算机科学的一个重要领域［1-4］.滤子是格论中的重要概念，一些特殊的滤子，如，素滤子、极大素
天津师范大学学报（自然科学版） 2016年2期2016-11-01
- 坡代数的(,∨(λ,μ))-模糊理想*
最后，引入了坡的滤子的链式条件，并讨论了它的一些基本性质。坡的(�,�∨(λ,μ))-模糊理想新概念的提出扩展了坡代数理论的研究，引入的坡的滤子的链式条件的性质也可应用于其他代数结构，丰富了软代数理论研究。关键词：(�,�∨(λ,μ))-模糊理想；滤子；链式条件；同态原像；同构像1 引言Rosenfeld于1971年最先提出将模糊理论应用到代数学中[1]，之后有许多学者致力于代数概念的模糊化和推广。为了推广模糊子群和模糊理想的概念，Bhakat和Das
计算机与生活 2016年8期2016-08-31
- 滤子与滤子图
710125)滤子与滤子图史艳维，姚杰(西安培华学院通识教育中心，陕西 西安 710125)[摘要]讨论了有限集合上滤子与滤子图的性质.证明了有限集合上的滤子都是主滤子，并得到其基数的计算公式；通过给出滤子的后继定义了滤子图，讨论了滤子图的性质，进而绘制出了滤子图.[关键词]滤子；主滤子；后继；滤子图1937年法国布尔巴津学派的创始人之一Carten在研究拓扑空间中的Moore-Smith收敛理论时，提出了滤子的概念.作为网的概念的替代，滤子揭示了收敛理
东北师大学报（自然科学版） 2016年2期2016-06-30
- 新的无罚函数无滤子的序列二次规划方法
新的无罚函数无滤子的序列二次规划方法王波1,2, 濮定国1(1.同济大学 数学系，上海 200092； 2.南京财经大学 应用数学学院，江苏 南京 210023)摘要：对一般的具有等式约束和不等式约束的非线性规划问题，提出了一个无罚函数无滤子的信赖域序列二次规划算法.整个算法分为两个阶段，第一阶段计算可行步，以达到减少约束违反度的目的，第二阶段为优化阶段，以减少目标函数的二次模型为目的.此算法中可行步和优化步是相对独立的，任何减少约束违反度的算法都可以应
同济大学学报（自然科学版） 2016年5期2016-06-21
- 不等式约束优化的一个滤子SQP算法
效果[1－3].滤子方法是一种无罚参数的方法.该方法的主要思想是用一组滤子代替传统的价值函数来判断是否接受一个迭代点，这样避免了罚因子的选取[4－6].滤子方法与其他方法相比关键是:一个迭代点被接受，当且仅当目标函数值或约束违反度函数值有充分下降.简单地说，如果目标函数值或约束违反度函数值能在试探点非单调地下降，那么就接受该点为下一个迭代点.滤子方法借用了多目标优化的思想，将约束优化问题化为双目标优化问题，即使得目标函数和约束违反度都要减小，但是可以不同时
安徽科技学院学报 2015年5期2015-12-01
- 三角代数的模糊滤子
究中，逻辑代数的滤子发挥着非常重要的作用.文献［3］给出了 MTL－代数中滤子的定义，利用滤子证明MTL逻辑系统的完备性；文［8－9］给出 MTL代数模糊滤子的定义和等价刻画.Hájek在文献［4］中给出BL－代数滤子的定义，并证明了BL逻辑系统的完备性.Gasse等在文献［7］中引入三角代数的滤子概念，并使用滤子证明三角逻辑系统的完备性.本文在三角逻辑的基础上给出三角代数的模糊滤子的概念，并研究其性质，进一步给出三角代数中滤子与模糊滤子之间的关系，从而可
中国计量大学学报 2015年4期2015-06-01
- 交换可剩余半群的剩余BCI-代数
I-代数的理想和滤子之间的关系.序半群；交换可剩余半群；BCI-代数；理想；滤子1 预备知识序半群是半群结构与序结构相互交融的产物，可剩余半群是一类重要的序半群.文献[1]系统地论述了序半群理论.定义1[1]设S是半群，“≤”为S上的偏序，∀a，b，c∈S，如果当a≤b时，必有ac≤bc，ca≤cb，则称S为序半群，记为(S，≤，·)，在不致混淆时，也简记为S.在交换序半群中，左剩余与右剩余等价，故在交换剩余半群中，把左、右剩余统称为剩余.另外，根据本文的
东北师大学报（自然科学版） 2015年4期2015-05-08
- L-fuzzy拓扑滤子收敛空间
-fuzzy拓扑滤子收敛空间杨小飞1， 马生全2(1.西安工程大学 理学院， 陕西 西安 710048；2.海南师范大学 信息科学技术学院， 海南 海口 571158)为给出一种新的滤子收敛结构，利用逻辑和拓扑方法，得到了L-fuzzy拓扑滤子收敛结构,该结构和L-fuzzy拓扑是范畴同构的，可以利用它研究多值拓扑空间的性质。L-fuzzy拓扑滤子收敛空间;L-fuzzy拓扑空间; 范畴同构在拓扑学中,借助于邻域算子可以得到与拓扑结构同构的拓扑滤子收敛结构
西北大学学报（自然科学版） 2015年3期2015-02-27
- 一类不带二阶校正的超线性收敛滤子方法
校正的超线性收敛滤子方法刘美玲(上海电机学院 数理教学部， 上海 201306)摘要:提出了一类求解非线性约束优化问题的线搜索滤子算法。在滤子结构中用拉格朗日函数取代目标函数,在不用二阶校正的情况下可避免Maratos效应。在较弱的条件下,算法可得到全局收敛性和超线性收敛性。关键词:非线性约束优化； 滤子； Maratos效应； 全局收敛； 超线性收敛考虑以下的非线性约束优化问题：(1)式中，x∈Rn,函数f∶Rn→R和ci(x)(i∈E)∶Rn→R假设为
上海电机学院学报 2015年1期2015-02-23
- 格中粗糙集的若干性质
在分配格的理想(滤子)之集上的不动点之集关于包含序构成一个凝聚的Frame,给出了下近似算子在有限格的理想(滤子)之集上不动点的刻画。最后,研究了格的S-模糊粗糙子格(理想、滤子)的一些性质。关键词:粗糙集;S-模糊粗糙集;上(下)近似算子;理想;滤子;不动点MRsubjectclassification:06B35粗糙集理论是由Pawlak[1]首次提出的，旨在解决信息系统中的不确定性问题。事实证明,粗糙集理论在人工智能、数据分析和认知科学中非常重要。随
陕西师范大学学报（自然科学版） 2015年2期2015-02-22
- FI代数的模糊素MP滤子与模糊超MP滤子
代数的模糊素MP滤子与模糊超MP滤子刘春辉1.赤峰学院 教务处，内蒙古 赤峰 0240012.赤峰学院 数学与统计学院，内蒙古 赤峰 0240011 引言Fuzzy蕴涵代数（简称：FI代数）是由我国学者吴望名于1990年提出的，作为对非经典逻辑代数中“蕴涵”连接词的代数化，它揭示了各种逻辑蕴涵算子的共同本质[1]。众多的逻辑代数系统，如MV代数（格蕴涵代数）、BL代数、R0代数（NM代数）、有界BCK代数以及剩余格等都可以看成是FI代数的特例，因此对FI代
计算机工程与应用 2014年23期2014-08-03
- 滤子Vs.格值滤子
0)1 预备知识滤子是研究拓扑的基本工具之一[1]. 类似的,格值滤子在格值拓扑的研究中也起到了至关重要的作用. 近年来,以强化的预幺半群L作为基本格结构的格值(或者多值)拓扑理论以其与多值逻辑的密切联系而受到越来越多的关注[2-10]. 本文详细讨论了滤子与L-滤子之间的关系.这对研究拓扑与多值拓扑及其收敛之间的关系具有重要的意义.称三元组(L,≤,*)为一个GL-幺半群,其中(L,≤)是一个完备格,1和0分别为其最大元和最小元,*是L上的二元运算满足如
烟台大学学报（自然科学与工程版） 2014年1期2014-08-03
- 伪补MS-代数的滤子同余关系
伪补MS-代数的滤子同余关系赵秀兰,马红娟(黄河科技学院数理部,河南郑州450063)在伪补MS-代数上引入余核滤子和完全滤子的概念,研究伪补MS-代数的余核滤子和完全滤子的性质,获得了余核滤子和完全滤子生成的同余关系的表达式,证明了具有余核滤子的最小同余关系有同余一致性.伪补代数;MS-代数;余核滤子;完全滤子;同余关系1 引言及预备知识一个伪补代数(简称p-代数)是一个代数(L;∨,∧,∗,0),它具有一个最小元0及一个映射∗:L→L使得有关p-代数的
纯粹数学与应用数学 2014年3期2014-07-19
- 带3-分片NCP函数的无罚函数和滤子的SQP算法
函数的无罚函数和滤子的SQP算法周 敏，尚有林（河南科技大学数学与统计学院，河南 洛阳 471023）对于非线性约束优化问题，提出了一种新的无罚函数和滤子的SQP算法。根据优化问题的一阶KKT条件，利用乘子和3-分片NCP函数，得到非光滑方程以致简化优化问题。在线搜索的过程中，采用无罚函数和滤子的方法。同时证明了该SQP算法是可行的，并具有全局收敛性。滤子；SQP算法；收敛；NCP函数0 引言考虑如下的约束非线性规划问题（NLP）：其中，x∈ℝn，f：ℝn
河南科技大学学报(自然科学版) 2014年4期2014-06-07
- 一类全局收敛的线搜索滤子算法
2002年提出了滤子方法。该方法中的滤子可代替传统求解非线性规划问题方法中的价值函数。由于其良好的数值计算结果使得近几年涌现了很多对滤子方法的研究[2-13]。本文在文献[7]的基础上提出了一类新的线搜索滤子方法，结合Armijo线搜索方法用来求解非线性规划问题。基于信赖域技术的算法必须要满足所有约束条件的相容性，而基于线搜索技术的迭代方法则不需要。与文献[7]的一个重要不同在于，本文将Lagrangian函数的梯度范数包含在约束违反度函数中，使得常规的滤
上海电机学院学报 2014年4期2014-03-20
- 相容滤子完备偏序集上投射算子的几个性质
对偶地引入了相容滤子集、相容滤子完备偏序集的概念，并研究了偏序集及相容滤子完备偏序集上投射算子的几个性质，得到的相应结果丰富了偏序集上的算子理论．1 预备知识先介绍一些预备知识．定义1[4]设L是一个偏序集，L的非空子集A称为滤子的，若对任意的a,b∈A,存在c∈A，使得c≤a,c≤b．若L中的每一个滤子集都有下确界，则称L是滤子完备偏序集．定义2设L是一个偏序集，Ø≠F⊆L，若F是滤子且存在d∈L使得F⊆↑d，则称F为L的相容滤子集．定义3设L是一个偏序
吉林师范大学学报（自然科学版） 2014年1期2014-01-15
- 多值置信的格值闭包算子及Galois联络＊
定格L上的经典序滤子（或滤子），借用序滤子这一工具，Bělohlávek亦在文献［5］中对模糊Galois联络现象进行了研究。又如，取K为指定格L，张德学在文献［6］中引入了与他的强L－拓扑协调的强L－闭包算子的概念；方进明在文献［7］中，在完备剩余格的环境下，提出了多值闭包系统的概念，并用范畴论方法界定了多值闭包系统与多值闭包算子的规律性联系；姚卫在文献［8］中提出了更一般的模糊偏序集上的格值闭包算子理论。纵观上述研究工作，本文发现格值闭包算子的引入及其
中国海洋大学学报（自然科学版） 2013年1期2013-10-16
- 剩余格上的几类n-重滤子及其特征
格上的几类n-重滤子及其特征马振明临沂大学理学院，山东临沂 2760051 引言为给不确定性信息处理理论提供可靠且合理的逻辑基础，许多学者提出并研究了非经典逻辑系统。同时，作为非经典逻辑系统的语义系统的各种逻辑代数也被广泛研究。目前，大多数学者都接受剩余格为一种最广泛的逻辑代数结构，格蕴涵代数、BL代数、R0代数、MTL代数等[1-4]均是剩余格的特殊情况。而滤子在研究逻辑代数与相关的逻辑系统完备性中起着非常重要的作用。从逻辑观点来看，滤子与逻辑系统的可证
计算机工程与应用 2013年19期2013-07-19
- 关于PFI代数的MP滤子
PFI代数的MP滤子刘春辉（赤峰学院 教务处，内蒙古 赤峰 024000）在文[15]的基础上,对Fuzzy蕴涵代数的滤子理论作进一步的研究,讨论满足条件(P)的Fuzzy蕴涵代数(简称PFI代数)中MP滤子相关性质.获得了PFI代数中MP的若干等价刻画;证明由非空集合生成的MP滤子的一个新的表示定理.模糊逻辑；Fuzzy蕴涵代数；PFI代数；MP滤子；生成MP滤子1 引言和预备非经典数理逻辑[1]的一个重要的研究方向是对有关逻辑代数系统的研究.迄今为止,
赤峰学院学报·自然科学版 2013年1期2013-07-07
- 并半连续格的一些性质
并半连续格.半素滤子;并连续格;并半连续格0 引言随着计算机语言中引入连续格的概念后，人们对连续格进行深入研究，把连续格推广到半连续格[1]中得到许多新性质.在本文中，我们在并连续格的基础上，从半素滤子上定义了并半连续格，研究了并半连续格的一些性质，引入了Scott开集簇来刻画并半连续格.1 预备知识定义1[1]设 F为格 L的滤子，若对于任意 x，y，z∈L，当 x∨y∈F，x∨z∈F时，有 x∨(y∧z)∈F，则称 F为半素滤子.用 Fi(L)表示所有
淮北师范大学学报(自然科学版) 2012年3期2012-09-13
- BL代数的fantastic滤子和normal滤子
antastic滤子和normal滤子王伟1,2, 杨廉2, 石召2, 李婷2(1.西南交通大学电气工程学院,四川 成都 610031;2.西安石油大学理学院应用数学系,陕西 西安 710065)滤子是研究逻辑代数的有效工具.本文研究了BL代数的fantastic和normal滤子的等价条件,得到了在MV-代数中两种滤子之间的等价性,给出了两个公开问题:“在什么样的合适条件下,一个normal滤子成为一个fantastic滤子?”和“在什么合适的条件下,n
纯粹数学与应用数学 2012年5期2012-07-05
- 效应代数上的模糊滤子
1]中研究了局部滤子并给出了一些重要性质. 后来, Wu Jing在文献[2]中提出了理想和滤子的概念. 模糊滤子之所以重要是因为它包含了经典滤子. 徐扬和秦克云在文献[3]中研究了模糊格蕴涵代数与模糊滤子. 近年来, 相关方面的研究越来越多. 李海洋和李生刚于2008年在文献[4]中研究了伪效应代数中的同余和理想, 并引入了Riesz强同余的概念. 刘东利和王国俊于2009年在文献[5]中引入了效应代数中模糊滤子和模糊理想的概念并研究了它们的一些性质,
陕西科技大学学报 2012年3期2012-02-19
- 非线性等式优化的一种非单调SQP滤子算法
一种非单调SQP滤子算法王 珺，王希云(太原科技大学 应用科学学院 山西 太原 030024)SQP滤子方法是解非线性规划的一种较为有效的方法，但是滤子方法也会遇到Maratos效应.采用非单调技术来避免Maratos效应，并采用降维的Byrd和Omojokun方法来计算试探步.在一定条件下，给出了全局收敛性证明，数值试验表明该算法有效.非线性等式约束； 信赖域； SQP； 滤子； 非单调0 引言非线性等式约束优化问题如下(P)：minf(x) s.t.c
郑州大学学报（理学版） 2011年3期2011-12-02
- 局部PFI代数
PFI代数；MP滤子1 引言非经典数理逻辑[1]的一个重要的研究方向是对有关逻辑代数系统的研究.为了证明Lukasiewicz逻辑系统的完备性,C.C.Chang提出并研究了MV代数,同时提出了局部有限MV代数的概念[2].此后,在1993年,L.P.Belluce等将局部有限MV代数的概念加以推广,提出了局部MV代数的概念[3].由于MV代数是一种特殊的BL代数,因此,E.Turunen等又将这一思想推广到BL代数,提出局部BL代数的概念[4].1996
赤峰学院学报·自然科学版 2011年11期2011-10-16
- 一个低阶滤子算法及收敛性
er［1］提出了滤子方法来求解非线性约束优化问题。该算法接受新的测试点的条件更加温和，即一个测试点被滤子接受，当且仅当目标函数值或者违反约束度有充分的下降。自此，许多学者进行这方面的研究，并出现大量的成果［2－3］，但这种方法仍然会遇到马洛托斯效应。罚函数方法在适当选取罚参数时会避免马洛托斯效应。受这些思想的启发，提出了一种低阶罚函数滤子算法［4－5］，在温和的条件下证明了算法的全局收敛性。1 问题与算法描述本文考虑如下非线性约束优化问题:其中 f(x):
重庆理工大学学报(自然科学) 2011年11期2011-07-06
- 剩余格的准滤子拓扑空间
00）剩余格的准滤子拓扑空间刘春辉，秦学成（赤峰学院 初等教育学院，内蒙古 赤峰 024000）在剩余格上引入了准滤子和剩余格间的蕴涵同态的概念，给出了准滤子的若干性质;讨论了准滤子与滤子间的关系;指出了剩余格上全体准滤子构成一个拓扑；证明了剩余格之间的同构映射是相应拓扑空间之间的一个同胚.剩余格；(准)滤子；蕴涵同态；拓扑空间；同胚1 引言和预备非经典数理逻辑的一个重要研究方向是对有关逻辑代数系统的研究.随着数学和计算机科学的迅速发展,非经典数理逻辑已成
赤峰学院学报·自然科学版 2010年2期2010-10-09