"canonical" and "finite model property" are different conceptions,which are relevant to the system s completeness.
基于6个网页-相关网页
系统的“典范性”与“有限模型性质”是与“完全性”紧密相关却又有本质不同的概念。
"Canonical" and "finite model property" are different conceptions, which are relevant to the systems completeness.
通过KW系统说明有限典范模型与滤模型是证明系统有限模型性质的两种不同方法，但在技术上却有许多共性。
From the example of the system KW, the paper shows that finite canonical model and filtration are two different ways to prove finite model property, but they have something in common on techniques.
为进一步研究其性质，介绍了它的现场载荷实验情况，描述了建立有限元模型的过程。
To study deeply the behaviours of the structure, this paper introduced the on site experiment of the structure, described finite element models.
应用推荐