查询词典 valued

The study of lattice-valued propositional logic system based on lattice implication algebra.On the bases of previous study, by using the concepts and methods of T algebras we established the lattice-valued propositional logic system LP , whose truth values domain is a lattice implication algebra, and discussed systematically the semantical and syntactical properties of LP , proved the soundness theorem 、consistency theorem、deduction theorem and the decidability of validity of the system when the truth values lattice is finite. We also discussed the relationship between the α-theorem of some premise, say A, and the closed sets that contain A.

本文在前人研究工作的基础上，利用T代数的概念与方法，建立了真值取于格蕴涵代数的格值命题逻辑系统LP，对它的语义及语法性质进行了较系统的研究，得到了它的可靠性定理、协调性定理及演绎定理等，证明了值格有限时系统"有效性"的可判定性并讨论了某一前提A下的α定理与包含A的闭集之间的关系。

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)"毛值"是指货物的批发价格，如果没有这种价格，则是货物的估计价值，不论哪一种情况，再加上已预先付讫的运费、卸货费和关税之后的价值；但是，如果货物或商品按惯例在关仓出售，那么关仓价格就视为毛值。

We generalize the concepts of two kinds of discrete distance of interval-valued fuzzy sets based on Hausdorff metric, and introduce a new distance of discrete interval-valued fuzzy sets based on Hausdorff metric and study some properties.

同时我们分别举例说明全空间IF~*(R，d~*和IF~*(R，d_p~*不是完备的，IF~*(R，d~*和IF~*(R，d_∞~*不是可分的。我们还对区间值模糊数序列在这三种距离意义下的收敛性之间的关系进行了讨论，得到一些结果。

Firstly, we recall some notions and results about space theory, including Hausdorff space, Hausdorff distance between sets , Baires category about sets and convex set. Secondly, the semi-continuity, closure, compactness of set-valued maps are introduced in set-valued analysis. Finally, essential point, essential set and essential component are introduced.

其中，空间理论及凸集的基本知识介绍了Hausdorff空间、集合间的Hausdorff距离、集合的Baire分类、以及凸集等四个方面；集值分析部分主要介绍单值映射的半连续性以及集值映射的半连续性、闭性和紧性；本质点、本质集和本质连通区部分主要介绍了本质点、本质集和本质连通区等有关概念和性质。

In this thesis, we investigate the properties of two classes of infinite dimensional Markov processes, measure-valued branching processes with immigration and distribution-valued generalized Ornstein-Uhlenbeck processes.

在论文中，我们将研究两类无穷维马尔可夫过程的性质—带移民的测度值分枝过程和分布值广义Ornstein-Uhlenbeck过程。

Using the infinite product of unevenly distributed probability space with potential of 3, the concept of formula truth degree was introduced into the Gdel 3-valued propositional logic system. Moreover, it was proved that in the 3-value (1/4, 1/2, 1/4), measure the set of truth of degree of propositions was dense in [0, 1], and a general expression of truth degree was obtained, providing a basis for further developing approximate reasoning of 3-valued propositional logic system.

利用势为3的非均匀概率空间的无穷乘积，在Gdel三值命题逻辑系统中引入公式的真度概念，在三值逻辑(四分之一，二分之一，四分之一)测度下证明G3中全体公式的真度值之集在[0， 1]上是稠密的，并给出公式真度的表达通式，为进一步在三值命题逻辑系统中展开近似推理奠定基础。

Firstly,on the basis of the generalized fuzzy integral,which is defined by nonnegative measurable functions. Through introducing T-norm operator,we extend the integrand functions to the fuzzy valued function and give the definition of so-called T-fuzzy valued integral.

首先，在针对非负可测函数所定义的广义模糊积分的基础上，通过引入T—模算子，将被积函数推广到取值于模糊数的模糊值函数，给出了所谓的T—模糊值积分定义，获得了这种积分的一些基本性质。

As CMAC neural network could not be used to approximate the multi-valued mapping of an inverse hysteresis directly, an inverse hysteretic operator was proposed to transform the multi-valued mapping into a one-to-one mapping which could enable neural networks to approximate the behavior of an inverse hysteresis.

由于CMAC神经网络不能够直接逼近滞回逆这种具有记忆性的多映射现象，通过引入一个滞回逆算子，将多映射的滞回逆转换成一一映射，然后运用CMAC神经网络控制器来逼近这个一一映射，从而建立一个基于CMAC神经网络的滞回逆模型。

Lin then concludes that one should look at Chinese legal tradition from the point of view of many - valued logic. Max Weber ; comparative legal sociology ; Chinese legal tradition ; many - valued logic

八十余年后，总算有一位华人社会学家超越对韦伯的敬畏，出来全面地批判韦伯关于中国法律传统的论断。23年，台湾大学社会学系的林端教授出

The problem that under what conditions the - resolvent operator of a maximal TJ - monotone set-valued mapping is a Lipschitz continuous single-valued mapping on whole space, which also answers the open problem mentioned above, is studied on finite dimensional Euclidean spaces.

借助于图收敛理论证明了有限维欧氏空间中的两个极大单调集值映射的和映射在较弱条件下仍是极大单调集值映射，并在此基础上讨论了一般集值变分包含问题解集的凸性、闭性和有界性。

Plunder melds and run with this jewel!

掠夺melds和运行与此宝石！

My dream is to be a crazy growing tree and extend at the edge between the city and the forest.

此刻，也许正是在通往天国的路上，我体验着这白色的晕旋。