本文将模型论介绍为“可定义集的数学”。
We present Model Theory as the"mathematics of definable sets".
连续模型论拥有很多经典模型论所拥有的重要性质。
Continuous model theory also preserves many key properties of classical model theory.
地图模型论是理论地图学研究中提出的一个重要理论。
The theory of map model is an important theory to be proposed by studies in theoretical cartography.
在本文中我们用模型论方法证明了关于代数与数论的一些结果。
In this paper we prove some results on Algebra and Number Theory by Model-Theoretic method.
本文是在原型模型论的理论框架内对等级性形容词性反义词进行的研究。
The research in this paper adopts a new theoretical perspective: prototype-model theory introduced by Pro.
以LST定理为例说明模型论成果作为逻辑性结论起推理工具作用的特点。
How the results of model theory work as logical and inference tools by example-LST theorem is explained.
本文提出将模型论、仿真算法和仿真可信度评估理论作为系统仿真学科的基础理论的观点。
In this paper, the author presented the viewpoint that System simulation is based on model theory, simulation algorithms and simulation credibility evaluation theory.
扩充模型论是一种数学理论,在它的基础上我们实现了一种扩充模型论语言——EMTL。
The Extended Model theory is a mathematical theory, on which an Extended Model theory Language (EMTL) has been realized.
博弈论创造了数学模型来分析像这样的不同情况以预测结果。
Game theory creates mathematical models that analyze different conditions like this to predict outcomes.
柏拉图的阶梯模型恰当地描述了三段论所蕴含的逻辑。
The model of Plato's Ladder aptly describes the logic behind the theory.
“尽管平坦地球论还没有公认的模型,”珊顿说,”但为多数人接受的观点认为,地球形状是个圆盘,并且在水中托着一圈某种东西。
"There is no unified flat Earth model, " Shenton suggests, "but the most commonly accepted one is that it's more or less a disc, with a ring of something to hold in the water.
以往在学术理论与市场模型中非常盛行的效率市场论正节节败退,而这可能是合理的。
The efficient market thesis, so prevalent in academic theory and market modeling is now in retreat, and perhaps rightly so.
再论模型:让OR M选择行为。
目前,我已经给你们提出了两种模型:,从崇拜众多神灵的多神论,自然进化到一神论,唯一的至高无上的神。
Well, so far we've had two models that have been thrown out to you: From polytheism's worship of many gods there's a natural evolution to henotheism's elevation of one god to a supreme position.
“科学家们对这个世界怎样运行,有一个标准的模型,但当时有一些数据不符合”,他说。试图解决的问题的结果在于:广义相对论和量子力学,现代科学的两大支柱。
The outcome of attempts to resolve the problems: general relativity and quantum mechanics, two pillars of modern science.
不过,我们可以用相对论这个模型来看看接近光速的情况下会发生什么。
However, we can use relativity as a model to see what happens at speeds close to that of light.
他曾成功的从这一模型中获得牛顿引力:但是,广义相对论还未出现。
He has also managed to derive Newtonian gravity from the model: however, general relativity has not yet emerged.
该模型包括USBD的分类法和存在论。
宇宙学中的大爆炸模型可以追溯到20世纪初的两个核心思想:广义相对论和宇宙学原理。
The Big Bang model of cosmology rests on two key ideas that date back to the early 20th century: General Relativity and the Cosmological Principle.
任何一种没有奇点的宇宙模型都将解决广义相对论中困扰着科学家们的奇点问题,因为奇点在数学上是无法定义的。
Any kind of singularity-free Universe would solve the singularity problem that has bothered scientists about general relativity, since a singularity cannot be mathematically defined.
相对论模拟模型预测的铅酸电池产生的电压相当精确。
The relativistic simulations predicted the voltages measured in real lead-acid batteries with great precision.
其中一个模型结合使用了相对论效应的新假设,另一个没有用。
One incorporated their newly hypothesised relativistic effects while the other did not.
而那个不用相对论的模型大约80%的电伏都没有计算到。
When relativity was excluded, roughly 80% of that voltage disappeared.
语义面向服务架构参考本体论(RO4SSOA)致力于将这一概念模型进行标准化。
There are efforts towards standardizing this conceptual model within the Reference Ontology for Semantic Service Oriented Architectures (RO4SSOA).
语义面向服务架构参考本体论(RO4SSOA)致力于将这一概念模型进行标准化。
There are efforts towards standardizing this conceptual model within the Reference Ontology for Semantic Service Oriented Architectures (RO4SSOA).
应用推荐