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 -赋值之下可靠性定理成立。
The order of h? Controller is usually higher, but we hope that the order of controller is lower for the realization of hardware and the reliability of software in engineering application.
控制器的阶次通常都比较高,在工程实践中出于对硬件实现性和软件可靠性等方面的考虑,往往希望控制器的阶次低一些。
The design of a novel H-mode reversible PWM Power Amplifier based on the intelligent power model PM75CES060 is studied. The reliability and performance of this system has been verified by practice.
研制了基于智能功率模块PM75CES060的H型可逆PWM功率放大器,实验结果表明该系统具有高可靠性和较好的实用价值。
应用推荐