1) conditional system
条件句系统
1.
In this paper, firstly, we will present some variants of the update semantics presented by Veltman[1], and thus prove the model soundness and the model completeness of some epistemic systems and conditional systems with respect to the variants.
本文我们首先提出由Veltman[1]提出的更新语义的某些变种,从而证明某些认知系统和条件句系统相对这些变种有模型可靠性和模型完全性。
2.
Then, we construct the four conditional systems described by the language L1, and then prove that the systems are just the L1-minimal systems that satisfy the conditions given by the definition of L1-minimal system.
用语言L1表述4个条件句系统,它们就是满足定义给出的条件的L1-极小系统。
2) system of conditionals with double conditions
双条件句系统
3) system of conditionals with primary-condition and secondary-condition
主次条件句系统
4) protasis
[英]['prɔtəsis] [美]['prɑtəsɪs]
条件句从句
5) If-clause
条件子句
6) condition sentence
条件语句
1.
A sentence such as “if x is a ,then y is b ,else y is c ”is called condition sentence.
句型为“若ｘ是ａ，则ｙ是ｂ，否则ｙ是ｃ”的陈述句叫做条件语句。
补充资料：条件稳定系统
以开环传递函数的增益值在某个范围内为条件才能保证稳定性的闭环控制系统。下图为条件稳定系统开环频率响应的奈奎斯特图的典型形状。图中ω为参变量频率。根据奈奎斯特稳定判据,当(-1,j0)点位于奈奎斯特曲线的A点和B点之间时，闭环系统是稳定的。通过减小增益值改变奈奎斯特曲线,使(-1,j0)点位于C点和B点之间，或加大增益值使(-1,j0)点位于A点和O点之间,都会导致闭环系统的不稳定。在工程实际中应尽可能避免采用条件稳定系统。系统元件特性的老化和输入信号过大引起的系统元部件的饱和，都会减小条件稳定系统开环增益值，从而使系统变为不稳定。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条