1) Static Sematic Analysis
静态语义分析
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-函数的映射函数形式。
4) static analysis
静态分析
1.
Three-dimension static analysis of the floating hose-string system on sea;
海上浮动软管的三维静态分析
2.
Simply discussing on the static analysis about economic benefits of the scientific research project;
浅议科研项目经济效益的静态分析
3.
The static analysis of moving coil linear permanent magnet Oscillatory motor;
动圈式永磁直线振动电机的静态分析
5) semantic analysis
语义分析
1.
A syntactic and semantic analysis of the structures ”have a V-inf” and ”take a V-inf”;
“have a V-inf”及“take a V-inf”结构的句法与语义分析
2.
Search spider of vertical search engine based on semantic analysis;
基于语义分析的垂直搜索网络蜘蛛
3.
Design and implementation of semantic analysis interactive knowledge system;
语义分析互动知识系统的设计与实现
补充资料：语义分析
语义分析
semantic analysis
yuy一fenxi语义分析(~tic analysis)语言分析的一个分支，目的是根据上下文辨识一个多义词在指定句子中的确切意义，以及根据一个句子的句法结构和其中各词项的词义推导出这个句子的句义表达式。在自然语言理解和机器翻译中，用来表达句义的方式很多，常见的有:一阶谓词逻辑，语义网络，格框架(参见格语法)等等。语义分析的方法也会因采用的语义学理论和句义表达方式的不同而不同。例如，句子: 他给我三本书。用一阶谓词逻辑来表示其句义时，可以定义一个三元谓词“给”: 给(x，夕，z)论元x代表“给”的动作发出者，y表示受益者，z表示给出的东西，那么这个例句的逻辑表达式为: 给(他，我，书(3))其中，“书”本身是一个一元函数，其论元3表示数量。 上述例句句义的格框架表示如下: (给: 施事(他)，受益者(我)，受事(书))， (书:数量(3))这个句子句义的语义网络表示，其实就是上述格框架的图形表示(见图1)。 他我\施事/ \/受益者 给受钱。量 j含..........卜图1句子的语义网络表示
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条