动作语义,action semantic,音标,读音,翻译,英文例句,英语词典

您的位置：首页 -> 词典 -> 动作语义

1) action semantic 点击朗读

动作语义

This paper compares the difference of the two versions from macrostructure,and presents an approach to transform those useful models with Action Semantic Language(ASL) which consistent with the UML action semantics.

0两个版本的不同,并给出一种转换模型的方法,该方法是基于动作语义语言(Action Semantic Language,ASL)的。

更多例句>>

2) semantic routine 点击朗读

语义动作

Given an extended grammar with embedded semantic routines and an(input) string,the algorithm outputs the corresponding semantic parser.

在扩展巴克斯范式(EBNF)Earley分析的基础上,提出一个语义分析器的自动生成算法,给出了一个带有语义动作的扩展文法和一个输入,即可生成其语义分析器。

3) action semantic primitive 点击朗读

动作语义原语

The simulation entity and its attribute were classified to define an action semantic primitive.

在基于HLA(HighLevelArchitecture,高层体系结构)的仿真应用中,为了提高系统的可扩展性和可重用性,我们将仿真的底层通信和上层的模型控制框架、三维图形绘制分离开来,形成独立的模块,主要围绕三维图形绘制展开,首先分析了由于三维模块化带来的语义信息的丢失,然后针对这一问题,对实体及其属性进行分类,定义了一种动作语义原语来实现实体属性语义的映射,从而屏蔽了不同实体属性之间的差异,同时给出了一个基于语义原语的程序框架结构;最后,以具体的实现为例说明这种方法的可行性。

4) operational semantics 点击朗读

操作语义

A structural operational semantics of VHDL.; 点击朗读

一种VHDL的结构化操作语义

It is shown that our stochastic models can be used to provide a compositional causality-based semantics for IMCA,and a event-based operational semantics is supplied to prove its conincidence with various exiting interleaving proposals.

同时,给出了IMCA基于事件的操作语义,并且证明了它和现有交互式语义的一致性。

A formal operational semantics based on abstract machine is presented for the implementation of a subset of single-action signal oriented statements.

针对C/ATLAS单动作信号语句的一个子集,提出一种其实现过程的基于抽象机的形式化操作语义描述方法,并分别给出了各单动作测试语句的状态转换规则。

更多例句>>

5) semantic ergativity 点击朗读

语义作格

With the extension of the concept of ergativity, Halliday puts forward the concept of semantic ergativity and analyzes the clauses in terms of ergativity in addition to transitivity.

Halliday在对作格概念作了延伸之后,将语义作格的概念引入系统功能语法,他认为小句作格分析是及物分析的补充。

, semantic ergativity, as an extension to ergativity; then addresses its interpretative power in the analysis of some texts.

文章对作格概念加以延伸 ,提出语义作格的概念 ,并初步探讨了其对语篇分析的解释

6) make semantic meaning 点击朗读

制作语义

补充资料：操作语义

操作语义
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*赋值。

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

参考词条

语义驱动语义互操作语义的作用互操作语义

动态结构化操作语义语义启动动态语义语义互动语义运动动词语义

说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
	您的位置：首页 -> 词典 -> 动作语义 1) action semantic 动作语义 1. This paper compares the difference of the two versions from macrostructure,and presents an approach to transform those useful models with Action Semantic Language(ASL) which consistent with the UML action semantics. 0两个版本的不同,并给出一种转换模型的方法,该方法是基于动作语义语言(Action Semantic Language,ASL)的。更多例句>> 2) semantic routine 语义动作 1. Given an extended grammar with embedded semantic routines and an(input) string,the algorithm outputs the corresponding semantic parser. 在扩展巴克斯范式(EBNF)Earley分析的基础上,提出一个语义分析器的自动生成算法,给出了一个带有语义动作的扩展文法和一个输入,即可生成其语义分析器。 3) action semantic primitive 动作语义原语 1. The simulation entity and its attribute were classified to define an action semantic primitive. 在基于HLA(HighLevelArchitecture,高层体系结构)的仿真应用中,为了提高系统的可扩展性和可重用性,我们将仿真的底层通信和上层的模型控制框架、三维图形绘制分离开来,形成独立的模块,主要围绕三维图形绘制展开,首先分析了由于三维模块化带来的语义信息的丢失,然后针对这一问题,对实体及其属性进行分类,定义了一种动作语义原语来实现实体属性语义的映射,从而屏蔽了不同实体属性之间的差异,同时给出了一个基于语义原语的程序框架结构;最后,以具体的实现为例说明这种方法的可行性。 4) operational semantics 操作语义 1. A structural operational semantics of VHDL.; 一种VHDL的结构化操作语义 2. It is shown that our stochastic models can be used to provide a compositional causality-based semantics for IMCA,and a event-based operational semantics is supplied to prove its conincidence with various exiting interleaving proposals. 同时,给出了IMCA基于事件的操作语义,并且证明了它和现有交互式语义的一致性。 3. A formal operational semantics based on abstract machine is presented for the implementation of a subset of single-action signal oriented statements. 针对C/ATLAS单动作信号语句的一个子集,提出一种其实现过程的基于抽象机的形式化操作语义描述方法,并分别给出了各单动作测试语句的状态转换规则。更多例句>> 5) semantic ergativity 语义作格 1. With the extension of the concept of ergativity, Halliday puts forward the concept of semantic ergativity and analyzes the clauses in terms of ergativity in addition to transitivity. Halliday在对作格概念作了延伸之后,将语义作格的概念引入系统功能语法,他认为小句作格分析是及物分析的补充。 2. , semantic ergativity, as an extension to ergativity; then addresses its interpretative power in the analysis of some texts. 文章对作格概念加以延伸 ,提出语义作格的概念 ,并初步探讨了其对语篇分析的解释 6) make semantic meaning 制作语义补充资料：操作语义操作语义 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赋值。说明：补充资料仅用于学习参考，请勿用于其它任何用途。参考词条语义驱动语义互操作语义的作用互操作语义

©2011 dictall.com