查询词典 valued

Goldman's shares are valued less richly than those of competitors it so obviously outwits. Moreover, investment banks are less highly valued than less glamorous commercial banks and retail brokerage firms.

高盛的股份不如那些显然是投机取巧的竞争对手，而且，投资银行们比那些缺乏魅力的商业银行和零售经纪公司有更低的价值。

Based on the production of other researchers such as professor Xu Yang and professor Qin Keyun, this paper discusses the structure and properties of lattice implication algebra, tautologies in some lattice-valued systems, automated reasoning methods, lattice-valued propositional logic system.

本文的工作是在徐扬教授、秦克云教授等研究成果的基础上，对格蕴涵代数的性质、结构、格值命题逻辑系统中的重言式、自动推理方法、格值命题逻辑系统等进行了一些研究。

Tautologies and F-Tautologies in some lattice valued logic systems whose truth-value lattice are products of lattice implication algebra are discussed. As examples,α-Tautologies and F-Tautologies in lattice valued logic systems L〓P and L〓P are discussed in detail.

本文分析讨论了基于格蕴涵代数直积的格值逻辑系统中的α-重言式和F-重言式，作为两个实例，详细讨论了两个格值逻辑系统L〓P和L〓P中的重言式和F-重言式的结构。

Effect was valued by HAMA, HAMD, CGI and safety was valued by TESS at 2,4,6 weekend of after treating and before treating. RESULTS: Decrease rate of HAMD in moclobemide group was 69.3% and in imipramine group was 83.6%.

15对双盲和30例开放的临床研究，采用疗前和疗后第1，2 ，4，6周末进行HAMD，HAMA，TESS及CGI的评定。

From then on,logicians developed many ideas of many-valued logic based on different needs.This paper will recall the history process from the early thought of many-valued logic to its later development.

从亚里士多德开始逻辑学家们就提出了各种不同的多值逻辑思想，本文将对多值逻辑早期思想的提出和后来的发展历程给以回顾。

Where is a partial loss of goods, merchandise, or other moveables, the measure of indemnity, subject to any express provision in the policy, is as follows:（1）Where part of the goods, merchandise or other moveables insured by a valued policy is totally lost, the measure of indemnity is such proportion of the sum fixed by the policy as the insurable value of the part lost bears to the insurable value of the whole, ascertained as in the case of an unvalued policy:(2) Where part of the goods, merchandise, or other moveables insured by an unvalued policy is totally lost, the measure of indemnity is the insurable value of the part lost, ascertained as in case of total loss:(3) Where the whole or any part of the goods or merchandise insured has been delivered damaged at its destination, the measure of indemnity is such proportion of the sum fixed by the policy in the case of the valued policy, or of the insurable value in the case of an unvalued policy, as the difference between the gross sound and damaged values at the place of arrival bears to the gross sound value:(4)"Gross value" means the wholesale price, or, if there be no such price, the estimated value, with, in either case, freight, landing charges, and duty paid beforehand; provided that, in the case of goods or merchandise customarily sold in bond, the bonded price is deemed to be the gross value.

货物、商品或者其他动产发生部分损失的，除保险单另有明文规定外，赔偿范围如下：(1)如果定值保险单承保的货物、商品或者其他动产的一部分发生全损，赔偿范围为保险单确定的保险金额中的比例部分，该比例为灭失部分的可保价值占全部可保价值的比例部分。可保价值的确定与不定值保险相同；(3)若不定值保险单承保的货物、商品或者其他动产的一部分发生全损，赔偿范围为损失部分的可保价值，可保价值的确定与全损时相同；(4)如果被保险货物或商品的全部或者一部分以受损状态运抵目的地，赔偿范围以完好毛值与受损价值的差额占完好毛值的比例计算，在定值保险单情况下，是保险单确定的金额的该比例部分，或者，在不定值保险单情况下，是可保价值的该比例部分；(5)&毛值&是指货物的批发价格，如果没有这种价格，则是货物的估计价值，不论哪一种情况，再加上已预先付讫的运费、卸货费和关税之后的价值；但是，如果货物或商品按惯例在关仓出售，那么关仓价格就视为毛值。

In the last two chapters, this thesis first develops two quaternion-based color image filtering methods that are based on the quaternion rotation theory and quaternion unit transform, respectively, then analyzes the fulfillment algorithm of the QSVD (Quaternion Singular Value Decomposition) and its applications to color image processing, and expands the real number-valued PCA to quaternion-valued PCA.

在论文的最后二章，通过利用四元数旋转和色调抵消机制以及四元数单位变换来表达二个彩色像素的色调差异，提出了二个基于四元数理论的彩色图像滤波的新方法；并分析了四元数奇异值分解QSVD (Quaternion Singular Value Decomposition)的实现算法及其在彩色图像处理中的应用；同时将实数域上的主成份分析扩展到四元数域，形成了四元数版本的主成份分析QPCA (Quaternion Principal Component Analysis)。

Base on the established lattice-valued logic system with truth-value in lattice implication algebra, lattice-valued resolution method of which are discussed.

本文在已构建的基于格蕴涵代数的格值逻辑系统的基础之上，探讨了其中的归结推理的理论与方法。

The study of lattice-valued resolution principle based on lattice-valued logic with truth-value in lattice implication algebras Because of it concise, resolution principle is an implication direction in automated theorem proving, and it will be of significance to establish resolution principle based on non-classical logics.

基于格蕴涵代数的格值逻辑中归结推理的理论与方法研究归结原理由于其简洁性一直是自动定理证明中一个受到广泛重视的研究领域，因而建立基于非经典逻辑的归结方法对于非经典自动定理证明有着重要的意义。

It differs from the scalar-valued case that the existence of the atomic decompositions of Banach-space-valued martingales is closely connected with the geometrical properties of the Banach spaces.

与标量值不同的是，在向量值情形下，这些鞅空间的某些类型的原子分解的存在性和它们之间的相互关系都与值空间的几何性质有紧密联系。

The second is to cut a mere 100 calories from your diet , which is the equivalent of a tablespoon of butter.

第二个就是从你的饮食中减少一百卡路里，只是相当于一大汤匙的黄油。

This is where the Rorschach test comes in.

现在，罗氏测试就出现了。