逻辑的例句大全

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数据库，建立了统一的知识库标准，基于关系模式表征了传统的规则、框架、语义网络、谓词逻辑等知识；

互联网摘选

Epistemic logic ( 3): on semantic tableau proof procedure

认识逻辑（3）：基于语义tableau的证明理论

互联网摘选

Research on Logic Consistency of Junk Code Transformation within Sub-function

子程序花指令模糊变换逻辑一致性研究

互联网摘选

Semantic Web-Oriented Specification of Logic Descriptive Primitives

面向语义Web的逻辑描述原语扩展

互联网摘选

To establish a model is the precondition to the logical and semantic analysis of epistemic expressions and the theory of possible world semantics provides an effective tool for this.

建立模型是对认知表达式进行逻辑语义分析的前提，可能世界语义学为此提供了有效工具。

互联网摘选

An approach to multi action commitments in KARO logical framework was made, and it was interpreted using Kripke style possible world semantics.

研究主体思维状态逻辑框架KARO中的多动作承诺机制，并对其进行语义解释。

互联网摘选

However, though the Possible World Semantics makes us understanding of modal expressions more intuitively, many problems emerge still.

然而，尽管可能世界语义学能让我们更直观地理解模态逻辑表达式，但是依然衍生出许多问题。

互联网摘选

Research and Verification on the Operational Semantics Model of DFL Programming Language

动态模糊逻辑程序设计语言的操作语义模型及验证

互联网摘选

The Declarative Semantics of Logic Programming Language G(?) del

逻辑程序设计语言G（？）del的说明性语义

互联网摘选

Semantic search will search technology into the third level, that is logical level.

语义搜索将搜索技术带入第三个层面, 即逻辑层面.

互联网摘选

However there is a logical way to shift the odds a bit more in your favor.

但是,我们还是能够找到合乎逻辑的方式,使得运气轻微对你有利.

互联网摘选

The main research are based on BDI model and VSK.

Agent系统的研究成果主要基于思维状态的BDI模型和VSK逻辑.

互联网摘选

Express layer corresponds with user interface layer, function logic layer is responsible for accessing data and sending the data to user interface, and data level corresponds with database.

表示层对应着用户界面层，业务逻辑层负责访问数据以及将数据分发到用户界面层，数据层对应着数据库。

互联网摘选

MCU stepper system based on conditions/ times inherits the standard circuit structure and the standard logic function of relay stepper system.

基于条件步进/时间步进原理的单片机步进器，继承了继电器步进器具有的转步电路的标准结构及其标准的逻辑函数表达式。

互联网摘选

Function Logic Design of Automatic Marine Generator Control System

船舶电站自动控制系统的功能逻辑设计

互联网摘选

Based on synthesizing our research achievements about AMTAS, the flow chart of function logic of AMTAS is put forward in this paper.

综合了已有的研究成果，绘制了机载多目标攻击武器系统的功能逻辑流程图。

互联网摘选

Note: This task assumes that the reference will be in the title, but you can be more thorough by expanding the logical condition into an OR statement and searching more of the feed.

注意：该任务假设标题中存在引用，但是您可以使用OR语句扩展逻辑条件，搜索更多的feed。

互联网摘选

Turn the conversation into an exercise where you're a detached party performing a function: Poking holes in the logic and plan of attack.

将对话转变为一场操练，你在其中扮演被孤立的一方，执行一项职能：戳穿（对方言语中的）逻辑漏洞及其攻击计划中的漏洞。

互联网摘选

To avoid this circumstance, this paper puts forward a method for normalizing Haar function and judging dangerous appearance in combination logic circuit by use of ha coefficient map under the condition of variable number < 6. This method has the characteristics of being simple and direct.

为避免这种现象，给出了Haar函数归一化的一种方法以及在变量数<6时用ha系数图判断组合逻辑电路险象的方法，该方法具有简单、直观的特点。

互联网摘选

The method, which describes software specification in XYZ/ E, can assure semantic consistency between specification and software. On the other hand, the output expectation of test cases can be automatically evaluated from the specification as a Prolog program.

该方法采用XYZ/E描述，首先确保规范与被测软件的语义一致，其次，利用XYZ/E规范的逻辑程序属性，实现了对测试用例中输出期望的Prolog自动推导求值。

互联网摘选