查询词典 approximable

We give examples to show that some infinite objects can be approximable and some can not.

本文举例说明，并不是任意的无穷形式对象都可以被逼近。

We prove that the well limit behavior can be used to get sufficient conditions for an infinite object to be approximable.

本文发现了统一的充分条件保证一类无穷形式对象可逼近，这一充分条件正是形式系统序列的良极限行为。

The well limit behavior can be used to get sufficient conditions for an infinite object to be approximable, for a theory to be limit decidable and for an incremental computation to be correct.

良极限行为可以用于获得如下无穷形式对象可逼近的充分条件、使用极限判定方法的充分条件和增量式计算正确性的充分条件。

If we hope to use a sequence of finite objects to approximate infinite objects, then we should know what kinds of infinite objects are approximable and how to approximate them effectively.

无穷形式对象可逼近的充分条件为了研究哪一类无穷对象可以逼近以及如何有效地逼近它们，我们用过程模式作为无穷对象上的计算的模型，用以刻画接受无穷输入、生成无穷输出的无穷对象上的计算。

It is proved that if'sparse NP complete sets under polynomial-time Turing reductions exist'then 'SAT is polynomial-time non-adaptively search reducible to decision', and that if 'P is not equal to NP'then either'SAT is not polynomial-time non-adaptively search reducible to decision'or'SAT is not polynomial-time truth-table reducible to bounded approximable sets', and that if'P is not equal to NP'then'sparse complete sets for NP under polynomial-time disjunctive reductions do not exist'.

因为用现有的证明技术不可能绝对地解决这个假设，本文研究了这个假设与其他关于SAT结构性质的假设之间的关系，证明了如果'NP有多项式时间图灵归约下的稀疏完全集'则'SAT是多项式时间并行地搜索归约为判定'，以及如果假设'P不等于NP'，则要么'SAT不是多项式时间并行地搜索归约为判定'，要么'SAT不能用多项式时间真值表归约归约为有界可近似集'。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。