semantics-based的例句大全

Fault tolerance and semantics of component based software

基于组件软件的容错及语义

Formal Analysis for Network Security Protocols Based on Trace Semantics

基于迹语义的网络安全协议形式化分析

A Distributed Query Optimization Based on Semantics and Logic

基于语义和逻辑的分布查询优化

Multi-paradigm Based Instruction Assistant System for Formal Semantics Course

基于多语言范例的形式语义学教学辅助系统

Quotient Operators of Fuzzy Relational Database Based on the Semantics

一种基于语义的模糊关系数据库除操作

It borrows the belief-based semantics from Smith-Winslett model and the data-borrow idea from MLR model.

该模型借鉴了Smith-Winslett模型 基于 置信的语义和MLR模型数据借用的思想.

Different dimension constraint modes are de tailed. Third, a generic mathematical model of size tolerance is deduced based on mathematical definition systematically which can interpret the semantics of size tolerance exactly and completely.

从公差的数学定义出发，系统地推导了广义的尺寸公差数学模型，准确完整地表示出了尺寸公差的语义。

In order to solve problems of reuse difficulty and low management efficiency of resource base system, a resource-base system model was proposed based on hierarchy semantics network.

为了解决资源库系统内容重用难及管理效率低的问题，采用分层语义网络结构提出了一种提高资源关联性及利用率的资源库系统模型。

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.

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

Pattern matching utilizes abstract syntax tree isomorphism algorithm; Pointer semantics determines the semantics of programs through semantic constraints to check out security vulnerabilities; Interprocedural analysis adopts summary-based context sensitive analysis.

模式匹配采用了抽象语法树同构判断算法；指针语义则是通过语义约束来确定程序唯一语义以达到检查安全漏洞的目的；跨过程分析采用基于总结的上下文敏感分析方法。

With the help of the establishment of the SCOM operation rules based on semantics, the transformation between ontology language and Horn statement, as well as the SCOM operation procedures based on Prolog, the operation of SCOM based on logical reasoning came to fruition.

通过制定基于语义的SCOM操作规则，本体语言同霍恩语句的转换，以及基于Prolog的SCOM操作流程，实现基于逻辑推理的SCOM操作。

There are two main ways to extract semantics from video: rules-based approach and statistical theory-based method.

现有的视频语义提取的方法主要有两种: 基于规则的方法和基于统计学理论的方法.

Generative Semantics was developed as a reaction to Chomsky's syntactic-based TG Grammar.

生成语义学的形成是对乔姆斯基以句法为基础的转换生成语法的反驳.

In the end of 20 th century, based on frame semantics , Charles Fillmore proposed FrameNet.

20世纪末菲尔摩在框架语义学的基础上提出了框架网络(FrameNet).

A component prototype modeling method based on semantics was suggested.

提出了一种基于语义的组件化样机建模方法.

A semantic based video retrieval system should be realized by analyzing and extracting video semantics automatically.

只有对视频中的语义信息进行自动理解和抽取,才能形成真正实用的基于语义的视频检索系统.

Research on Complicated Process Modeling Based on Synthesis Technology of Semantics Constraints Net

基于语义约束网合成技术的复杂流程建模研究

The exploration of amphibolous matching based on semantics and its application

基于语义的模糊匹配探索与应用

Methods of Extracting WWW Image Semantics Based on External Information

基于外部信息源的WWW图像语义提取研究

Based on Tarrsky's theory of truth , Davidson put forward his famous semantic theory —— truth conditional semantics.

戴维森以塔斯基的真理论为基础, 提出了自己著名的意义理论———成真条件语义学.