引入的

theorem proving

定理证明

所采用的主要是定理证明(theorem proving)技术. 80年代初,最大的进展是Pnueli将时态逻辑引入到反应式程序的验证中. 1981年,Clarke等提出了模型检验(Model Checking)方法,实现了对于并发系统的自动验证问题. 然而,

pull up

拉升

在这种肖特基T2L电路中,加入驱动晶体管Q5以提高Q4的开关速度,因此也即加快了输出电压V0向电池势拉升(Pull up)的速度. 这个器件还引入了附加的二极管电压降,因此就不需要标准的T2L电路(图11.13(a))中的二极管D1.

purport

意义

从联系的意义上,文本整体获得一种所谓主旨性意义(purport);而从循环关系上,这种主旨又反过来使语句甚至语词获得了一些字面之外的含义. 如果再引入作者和阅读者的表达和接受语境等外部环节,语义的取值范围就更加难以确定,

radon

拉东

而且引入了可数可加集合函数的概念(定义于勒贝格可测集类上),指出这些函数是定义在集合类上的有界变差函数.正是因为对于有界变差与可加性概念之间联系的考察,使得J.拉东(Radon)作出了更广的积分定义,

Ramsey Model

拉姆齐模型

RBC基本模型在拉姆齐模型(Ramsey Model)的一般均衡基础之上引入真实冲击,并考虑消费与闲暇之间的替代. 为简便起见,假设行为人的效用函数和面临的生产函数分别为: 其中:Et表示在第t期的信息集合下求条件期望;?茁表示贴现率;?啄表示折旧率.

rationale

基本原理

架构描述提供其基本原理(Rationale). 当使用 服务(Service) 作为系统组件来定义和搭建架构的时候,就是面向服务的体系结构(SOA)了. 20世纪80年代中期,还在IBM工作的John Zachman首先引入"信息系统架构框架"的概念.

readership

读者数

为对付发行量下降,报纸业还引入了"总读者数"(readership)这个期刊业的术语. 这本身是无可厚非的,毕竟,广告客户想知道的是谁会买他们的产品,因此,重要的是读者会不会看这份报纸,而不是读者是否出钱买了这份报纸. 使用这个术语,

redo

恢复

此外,VIM 还引入了选择(Select)模式,跟可视模式类似. 结合一些键的定义和选项设置,可以实现跟 notepad 相同的复制和粘贴的使用习惯. 限于篇幅和水平,在此不提. u 撤销(Undo)上次所做的修改 恢复(Redo)上次撤销的内容

regularity

规则

该文对IF-THEN正则规则(regularity)引入了"正则规则集---符号概率推导链"的概念,证明了环正则规则长入与后缩的构造性定理,给出了环正则规则生枝、剪芽、长入与后缩的操作规则,完成了纵向环正则规则长入与后缩的MMDR(aMachineMethodforDiscoveringRegularities)算法.

relativize

相对化

因为要通过多样的方式识别资源,所以需要标准的识别Internet资源的途径. 为了满足这种需要,引入了URI、URL和URN. URI类支持基本的操作,包括标准化(normalize)、分解(resolution)和相对化(relativize). 下例演示了normalize()方法.

I'm not duking it out for any girl like that. I'm telling you right now：我并不是要吓唬其他任何女生 我现在就告诉你

it was terrible, it was terrible!... | I'm not duking it out for any girl like that. I'm telling you right now.|我并不是要吓唬其他任何女生 我现在就告诉你 | I'm not duking it out for any girl, but l...|...

remortgage：转抵押,再抵押

remitting bank托收银行,汇款银行 | remortgage转抵押,再抵押 | remote terminal远程终端机