1、

A Temporal Logic Semantics for UML Activity Diagrams

UML活动图的时序逻辑语义

互联网摘选

2、

Epistemic logic ( 3): on semantic tableau proof procedure

认识逻辑(3):基于语义tableau的证明理论

互联网摘选

3、

Web database and knowledge base standard of mineral processing were built, and traditional rule, frame, semantic model and predicate logic knowledge were characterized by relational data pattern.

构造了选矿基础Web数据库,建立了统一的知识库标准,基于关系模式表征了传统的规则、框架、语义网络、谓词逻辑等知识;

互联网摘选

4、

Because there is no error handling logic, you must rely on database constraints to ensure semantic integrity of the data.

因为没有错误处理逻辑,必须依靠数据库的限制,以确保数据的语义完整性。

互联网摘选

5、

Fixpoint Semantics and Reasoning of Terminological Cycles in Description Logic ε LN

描述逻辑εLN循环术语集的不动点语义及推理

互联网摘选

6、

In the investigation, first, the description logic is used to express the syntax and semantic of domain ontology and to implement the formal translation of domain onto-logy.

首先采用描述逻辑表达领域本体的语法和语义,实现领域本体的形式化转换;

互联网摘选

7、

A Distributed Query Optimization Based on Semantics and Logic

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

互联网摘选

8、

Questions on Logic Semantics of Chinese Medical Terms

中医理论术语的逻辑语义问题

互联网摘选

9、

A Logic Semantics Analysis Algorithm for Railway Station Layouts

一种站场图逻辑语义解析算法

互联网摘选

10、

At first, he developed a modal logic semantics, and has achieved notable successes.

起初,他发展了模态逻辑语义学,并取得了引人注目的成就。

互联网摘选

11、

In this paper, A new retrieval mechanism of database is investigated based on quantified propositional calculus of Fuzzy Logic. It Can be used to process the more general fuzzy database retrieval.

本文从基于模糊逻辑的量化命题演算出发,探究一个新的数据库查询机制,用以处理更一般的量化命题意义的模糊数据库查询。

互联网摘选

12、

A database processor incorporating much of the logic of a database management system might control all communications with the data.

合并了大量数据库管理系统逻辑功能的数据库处理机可控制与数据库的所有通信;

互联网摘选

13、

And the model abstracts the logic of the data, which makes the view and the action independent of, for instance, the type of database used by the application.

而数据,这使得视图和独立的行动,例如,逻辑模型抽象,数据库类型的应用程序。

互联网摘选

14、

This paper brings about a new social insurance management information system ( SIMIS) based on the four-layer system structure, which makes it feasible that the physics of database is independent of the logic, and ensures the safety for the database using CORBA safe service.

通过开发社会保险管理系统的实践,提出了一个基于四层体系结构的社会保险管理系统,实现了数据库的物理和逻辑的独立,利用CORBA的安全服务,确保了数据库的安全性。

互联网摘选

15、

Then the logic configuration and physics configuration of database are designed in turn.

接着又依次设计了系统数据库逻辑结构和物理结构。

互联网摘选

16、

The semantic conception of truth was crucial for logic and philosophy of language.

“真”是逻辑和语言哲学中无法绕开的语义概念。

互联网摘选

17、

Semantic Analyses of Rough Truth for Axioms in Modal Logic

模态逻辑公理的粗糙真语义分析

互联网摘选

18、

Be creative with a logic mind, good at oral expression and writing government documents.

富有创新精神, 条理性和逻辑性强,口头表达能力和公文写作能力强.

互联网摘选

19、

In order to better train students to be rational thinking, logic and accuracy.

这样才能更好地锻炼学生思维的条理性 、 逻辑性和准确性.

互联网摘选

20、

The service logic receives the tag and writes it to a database, along with the URL and the user's identity.

服务逻辑接收标记、URL和用户身份并将其写到数据库。

互联网摘选

  • 今日热词
  • 热门搜索

简答网英语词典(dict.jiandongshicai.cn)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:(如需回复请填写联系方式)
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈