滤子

摘要： 首先,通过在m-半格中引入滤子的概念,讨论m-半格中滤子的若干性质,进而构造m-半格上的滤子拓扑,得到了滤子空间的一系列性质;其次,证明每个滤子空间是连通的,且双侧m-半格上的滤子空间满足第一可数性公理,并分别给出其为T_(0)空间及满足第二可数性公理的充要条件;最后,通过引入m-半格中素滤子的概念,讨论m-半格上的对偶素谱空间,证明双侧m-半格上的对偶素谱空间是T_(0)空间,并给出其为T_(1)空间的等价刻画.

摘要： 令Bn为[n]={1,2,...,n}的所有子集按包含关系构成的偏序集。Sperner定理说明Bn中最大的Sperner集族的密度为。本文研究Sperner定理在凸集上的推广,并证明Sperner定理在压缩滤子上成立。

摘要： 提出BL-代数的直觉模糊滤子度的概念,给出其的等价刻画,并用直觉模糊滤子度来讨论BL-代数上的直觉模糊子集是直觉模糊滤子的程度.对于BL-代数的一个直觉模糊集,建立其(强)截集构成的滤子与其直觉模糊滤子度之间的关系.讨论了直觉模糊子集的交、直积的直觉模糊滤子度以及BL-代数的直觉模糊子集的同态像与逆像的直觉模糊滤子度.

摘要： 双重半伪补de Morgan代数是将双重半伪补代数类与de Morgan代数类相结合而形成的一个新的代数类,是一个有界分配格上赋予三个一元运算:双重半伪补运算与de Morgan运算。对双重半伪补de Morgan代数的滤子同余关系作进一步的研究:首先,基于双重半伪补de Morgan代数的运算规律以及双重半伪补运算与de Morgan运算的关联性,论证了双重半伪补de Morgan代数正则p-滤子同余关系的保序性以及同余置换性,根据双重半伪补de Morgan代数所体现的运算属性,论证了正则p-滤子格对格的二元运算是封闭的,获得了正则p-滤子格是滤子格的子格的结论。其次,在格与序代数理论中,涉及滤子,必然伴随着滤子同余关系,同余关系是保持运算的等价关系。借助于双重半伪补de Morgan代数的正则p-滤子同余关系,论证了正则p-滤子与正则p-滤子同余关系是同构的。所得结论为其他分配格代数类正则滤子性质的研究提供了方法,同时,为研究多元运算代数类结构提供理论支持。

摘要： 双重半伪补de Morgan代数是将双重半伪补代数类与de Morgan代数类相结合而形成的一个新的代数类,是一个有界分配格上赋予三个一元运算:双重半伪补运算与de Morgan运算.对双重半伪补de Morgan代数的滤子同余关系作进一步的研究:首先,基于双重半伪补de Morgan代数的运算规律以及双重半伪补运算与de Morgan运算的关联性,论证了双重半伪补de Morgan代数正则p-滤子同余关系的保序性以及同余置换性,根据双重半伪补de Morgan代数所体现的运算属性,论证了正则p-滤子格对格的二元运算是封闭的,获得了正则p-滤子格是滤子格的子格的结论.其次,在格与序代数理论中,涉及滤子,必然伴随着滤子同余关系,同余关系是保持运算的等价关系.借助于双重半伪补de Morgan代数的正则p-滤子同余关系,论证了正则p-滤子与正则p-滤子同余关系是同构的.所得结论为其他分配格代数类正则滤子性质的研究提供了方法,同时,为研究多元运算代数类结构提供理论支持.

摘要： 文章借助模型论中滤子的概念,通过对滤子的研究及偏序集中滤子与理想之间的关系,引入超理想的概念,以及真理想、非主超理想的定义.讨论理想在模型论中一些相关性质并得到若干结论:在模型论中超理想与极大真理想等价;任意真理想都能扩张为超理想;理想下的紧致性定理.

摘要： 文章借助模型论中滤子的概念,通过对滤子的研究及偏序集中滤子与理想之间的关系,引入超理想的概念,以及真理想、非主超理想的定义.讨论理想在模型论中一些相关性质并得到若干结论:在模型论中超理想与极大真理想等价;任意真理想都能扩张为超理想;理想下的紧致性定理.

摘要： 作为智能科学的数学基础之一,非经典逻辑(主要指非经典数理逻辑)及相关代数结构扮演着十分重要的角色.对源于非经典逻辑的代数结构进行全面系统总结,从蕴涵片段的视角梳理其中的内在联系,这些代数结构包括各种可换剩余格、非可换剩余格、非结合剩余格、剩余有序广群、BCK/BCI-代数、BCC/BZ-代数、伪BCK/BCI-代数等.同时介绍近年来非经典逻辑代数方向的最新研究进展,包括量子B-代数(quantum B-agebra)、EO-代数(extended-order algebra)及新近提出的基本蕴涵代数(basic implication algebra)等.

摘要： 基于之前的工作, 进一步刻画了 BL代数的 fantastic和 normal 滤子的等价条件, 得到了两种滤子之间的条件等价关系, 全面地解决了关于这两种滤子之间关系的两个公开问题:"在什么样的合适条件下,一个normal滤子成为一个fantastic滤子?"和"在什么合适的条件下, normal滤子的拓展性成立?"

摘要： 在拓扑空间中,滤子是用来描述收敛的主要工具之一,也是用来研究收敛空间的主要工具.本文对拓扑空问中的滤子(F),定义了三个新的滤子(F),(F)*和(F)△,并用它们刻画了拓扑空间中的T0,T1,T2,正则,完全正则和正规等分离性.

摘要： 本文将带非线性不等式约束的优化问题改写为线性方程组的问题，应用ODE信赖域方法对其求解。即利用NCP函数和滤子技术,提出了一种新的滤子信赖域方法,该方法在每步迭代只需求解一个线性方程,运算量少.同时,不再将罚函数作为价值函数,避免了罚因子选取的困难性.在合理的条件下,证明了该算法的整体收敛性和局部收敛性.

摘要： 在MTL代数中，讨论了滤子的性质，分析了全体滤子的结构。证明全体滤子之集是一个完备的分配格，进而说明是一个完备Heyting代数。

摘要： 本文提出了一种将滤子方法同罚函数方法相结合的新算法.本文在滤于构成及滤子接受条件方面对以往的滤子方法进行了改进.可以避免以往滤子方法中出现的问题,如在滤子接受条件中,目标函数和约束违反度之间不应有的关联.该方法是对单调的罚函数方法的松弛化,且不需要可行性恢复阶段.在一定的假设条件下,可以得到全局收敛性,并且通过二阶校正,可以得到局部超线性收敛性.数值结果表明,该算法是有效的.

摘要： 本文提出了一种在非线性规划中基于线性系统求解的滤子方法,并给出了它的总体收敛性.本文不需用罚函数作为价值函数,也不用考虑初始点的选取,同时用近似有效集来减少运算量,并用线搜索替代了弧搜索,是对文[1]的改进.

摘要： 本文讨论了一种信赖域SQP滤子方法的局部收敛性.滤子方法也会遇到Maratos效应,尽管完全牛顿步可能是一个超线性收敛收敛步,但是当迭代点充分靠近原问题的严格局部解时,完全牛顿步可能会使目标函数值和约束违反度都上升,从而不被滤子接受,于是就破坏了算法的收敛性.在本文的算法中,对[7]中的信赖域SQP滤子方法进行了修改:如果完全步不被接受,就通过对它进行一个二阶校正(SOC)来减小它的不可行性.

摘要： 该文针对格蕴涵代数中滤子的概念，讨论了滤子的一些性质。并且通过对经典逻辑在推理中存在的问题，讨论了在不精确性推理中运用滤子的方法。为进一步研究基于格值逻辑的不确定性推理做了一些探讨。

摘要： 该文讨论格蕴涵代数中模糊滤子的性质，给出了生成模糊滤子的结构定理，讨论了滤子构成的完备格ＦＩ（Ｌ）与模糊滤子构成的完备格ＦＦＩ（Ｌ）以及非常值极大模糊滤子与超滤之间的关系。

摘要： 该文给出了由格蕴涵代数诱导出的伴随半群及有关概念，详细讨论了伴随半群中的元素即格蕴涵代数的左映射ａ的性质，得出了ａ的稳定子S(ａ)，像Imａ和核Kerａ之间的关系，同时得到了关于ａ的几个等价条件。最后证明了S(ａ)是L的一个滤子。

摘要： 该文在德摩根代数上提出了理想的定义，讨论了极大理想、素理想等，研究了理想的收敛性，以及理想与完全分配律、滤子、拟原子网的关系。

摘要： 本发明涉及过滤装置技术领域，公开了一种绝缘子灰密真空抽滤装置，包括漏斗、与漏斗颈部下端连通的储液罐、与所述储液罐连通的真空泵以及控制器；其中，所述真空泵的抽气口安装有分管接头，用于将所述真空泵的抽气管道分出若干个抽气支管；所述储液罐数量为两个以上，并围绕所述真空泵布置，每个储液罐的顶部均贯穿设有抽真空通道与所述抽气支管相连，底部均设有排液通道，侧壁上设置有液位计。本发明实现了多个抽滤体同时平稳运作，并且能按照实际需要切换不同的抽滤体，在符合电力控制安全操作标准的基础上，显著缩短绝缘子灰密测量的试验周期，本发明广泛适用于绝缘子灰密测量以及其他大批量抽滤试验等场景。

摘要： 本发明公开了一种Frangi滤子的超参数选取方法、装置、电子设备及存储介质，包括：从血管区域选定初始体素，建立初始空间，获取初始空间中每个体素的三个特征值，根据特征值选取目标体素；根据初始体素的特征值构建三维坐标系，三维坐标系包括第一坐标轴、第二坐标轴和第三坐标轴；对于三维坐标系中每一坐标轴获取起点，沿该坐标轴正方向进行候选体素的采集；根据目标体素的特征值选取候选体素，将选取的候选体素归入目标体素形成附属空间，根据附属空间获取该坐标轴对应的最优体素；基于第一坐标轴、第二坐标轴，直到获取第三坐标轴最优体素的坐标作为Frangi滤子的超参数。

摘要： 本发明公开了一种Frangi滤子的超参数选取方法、装置、电子设备及存储介质，包括：从血管区域选定初始体素，建立初始空间，获取初始空间中每个体素的三个特征值，根据特征值选取目标体素；根据初始体素的特征值构建三维坐标系，三维坐标系包括第一坐标轴、第二坐标轴和第三坐标轴；对于三维坐标系中每一坐标轴获取起点，沿该坐标轴正方向进行候选体素的采集；根据目标体素的特征值选取候选体素，将选取的候选体素归入目标体素形成附属空间，根据附属空间获取该坐标轴对应的最优体素；基于第一坐标轴、第二坐标轴，直到获取第三坐标轴最优体素的坐标作为Frangi滤子的超参数。

摘要： 本发明涉及一种可多次开关随钻堵漏阀专用钻杆滤子，包括装卸导管、连接轴、本体，所述装卸导管及连接轴均为空心管结构，所述本体为一端封闭的空心管结构；所述装卸导管一端与所述连接轴的一端连接，所述装卸导管另一端径向环绕设有凸台，所述连接轴的另一端通过至少三条连接筋与所述本体贯通的一端连接；所述本体贯通一端的外壁上设有卡台，所述卡台与钻杆内倒角配合，并进行限位；所述本体侧面设有多个向封闭端倾斜的导流孔，所述本体的封闭端也设有导流孔，所述导流孔的尺寸与可多次开关随钻堵漏阀旁通孔的尺寸相同。本发明有效阻止较大固体颗粒杂质进入井筒内，避免可多次开关随钻堵漏阀提前失效。

摘要： 本实用新型公开了一种沙棘果原浆榨取离心滤子装置，支撑底座的上表面固定装配有震动矩形框，震动矩形框的矩形框架的左右侧壁的安装座内固定装配有震动电机，矩形框架的上端装配有可拆卸盖板，支撑底座上固定装配有离心滤子结构，矩形框架内壁左右两侧固定装配有弹性震动传递架；采用震动矩形框产生震动，配合弹性震动传递架进行震动的传递，目的是将震动传递至圆筒侧壁上，对圆筒进行震动敲打，使得堵塞在过滤通孔处的果皮等杂质脱落，保证离心过滤效果；采用的弹性震动传递架呈倾斜设置，在震动敲打时弹性板受到侧方位挤压变形，对震动进行适当缓冲，保证震动强度的同时，延长震动相关器件的使用寿命。

摘要： 本实用新型涉及石油天然气钻井装备技术领域，更具体地说，涉及一种可更换滤子的钻杆灌浆接头，包括接头本体，接头本体内设置有用于排气的内腔，接头本体的一端设置有密封盖，接头本体的另一端设置有用于进气的开口，密封盖上插设有用于流通钻井液的内管道，内管道延伸至开口外，接头本体的侧壁上插设有排气管，排气管与内腔连通，气体从开口处进入内腔经由排气管排出，本实用新型配合灌浆软管、排气软管和钻杆使用，可有效过滤钻井液中的大颗粒杂质，防止堵塞井下工具和仪器；滤子伸出接头的开口外，可方便目视检查滤子的冲蚀情况和杂质数量，高效便捷；滤子与内管道通过螺纹方式连接，更换过程简单方便，使用管钳即可完成。

摘要： 本实用新型公开了钻杆滤芯不锈钢滤子。涉及一种钻杆过滤装置的改进，尤其涉及不锈钢滤子的改进。提供一种提手组件与滤芯组件可拆分且滤芯组件与提手组件连接牢固的贴钻杆滤芯不锈钢滤子。包括滤芯组件，所述滤芯组件的顶部设有提手组件，所述提手组件可拆卸的固定在所述滤芯组件的顶端；所述提手组件包括上盖和固定在所述上盖上的提环，所述上盖盖合在所述滤芯组件的顶部，所述上盖和所述滤芯组件之间设有弹卡组件，所述上盖通过弹卡组件可拆卸的固定在所述滤芯组件的顶端。多个滤芯组件实际仅需要一个提手组件即可，从而节约了生产材料，降低了生产成本。

摘要： 本实用新型提供了一种钻杆滤子取出装置，包括连杆，所述连杆的上端部固定连接有冲击板，所述连杆外部套有冲击筒，所述冲击筒能够在外力作用下沿所述连杆轴向运动撞击所述冲击板，所述冲击板上固定有提取所述钻杆滤子取出装置的握持部，所述连杆的下端布置有工作部，所述工作部包括向上弯曲的取出钩子和向下伸出的尾撬。

摘要： 本实用新型提供了一种大排量双台肩钻杆滤子，包括底托、滤子本体、导流杆、端盖、若干的支撑条，所述的滤子本体的一端与所述的底托相连，另一端与所述的端盖相连，所述的支撑条的一端相互固定，另一端均固定于所述的端盖上，所述的导流杆位于所述的滤子本体的内部，所述的导流杆的一端与所述的底托相连，另一端穿过所述的端盖与所述的支撑条相连；所述的底托呈半球形结构，所述的底托上设有若干的钻孔；所述的滤子本体上均匀的设有若干的斜孔。本实用新型所述的大排量双台肩钻杆滤子在大排量工况下使用寿命长，同时，通过端盖的结构能够兼顾匹配双台肩钻杆和普通钻杆。

摘要： 本实用新型公开一种铜粉烧结成型滤子的煅烧工具，包括酒精灯、支架、固定在支架上的煅烧网，所述支架顶部设置有防溅罩，防溅罩底部直径大，顶部直径小，所述防溅罩底部和支架为可拆卸连接方式，防溅罩顶部设置有导烟接口，结构简单，操作方便，能消除液体飞溅的安全隐患。