查询词典 valued

The relationships between sub- and super-derivatives and Penot diferentials are dicussed as well.4. In recent years, set-valued optimization make much progress. In Chapter 5, based on Clarke tangent cone, we establish epiderivative of a class of set-valued maps and its properties.

在第5章中，针对近几年发展起来的集值优化，基于Clarke切锥利用Epigraph建立了一类集值映射的Epi-导数并讨论它的一些性质，同时给出集值优化的充分的最优性条件。

We reduce the three valued logic model checking problem for modal transition system to the two valued model checking problem under Kripke structure.

提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法，经过转换后可用现有的模型检验技术进行模型检验。

Two kinds of Unitary transitions are proposed to transfer complex-valued matrix computation to real-valued matrix computation.

给出了两类酉变换矩阵，将复数域的矩阵运算转换到实数域。

A policy may be either valued or unvalued (2) A valued policy is a policy, which specifies the agreed value of the subject-matter insured.

保险单可以是定值保险单，也可以是不定值保险单。(2)定值保险单指载明保险标的的约定价值的保险单。

The sum which the assured can recover in respect of a loss on a policy by which he is insured, in the case of an unvalued policy by which he is insured, in the case of an unvalued policy to the full extent of the insurable value, or, in the case of a valued policy to the full extent of the valued fixed by the policy, is called the measure of indemnity.

1被保险人在其保险单项下能得到的损失赔偿叫做赔偿限额。对不定值保险单，赔偿限额是保险标的的全部保险价值；对定值保险单，赔偿限额是保险单中的约定保险价值。

Sum which the assured can recover in respect of a los s on a policy by The which he is insured, in the case of an unvalued policy by which h e is insured, in the case of an unvalued policy to the full extent of the insurable va lue, or, in the case of a valued policy to the full extent of the valued fixed by the policy, is called the measure of indemnity.

1被保险人在其保险单项下能得到的损失赔偿叫做赔偿限额。对不定值保险单，赔偿限额是保险标的的全部保险价值；对定值保险单，赔偿限额是保险单中的约定保险价值。

0 OBR field definitions OBR 字段定义 The daggered items in this segment are not created by the placer known to the filler, not the placer. They are created by the filler and valued as needed when the OBR segment is returned as part of a report. Hence on a new order sent to the filler, they are not valued.

段中加剑号的项不是由执行者认识的下医嘱人传送的，也不是下医嘱者传送的，而是由执行者传送，在 OBR 作为报告的一部分出现时，加剑号的项就是必要的，因此在给执行者传送新医嘱时，此项是空的。

With Doob decomposition of B-valued asymptotic martingale , studies the law of large numbers of B-valued asymptotic martingale , some results are obtained.

利用B值渐近鞅的Doob分解定理，研究了B值渐近鞅的大数定律，它们是鞅的有关结论的推广和改进。

In this paper, to simplify computation of the function-valued Pade approximants, an efficient Pfaffian formula for the determinants was extended from the matrix form to the function-valued form.

在每一子步中利用过渡矩阵得到摄动基，并对摄动基进行正交化处理来进行Pade逼近，得到的近似解作为下一子步的原始解。

The final experiments shows that TRI P+P algorithm can not only deal with the sequential circuits containing only 2-valued element but can also deal with the sequential circuit containing both 2-valued elements and tristate elements efficiently.

这样就减少了无效的故障模拟，从而提高了测试的效率，实验结果表明，TRI P+P算法既能处理通常的只含二值元件的时序电路，又能处理含有二值，三值元件的混合时序电路，并且具有较高的效率。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。