查询词典 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 不采取任何执行策略时，算法本身并不收敛。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。