说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 标号语义操作规则
1)  labeling operational rules
标号语义操作规则
2)  operating rule
操作规则
1.
The Monetary Policy Operating Rules of China in the Opening Economy;
我国开放条件下的货币政策操作规则
3)  operation rule
操作规则
1.
In view of this situation,proposed to establish operation rules template and users maintainability mechanism to solve the universalized question of the operation rules description,study and consequence.
针对现有调度操作票自动生成系统大多为离线的单一智能体系统,在智能化、安全性校核、流程化审核执行等方面需要提高的现状,提出建立操作规则模板及用户可维护机制解决操作规则描述、学习及推理的通用化问题,开发和实现了与SCADA系统共享实时数据,与管理信息系统集成的集自动开票、手工开票、模拟预演、流程化审核、执行与管理等多种实用功能于一体以及用户可维护的新型智能化电网调度操作票系统。
2.
In view of this situation, this article proposed to establish operation rules template and users maintainability mechanism to solve the universalized question of the operation rules description, study and consequence.
本文针对现有调度操作票自动生成系统大多为离线的单一智能体系统,在智能化、安全性校核、流程化审核执行等方面需要提高的现状,提出建立操作规则模板及用户可维护机制解决操作规则描述、学习及推理的通用化问题,开发和实现了与SCADA系统共享实时数据、与管理信息系统集成的集自动开票、手工开票、模拟预演、流程化审核、执行与管理等多种实用功能于一体以及用户可维护的新型智能化电网调度操作票系统。
4)  operation rules
操作规则
5)  operations of rule
规则操作
6)  semantic rule
语义规则
1.
Lots of semantic rules are obtained from the experiments, and are used to sense disambiguation.
经过实验,得到大量语义规则,并用其进行义项消歧实验,取得了较好的结果。
2.
And finding the correct data dependency is also based on the semantic rules contained in data.
数据依赖是数据间现实语义约束的一个反映,是属于语义范畴的,它的确定也是基于数据所蕴含的语义规则[2]。
补充资料:操作语义


操作语义
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*赋值。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条