查询词典 ordered set

Firstly,different control strategies for sensor management are modeled by the real language measure. The legal behavior of control strategy modeled by FSA can generate a partially ordered set of controlled languages. Then an identification method of the language measure parameters based on an FSA model is proposed. The language measure creates a total ordering on the performance of the controlled languages.

首先，建立传感器管理控制策略的有限状态自动机模型，通过对可控制事件的非使能设定，描述不同控制策略；提出语言测度参数的递归估计方法与停止规则，并根据有限状态自动机模型产生语言的测度获得各种传感器控制策略的性能指标。

For detail,we studied the Incidence Algebra I defined by finite Partially Ordered Set X,and sheaf F based on the topology T_x defined by the partial order;By studying the relation between finite module category mod I and the sheaf category Sh_x A,we proved that they are equivalent.

特别的，对给定的有限偏序集X确定的Incidence代数Ⅰ，及由X的序关系定义的拓扑结构T_X上的层F，通过考查有限模范畴modⅠ与层范畴Sh_XA之间的关系，证明了Incidence代数上的模范畴与层范畴的等价性。

The defination of continous parameter set valued ordered supermartingale is given in this paper with a kind of new semi_order in superspace P bfc.

利用有关文献中超空间Pbfc上一种新的半序给出了连续参数集值序上鞅概念，它是连续参数单点值上鞅的集值版本，并利用离散参数集值序上鞅的结果得到了连续参数集值序上鞅的表示定理

An ordered set of standard and proven routines and subroutines by which problems may be solved; usually stored in relative or symbolic coding.

一些标准的且经验证的例行程序和子程序的一种有序集合，许多问题也许可以通过这些程序来解决，它们通常以相关编码或符号编码来存储。

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)的无损分解的多项式时间的算法。

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.

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

Chimborazo and Cotopaxi, took me by the hand.

越过琴博腊索山和科托帕克西山。

This car is in a good condition.

这辆车的状况很好。