Supported by current large database platform and communication mechanism, we construct a fairly-new distributed and generalized SDE model by GIS language of semantic object.
在通用大型数据库平台与通信机制支持下，用语义对象模式的GIS语言构建了一个全新的分布式广义sde模型。
Formulized is an operational semantic model of formal functional programming (FFP) language which in essence is an interpreter on the virtual LISP machine.
本文塑造了正式的函数式程序设计(FFP)语言的一种操作性语义模型，它实质上是LISP虚拟机上的一个解释程序。
The primary contents are summarized as follows:An overview of the key functions of the EXPRESS modelling language as well as a formal semantic description of the EXPRESS data model is introduced.
对EXPRESS建模语言的核心功能作了概述，并给出了EXPRESS数据模型的一个形式化语义描述。
The "Meaning Text" Model is the nucleus of the Moscow semantic school. It is a tool of encoding and decoding language.
《意思文本》模式是莫斯科语义学派的核心理论，是一种对语言的编码和解码的工具。
It is also the focus of this paper to integrate the UML and formal language, make up the shortfall of UML semantics, and give precise semantic of real-time behavior model.
把UML和形式化语言进行融合，通过形式化的方法来弥补UML语义上的不足，给出实时行为方面模型的精确语义，也是本文的研究重点。
This model retrieves information on semantic using natural language processing technique so as to overcome the shortcoming of traditional retrieval methods and enhance efficiency.
该模型利用自然语言处理技术，在语义层次上进行查询和检索，克服了传统检索方法的不足，提高了查全率与查准率。
It is necessary for explaining the concept of programming to design a small and suitable model programming language family with a clear syntactic and semantic definition.
设计具有清晰语法定义、简单合适的程序设计语言模型，对于解释程序设计语言是非常必要的。
This paper briefly describes the background of text filtering and puts forward the logic model for Chinese-English cross-language text filtering based on Latent Semantic Indexing.
文章简要地描述了文本过滤的背景，提出了基于潜在语义索引的中英文双语交叉过滤的逻辑模型。
The PROMELA language, whose commitment manners decide system executions, plays crucial role in model checking tool SPIN. This paper studies semantic engines of PROMELA.
模型检查工具SPIN的核心是PROMELA语言，对PROMELA语言执行方式的理解决定所描述系统模型的行为方式。
The proposed Word-Class Stochastic Model (WCSM) is the basis for syntax rule based semantic parsing and spoken language understanding which has better performance.
一是提出并实现了词类概率模型，它具有较高的性能和较低的时间复杂度，是基于句法规则的语义分析和语言理解的基础。
This paper gives a model of situation semantic frame - key technology in our system, which can deal with the difficulty of spoken language understanding system.
基于词汇语义框架及其和小句论元结构的关系，从语言系统可操作性的角度出发，提出可实施认知操作的小句概念框架。
The proficiency level of the target language have little effect on the association model of Japanese Kana and Chinese Hanzi, and the semantic mediation model is preferred;
目的语熟练程度对日文假名和中文汉字的联结模式不产生影响，都倾向于语义中介模式；
The proficiency level of the target language have little effect on the association model of Japanese Kana and Chinese Hanzi, and the semantic mediation model is preferred;
目的语熟练程度对日文假名和中文汉字的联结模式不产生影响，都倾向于语义中介模式；
应用推荐