1) τ-consistent theory
τ-相容理论
2) consistency theory
相容性理论
1.
Based on linear matrix inequality approach,the consistency theory on sector pole index,steady variance index and H-infinity constraints is set up,and the ranges of consistent indices are analyzed in details.
在更一般、更实际的执行器故障模型下,利用线性矩阵不等式方法,建立了容错控制中三类指标的相容性理论,并在相容指标约束下给出了有效的控制器设计方法。
3) maximal consistent theory
极大相容理论
1.
It is proved that each maximal consistent theory must be the deductive closure of some set with the form S(α)={φ1,φ2,…} satisfying φi∈{pi,pi,(p2i)&((pi)2)} for all i=1,2,…,where p1,p2,… are the propositional variables of L*.
在不使用系统L*的强完备性定理,而利用关于公式复杂度的归纳法给出了该系统中极大相容理论的结构刻画,得到了每一个极大相容理论必然具有形式D({φ1,φ2,…}),这里iφ∈{pi,pi,(pi2)&((pi)2)}(i=1,2,…),p1,p2,…是系统L*中全体命题变元,进而给出了极大相容理论的若干刻画条件;证明了系统L*的满足性定理和紧致性定理,其结果完善了系统L*的理论体系。
4) consistent algebraic theory
相容代数理论
5) Lamellar interface compatibible damain theory
层相界面相容区域理论
6) Consistency Degrees of Logic Theories
逻辑理论的相容度
补充资料：τ系数
见社会统计学。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条