查询词典 integer valued function

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值渐近鞅的大数定律，它们是鞅的有关结论的推广和改进。

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%。

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.

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

Many will continue to choose to live in duality and in conflict.

许多人将继续选择活在二元对立性和冲突中。

I find that students of the University of Physical Education all wear sportswear at first sight.

我发现：体育大学的学生乍一看，都是穿运动衣，大家都一样