... 有限生成阿贝耳群：finitely generated abelian group 有限模型：finite models 有限连分数：finite continued fraction ...
基于86个网页-相关网页
有限模型性质 finite model property
有限模型判别技术 BoundModel Checking ; BMC
有限元模型 finite element model ; FE model ; MSC.Patran.2005.R
有限元模型生成器 FEM
有限资源模型 resources limitation model
混合有限元模型 hybrid finite element model
有限差分模型 finite difference model ; finite difference simulator
有限元模型修正 FEM updating ; FE model updating
有限混合模型 Finite mixture models
We organize this paper in the following parts: we first define and analyze failure scenario graphs. We then describe algorithms for generating scenario graphs from finite models and measure the algorithms’performance.
本文主要的组织结构如下:首先定义了失败场景图,接着描述了根据有限模型生成场景图的两种算法并评测了它们的性能。
参考来源 - 基于模型检查的场景图和攻击图研究·2,447,543篇论文数据，部分数据来源于NoteExpress
说明在弹性介质情况下，有限模型不能反映无限域中的波动特性。
These facts show that the finite models can not represent the wave propagation characteristics in the infinite domain foundations.
系统的“典范性”与“有限模型性质”是与“完全性”紧密相关却又有本质不同的概念。
"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.
应用推荐