2) semantic data model
语义数据模型
3) semantic metadata model
语义元数据模型
4) mathematical semantic model
数学语义模型
5) algebraic semantics
代数语义
1.
In this paper, the algebraic semantics of Verilog is explored, which is a collection of laws associated with Verilog constructs.
给出了Verilog的代数语义。
2.
In this paper we acquaint the reader first with the algebraic semantics which is corre-sponding to the Kripke’s semantic having nested domaius.
本文首先讨论嵌套论域语义的相应代数语义并由Ｈｕｇｈｅｓ和Ｃｒｅｓｓｗｅｌｌ在［５］中建立的关于具有嵌套论域的正规量词模态系统的关系语义完全性定理推出其相应的代数语义完全性定理：然后对于具有任意可变论域语义的正规系统，我们用Ｈｅｎｋｉｎ方法给出其关于狭义Ｋｒｉｐｋｅ语义的关系语义完全性定理，由此通过将关系语义转化为代数语义从而亦推得其代数语义完全性定理。
6) semantic model
语义模型
1.
Enterprise information query for semantic model network;
面向语义模型网络的企业信息检索方法研究
2.
Symbol semantic model supporting axiomatic design;
支持公理设计的产品符号语义模型
3.
Semantic Search of Enterprise Data Based on Semantic Model;
基于语义模型的企业数据检索
补充资料：代数
代数
I
代数I川geb.;呱e6pa] l)数学的一个分支(见代数学(al罗bra》.这个词可以用来构成合成词，例如同调代数(h omologicalal罗-bra)、交换代数(commutative al罗bra)、线性代数(linear al罗bra)、多，线性代数(multilinear al邵-bra)和拓扑代数(toPOlogical al罗bra). 2)算子环(o钾rator ring)的特殊情况:域上的、体上的或交换环上的代数(有时为线性代数或向量代数).结合代数(从前称为“超复系”(hypercom口ex sys-tems)和非结合代数都是这种意义下的代数. 3)泛代数(universal al罗bra)的同义词.包括诸如公双e代数(Boolean al罗bra)、一元代数(unary al罗-bra)等这样一些代数.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条