1) finite model property
有穷模型性
1.
This paper aims at a "boundary" result more general than both Segerberg s theorem and Nagle s theorem: all modal logics of finite depth have the finite model property, no matter they are transitive or not.
本文旨在建立一个比Segerberg定理和Nagle定理都更一般的“边界”结果:所有深度有穷的模态逻辑都有有穷模型性,无论是否传递逻辑。
3) finite fixed modes
有穷固定模
1.
Then, the criterion for the existence of finite fixed modes of the singular systems with symmetric structure is investigated by way of analyzing the relation of inequality of matrix rank, with the relation between uncontrollable and unobservable modes given.
给出了广义对称系统和广义状态空间对称系统的定义,并对它们的固定多项式分别进行了分析;利用矩阵秩的不等式关系,研究了广义对称系统的有穷固定模的判别问题,给出了不可控模态与不可观模态的关系,并提出了一种新的求解有穷固定模的方法;结果表明,广义对称系统的有穷固定模集合由系统的所有不可控且不可观的有限模态构成·与已有结果相比,本文给出的方法更加有效且简洁
2.
In this paper, the problems of determination and elimination of finite fixed modes for decentralized control descriptor systems with direct feedback are investigated.
本文研究带前馈广义分散控制大系统有穷固定模的确定与消除问题。
3.
Some criteria to identify finite fixed modes under these above mentioned feedback con trollers are given respectively and their connections are illustrated.
分别讨论了比例（Ｐ）、微分（Ｄ）和修正型比例微分（ＭＰＤ）分散输出反馈下广义系统有穷固定模的判别条件及相互关系，给出了若干有意义的结论。
4) infinite-valued model
无穷值模型
5) finite element and infinite element coupling model
有限元和无穷元耦合模型
1.
A finite element and infinite element coupling model is used to calculate the seismic motion ofcanyon surface subjected to the unit plus in different directions.
用有限元和无穷元耦合模型计算了半圆形河谷在单位脉冲入射下的河谷地面反应，从而分析了地震波的入射方向对河谷岸坡放大系数的影响。
6) model validation
模型有效性
1.
The model validation problem is converted to that of optimum programming, and it is solved with hybrid genetic algorithm.
利用正切谱Ｎｅｖａｎｌｉｎｎａ－Ｐｉｃｋ（简记为Ｎ－Ｐ）插值理论，研究了谱扰动模型集的模型有效性分析问题。
2.
The frequency domain model validation for structured uncertain is discussed with the structured tangentialNevanlinna-Pick interpolation theory.
利用正切结构Nevanlinna-Pick插值理论，研究了扰动集有结构的具有线性分式传递函数的模型有效性分析问题。
补充资料：连续性与非连续性(见间断性与不间断性)
连续性与非连续性(见间断性与不间断性)
continuity and discontinuity
11an父ux泊g四f“山。麻以角g、.连续性与非连续性(c。nt，n琳t:nuity一)_见间断性与不间断性。and diseo红ti-
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条