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

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。