2) regular residual lattice
正则剩余格
1.
Some additional conditions of residual lattice or regular residual lattice are proved to be (equivalent to) each other.
证明了剩余格和正则剩余格中一些典型的附加条件之间的等价性,引入了正规剩余格的概念并给出了其若干性质。
2.
Based on discussing the relationship between regular FI-algebras and regular residual lattice,the relationship between FI-algebras and basis R0-algebras has been investigated.
研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相匹配的R0-代数以及吴洪博教授提出的基础R0-代数和基础L*系统,提出了WBR0-代数的观点,讨论了它与BR0-代数的关系,简化了BR0-代数的定义,在讨论正则FI-代数与正则剩余格之间关系的基础上,讨论了BR0-代数与FI-代数的相互关系。
3) (regular) residuated lattice
(正则)剩余格
4) normal residual lattice
正规剩余格
1.
The concept of normal residual lattice is introduced and some properties of normal residual lattice are given.
证明了剩余格和正则剩余格中一些典型的附加条件之间的等价性,引入了正规剩余格的概念并给出了其若干性质。
5) co-residuated lattice
余剩余格
1.
Ideals and embedding theorem of co-residuated lattices;
余剩余格的理想和嵌入定理
6) remaining strength
剩余强度
1.
Assessment method for remaining strength of corroded pipeline and its application;
腐蚀管道剩余强度评价方法及其应用
2.
Theory foundation for remaining strength assessment methodology is presented and assessing formula for relative assessment methodology is educed based on individual basic assumption.
建议在单一荷载和简单缺陷形状下,按B31G进行管道的剩余强度评价。
3.
API 579 and F101 are two kinds of common codes in computing the remaining strength of corrosion pipeline for local metal loss.
对API 579和F101这2种目前常用的腐蚀管道剩余强度评定规范中的一些相似点进行了比较,并通过实例说明了各自的优、缺点。
补充资料：剩余格
在抽象代数中，剩余格是有着特定的简单性质的格，此性质适用于任何环的所有两端理想。
在这个上下文中，这些对象的研究可以回溯到1930年代。最近在各种多值逻辑的真实度的求值中形成这样的一个格来一般化布尔代数、heyting代数和多值代数。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条