查询词典 sequent

There is no meaning of sequent construction and operation without excellent designwork being as the basis of the whole submarine pipeline project.

海底管道设计是海底管道工程中的重要组成部分，没有良好的设计作为基础，会严重影响工程质量，施工建造和运营将变得毫无根据。

Different from existing algorithms, the proposed algorithm distributed the multi-iterations in sequent cell times.

与现有算法不同的是，该算法针对可扩展网络交换调度结构的特点，为处于最高优先级的调度器安排了两次迭代。

In our collective careers as investors and business leaders we've helped create over $200 Billion in value in companies like Cisco, Intel, Microsoft, Sequent and others.

启明将在高增长的科技领域寻找处于早期到发展阶段的企业，包括服务广大中国本土市场的企业，也包括致力于出口增长的企业。

N this paper, a labeled sequent calculus for Interval Temporal Logic is proposed.

TL是一阶模态逻辑，它包含了一称为"劈"的二元模态算子。

For example, as discussed in sub-sequent chapters, in many areas of environmental regulation, states may impose muchmore stringent pollution-control standards than those imposed by federal law.

举一个在后面章节中将要讨论的例子，对于环保规章，很多州政府和联邦政府相比会制定更严格的防控污染的标准。

Defining a virtual as pure indicates that the function provides an interface for sub-sequent types to override but that the version in this class will never be called.

将函数定义为纯虚能够说明，该函数为后代类型提供了可以覆盖的接口，但是这个类中的版本决不会调用。

The table is organized into segments separated by double lines. Operators in each segment have the same precedence, and have higher precedence than operators in sub-sequent segments.

该表以双横线分割成不同的段，每段内各个操作符的优先级相同，且都高于后面各段中的操作符。

The claim to sub-sequent performance is the continuation of performance claim, its cost is assumedbthe salesman, the place is situs, thesalesman has right to elect, and die relation between different forms is elective concurrence.

再履行请求权是原级履行请求权的延伸和继续，其费用由出卖人承担，地点为标的物的现实所在地，选择权应由出卖人享有，不同方式之间为择一竞合关系，而非选择之债。

Secondly,the dissertation observes and studies the three molds of capitalistmodernization,i.e.the predevelopment endogenous modernization represented by theUnited States and the Great Britain,the sequent exogenous modernization representedby Japan and the cenogenetic exogenous modernization represent by the"Four LittleDragons"of Asia.

其次，考察了资本主义现代化的三种不同类型，即以英美法为代表的早发内生型现代化，以日本为代表的后发外生型现代化以及亚洲&四小龙&为代表的新发外生型现代化。

By the automatic categorization, web pages is distinguishingly created into corresponding data bases according to category info, which improve recall and precision ration of Chinese search engine. In the meantime, automatic categorization info resource is established to provide category message catalog for users. In addition, the quality of automatic categorization in some measure has positive effect upon sequent relativity sort process.

通过自动分类不仅仅可以将网页按照类别信息分别建立相应的数据库，提高中文搜索引擎的查全率和查准率，而且可以建立自动的分类信息资源，为用户提供分类信息目录，并且，自动分类的好与坏，对后面的相关性排序过程也有一定的积极作用。

If you were not , and OS X just booted normally, have no fear.

如果你没有，和OS X刚刚启动通常，没有恐惧。

I only want to preserve our all .

我只想保存好我们的一切