查询词典 Boolean logic

The merits and shortcomes of the two kind methods to develop the real time risk model of nuclear power plant, using outsets equation and using master logic fault tree, are carefully evaluated, especially for the possibility to underestimate the risk when the method of cutsets equation is adopted. At the same time, the necessity and advantage of master logic fault tree is pointed out.

本文详细分析了两类建立核电站实时风险模型的方法-割集方程法与大故障树法各自的不足之处，尤其是对割集方程法造成风险评价结果精确性的不足进行了细致的分析，指出采用大故障树法建立核电站风险模型的必要性和优越性。

Taking the description logic ALCQO (attributive language with complements, qualified number restrictions and nominals) as an example of the X of EDDL, this paper proposes a tableau decision algorithm for the logic EDDL and proves that this algorithm is terminating, sound and complete.

以 X 为描述逻辑ALCQO(attributive language with complements，qualified number restrictions and nominals)的情况为例，给出了EDDL的表判定算法，并证明了算法的可终止性、可靠性和完备性。

In this paper, the authors propose a temporal approaching relation and give a sort of temporal relations of propositions, based on Shoham s temporal logic, they propose a temporal logic which can describe uncertainty relation and is based on time--point and time--interval in proposition and first order case.

本文提出了时态逼近关系，并给出了命题不确定性时态关系的一种分类，在Shoham的时态逻辑基础上，对命题和一阶两种情况，提出了能描述不确定性时态关系，基于时间点和时间区间的时态逻辑。

In order to eliminate the problems with existing logic of belief, desire and intention, and to provide a proper semantic representation for non-normal modal operator, the problems with existing logic of belief, desire and intention are addressed, the true-false subset semantics, which is developed by the authors, and its application in the formalization of agent are introduced.

为了克服现有的信念、愿望和意图逻辑中存在的问题，为非正规模态算子提供一种合适的语义表示。

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.

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

It's bell can reach over a meter in diameter.

它的身体最大可以达到直径1米多。

Now they are overdue and I shall have to pay a fine.

现在他们过期了，我不得不付罚款。