查询词典 valued

Tableau method with quantifiers in first order many valued logic exist uniform expansion rules, and sound and complete have been proved by Zabel et al .

含有量词的一阶多值Tableau方法具有统一的扩展规则，并由Zabel等人给出了可靠性和完备性的证明。

Many valued logic ; quantifier ; Tableau method ; upset/downset in set ; regular formula

多值逻辑；量词； Tableau方法；集合的上集/下集；正则公式

The purpose is to study the existence of fixed point theories for set valued mapping s in B metric space.

讨论了B度量空间中一些集值映象的不动点的存在性问题，得到了一些新的不动点定

We have the matchable product lines, the complete spare parts, a perfect after-sales service, valued pricing system, Hope to be your ideal choice.

配套的产品线，齐备的零配件，完善的售后服务，超值的价格体系，希望成为您的理想所选。

The existence of the minimal and maximal fixed points for order preserving set-valued operators on semi-ordered sets and semi-ordered topological spaces was analyzed.

讨论了半序集和半序拓扑空间中保序集值算子的最小与最大不动点的存在性。

Fourthly,in the UMD spaces,the tree martingale transforms and their maximaloperators are defined,and then based on the geometrical property of UMD spaces andcombining new interpolation techniques of Hardy-Lorentz spaces,the inequality ofUMD space valued tree martingale transform maximal operators is obtained.

然后，在UMD空间中，我们定义了树鞅鞅变换及其极大算子，并用UMD空间几何性质和Hardy-Lorentz空间的算子插值理论证明了UMD空间值树鞅鞅变换的极大算子不等式。

To overcome the local optimal problem existing in some maximum likelihood DOA estimation algorithms, improve the estimation accuracy, a global optimal solution of nonlinear maximum likelihood DOA estimation is obtained by real-valued genetic algorithm proposed in this paper.

所提出的实数遗传算法由含实数域结构和目标函数信息的实数交叉和变异算子构成，是较理想的获取非线性实变量函数全局最优解的方法。

MCD has become the most valued brand in global food service industry.

在很多国家麦当劳代表着一种美国式的生活方式。

Our study bases on following environment and conditions: H-1: The measurable set-valued mapping F : X - CC is e-bounded almost lower semicontinuos

这些研究是在如下环境和条件下进行的： H-1：X是n-维Banach空间(n＞1)中的有界闭凸集，且可测集值映射F：X→C_c是ε-有界几乎下半连续

I noly depend on my memory to knonw a book's character and its potential valued material within it.

关于这事，我常自比为古时的皇帝，而把插在架上的书譬诸列屋而居的宫女。

You can do some assertiveness training.

你可以进行一些自信训练。

We were well on the path to making a rear-wheel-drive global platform," says Mays."

我们正致力于建立一个后轮驱动的平台，"Mays这样说道。"