全部

1·Agas breakdown model theory was suggested by the author.

作者提出了气体击穿理论模型。

2·RDF inference is carried out on a triple based model theory.

RDF推理主要是在其以三元组为基础的模型理论上展开。

3·We present Model Theory as themathematics of definable sets.

本文将模型论介绍为“可定义集的数学”。

4·Back and forth method is a new tool in study of model theory and its application.

向前向后方法是模型论及其应用研究中的一个新的工具。

5·Continuous model theory also preserves many key properties of classical model theory.

连续模型论拥有很多经典模型论所拥有的重要性质。

6·A system model of a mooring line was constructed according to the NARMAX model theory.

根据带控制变量的非线性自回归滑动平均(NARMAX)模型理论，建立了锚泊线的系统模型。

7·Back-and-forth method is an important tool for studying model theory and its application.

向前向后方法是模型论及其应用研究中的一个很重要的工具。

8·In these deputing problems, the traffic source model theory is a current research hot-point.

在这些问题中，有关业务源模型的理论是当前研究的焦点之一。

9·The convex model theory is implemented to handle the uncertain parameters of multidisciplinary systems.

研究了用凸集模型描述不确定参数时，多学科系统的不确定性分析方法。

10·How the results of model theory work as logical and inference tools by example-LST theorem is explained.

以LST定理为例说明模型论成果作为逻辑性结论起推理工具作用的特点。