1) Static and Dynamic semantic
动态语义和静态语义
2) static semantics
静态语义
1.
A formal method to define the static semantics of SDL (specification and description language) using basic ASM(abstract state machine) is presented.
提出直接用基本AbstractStateMachine定义SpecificationandDescriptionLanguage静态语义的形式方法,其主要特点是:语法域中的元素统一解释为语法值;转换规则定义为ASM规则;映射规则定义为一系列称为t-函数的映射函数形式。
3) dynamic semantics
动态语义
1.
According to the characteristics of workflow process execution,a kind of reactive activity-centered process meta-model is defined and a kind of graphical notation is provided for it,at the same time,for this meta-model,a kind of dynamic semantics is specified,which represents the runtime behavior of the process and can be expressed as a finite state automata.
根据过程执行的特点,定义了一种以活动为中心的反应式过程元模型,并为其提供了一种图形表示,同时为此元模型指定了一种体现过程运行时行为的动态语义,该语义可表示为一个有限状态自动机。
2.
In order to deal with the problem that current digital rights expression models have less ability to describe dynamic semantics, a new model, DDRM(Dynamic Digical Rights Model), which can describe action state was presented.
针对已有数字权限描述模型的动态语义描述能力较弱问题,提出了一个能够描述权限动 作状态的数字产品权限描述模型DDRM。
4) dynamic semantic
动态语义
1.
In this thesis,we mainly try to describe and analyse the semantic development of "hao (好) ", the static and dynamic semantics of "hao" deliberately.
本论文主要对“好”的语义演变、“好”的静态语义及动态语义作细致的描写和分析。
6) static fuzzy meaning
静态模糊语义
1.
Context is treated as co-text and context of situation, while fuzzy meaning is studied in relatively dynamic fuzzy meaning and static fuzzy meaning.
文章将语境分为上下文语境和情景语境 ;模糊语义分为相对的动态模糊语义和静态模糊语义。
补充资料：语义代码
一种后组式情报检索语言。它通过概念语义因子的组合表示文献主题的复杂概念；其词汇单元间的参照关系，不用词族表或词族图表示，而通过自身结构来表示。有两种语义代码：佩里-肯特语义代码和RX语义代码。
佩里-肯特语义代码 是美国 J.W.佩里和A.肯特在1954～1959年为电子计算机情报检索研制的情报检索语言。这种语义代码的建立方法如下：①确定基本概念语义因子。语义因子的逻辑组合，可以构成各种概念。如概念"感应电炉"可以用语义因子"设备"、"加热"和"电"的组合表示。②确定概念的分析关系，用以表示概念和语义因子间的逻辑关系。如概念"感应电炉"与其语义因子间存在下列分析关系："属-种"关系;"感应电炉-设备"；"对象-用途"关系:"感应电炉-加热"；"对象-手段"关系："感应电炉-电"。③给出概念的综合关系(语义代码的语法)。综合关系──词间的逻辑关系用职号表示，职号用K字母开始的3个字母表示，如KAM表示对材料施加的动作，KEJ表?颈患庸さ牟牧?,KQJ表示动作的手段,其含义是语义代码的词赋给的。
语义代码是一种严密的逻辑语言体系，每个词汇单元的语义结构都用明确的形式表示。语义代码的词称为叙词,由语义因子或其组合表示。语义因子由4个英文字母表示,第1和第3、4个字母用来表示概念的类称。为便于记忆，采用与英文词概念对应的辅音字母表示语义因子的含义。 例如，L-CT (Electricity) ──电；M-CH(Machine)──设备，机器，仪器；P-HT(Heating)──加热；M-TL(Metal)──金属；P-SS(Process)──过程，操作，动作。第二个字母表示中缀，用不同字母表示各种分析关系。例如A表示"种－属"关系;E表示"材料－事物"关系；U表示"事物－用途"关系;Q表示"工具－对象"关系；W表示"过程－对象"关系；Z表示"外部相似"关系等。把中缀字母填入语义因子中的空位，可以限定其含义。例如，MATL表示"一种金属"，METL表示"金属的",PUHT表示"用于加热",PQHT表示"用加热法"。语义因子的组合可以构成复杂概念。例如,"感应电炉"的含义为"用电加热的设备"，其语义代码为LQCT.MACH.PUHT.005。"005" 为数字后缀，表示"感应电炉"与其他电加热设备的区别。
RX代码语言 用带数字的拉丁字母X表示术语、R表示术语间关系的一种情报检索语言。它是苏联乌克兰科学院控制论研究所Э.Ф.斯科罗季科领导的小组在1960～1964年为电工和计算技术专业研制的情报检索语言。在这种语言中,每一对RmXin表示某一主题或概念的特征。这里，m表示接联词指数，n表示术语类别指数,而i表示术语派生程度指数。把词对连接成词串可以表示复杂的主题或概念。例如 ,复杂句"活塞运动引起曲轴转动"可用RX代码语言表示如下：
XaR050 Xb. XaR123 Xd. XaR321 Xc.XbR253 Xc.XbR120 Xd. XcR050 Xd，这里，Xa表示"活塞"，Xb表示"直线往复运动",Xc表示"曲轴",R050表示"客体"，R120表示"原因"，R123表示"工具"，R253表示"对象"，R321表示"作用于"。
佩里-肯特语义代码 是美国 J.W.佩里和A.肯特在1954～1959年为电子计算机情报检索研制的情报检索语言。这种语义代码的建立方法如下：①确定基本概念语义因子。语义因子的逻辑组合，可以构成各种概念。如概念"感应电炉"可以用语义因子"设备"、"加热"和"电"的组合表示。②确定概念的分析关系，用以表示概念和语义因子间的逻辑关系。如概念"感应电炉"与其语义因子间存在下列分析关系："属-种"关系;"感应电炉-设备"；"对象-用途"关系:"感应电炉-加热"；"对象-手段"关系："感应电炉-电"。③给出概念的综合关系(语义代码的语法)。综合关系──词间的逻辑关系用职号表示，职号用K字母开始的3个字母表示，如KAM表示对材料施加的动作，KEJ表?颈患庸さ牟牧?,KQJ表示动作的手段,其含义是语义代码的词赋给的。
语义代码是一种严密的逻辑语言体系，每个词汇单元的语义结构都用明确的形式表示。语义代码的词称为叙词,由语义因子或其组合表示。语义因子由4个英文字母表示,第1和第3、4个字母用来表示概念的类称。为便于记忆，采用与英文词概念对应的辅音字母表示语义因子的含义。 例如，L-CT (Electricity) ──电；M-CH(Machine)──设备，机器，仪器；P-HT(Heating)──加热；M-TL(Metal)──金属；P-SS(Process)──过程，操作，动作。第二个字母表示中缀，用不同字母表示各种分析关系。例如A表示"种－属"关系;E表示"材料－事物"关系；U表示"事物－用途"关系;Q表示"工具－对象"关系；W表示"过程－对象"关系；Z表示"外部相似"关系等。把中缀字母填入语义因子中的空位，可以限定其含义。例如，MATL表示"一种金属"，METL表示"金属的",PUHT表示"用于加热",PQHT表示"用加热法"。语义因子的组合可以构成复杂概念。例如,"感应电炉"的含义为"用电加热的设备"，其语义代码为LQCT.MACH.PUHT.005。"005" 为数字后缀，表示"感应电炉"与其他电加热设备的区别。
RX代码语言 用带数字的拉丁字母X表示术语、R表示术语间关系的一种情报检索语言。它是苏联乌克兰科学院控制论研究所Э.Ф.斯科罗季科领导的小组在1960～1964年为电工和计算技术专业研制的情报检索语言。在这种语言中,每一对RmXin表示某一主题或概念的特征。这里，m表示接联词指数，n表示术语类别指数,而i表示术语派生程度指数。把词对连接成词串可以表示复杂的主题或概念。例如 ,复杂句"活塞运动引起曲轴转动"可用RX代码语言表示如下：
XaR050 Xb. XaR123 Xd. XaR321 Xc.XbR253 Xc.XbR120 Xd. XcR050 Xd，这里，Xa表示"活塞"，Xb表示"直线往复运动",Xc表示"曲轴",R050表示"客体"，R120表示"原因"，R123表示"工具"，R253表示"对象"，R321表示"作用于"。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条