1) Semantic structurization
语义结构化
2) structured operational semantics
结构化操作语义
1.
Research on structured operational semantics of UML sequence diagram;
UML顺序图的结构化操作语义研究
2.
The methods of searching considers process as an abstract machine, based on the reasoning rules of Plotkin’s structured operational semantics, and the integral information conduction operational semantics model.
该搜索方法将进程看作一个抽象机状态机,以Plotkin的结构化操作语义等推导规则为基础,以及完整的信息传导操作语义的模型,分析了两个高低安全级进程抽象机状态变化及其状态动态变化序列,最后对可视窗口的分析,可以找到其中存在的时间隐通道。
3) structural operational semantics
结构化操作语义
1.
The syntax and structural operational semantics of SEOL are studied in this paper,and a method to analyze the seman.
为了提高软件演化活动的可视化和形式化支持程度,结合谓词逻辑和软件演化,提出了一种软件演化操作语言SEOL(Software Evolution Operational Language)描述软件演化,给出了SEOL的语法和结构化操作语义描述,并指出了软件演化操作语义等价分析方法。
4) video semantic structure analysis
视频语义结构化
5) semantic structure
语义结构
1.
Briefly discussing the corresponding relations between syntactic structure and semantic structure;
浅谈语法结构与语义结构的对应关系
2.
Collocation of words and semantic structure;
英语词级语义结构的搭配现象
3.
Problems On the Material compositions in semantic structure;
关于语义结构中材料成分的几个问题
6) semantic structures
语义结构
1.
Metaphorical mechanism of verbal semantic structures;
动词语义结构的隐喻机制
2.
Abstract: This paper makes an investigation of three-valence verbs in The Newer Version of the Book of History and offers a description of the models of syntactic structures and semantic structures of the sentences that use three-valence verbs as predicates.
对今文《尚书》的三价动词进行了考察研究,描写了三价动词谓语句的句法结构及语义结构模式,并尝试运用现代语言学的配价理论探讨该文献中三价动词的特点及其构句规律。
3.
There are some corresponding relations between verb and its double objects,used in Archaic Chinese,which are restricted mainly by these factors such as verb meaning , semantic structures, time order and pragmatic ,and which are sustained by the language materials in ZUOZHUAN,ZHANGUOCE and SHIJI.
其原因主要有动词自身的意义、深层的语义结构关系、时间顺序原则、词性或语用因素的制约等方面。
补充资料：语义
语义
semantics
yUyl语义(哭mantics)语言的各个成分的含义。在程序设计语言中，即程序的含义。程序设计语言的语义，一般在语言文本中用自然语言描述，说明用该语言编写的程序的意义，即在计算机上执行时将会做什么。常用的程序设计语言语义的形式描迩方法有:公理语义，代数语义，指称语义和操作语义(参见形式方法)。 语义分奋态语义和动态语义。静态语义指程序的编译含义，即编译程序对程序的理解，包括量的作用域法则、说明、类型匹配等。编译时无法理解、而要到运行时才能理解的含义称为动态语义。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条