1) equivalent system
等价系统
1.
One equivalent system of R_(0) algebra is obtained.
R0代数是与模糊命题演算的形式演绎系统L*在语义相匹配的代数系统,为了进一步研究R0代数,引入了R0代数和基础R0代数的定义,讨论了R0代数其中的一些基本性质及R0代数与基础R0代数的区别与联系,在(a→b)∨((a→b)→a∨b)=1条件下基础R0代数就是R0代数,并且得到了R0代数的一类等价系统。
2.
In this paper,the concept of equivalent transformation and equivalent system of DEDS dioid model is defined.
提出了DEDS双子模型的等价变换与等价系统 ,给出了其定义 ,研究了其主要特性和计算方法 ,探讨了其在DEDS双子模型的简化、规范化及性能分析方面的应用 。
3.
In this paper, derected against getting the equation of phase locked-return circuit or-der N with phasic characteristic of sine and cosine by adopting electric sipaprator ideal integral and RC integral,we have given the equivalent system Then by means of applying the approximation of first degree simultancously the equilibrium points of the system studied have been gradually stable and unstable.
本文针对采用理想积分滤波器和ＲＣ积分滤波器时，得到的正弦余弦鉴相特性的ｎ阶锁相环路方程，给出相应的等价系统。
2) system equivalence
系统等价
3) Externally equivalent systems
外等价系统
4) equivalent system
等价(等效)系统
5) equivalent cycle system
等价循环系统
6) virtual equivalent system
虚拟等价系统
1.
Virtual equivalent system is identical with the original self-tuning control system from the input-output point of view.
本文首次提出自校正控制系统的虚拟等价系统的概念和分析方法,并由此得出不依赖于参数估计算法和控制器设计方法的统一稳定性、收敛性判据,对于设计新型的自适应控制系统有明确的指导意义,作为本文判据的应用,给出了Goodwin等人关于确定性自校正控制系统的稳定性和收敛性结果。
补充资料：形式系统的等价
形式系统的等价
formal systems, equivalence of
形式系统的等价【肠幻彻l卿劝图旧，剑两钧山”沈of;今op-Ma月研。x eoeTeM，K。。aa月euTnoeT‘1 两个形式系统(forlnals”teTn)称为等价的，如果这两个系统的可推演出的表示式的集合相同.更准确地说，形式系统S，和凡等价当且仅当下列诸条件成立:1)5，的每一公理皆可在又中推演出;2)又的每一公理皆可在S，中推演出;3)如果一个表示式B由表示式A，，…，人直接利用S:的推演法则得到，并且A、，…，式皆可在又中推演出，那么B也可在凡中推演出;4)改变3)中S:和又所处位置同样成立.B.H.rp~撰卢景波译
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条