查询词典 statement logic

And a new mechanism is provided to store the data of OWL in relational database, the hierarchy structures of classes and properties defined in the OWL are also kept through views of the database system. 2、 Proposed a new method of using Finite State Machine and execution tag tree to describe the excution logic of existing grid service and the goal service specified by users, using Deterministic Propositional Dynamic Logic and FSM to determine the composable of goal service and make the composition plan. The computation complex is also discussed 3、 Designed some algorithms to compose existing grid services according to user requirement.

同时提出了一种新的机制，使用关系型数据库来存储OWL定义的实体，使用视图表示OWL中定义的类之间和属性之间的层次关系； 2、提出了使用有限状态自动机和执行标记树，表示网格系统中存在的网格服务和代表用户需求的目标服务的执行概要和逻辑，结合确定性动态命题逻辑，研究了目标服务的可组合性和自动组合模型，并讨论了组合模型的计算复杂度； 3、设计了一种根据用户需求来组合已存在的网格服务的算法。

The data location includes memory data memorizer and memory map register, which share uniform data and address buses, at the same time occupy independent physical spaces, respectively, both physical and logic addresses separated and independently addressed, respectively, and can multiplex the same logic address.

内存数据存储器和内存映射寄存器共享统一的数据总线和数据地址总线。同时，内存数据存储器和内存映射寄存器各自占有独立的物理空间，物理地址和逻辑地址均分开，各自独立编址，内存数据存储器和内存映射寄存器对同一逻辑地址可以复用。

4The logic in daily lives of students in point school inclines to mathematical logic more than the students in common school.

重点学校的学生比普通学校的学生日常推理更加倾向于使用数学推理。

But that is not true, the logic of the operation of the school support the logic of the operation of the Dan-wei. At the same time, the former also erode the latter's territory.

事实并不完全如此，作为单位的学校之运作逻辑支撑了作为学校的单位之运作逻辑的同时，前者也侵占了后者的&领地&。

According to trip-demand time and space distribution characteristics of urban citizens, the peak-hour trip factor and saturation of road network were chosen as the evaluation indexes, meanwhile the index calculation formulas were given; then on the basis of fuzzy logic theory and index characteristics, the membership functions were established by using fuzzy logic toolbox of MATLAB, and the evaluation results of two indexes were analyzed; Finally, the evaluation process was illustrated by a case study of Yangzhou and the results indicated the validity and practicability of the method presented in this paper.

根据城市居民出行需求的时间分布特性和空间分布特性，选用高峰小时出行系数和高峰小时路网饱和度作为评价指标，同时给出指标计算公式；进而以模糊逻辑理论和指标特性为基础，利用MATLAB中的模糊逻辑工具箱得到隶属度函数图形，并对指标值的评价结果进行了分析；最后，用本文提出的方法对扬州居民出行需求合理性进行评价，表明了该方法的有效性和实用性。

Probability logic is a branch of logic and its theoretical foundation is strictly probability theory, and it has been play a great role in the uncertainty reasoning.

概率逻辑作为逻辑学的一个分支，它以概率论作为其理论基础，在人工智能的不确定推理方面有着重要的应用价值。

Basic formal concepts are explained, the paraphrasing of words into symbols is treated at some length, and a testing procedure is given for truth-function logic along with a complete proof procedure for the logic of quantifiers.

基本形式的概念作了解释，并象征文字意译是处理一些长度，以及一个测试程序，给出了真理的逻辑功能与一个完整的量词逻辑的证明过程。

With regard to this problem, Traditional Logic and Modern Logic have different answers.

对这个问题传统逻辑和现代逻辑有不同的回答。

He explains that humor is based on a logic very different from traditional logic.

他解释说幽默是建立在与传统逻辑截然相反的逻辑上的。

He has broken the traditional logic system structure, and established the modern logic research system.

弗雷格打破了传统逻辑的体系结构，建立了现代逻辑研究体系，开创了对现代逻辑的研究。

What was it that made you want to change sider ?

是什么使你临阵倒戈？

I don't know what he wants, but let's play along with him.

我不知道他要干什么，可我