查询词典 axiomatically

Although axiomatic systems and proof method for temporal logic have found so far relatively few applications in the query language modeling of temporal database and that was proved by Gabbay, et al in 1994, the model of time axes still must be built axiomatically, which owns soundness and completeness and depicts the time axes in fine grain.

尽管在1994年，Gabbay等人论证了时态逻辑的公理化系统和证明论方法是不适合于时态数据库查询语言建模的，但是仍需要通过对时间轴的公理化建模，利用公理化系统的可靠和完全等性质对时间轴作"细精度"的语义刻画。

After this the Euclidean and hyperbolic geometries are built up axiomatically as special cases of a more general 'descriptive geometry'.

在此之后的欧几里德和双曲几何的建立作为一个更一般的'特殊情况下，公理画法几何'。

This is axiomatically given.

这是以公理的方式提供的。

Will the Conservatives again be seen as the party of business they were once axiomatically taken to be?

保守党会不会再次站在他们曾经明显地倾向于的商业党派？

Will the Conservatives again be seen as the party of business they were once axiomatically taken to be?

保守党会同他们曾经那样，再次被公众看作商业党派么？

The paper presents the five difficulties in understanding and two problems existing in translation,by the analysis and translation of many a sentence serving as examples, the article axiomatically offers the corresponding solutions to these difficulties and problems.

本文剖析了翻译理解中的五大难点和表达中存在的两大问题，通过众多例句的分析、翻译，不言自明地道出了解决这些问题的相应办法。

Although such questions assume that reality is our perception, they also axiomatically presuppose the existence of an objective deterministic world "out there" that nevertheless must be responsible for how we perceive our reality.

虽然这种假设的现实问题，是我们认识、他们还自明假定存在客观世界的确定性&出去&，但是必须对我们如何看待我们的现实。

At first, this paper expounds the order relation and first order logic properties of time axes. Secondly, this paper axiomatically models that using Tense Logic and dynamic logic, which aims at reflecting the properties of axes in fine grain by logical analysis.

随后分别用经典的时态逻辑Tense Logic和动态逻辑对时态数据库的时间轴进行了公理化建模，这样刻画的目的是为了&细精度&地体现时间轴的特点，并借助逻辑的方法对其分析。

Although axiomatic systems and proof method for temporal logic have found so far relatively few applications in the query language modeling of temporal database and that was proved by Gabbay, et al in 1994, the model of time axes still must be built axiomatically, which owns soundness and completeness and depicts the time axes in fine grain.

尽管在1994年，Gabbay等人论证了时态逻辑的公理化系统和证明论方法是不适合于时态数据库查询语言建模的，但是仍需要通过对时间轴的公理化建模，利用公理化系统的可靠和完全等性质对时间轴作&细精度&的语义刻画。

The paper is organized as follows. In chapter 2, we introduce some concepts about SEA, the abstract SEA model and the convergence definition of algorithm. In chapter 3, we describe firstly the evolution of PMA as an abstract stochastic process, and by characterizing axiomatically the properties of the fundamental selection and evolution operators, we conclude that PMA is essentially a kind of SEA.

本文结构安排如下：第二章介绍了模拟进化算法的一些基本概念、形式化随机过程描述以及收敛性定义；第三章对改进后的 PMA 各操作作了抽象定义，得到了 PMA 的形式化随机过程描述，并公理化地证明了各操作算子为选择或繁殖算子，从而得出 PMA本质上也是一种模拟进化算法；第四章先对选择算子特征数定义作了适当改进，并通过各进化算子的具体特征数指出，如果 PMA 不采取任何执行策略时，算法本身并不收敛。

According to the clear water experiment, aeration performance of the new equipment is good with high total oxygen transfer coefficient and oxygen utilization ratio.

曝气设备的动力效率在叶轮转速为120rpm～150rpm时取得最大值，此时氧利用率和充氧能力也具有较高值。

The environmental stability of that world - including its crushing pressures and icy darkness - means that some of its most famous inhabitants have survived for eons as evolutionary throwbacks, their bodies undergoing little change.

稳定的海底环境─包括能把人压扁的压力和冰冷的黑暗─意谓海底某些最知名的栖居生物已以演化返祖的样态活了万世，形体几无变化。