查询词典 modality logics

The temporal constraint network is a kind of directed acyclic graph,and could well represent temporal logics.

在人工智能研究领域发展起来的时序约束网络是一种能够清晰而直观地表示时序逻辑的有向无环图，适于解决计及警报信息时序特性的警报处理问题。

The theory of logics provides an effective tool for the development of Artificial Intelligence.

逻辑学的理论为人工智能的发展提供了有力的工具。

This is exactly what distinguishes the "nausea" of LI's works from the similar senses of YAN Lei's Chasing Light series, which correspond to a set of logics of vanity fair, and succeed the Aureola series.

而这一点是李姝睿作品中的"眩晕感"与颜磊《追光》系列类似感官最显著的区别。

Taking customer domain for example, an ontology-based customer metadata model is build and formalized in description logics. Then two kinds of modes for customer information sharing are studied. The two modes are to construct a global c ustomer m etadata m odel w ithin a n e nterprise a nd t o c onstruct a mapping mechanism between customer metadata models located on different enterprises respectively. In the first mode, an information source is regarded as a 3-tuples, including a metadata model, a concept relation set and a resource data set.

然后从两个层面来探讨客户信息的共享机制：一是在企业内部创建统一的客户元数据模型，将信息源抽象成一个包含元数据模型、概念关系集、资源数据集的三元组，对概念关系的构成及获取方法进行分析，随后建立数据请求的模型，并相应地提出基于概念关系和基于术语相似度的两种答复模式。

The algebraic and coalgebraic methods in computer science is investigated in general, including its basic ideas, the categorical properties of algebras and coalgebras, initial algebra and final coalgebra, bisimulation and behavior equivalence, coalgebraic specifications, and coalgebraic logics.

对代数方法与共代数方法的基本概念、代数与共代数范畴的性质、初始代数与终结共代数、双模拟与行为等价、共代数规范以及共代数逻辑进行了比较全面和深入的研究。

There exist two logics in biology teaching. One is the internal logic of this subject and the other is cognitional logic of students. Sometimes their consecution may be inconsistent.

摘 要 生物学教学中存在两个逻辑，一个是学科内在逻辑，另一个是学生认识逻辑，两个逻辑的顺序往往不尽一致。

There exist two logics in biology teaching. One is the internallogic of this subject and the other is cognitional logic ofstudents. Sometimes their consecution may be inconsistent.

摘 要 生物学教学中存在两个逻辑，一个是学科内在逻辑，另一个是学生认识逻辑，两个逻辑的顺序往往不尽一致。

This thesis is expounded by means of making comparison,relating theory with practice and combing logics with history.

论文运用了比较方法、历史的与逻辑的统一的方法、理论联系实际等研究方法。

Great art is usually created from a bright personality, which is the negative meaning given by art and though to the darksome historical logics, and which is the bright in the darkness.

伟大的艺术总是产生于光明的人格，这是艺术与思想给阴暗的历史逻辑的否定意义，是黑暗中的光明。

Layout , by appearance of its components, can easily deceive you into believing that in order to work with it you must first be armed with an extensive knowledge of programming logics.

布局，从组成部分的外观来看，可能很容易让你误认为要使用它的话，您必须首先具有逻辑编程的丰富知识，否则别无它法。

I hope that this success is just the first in a long series.

我希望这只是成功的开始。

Three dimensional stresses on the interface of tire and soil, tire deflection and soil sinkage are measured.

测试轮胎——沙土界面上的三向应力、轮胎变形和沙土沉陷；建立考虑剪切应力对沙土承载特性产生影响的车轮牵引性能预测模型；分析车轮作用下土壤的纵向稳定性。