based的例句大全

Syntax and operational semantics of recursive programs based on predicate logic

建立于谓词逻辑上的递归程序及其操作语义

Study of cartographic semantics model based on description logic

基于描述逻辑的地图语义模型初步研究

Based on semantic compatibility between epistemic modality and hedges, this paper has put forwards the working concept of epistemic-modality-type hedges.

基于认知情态和模糊调和语语义上的相容性，提出了认知情态类模糊调和语这一暂时性概念。

Although patterns may be combined, based on their intents and interactions of input and output parameters, semantic compatibility of the component patterns are not easily analyzed mechanically.

虽然模式可以根据目的及输入输出参数的交互组合在一起，但组件模式的语义兼容性并不容易进行机械性的分析。

Event order-based semantic specification of UML ( unified modeling language) sequence diagram

基于事件序的UML序列图语义规范

An Ontology-based Time Semantic Specification and Verification Approach for Web Service

一种基于Ontology的WEB服务时间约束定义及验证方法

Because the first order logic can characterize the computational semantics of a software component, it has become an important research direction in software engineering domain to use first order logic to represent a component and to use resolution based automatic theorem proving technology to retrieve it.

由于一阶逻辑能够描述软件构件的计算语义，因此用一阶逻辑表示构件及用基于归结原理的自动定理证明技术检索构件的研究在软件工程领域得到了足够的重视。

In this study, a new classification method of tolerances according to semantics and mathematical representation of basic geometric elements based on DOF is given.

给出了基于语义的几何公差分类方法及基于自由度变动的基本几何要素数学表示方法；

A semantic processor based on the semantic pattern matching method

一个基于语义模式匹配方法的语义处理器

With the advantages of formal semantic definition, visually graphical expression, firm mathematical foundation and description based on state, the Petri net is applied to model and optimize the workflow process more and more.

由于Petri网具有形式化的语义定义、直观的图形表达、严格的数学基础以及基于状态的描述等优点，被越来越广泛应用于工作流过程建模和流程优化。

Some properties of the joint-request are also discussed. Based on the defined action, a teamwork protocol with a formal semantic description is proposed and its application is demonstrated finally.

然后，基于联合请求动作，提出一种主体团队交互协议，并给出了协议的形式化语义，最后讨论了协议的实际应用。

Based on this model, the corresponding formal semantic description approaches to these five types of the information about customer needs were discussed.

探讨了不同类型的客户需求信息相应的形式化语义描述方法。

Semantic query optimization technology and application based on association rules

基于关联规则的语义查询优化技术及应用

Based on the semantic analysis of words, concepts and theories, This article discussed the process and methods of semantic structure analysis and the function and role in understanding the connotation of scientific theories and their change.

文章从对词、概念、理论的语义分析入手，讨论了语义结构分析的过程和方法，并阐述了语义分析对理解科学理论的意义及对科学理论发展的功能和作用。

Proposed an automatic SEs extraction method based on transformation and mapping: It firstly used link grammar and transformation for lower level semantic structure analysis of English, and through statistical word alignment to find the correspondence of the source language and the target language.

提出基于转换和映射的语义单元自动获取方法：利用链语法分析和转换实现英语的浅层语义结构分析，并且通过统计词语对齐找到双语的对应关系。

A Text Semantic Information Processing Method Based on Ontology and Latent Semantic Indexing

一种基于本体论和潜在语义索引的文本语义处理方法

A Study of Intelligent Semantic Information Processing System Based on Ontology

基于本体的智能化语义信息处理系统研究

Corpus-Based Study on Semantic Structure Patterns of Sentences in Contemporary Chinese

基于标注语料库的现代汉语句子语义结构研究

In this paper, based on the research on Incomplete Beta Function, we introduce three different methods for implementing self-adaptive image contrast enhancement.

基于对非完全Beta函数的研究，介绍了三种不同的自适应图像对比度增强方法。

Based on the analysis of memory leak, the method overloads the allocation function and overrides the free function to store the allocation spot and trace the dynamic memory allocation.

方法在分析内存泄漏的基础上，通过重新实现动态内存分配和释放函数，记录内存分配的确切位置并跟踪动态内存的使用情况。