语义事件,semantic event,音标,读音,翻译,英文例句,英语词典

您的位置：首页 -> 词典 -> 语义事件

1) semantic event 点击朗读

语义事件

2) event semantics 点击朗读

事件语义学

This paper focuses on the study of event semantics in terms of the formal approach,which has experienced its development from the earliest stage,advocated by Donald Davidson,thus known as the Davidsonian analysis,to the current period of Neo-Davidsonian analysis.

本文着重介绍和分析如何应用形式描写来开展事件语义学研究的方法。

These theories, to put it more precisely, cover both classic ones, such as the model theory, the rule to rule hypothesis, logic translation and type theory, and the latest achievements including the Cooper Storage within the framework of HPSG, non-Compositional theories, and the formal studies of event semantics.

具体地说,本文的理论依托不但包括模型理论、规则对规则假设、逻辑翻译理论和类型理论等形式语言学的经典思想,而且包括的HPSG框架中库柏储存理论、非组合性理论和事件语义学的形式研究方法等新的理论成果。

更多例句>>

3) semantic event routing 点击朗读

语义事件路由

To facilitate the content-based semantic event routing for semantic publish/subscribe over structured P2P networks,a rendezvous-based semantic event routing(RSER) algorithm was proposed,which maps subscriptions and events to rendezvous nodes in term of a combination of domain identifier,number of attributes and attribute name.

为解决结构化P2P网络上语义发布/订阅系统上基于内容的高性能语义事件路由问题,提出一种基于集结点的语义事件路由算法(rendezvous-based semantic event routing,RSER),该算法根据订阅和事件的域标识、属性个数以及属性名映射订阅和事件到集结点,在支持语义路由的同时,避免了分布式哈希表(distributed hash table,DHT)映射精确性与语义数据模型复杂性之间的矛盾;通过属性个数限制事件发布目的地,减少事件发布流量;采用P2P的内在路由机制和聚合优化措施分发事件,充分利用P2P网络容错性的同时,降低事件路由流量。

4) Semantic Event Detection 点击朗读

语义事件检测

5) transaction semantic 点击朗读

事务语义

6) generalized event 点击朗读

广义事件

例句>>

补充资料：操作语义

操作语义
operational semantics

式求值的抽象机器的模型，这个机器的存储区分成三部分:栈区st(用作工作区)，环境区:(保存数据向量等)，控制区。(保存程序)。整个存储区记作(、t，:，。)，称为抽象机器的一个大状态。这个抽象机器具有识别符号、完成算术和逻辑运算、转储信息、实现大状态之间的转移等基本功能。这个机器的大状态转移规则分为四类: (l)(st，s，(el叩eZ)/c)”(st，s，。;/。2/甲/。) (2)(st，:，碑/‘)冷(n/:t，:，。) (3)(st，s，x、/e)”(x、/sr，s，e) (4)(n/m/st，s，叩/e)=>(k/st，s，c)(k=m opn) 第一类规则表示，当控制区中待执行的程序要求完成表达式(。1叩eZ)的求值时，抽象机就转移自己的大状态，准备先求子表达式。l和e2的值，然后再按照相应的运算叩(+，一，X或其它算子)，求出整个表达式的值，符号“/”用于分割存放的信息。第二类规则表示，当求值的表达式是一个常量时，则其值就是抽象机中表示这个常量的相应的量(粗体用来区别语言中的符号和在抽象机中的相应表示)，表达式的值暂存于栈区。第三类规则表示，当表达式是一个变量时，其值就是环境区中相应单元的当前值，即第i个变量x‘的值就是数据向量s的第i个分量:、的值。第四类规则表示，当运算叩的两个操作数已经求得，则可按照抽象机中的相应运算求出op作用于操作数的结果。在这个抽象机中，表达式(x:X xZ)+l(在xl，xZ值为2和3时)的求值是由下述大状态的转移序列完成的，转移符号冷的上方标有实现这一转移依 0、，产、，声据的转移规则号，设:=(2，3，s((x;XxZ)+i)/。(s(1)冷(:t，、(x;XxZ)/1/+/。)岑(、‘，:，(二，/二2)又1/+/。)里(2/st，、，二2/又1/+/。)缪(3/2/st，:，x/1/、/。)军(6/、‘，、，l/+/。)里(l/6/::，:，+，/。) (4) 冷(7/:t，s，e) 这个抽象机正确刻画出算术表达式求值的全过程，故可作为算术表达式的操作语义。为定义赋值语句(x‘:二e)的操作语义，可在上述抽象机中添加如下转移规则: (5)(st，s，(x、:=e);/c)今(:t，s，e/x*:=/。) (6)(n/:t，:，吞:=/。)=>(st，:}in，。) 第五类规则表示，当抽象机执行(x‘:=。)时，先求出表达式仑的值，然后再给x*赋值。

说明：补充资料仅用于学习参考，请勿用于其它任何用途。

参考词条

广义事件窗有意义事件自定义事件义和团事件 SASE事件语言

话语事件语言事件言语事件事件语言构件语义语义条件

说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
	您的位置：首页 -> 词典 -> 语义事件 1) semantic event 语义事件例句>> 2) event semantics 事件语义学 1. This paper focuses on the study of event semantics in terms of the formal approach,which has experienced its development from the earliest stage,advocated by Donald Davidson,thus known as the Davidsonian analysis,to the current period of Neo-Davidsonian analysis. 本文着重介绍和分析如何应用形式描写来开展事件语义学研究的方法。 2. These theories, to put it more precisely, cover both classic ones, such as the model theory, the rule to rule hypothesis, logic translation and type theory, and the latest achievements including the Cooper Storage within the framework of HPSG, non-Compositional theories, and the formal studies of event semantics. 具体地说,本文的理论依托不但包括模型理论、规则对规则假设、逻辑翻译理论和类型理论等形式语言学的经典思想,而且包括的HPSG框架中库柏储存理论、非组合性理论和事件语义学的形式研究方法等新的理论成果。更多例句>> 3) semantic event routing 语义事件路由 1. To facilitate the content-based semantic event routing for semantic publish/subscribe over structured P2P networks,a rendezvous-based semantic event routing(RSER) algorithm was proposed,which maps subscriptions and events to rendezvous nodes in term of a combination of domain identifier,number of attributes and attribute name. 为解决结构化P2P网络上语义发布/订阅系统上基于内容的高性能语义事件路由问题,提出一种基于集结点的语义事件路由算法(rendezvous-based semantic event routing,RSER),该算法根据订阅和事件的域标识、属性个数以及属性名映射订阅和事件到集结点,在支持语义路由的同时,避免了分布式哈希表(distributed hash table,DHT)映射精确性与语义数据模型复杂性之间的矛盾;通过属性个数限制事件发布目的地,减少事件发布流量;采用P2P的内在路由机制和聚合优化措施分发事件,充分利用P2P网络容错性的同时,降低事件路由流量。 4) Semantic Event Detection 语义事件检测 5) transaction semantic 事务语义 6) generalized event 广义事件例句>> 补充资料：操作语义操作语义 operational semantics 式求值的抽象机器的模型，这个机器的存储区分成三部分:栈区st(用作工作区)，环境区:(保存数据向量等)，控制区。(保存程序)。整个存储区记作(、t，:，。)，称为抽象机器的一个大状态。这个抽象机器具有识别符号、完成算术和逻辑运算、转储信息、实现大状态之间的转移等基本功能。这个机器的大状态转移规则分为四类: (l)(st，s，(el叩eZ)/c)”(st，s，。;/。2/甲/。) (2)(st，:，碑/‘)冷(n/:t，:，。) (3)(st，s，x、/e)”(x、/sr，s，e) (4)(n/m/st，s，叩/e)=>(k/st，s，c)(k=m opn) 第一类规则表示，当控制区中待执行的程序要求完成表达式(。1叩eZ)的求值时，抽象机就转移自己的大状态，准备先求子表达式。l和e2的值，然后再按照相应的运算叩(+，一，X或其它算子)，求出整个表达式的值，符号“/”用于分割存放的信息。第二类规则表示，当求值的表达式是一个常量时，则其值就是抽象机中表示这个常量的相应的量(粗体用来区别语言中的符号和在抽象机中的相应表示)，表达式的值暂存于栈区。第三类规则表示，当表达式是一个变量时，其值就是环境区中相应单元的当前值，即第i个变量x‘的值就是数据向量s的第i个分量:、的值。第四类规则表示，当运算叩的两个操作数已经求得，则可按照抽象机中的相应运算求出op作用于操作数的结果。在这个抽象机中，表达式(x:X xZ)+l(在xl，xZ值为2和3时)的求值是由下述大状态的转移序列完成的，转移符号冷的上方标有实现这一转移依 0、，产、，声据的转移规则号，设:=(2，3，s((x;XxZ)+i)/。(s(1)冷(:t，、(x;XxZ)/1/+/。)岑(、‘，:，(二，/二2)又1/+/。)里(2/st，、，二2/又1/+/。)缪(3/2/st，:，x/1/、/。)军(6/、‘，、，l/+/。)里(l/6/::，:，+，/。) (4) 冷(7/:t，s，e) 这个抽象机正确刻画出算术表达式求值的全过程，故可作为算术表达式的操作语义。为定义赋值语句(x‘:二e)的操作语义，可在上述抽象机中添加如下转移规则: (5)(st，s，(x、:=e);/c)今(:t，s，e/x:=/。) (6)(n/:t，:，吞:=/。)=>(st，:}in，。) 第五类规则表示，当抽象机执行(x‘:=。)时，先求出表达式仑的值，然后再给x赋值。说明：补充资料仅用于学习参考，请勿用于其它任何用途。参考词条广义事件窗有意义事件自定义事件义和团事件 SASE事件语言

©2011 dictall.com