... 模型完全化 model completion 模型完全性 model complete 模型问题 model problem ...
基于24个网页-相关网页
... 模型拟合||fitting of a model 模型完全性||model completeness 模型协调法||model coordination method ...
基于6个网页-相关网页
In this paper, firstly, we will present some variants of the update semantics presented by Veltman1, and thus prove the model soundness and the model completeness of some epistemic systems and conditional systems with respect to the variants.
本文我们首先提出由Veltman1提出的更新语义的某些变种,从而证明某些认知系统和条件句系统相对这些变种有模型可靠性和模型完全性。
参考来源 - 适于认知系统和条件句系统的更新语义(英文)·2,447,543篇论文数据,部分数据来源于NoteExpress
使用一致性分析特性来确保您已经在模型中一致地使用了约束(这在此简单的实例中是过多的,但在此加入是为了完全性)。
Use the consistency analysis feature to ensure that you have used constraints consistently in your model (this is overkill in this simple example, but included here for completeness).
结果丹黄通络胶囊能提高急性不完全性脑缺血模型的大鼠脑组织中的SOD和伊文思兰的含量,降低LPO含量。
Results the Danhuang capsule can increase SOD AND Evans blue content of brain tissue from rat model of acute incomplete cerebral ischemia, at the same time, decrease the LPO content.
系统的“典范性”与“有限模型性质”是与“完全性”紧密相关却又有本质不同的概念。
"Canonical" and "finite model property" are different conceptions, which are relevant to the systems completeness.
应用推荐