1) spatial semantics
空间语义
1.
The key definitions of spatio-temporal data modeling are summarized and the requirements of spatio-temporal database community,including temporal semantics,spatial semantics,spatio-tem- poral semantics and query capabilities are specified.
阐述了时空数据建模的主要定义,分析了时空数据库领域的建模需求,包括时态语义、空间语义、时空语义和查询能力。
2.
According to four types of intrinsic properties of spatial objects,spatial semantics rules were designed which can accurately represent spatial objects.
根据空间对象的四类内在属性,设计出了能够准确表达空间对象的空间语义规则。
2) semantic space
语义空间
1.
Research of color design method based on 3D semantic space.;
基于三维语义空间的色彩设计方法研究
2.
Text filtering based on support vector machine of semantic space;
基于语义空间的支持向量机的文本过滤
3.
Firstly,a semantic space is constructed using NMF-training algorithm.
应用NMF训练算法构造了一个语义空间,将查询图像和原型图像都投影到该空间以获得语义特征,在此空间中进行相似性的度量并将距离最近的图像返回给用户。
3) On the Semantics of Space
论空间语义
4) latent semantic space
潜在语义空间
1.
Firstly,this paper presents the underlying idea of LSA and introduces the mathematical means of the Latent Semantic Space which is built by LSA.
论文叙述了潜在语义分析的基本理论方法,概述了这种方法所建立的潜在语义空间的数学意义;然后通过一个简单示例说明LSA在中文信息处理中的分析方法,并通过分析结果中文本间、词汇间关联度的变化来说明LSA在中文信息处理中的重要意义。
5) geospatial semantic Web
地理空间语义网
6) SVSM
语义向量空间
1.
SVSM is introduced to filtrate cursorily web pages,and then contents of these pages are understood by virtue of some elaborate semantic characteristics,so the web pages which users are interested in can be extracted.
它将媒体空间中的信息用UCL语义格(Semantic Cases based on UCL,SCU)表示,通过语义向量空间模型(Semantic Vector Space Model,SVSM)对网页的语义矩阵进行分析计算,粗略筛选出用户感兴趣的网页;再借助精细语义逐句解读其内容,提取用户所关注的信息。
补充资料:操作语义
操作语义
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*赋值。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条