查询词典 partially-ordered set

For the temporal schemes with a totally ordered set of temporal types, by analyzing good properties of sets of TFDs, a polynomial algorithm that may obtain lossless decompositions satisfying the temporal third form （T3NF） is given.

对于这种具有全序时态类型集的时态模式，通过分析TFD臬所具有的良好特性，给出了一个得到满足时态第三范式（T3NF）的无损分解的多项式时间的算法。

Each can be defined in essentially two different ways : either by constructing an explicit well-ordered set which represents the operation or by using transfinite recursion.

每个都可以用本质上两种不同的方式定义：要么通过构造表示这个运算的明显的良序集合要么使用超限递归。

In the morning when the princess ordered the horses to be put in for her to set off, the peasants had come out in a great crowd to the granary, and had sent to say that they would not let the princess go out of the village; that there was an edict that people were not to leave their houses, and that they would unharness the horses.

早晨公爵小姐吩咐套车，准备动身，但大批的农民聚在谷仓前，派出人来声称，不让公爵小姐离开村子，说是有命令不准运走东西，他们要把马从车上卸下来。

Pulitzer paid a price for his unsparingly rigorous work at his newspaper.9 His health was undermined and, with his eyes failing, Pulitzer and his wife set out in 1883 for New York to board a ship on a doctor-ordered European vacation.

普利策对报纸的工作不遗余力，过分投入，终于付出了代价：健康日渐衰退，视力也越来越差。1883年，遵照医生建议，普利策携妻子出发到纽约，登船去欧洲度假。

King Acrisius, indismay, ordered mother and child to be boxed up ina chest and set adrift on the sea.

阿克利西厄斯国王深为不安，下令将母子装进一个箱子扔到海里随波漂浮。

King Acrisius, in dismay, ordered mother and child to be boxed up in a chest, and set adrift on the sea.

阿克里西俄斯国王深为不安，下令将母子俩装进一只箱子扔到海里随波飘浮。(2)使漂泊没有着落；撇弃……于不顾。

We therefore set up three special committees of cardinals and other prelates to listen to and discuss matters of this kind and other conciliar business, and we ordered them to report to the council on what they had heard and discussed.

因此，我们成立了三个专门委员会的红衣主教和其他主教，听取和讨论这种问题和其他conciliar业务，而且我们要求他们向安理会报告他们所听取和讨论。

Based on English definition of the six properties which a relation R defined on a set A and utilizing the logical characteristic of implications, two aspects of ordered-pair and the matrix MR are considered, and the properties of the R is analyzed one by one. A few useful conclusions are summarized as determining the properey of the R. The following collections are also analyzed between reflexive and irreflexive, symmetric and antisymmetric, symmetric and asymmetric and among irreflexive, antisymmetric and asymmetric.

根据定义在一个集合A上的关系R的六个性质的英文定义，利用蕴含式的逻辑特点，从有序对和关系R的矩阵M两个角度对每个性质逐一进行分析，得出在判定关系R的性质时可用的结论，并且分析了自反性与非自反性之间、对称性与反对称性之间、对称性与非对称性之间、非自反性和反对称性以及非对称性之间的联系。

Furthermore, officials used other methods of silencing: riot police officers broke up protests by parents; the authorities set up cordons around the schools; and officials ordered the Chinese news media to stop reporting on school collapses.

此外，官方通过其他手段来压制抗议的呼声：防暴警察镇压了父母亲们的抗议活动：当局政府在学校附近设立了警戒线；官方同时下令禁止中国新闻媒体报道校舍坍塌的相关事件。

Armed with only a mail-ordered video camera, a list of 20 questions, and two friends, this unlikely first-time filmmaker set out in search of the meaning of life.

武装起来的，只有邮寄订购摄像机了一份清单，提出二十项质询，和两个朋友，这不大可能是第一次电影内容已载列于寻找生命的意义。

Who? I never heard of him, Paul said, before asking teammate James Posey if he had heard of him.

赛后，科比说，他一直都是一名非常出色的射手，今天他打得很棒。

When I joined the company, I rotated around the different sections.

我加入这个公司时，轮换过几个不同的部门。