将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上。
The two value weak model for first order logic with generalized quantifier Q is generalized to be valued in complete weak complemented lattices.
本文分析设计了基于模糊逻辑的可控串补变结构控制器。
A variable structure controller based on fuzzy logic for Thyristor Controlled Series Capacitor (TCSC) has been analyzed and designed.
文中采用数据采样插补算法进行粗插补,使用大规模可编程逻辑器件CPLD实现了硬件精插补计算。
The paper discussed a new realization method that rough interpolation is realized by sampled-data interpolation algorithm, and fine interpolation can be gained by CPLD electronic device.
应用推荐