查询词典 restricted predicate calculus

Once any such stock certificate is issued and during the period that the Plan holds the Restricted Shares, Officer shall be entitled to all rights associated with the ownership of shares of Common Stock not so held, except as follows: if additional shares of Common Stock become issuable to Officer with respect to Restricted Shares due to an event described in Section 6 below, any stock certificate representing such shares shall be issued in the name of the Plan and delivered to the Committee or its representative and those shares of Common Stock shall be treated as additional Restricted Shares and shall be subject to forfeiture to the same extent as the shares of Restricted Shares to which they relate; if cash dividends are paid on any shares of Common Stock subject to the terms of this Agreement, those dividends shall be reinvested in shares of Common Stock and any stock certificate representing such shares shall be issued in the name of the Plan and delivered to the Committee or its representative and those shares of Common Stock shall be treated as additional Restricted Shares and shall be subject to forfeiture to the same extent as any other Restricted Shares; and Officer shall have no rights inconsistent with the terms of this Agreement, such as the restrictions on transfer described in Section 4 below.

一旦任何此类股票证书已颁发，在计划持有受限股的期间，管理人员有权享有与持有相应普通股股份有关的一切权利，但以下情况除外：如果由于以下第6条中所述的事件，导致可向管理人员发行额外的普通股股份，则任何代表该等额外股份的股票证书应以计划的名义发行并交付给委员会或其代表，且该等普通股股份应被视作额外的受限股，并和与其相关的受限股遵守同样的没收规定；如果对服从于本协议之条款的任何普通股股份支付现金股息，该等股息应重新投资到普通股股份中，任何代表该等股份的股票证书应以计划的名义发行并交付给委员会或其代表；以及管理人员不得拥有任何与本协议之条款（比如下述第4条中所述的转让限制）不一致的权利。

But for those of us who move onto this more advanced stage, Lee's team said "this shift in strategy is analogous to shifting from proofs in the first-order predicate calculus to proofs in the first-order modal predicate calculus"- in other words, it's a pretty impressive display of logical prowess and further evidence of our ability to "make deductions about abstract matters remote from our mundane life".

但是我们中的那些进入更高等级的玩家，Lee的团队说，"这次策略的转换同从一阶谓词演算证据到一阶情态谓词演算证据非常类似"——换句话说，这是一次令人印象深刻的展示：逻辑的力量和我们具备对"远离日常生活的抽象事物进行演绎"的能力。

Using differential calculus knowledge to testify inequality, Calculus of higher mathematics is the core and calculus method of higher mathematics is typical of the whole mathematical method, the method is introduced for calculus ideas to solve the problem of finding an inequation, to make way for obtaining inequalities can be simple, the application of differential mid-value theorem and Taylor formula illustrate some of the inequality proof method.

运用微分学知识证明不等式；微积分是高等数学的核心，微积分思想方法是高等数学乃至整个数学的典型方法，微积分思想方法的引入为解决不等式证明的难题找到了突破，用来解不等式可使解题思路变得简单，文章应用微分中值定理及泰勒公式举例说明了部分不等式的证明方法。

The calcalus learns is a mathematic branch connected closely with scientific application.Infinitesimal is an important componant in the theoretical system and has an outstanding effect on the forming of the basis and conception of the theory. infinitesimal ; calculus ; the calculus learns ; differential calculus ; integral calculus

引 言微积分学是建立在实数、函数和极限理论基础上，研究函数微分、积分以及有关概念与应用的数学分支。17世纪精密科学的飞速发展，天文学、力学、光学、工业技术要求数学彻底革新，导致了无穷小概念的问世，促使费马增量理论开创微分学的先河，同时奠定了柯西的极限理论。

In SPVT (security protocol verifying tool), the specification language is the π-like calculus extended with three appendixes, the Dolev-Yao model is described with Horn logic rules, the π-like calculus model of security protocol is transformed into the logic program model by abstract rules, the security properties are verified based on the calculus of the logic program's fixpoint, and the counter-examples on security properties are constructed from the process of the fixpoint calculus and the process of the property verification.

在SPVT中，以扩展附加项的类演算作为安全协议描述语言，以扩展附加项的Horn逻辑规则描述协议攻击者的Dolev-Yao模型，通过一组抽象规则将安全协议的类(演算模型转换为逻辑程序模型，基于安全协议逻辑程序的不动点计算验证安全性质，从安全协议逻辑程序的不动点计算和安全性质的验证过程中构造不满足安全性质的安全协议反例。

Prolonged markedly the time of sleep in mice with the hypnotic effect induced by phenobarbital sodium, while SWNH (50 mg/kg), the natural calculus bovis (100 mg/kg), and the artificial calculus bovis (100 mg/kg) did not. SWNH (500, 1,000, 2,000 mg/kg), the natural calculus bovis (1,000 mg/kg), and the artificial calculus bovis (1,000 mg/kg) i.g.

生物牛黄中间体100mg/kg体重、150mg/kg体重腹腔注射给药，可使苯巴比妥钠引起的小鼠睡眠时间明显延长；生物牛黄中间体50mg/kg体重、天然牛黄100mg/kg体重和人工牛黄100mg/kg体重对睡眠时间的延长无明显影响。

During the study of incidence calculus theory, we firstly clarified original incidence calculus and the probabilistic reasoning mechanism on it. We then introduced the improvement of generalized incidence calculus theory proposed by Liu~[18], which establishes incidence calculus theory on Lukasiewiczs three valued logic.

本文首先阐述了原始的发生率计算理论及其上的概率推理机制，然后引入Liu对该理论的改进，以Lukasiewicz三值逻辑为基础，并提出了这个扩展的理论与证据理论之间的等价关系。

In addition, for a class of first-order predicate expression namely first-order predicate expression without free variable and with one quantifier, a necessary and sufficient condition for such first-order predicate expressions to be equivalent and a corresponding judging algorithm are come up with.

另外，对于一阶谓词公式的一个常见子类——无自由变元单量词的一阶谓词公式，提出了一个判定这种一阶谓词公式等价性的充分必要条件和判定算法。

Application predicate logic on data sublanguage as its mathematical foundation would make the study of data sublanguage become the research of predicate logic and the optimization of data sublanguage become the matters of simplification of predicate logic.

本文旨在研究将谓词逻辑及公理化理论应用于关系数据库中表示数据子语言，应用谓词逻辑作为它的数学基础，使得对这些语言的研究成为对谓词逻辑的研究，优化数据子语言的表示成为对谓词逻辑的化简问题。

After research we can find that: firstly, a great number of predicate-word phrases can act as the adnex of the verb-complement structure; secondly, almost all the verbal phrases and adjectival phrases can act as complement, and other phrases like adverbs, noun, quantifier phrases, some prepositional phrases and subject-predicate phrases, even compound sentence can act as complement too;thirdiy, there are six kinds of verb-complement structures in the novel;fourthly, the verb-complement structures can act as subject, predicate, object, attribute, adverbial modifier, complement in a sentence and other phrases component, even can be a sentence by itself; fifthly, the semantic connection between complement and other components in the sentence is very abundance and complex;sixthly, some special verb-complement structures in the Dream of the Red Chamber show the characteristic of transitional language.This thesis is divided into five parts:Part 1: Preface.

通过研究我们可以发现：首先，大多数的谓词性词语在《红楼梦》中都可以充当述补结构的述语；其次，几乎所有的动词性词语和形容词性词语都可以充当补语，少数副词和名词性词语也可以做补语，数量短语、介宾短语、主谓结构和复句也可以做补语；第三，述补结构的类型按中间的助词标记可以分为没有助词的，有&得/的&的，有&个&的，有&着&的，有&将&的和有&到&的六种；第四，述补结构可以充当主语、谓语、宾语、定语、状语、补语以及各种成分内部的组成成分，还可以单独成句，其语法功能非常丰富；第五，补语的语义指向是多方面的，语义内容非常复杂；第六，几种特殊的述补结构说明了《红楼梦》的述补结构带有过渡时期的特点。

Who? I never heard of him, Paul said, before asking teammate James Posey if he had heard of him.

赛后，科比说，他一直都是一名非常出色的射手，今天他打得很棒。

When I joined the company, I rotated around the different sections.

我加入这个公司时，轮换过几个不同的部门。