UL listed to verify any cable tested if they meet certain fire rating may be printed on the UL in the cable identifier, fire rating and approval number.
UL列明的任何电缆经过测试验证若符合某种防火等级，可在电缆印上UL识别字、防火等级和批准编号。
Based on these, the notion of generalized H-valuation in logic system UL is introduced, and the reliability theorem of UL on generalized H-valuation is proved.
以此为基础，对泛逻辑基本形式系统UL中的H -赋值进行了拓广，引入了广义h -赋值概念，证明了UL在广义h -赋值之下可靠性定理成立。
Based on these, the notion of generalized H-valuation in logic system UL is introduced, and the reliability theorem of UL on generalized H-valuation is proved.
以此为基础，对泛逻辑基本形式系统UL中的H -赋值进行了拓广，引入了广义h -赋值概念，证明了UL在广义h -赋值之下可靠性定理成立。
应用推荐