逻辑上的

This kind of opposite logic makes public policies for the supply of public goods lack theoretic foundation and inconstancy inaction.

美国经济学家奥斯特罗姆率先摆脱了这种非此即彼的制度选择逻辑，在广泛考察和研究各国具体实践的基础上致力于发展以经验为基础的公共产品供给理论，特别是她对公共池塘资源和警察服务等进行实证研究，为各国的公共事物治理提出了一条独具特色的新路。

The chapter fivediscusses the combinfing methods between fuzzy logic and symbolic expert system,fuzzy logic and neural network.

第二章介绍专家系统…般的结构功能和研究课题；第三章介绍BP网络的相关概念以及改进学习算法；第四章在分析了符号专家系统和神经网络的优缺点的基础上，提出了三种结合模型，并阐述了本论文所采用的结合模型；第五章讨论了模糊逻辑同符号专家系统、神经网络相结合的方法。

This is fine for anyone who has only a single drive or a single partition on their computers, such as the C drive, but if you have more than one physical or logical drive on your computer, it's best to move your My Documents folder off the system drive.

这是罚款，任何人，只是一个单一的驱动器或一个单独在自己的电脑上，例如为C驱动器，但如果你有一个以上的物理或逻辑驱动器在您的电脑时，最好先提出你的我的文件夹关闭系统驱动器。

Based on the ABS controller strategy with logic threshold,and ABS dynamic simulation model is created.Using genetic algorithm-based optimization method,combining with numerical simulation,optimized parameters are obtained.

在基于逻辑门限的ABS控制策略的基础上，建立了汽车ABS系统的仿真模型；提出了使用遗传算法优化设计ABS控制器的参数，并利用遗传算法和数字仿真相结合的手段，获得了参数设计结果。

Generally, Toft's"strategic interaction"is relatively new and explanative. Being an important starting point for this research, Toft's"strategic interaction"perspective still leaves us with some questions: Firstly, Toft's analysis on the four types of strategy is too far-fetched; Secondly, Toft deliberately evades the question of a strategic choice in his theoretical model; thirdly, the argument"time is conducive to the weak rather than the strong side"is not convincing.

总体上看，托夫特的"战略互动论"比较新颖且有相当的解释力，因此也构成了本研究的重要起点，但它也还是给我们留下了几点重要的疑问：首先，托夫特关于四种战略类型划分过于牵强；其次，在其理论模型中，托夫特有意地回避了战略选择的问题；再次，关于"时间有利于弱者而不利于强者"的逻辑解释也并不能令人信服。

Based on this,temporal logic formula is used to express the properties that the data flow must satisfy,before the verification,an algorithm transforming the UML Statecharts model into reachable state transition graph is given,finally the correctness of the data flow is verified by model checking technique.

在此基础上，使用时序逻辑公式表示数据流所需满足的性质，在验证数据流的正确性之前，给出了将它的UML Statechart图模型转化为可达状态迁移图的算法，最后通过模型检测算法验证数据流的正确性。

The theoretical study shows that the continuous variability of non-operator, and operation, and or operation can be realized in mathematics, and can use a variety of forms such as mathematical index, polynomial and trigonometric. This paper introduces several and/or operations models, and the comparison by the simulation experiment shows that the model I is a more ideal model.

理论研究表明泛逻辑中泛非、泛与／或运算的连续可控性在数学上是完全可以实现的，并可以用多种数学形式如指数、多项式和三角函数等形式来实现，本文介绍的泛与／或运算的几个模型，通过仿真实验比较可以得出模型一就是一个比较理想的模型。

By inheriting from works done by others, we introduce Turing machine model, which is of most importance to the computational complexity theory, high level synthesis and logic synthesis.

本文在继承前人工作的基础上，将最基本也是最重要的图灵机模型及其依据于此的计算复杂性理论的若干重要概念与思想引入到EDA中的高层次综合和逻辑综合环节中。

The undistinguishable relationship, the attribute -oriented generalization and the reduced operation algorithm are discussed. The n a tapping method for attribute-oriented RST data is presented. Applying the b est reduction and kernel operation to the differential matrix, the decision rule s in logical meaning are given.

在此基础上，提出了一个面向属性的RST的数据挖掘方法，即基于系统的关系数据库形成差别矩阵，并对差别矩阵施行最佳约简和核操作，给出在逻辑意义下的决策规则，从而完成领域的知识发现。

The big problem for MMOs in terms of piracy is that most of the value of the game is downloaded to the game client - virtually all of the game assets and much of the game's logic.

提出了从技术上面临的问题是，目前的MMO游戏最有价值的部分都在客户端，比如图形设计，一些基本的游戏逻辑，而客户端都是免费提供给玩家下载的。

The concept of equivalent rotationally rigidity is offered and the formula of rotationally rigidity is obtained.

主要做了如下几个方面的工作：对伸臂位于顶部的单层框架—筒体模型进行分析，提出了等效转动约束的概念和转动约束刚度的表达式。

Male cats normally do not need aftercare with the exception of the night after the anesthetic.

男猫通常不需要善后除了晚上的麻醉。