逻辑上

In order to analyze and find a feasible solution, this project aims to analyze the dilemma facing by it, to conduct a cognitive analysis to its affecting factors and to put forward practical strategies by documentary material, experts interview discussion, questionnaire survey, statistics analysis, logical deduction and tape-recording analysis.

为分析其原因及找出一条科学的可行解决方案，本课题在文献资料法、问卷调查法、专家访谈法、数据统计分析法、逻辑归纳法、录像资料分析法等基础上，对竞技太极推手所面临的困境进行了分析，对影响竞技太极推手运动发展因素进行了分析，提出切实可行的竞技太极推手发展对策。

But if the nature of language is partly the nature of man, as is suggested in the present thesis, these assertions become tautological.

但是，倘若语言的本质如同本文所提议，在一定程度上也是人类的本质，那麼，这些主张就会变成套套逻辑。

Based on these basic circuit elements, two kinds of symmetric ternary operation units realizing addition and multiplication are further designed.

一己石会，、J。'翻在三值逻辑中，变量x可以取为{I，0，1}，它的主要特点是在取直上直接考虑了负数表示，从而消除了符号位的需要。

Chapter 1 redefines the crucial concept sense according to Kant philosophy. It is the key to solve a variety of puzzles tangled in the western thinking, and also, it is the key to solve the famous aesthetic antimony: In what sense can judgments of artistic merit, which appear to be about our subjective feelings, be considered objective or factual? Chapter 2 mainly discusses the misunderstanding about Kant theory of the aesthetic judgment rule: disinterested.

首先，感官感觉的语义素的分析从身体感官入手，揭示趣味判断的逻辑悖反性在西方哲学美学传统中的地位，阐述几种有代表性的观点，并以康德对感官、感觉以及感性、情感等的理论规定为纲，逐步回应阐释过程中的诸多疑问，继而阐明康德对反应的趣味和反思的趣味的区分，以及他对上一悖反问题的具体回答。

Russell 'Mathematical Logic as based on the Theory of Types' in van Heijenoort From Frege to Godel.

二罗素，'数理逻辑的基础上，理论类型'的车Heijenoort，从弗雷格的哥德尔。

During the study of incidence calculus theory, we firstly clarified original incidence calculus and the probabilistic reasoning mechanism on it. We then introduced the improvement of generalized incidence calculus theory proposed by Liu~[18], which establishes incidence calculus theory on Lukasiewiczs three valued logic.

本文首先阐述了原始的发生率计算理论及其上的概率推理机制，然后引入Liu对该理论的改进，以Lukasiewicz三值逻辑为基础，并提出了这个扩展的理论与证据理论之间的等价关系。

According to the knowledge obtained from road tests, proposed in this paper is an ABS control strategy highly adaptive to different road surfaces and braking conditions based on the widely used logic threshold control method.

文中根据大量道路试验获得的知识，在普遍采用的逻辑门限值控制方法的基础上提出了一种能够对不同路面和制动工况具有广泛自适应能力的ABS控制策略。

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图模型转化为可达状态迁移图的算法，最后通过模型检测算法验证数据流的正确性。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。