格蕴涵代数

摘要： 在集合Ω中,用犹豫模糊集、Ω-模糊集来研究格蕴涵代数,定义了格蕴涵代数中的Ω-犹豫模糊LI-理想,讨论其性质及若干等价刻画;研究了Ω-犹豫模糊LI-理想与其LI-理想之间的关系;讨论了格蕴涵代数的Ω-犹豫模糊LI-理想的同态像与同态原像的性质.

摘要： 在集合Ω中,用犹豫模糊集、Ω-模糊集来研究格蕴涵代数,定义格蕴涵代数中的Ω-犹豫模糊子代数,并讨论其性质;在格蕴涵代数中,给出Ω-犹豫模糊子代数的若干等价刻画,并讨论Ω-犹豫模糊子代数与其子代数之间的相互关系;研究了Ω-犹豫模糊子代数在交、并等运算下的性质;最后研究格蕴涵代数的Ω-犹豫模糊子代数的同态像与直积.

摘要： 利用模糊点与模糊集的属于和重于概念,引入格蕴涵代数的(∈,∈∨q)-模糊蕴涵理想的概念,研究它的相关性质.给出了(∈,∈∨q)-模糊蕴涵理想的几个等价刻画,指出了(∈,∈∨q)-模糊蕴涵理想与(∈,∈∨q)-模糊理想的关系,证明了(∈,∈∨q)-模糊蕴涵理想的交、积、投影、同态原象或同构象仍为(∈,∈∨q)-模糊蕴涵理想.

摘要： 运用fuzzy集的思想和方法对格蕴涵代数的(∈,∈∨q[k])-fuzzy LI-理想概念作进一步研究.引入了格蕴涵代数的((∈),(∈)∨q[k])-fuzzy LI-理想的概念并给出了它的一个等价刻画.讨论了(∈,∈∨q[k])-fuzzy LI-理想和((∈),(∈)∨q[k])-fuzzy LI-理想与LI-理想的关系,建立并证明了相应的关系定理.

摘要： 在基于格值逻辑的不确定性推理的研究中,推理规则的选取是其重要研究内容之一.基于分层格值命题逻辑系统,提出了几类既包含有语义又含有语法的推理规则,且这些推理规则具备协调水平的特性;同时也证明了这几类推理规则在一定程度上有闭性.%The selection of inference rules is one of important research contents in the uncertainty inference based on lat-tice-valued logic. Based on the gradational lattice-valued propositional logic system, some several kinds of inference rules, with both semantics, syntax and the characteristics of consistency level, are proposed. It also proves that these kinds of infer-ence rules are closed.

摘要： 给定一个集合Ω,将Ω-模糊集与格蕴涵代数相结合,引入了格蕴涵代数Ω-模糊子代数的概念,并研究了其相关性质;给出了格蕴涵代数Ω-模糊子代数的若干等价刻画,讨论了格蕴涵代数Ω-模糊子代数与格蕴涵代数子代数之间的相互关系;研究了格蕴涵代数Ω-模糊子代数在Ω-模糊集下交、并等运算下的基本性质;讨论了格蕴涵代数Ω-模糊子代数的同态像与同态原像的基本性质;最后研究了格蕴涵代数Ω-模糊子代数的直积与投影.%Let Ω be a set. By combining the Ω-fuzzy sets and the lattice implication algebras, this paper introduces the concepts of Ω-fuzzy subalgebra in the lattice implication algebra, and investigates some related properties. Be-side, this paper obtains some equivalent descriptions of the Ω-fuzzy subalgebra in the lattice implication algebra, and gives the relations between Ω-fuzzy subalgebra and the subalgebra in the lattice implication algebra. Then this paper studies some basic properties of theΩ-fuzzy subalgebra under the intersection, union and other operations ofΩ-fuzzy sets, and discusses some basic properties of homomorphic image and homomorphic preimage of Ω-fuzzy subalgebra. Finally, this paper studies the Ω-fuzzy subalgebra direct product in the lattice implication algebra.

摘要： 给定一个集合Ω,将Ω-模糊集与格蕴涵代数相结合,给出了Ω-模糊LI-理想的概念,并研究了其相关性质;讨论了Ω-模糊LI-理想与模糊LI-理想之间的关系,得到了一些等价刻画.研究了格蕴涵代数Ω-模糊LI-理想的同态像与同态原像的基本性质.%Let Ω be a set. By combining the Ω-fuzzy sets and the lattice implication algebras, the concepts of Ω-fuzzy LI-ideals in the lattice implication algebra are introduced, and some related properties are investigated. The relationship between Ω-fuzzy LI-ideals and fuzzy LI-ideals in the lattice implication algebras is also discussed. Some equivalent descriptions of the Ω-fuzzy LI-ideals in the lattice implication algebra are obtained. Finally, some basic properties of homomorphic image and homomorphic preimage of Ω-fuzzy LI-ideals are also studied.

摘要： In order to deal with the fuzzy linguistic information which had both comparability and incomparability in examination paper quality evaluation, the linguistic-valued weighted averaging operator was presented and its related properties were discussed based on linguistic-valued lattice implication algebra.A set of index system of the quality evaluation and a model of the quality analysis based on the linguistic-valued evaluation of examination paper were set up.In the model,the linguistic value to evaluate the quality of examination paper directly can be used to get the evaluation result with linguistic-valued degrees.It makes the examination paper evaluation process more in line with natural language habits and the reasoning process of human beings.Its validity and practicability are illustrated with an example.%为了能够处理试卷质量评价中既有可比性又有不可比性的模糊语言值信息,在语言值格蕴涵代数的基础上,提出语言值加权平均算子并讨论其相关性质,建立一套试卷质量评价的指标体系,构建一种基于语言值评价的试卷质量分析模型.在该模型中,直接利用语言值评价信息对试卷质量综合评价,并得到具有语言值程度的评价结果,使得试卷质量评价过程更加符合人类的自然语言习惯和思维推理过程;用实例说明了该方法的有效性和实用性.

摘要： 本文在对格蕴涵代数上的同余关系分析研究中,对同余关系所具有的商格蕴涵代数进行详细分析研究,了解不同类别同余关系之间的关联,希望能够对格蕴含代数内的同余关系有着全面分析研究.

摘要： 由于格值逻辑中广义文字结构的复杂性,这必然增加判断两个广义文字是否为α-归结对的难度.根据真值域 Ln × L2 的结构特性和归结水平 α 的特点,研究了真值域为一类格蕴涵代数 Ln × L2 的格值命题逻辑系统(Ln × L2)P(X )中0-IESF与其他广义文字之间的α-归结性,得到了两个广义文字可进行α-归结的条件.%Because of the complexity of generalized literals structure in lattice-valued logic, it leads to difficult to judge two generalized literals whether form resolution pair or not. According to particular structure of truth valued range Ln × L2 and the characteristic of resolution levelα, the resolvability of between 0-IESF and other generalized literals in lattice-valued propositional logic system (Ln × L2)P(X ) based on one class of lattice implication algebras Ln × L2 , and the determination conditions on that two generalized literals can form resolution pair.

摘要： 为了解决评价分析中同时具有可比性和不可比性的语言值问题，采用格蕴涵代数的方法去处理语言值。基于十元语言值格蕴涵代数，建立了一个新的语言值教学评价系统模型。该方法能够很好地表达和处理评价问题中的可比信息和不可比信息，且具有丰富的适用于语言值推理的蕴涵运算。在评价分析过程中语言值直接参与推理和运算。研究结果表明所提出的方法在教学评价系统对处理语言值推理时更有效。该成果将有助于推动智能评价系统的实现。

摘要： 该文给出了一般(2,1,0,0)型代数(L,→,*,0,1)成为格蕴涵代数的充要条件，证明了在有限链及四元格上只有一种格蕴涵代数，且不存在五元格蕴涵代数。

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

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

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

摘要： 进一步深入研究了基于格蕴涵代数的格值命题逻辑系统LP(X)的多元α-归结原理的基本理论,给出了基于LP(X)的多元α-归结演绎中参与多元α-归结的广义文字个数随着归结演绎的推进而动态变化的基本原则;对基于LP(X)的多元α-归结原理的有效性进行了一定分析,这为建立基于LP(X)的多元α-归结方法以及构造多元α-归结算法奠定了理论基础.

摘要： 该文从格蕴涵代数及其对应的格值逻辑系统ＬＰ（Ｘ）出发，给出了格蕴涵代数的一些例子。并通过与一些常见推理及蕴涵算子的比较，分析讨论了ＬＰ（Ｘ）逻辑系统中的推理规则及蕴涵算子的良好特性，并举例说明了其语义概念，从而说明其有着理论和应用上的重要意义。

摘要： Horn子句逻缉理论在专家系统、模式识别、自然语言理解等人工智能研究领域发挥了重要的作用，但在进行不确定性推理时，基于二值情形的Horn子句逻辑就变得暗然失色了。为此，该文探讨了一类命题真值基于格上的，即基于格蕴涵代数的格值－类Horn子句逻辑，并给出了可靠性和完备性定理。

摘要： 为了提高格值命题逻辑LP(X)中的α-归结原理的推理效率，将语义归结策略应用于α-归结原理，讨论了格值命题逻辑LP(X)中的α-语义归结方法，并证明了该方法的可靠性和弱完备性，为基于格值逻辑的归结自动推理提供一定基础。

摘要： 为了提高格值命题逻辑LP(X)中的α-归结原理的推理效率，将语义归结策略应用于α-归结原理，讨论了格值命题逻辑LP(X)中的α-语义归结方法，并证明了该方法的可靠性和弱完备性，为基于格值逻辑的归结自动推理提供一定基础。

摘要： 用于起重机的格构式桅杆元件(15)包括至少两个纵向元件(21)和将纵向元件(21)互连的至少一个横向元件(22)以及用于通过将纵向元件(21)和/或横向元件(22)互连来支撑格构式桅杆元件(14；15；16；54；56；57；58)的至少一个支撑元件(24)，其中纵向元件(21)和横向元件(22)限定出格构式桅杆元件(15)的承载面且纵向元件(21)均被构造为二维承载结构。

摘要： 本发明涉及一种表面活性剂混合物，其包含至少三种就烃基结构部分(R1)(R2)‑CH‑CH2‑而言不同且具有通式(I)的离子型表面活性剂，其中R1、R2、A0、k、X、o、Y、a、b、M各自如说明书和权利要求书中所定义。本发明还涉及其用途和制备方法，以及涉及含有所述混合物的含水表面活性剂配制剂，涉及通过Winsor III型微乳液驱油开采矿物油的方法，其中将所述含水表面活性剂配制剂经由注入井注入矿物油藏中，并经由采出井从所述油藏中抽出原油。

摘要： 用于起重机的格构式桅杆元件(15)包括至少两个纵向元件(21)和将纵向元件(21)互连的至少一个横向元件(22)以及用于通过将纵向元件(21)和/或横向元件(22)互连来支撑格构式桅杆元件(14；15；16；54；56；57；58)的至少一个支撑元件(24)，其中纵向元件(21)和横向元件(22)限定出格构式桅杆元件(15)的承载面且纵向元件(21)均被构造为二维承载结构。

摘要： 本发明公开一种窗宫格汉字书写练习的辅助格及其基于窗宫格的汉字书写方法，包括至少一页用于书写的载体，它由大小两个方框组成，小方框（2）居于大方框（1）正中，小方框（2）再分成三块，中间为中宫（5），左边为左宫（3），右边为右宫（4），所述大方框（1）与小方框（2）的边长比例为10:8；所述小方框（2）内的左宫（3）、中宫（5）和右宫（4）的比例为1.6:4.8:1.6；所述中宫（5）的长宽比例为5:3。将所述大方框（1）与小方框（2）内的区域作为汉字书写的主体区域，书写时在小方框（2）中的左宫（3）、中宫（5）和右宫（4）内分布、起笔和收笔，笔画长短和纵向主笔的位置的区间范围可以有明确的界定。

摘要： 本发明提出了一种柜格分配方法、柜格分配装置、柜格设备及计算机可读存储介质。其中，柜格分配方法包括：获取至少一个订单；根据订单的商品信息和预约配送信息，为任一订单分配柜格，并将柜格设定为已分配状态。通过本发明的技术方案，能够合理地为用户的每一个订单分配和预约柜格，不仅提高了配送人员的配送效率，也提高了用户对自提方式的使用率。

摘要： 本发明公开了一种用于将窗格元件附接至窗扇的方法，该方法包括以下步骤：A)为窗格元件设置边框元件，从而制造窗格模块；以及B)使边框元件的接触表面与窗扇的接触表面相接触，并且将窗格模块连接至窗扇。本发明还公开了一种包括窗格元件和边框元件的窗格模块，其中，边框元件包括适于连接至窗扇的接触表面的接触表面，其中，边框元件的接触表面适于通过粘合剂或胶连接至窗扇的接触表面，其中，边框元件包括一个或更多个长形支承构件，并且其中，边框元件包括从边框元件的接触表面大致上垂直于窗格平面突出的导引元件，其中，导引元件适于插入窗扇的接触表面的开口中。

摘要： 本发明公开了一种曲格列汀的合成方法及由该方法合成的曲格列汀以及曲格列汀合成中间体。其中曲格列汀的合成方法包括以下步骤：S1、以2-羟甲基-4-氟苯甲腈为起始原料，经氯代反应得到2-氯甲基-4-氟苯甲腈；S2、将所述2-氯甲基-4-氟苯甲腈作为中间体，经缩合反应得到2-[(6-氯-3,4-二氢-3-甲基-2,4-二氧代-1(2H)-嘧啶基)甲基]-4-氟苯甲腈；S3、将2-[(6-氯-3,4-二氢-3-甲基-2,4-二氧代-1(2H)-嘧啶基)甲基]-4-氟苯甲腈作为中间体，经氨化反应得到曲格列汀碱。该方法避免了高毒的氰化铜的使用，不但提高了合成过程的安全性，友好了环境，而且所形成的氯代中间体更加稳定，且无刺激性。

摘要： 本发明涉及一种表面活性剂混合物，其包含至少三种就烃基结构部分(R1)(R2)-CH-CH2-而言不同且具有通式(I)的离子型表面活性剂，其中R1、R2、A0、k、X、o、Y、a、b、M各自如说明书和权利要求书中所定义。本发明还涉及其用途和制备方法，以及涉及含有所述混合物的含水表面活性剂配制剂，涉及通过Winsor III型微乳液驱油开采矿物油的方法，其中将所述含水表面活性剂配制剂经由注入井注入矿物油藏中，并经由采出井从所述油藏中抽出原油。

摘要： 本实用新型涉及新风系统领域，尤其涉及宫格分布式可调风可过滤的风阀以及宫格堵头和宫格板。该风阀包含壳体，壳体上包含风口(7)，该壳体上包含多个面，多个面上各自包含一个以上的宫格堵头，宫格堵头包含壳体，壳体上包含管卡(4)，还包含能安装进管卡(4)的宫格板(3)，宫格板上包含多个分隔隔档以及外部的外圈，还包含布置在外圈和分隔隔档之间或者是多个分隔隔档之间的可去掉的板(32)；通过调整可去掉的板(32)能够调整风量大小。有益效果：可以依据末端风量的大小施工过程中可用手或者刀片就以掰掉宫格方块从而达到调节风量大小的目的。

摘要： 本实用新型公开一种上蔟格及上蔟格组成的上蔟格安装组件，包括上蔟格本体、上蔟格安装外框，所述上蔟格本体包括上蔟格边框，在该上蔟格边框内交叉设置有格条，该交叉为十字交叉，所有格条在所述上蔟格边框内形成矩形框阵列，所述格条与上蔟格是一体的，且上蔟格为非光滑材质，在该上蔟格安装外框的内框壁上设置有K组卡槽，在每一组卡槽内均固定有一个所述上蔟格本体，所有所述上蔟格本体并列排布在所述上蔟格安装外框内，上蔟格采用塑料材料，上蔟格安装外框采用铝合金材料；该组件具有安装结构简单、可以自由调节养蚕的数量、占地面积小、便捷拆卸且成本低等优点。