查询词典 valued

Promptness is valued highly in American life.

及时性是高度重视在美国的生活。

In the framework of separable locally convex metric spaces, we give scalarization theorems on Benson proper efficiency and study Benson proper efficient solutions of vector optimization problems involving nearly subconvexlike set-valued maps.

中文摘要：本文在可分局部凸距离空间的框架下，给出了Benson真有效点的标量化定理，并研究了几乎次类凸集值映射向量优化问题的Benson真有效解。

To describe reasoning methods such as minimizing,multiple reasoning,multi-dimensional reasoning etc.,corresponding rules of inference in lattice-valued propositional logic L_ are introduced.

为描述取小、多重推理、多维推理等实际推理方法，在格值命题逻辑系统Lvp l中，引入了几类相应的推理规则。

To describe reasoningmethods such asminimizing, multiple reasoning, multi-dimensional reasoning etc., corresponding rules of inference in lattice-valued propositional logicLvplare introduced.

为描述取小、多重推理、多维推理等实际推理方法，在格值命题逻辑系统Lvpl中，引入了几类相应的推理规则。

fuzzy reasoning and fuzzy propositional logic are topics of general interest in many-valued logic.

模糊命题逻辑系统和模糊推理是多值逻辑研究的热点课题。

Furthermore, we discuss the truth degree of the propositional formula in two-valued propositional logic system.

并对命题公式的蕴涵问题进行等价描述；对二值命题逻辑系统的程度化研究中命题公式的真度问题进行讨论。

These completeness results further make a great improve on the lattice-valued propositional logic system LP .

这些研究结果进一步丰富和完善了格值命题逻辑系统LP。

Two-valued logic with elements "0","1" is well-known to everyone and it provides the implementations for studying propositional logic and logical networks.

包含"0"，"1"两个元素的布尔代数已为人们所熟知，它给命题演算和对逻辑网络的研究提供了很好的工具。

After the integrated semantic theory, Professor Wang Guojun proposed the theory of truth degree of formulas in two-valued propositional logic.

建立了积分语义学之后，王国俊教授在经典的二值命题逻辑中建立了命题的真度理论。

Eg1. In 1960 Volkswagen became a public limited company valued at DM 600m.

1960年德国"大众"成为资产价值高达6亿马克的股份有限公司。

In the chapter 2, the theoretic knowledge about the photosensitive resin and the grinding tools was firstly introduced.

第二章阐述了光固化树脂结合剂磨具的相关理论研究。

Do not use the program's indenting or margin-setting features; these will be added during typesetting.

不要使用缩排，页面边缘设置之类的选项，偶看不大懂。