查询词典 sequential logic

Historical thinking has been considered as the core in the middle school history teaching. Logic thinking, as one of the abilities of historic thinking, is right the basis of the accuracy of it. Without rigorous logic pattens, thinking would be in a chaotic and ridiculous state.

在中学历史学科教学中，历史思维能力是历史学科能力的核心，而作为历史思维能力之一的逻辑思维是历史思维正确性的基础，没有严密的逻辑基础，思维将是混乱的，乃至是荒谬的。

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中的模糊逻辑工具箱得到隶属度函数图形，并对指标值的评价结果进行了分析；最后，用本文提出的方法对扬州居民出行需求合理性进行评价，表明了该方法的有效性和实用性。

Chinese traditional virtue is humility and wariness,the compliment and praise to the others should be declination

中国人的传统美德是谦虚谨慎，对别人的恭维和夸奖应是推辞。如

We bought this house on the never-never.

我们以分期付款的方式买下这座房子。