查询词典 valued

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算法既能处理通常的只含二值元件的时序电路，又能处理含有二值，三值元件的混合时序电路，并且具有较高的效率。

The results of a logistic multi-factor regression analysis by binomial classification, with psychological health as dependent variable (dichotomized variable : SCL-90 factors which has 1 item or above with scores equal or bigger than 2 are valued 1, thoses with an average score smaller than 2 are valued 0) and all factors of life events as independen variables, showed that the family-related bad incidents, bad incidents of work and study and bad incidents of sociality problems were modeled, in which three factors were dangerous factors.

研究结果：1、大部分社区医务人员、社区管理人员、社区居民认为社区需要有精神卫生服务，不同文化程度、不同性别、不同收入、不同年龄、不同婚姻状况的社区居民对社区精神卫生服务的需求是不相同的。2、根据SCL-90的筛查结果，发现有心理问题者353人，心理问题总检出率达30.2%。

The system can be widely used in belt weighing and batching process control,etc.

介绍了基于智能模糊控制的嵌入式配料系统的设计方法，对模糊PID控制过程和系统调零作了重点的讨论，同时给出了PID控制的程序流程图和系统定长调零子程序。

"I dunno," she answered,"but if you show me aroun', I'll recognize it from the lighthouse just outside the porthole."

"我不知道，"她回答说，"如果你能带我转转，我能认出来的，因为灯塔就在舷窗外。"