划分时间

At the aspect of data preprocessing, the thesis puts forward the mode of Time Window to compartmentalize transanctions, and the method to complete the visiting path.

在数据预处理方面，本文设计了基于时间窗模型的访问事务划分方法和对访问路径进行修补的方法。

Formalization verification of service composition based on Process Algebra and Discrete Time Ambient-Calculus, as well as combinatorial optimization and the partition method based on QoS mathematic model are deeply studied. The service composition architecture supporting formalization verification and QoS-aware composition has been also implemented. Furthermore, the architecture is applied to digital cartoon cooperation manufacturing in the Internet.

为实现动态的跨企业业务协作与集成，本文围绕服务组合行为的正确性检验以及服务质量保证这二个正交的性质，深入研究了基于进程代数Pi演算及离散时间Ambient演算的服务组合形式化检验，以及基于QoS数学模型进行精确计算的服务组合优化与划分方法。

And, really it's all about squeezing and condensing the game down.

这都是为了把紧张的比赛划分为时间很短的小节，所以每一回合的分数都显得至关重要，这就是所谓的压缩赛制。

Using 24 hours to designate the time of day, rather than two, 12 hour segments.

使用24小时划分一天的时间，而不是使用2个12小时段。

The great dividing line between success and failure can be expressed in five word:"I did not have time."

成功和失败的最大划分线可以概括为五个字：我没有时间。

At the beginning of time, the world was divided into the dominion of the good and of the evil.

在时间的开端，世界就被划分成好与坏的领土。

It can be used as an effective tool for solving the structure dynamic response problem by the adaptive FEA.

同时，本文还给出了一种简单实用的时间步长划分的自适应方法。

It divided the evolvement process into four phases: form the independence to thefoundation of the government, the ruling stage of the Federal party, the stage of the DemocraticRepublican Party, withdrawing from the political arena.

本文主要论述他们共同参与的重大历史活动以及二人的相互关系，以二人共同经历的重大历史事件为点，用时间纵线将它们串联起来，把二人关系的发展过程划分为四个阶段：从独立到创建政府时期，联邦党政府时期，民主共和党人统治时期以及退出政治舞台时期。

From aspects of time and characters of technology,namely from history and history of technology,the process of introduction of western firearms into China can be divided into two phases: Ming and Qing China adopted and copied Frankish and bird gun from 1506 to 1620s;Jesuit preside who was in charge of making cannon and some sch...

从时间和制造技术特点两方面，即从历史学和技术史角度，将明末清初西方火器传入中国的过程划分为两个阶段：1506-1620年是明清政府采用及至仿制佛郎机和鸟铳的阶段；1620-1696年是传教士主持制造红衣大炮与编译火器论著的阶段。

However, they note that "an effect limited to a single type of aging gamete would be more difficult to detect," and "doubtless some misclassification occurred in timing of conception."

但是他们指出：『限於一种类型的老化受精卵的影响很难进行检查，并且确认在受孕时间的划分上存在错误』。

We will see more and more activist government policies that distinguish economic activities according to the nationality of the actors.

我们将看到越来越多激进的政府政策，这些政策根据企业的国籍来区分经济活动。

If we can prove the independence of an axiomatic system, then we can guarantee the conciseness of this system, ie.

如果能够证明某个一阶谓词系统的独立性，那么就能够保证该系统的建立是精炼的，即没有任何一条公理或推理规则是多余的。