李孝利(H-LOGIC) - Ch..
基于36个网页-相关网页
programmable logic controller c h c200h可编程序控制器
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 -赋值之下可靠性定理成立。
youdao
应用推荐
模块上移
模块下移
不移动