逻辑的

Based on a great variety of delimitations of legal efficacy in the literature, and aided with rational reasoning and logical argument on the one hand and empirical description and analysis on the other, the present thesis is supposed to deal exhaustedly with legal efficacy, its status quo in China, and the countermeasures taken to improve it.

本文旨在综合各家界说，基于理性的推演和逻辑的思辩，辅以经验的、实证的表征和分析，全面论说法律实效，试图彻底探究和充分描写法律实效的基础理论，当前中国法律实效的基本现状以及提高法律实效的对策和方法。

This paper proposes a belief multisets formalism for analyzing cryptographic protocols, and the formalism is foundationally different from the previous: a participant's beliefs should depend only on the sent or received fresh messages and the beliefs already possessed by this party.

提出了一种基于逻辑的信任多集方法，它与已有的密码协议安全性分析方法本质上不同：每个参与主体建立的新信任只应依赖于该主体已拥有的信任和接收或发送的包含了信任的新鲜性标识符的消息本身。

A strictly logical conclusion from the words of promise:"he that eateth me the same also shall live by me", this Totality of Presence was also the constant property of tradition, which characterized the partaking of separated parts of the Savior as a sarcophagy (flesh-eating) altogether derogatory to God.

严格的合乎逻辑的结论，从字的诺言：&他说， eateth我一样，也将生活由我&，这是整体的存在，也不断财产的传统，特点partaking失散零件的救世主，作为一个sarcophagy总共贬至神。

The thinkers in Song dynasty comprehended Tian and Tianli in a metaphysical way, separate the inevitable Tian from the sensate one, made a logical reason for the realizable world, and had a thorough grasp of both universal moral principle and political rationality.

两宋时期的思想家用形而上学的方式理解和把握了&天&与天道，把&必然之天&从可感意义上的&天&分离开来，为可感世界建构了一个逻辑的前提，从而在更抽象的水平上理解和把握了普遍的道德原则，也在更高的层次上理解和把握了政治的合理性。

I had no keener pleasure than in following Holmes in his professional investigations, and in admiring the rapid deductions, as swift as intuitions, and yet always founded on a logical basis with which he unravelled the problems which were submitted to him.

我 没有比跟随福尔摩斯做专业的调查、欣赏他迅捷的推理更大的热情了。他的推理如本能一样迅捷，而且往往基于合乎逻辑的根据，他就是凭此解开那些交给他的难题的。

Based on this foundation, when structure theory gains breakthrough with the help of computer, the image of contemporary steel structure architecture takes on a current of diversity. Design aims at not only the magnificent and the renovation of structure, but also how to combine steel and form, and at the same time, embody the rational form art which string along with the logic of material and structure.

在这样的历史积淀下，在结构理论获得计算机帮助并迅速取得突破的情况下，当代钢结构建筑的面貌够呈现出多元化的发展趋势；设计追求的目标也不再仅仅是结构的宏伟与革新，而是转向将钢材作为一种表现元素与造型设计相结合，体现出一种忠实于材料与结构逻辑的理性造型艺术。

Introducing the idea of fuzzy logic, this paper advances Trust-authorization-based fuzzy access control model and exerts fuzzy synthetic judgment method to calculate subjects' trust worthiness, establishes fuzzy control rules, automatically authorizes subjects' relevant privilege by fuzzy adjudging, which can satisfy requirements of open information system access control.

文中引入模糊逻辑的思想，提出了基于信任授权的模糊访问控制模型，运用模糊综合评判法计算出主体在开放式信息系统中的信任度，并建立模糊控制规则，通过模糊判决自动授予主体相应的权限，使其能够更好的满足开放式信息系统中访问控制的要求。

A fuzzy variable structure controller inherits the robust characteristics of sliding mode control and interpolation property of fuzzy logic control. The robustness property of variable structure system makes the control system insensitive for different burthen variety and different outside disturbance. Fuzzy control predigests the device of control system and alleviates the chattering which variable structure system causes .

模糊变结构控制器继承了滑模控制的鲁棒性能和模糊逻辑的内插性能，变结构控制的鲁棒性使系统对不同的负荷变化、不同的外界干扰不敏感，模糊控制简化控制器的设计，减弱由变结构引起的抖振现象，实现更良好的控制效果。

Or perhaps the time-traveler never returns at all: The dead butterfly does not beat its wings, causing a minute impact on the weather which, through the magic of chaos theory, ramifies down the ages, eventually leading a storm to make landfall on one rather than another shore, killing the time traveler's great-grandfather, and thus leading to the time traveler's own disappearance in a puff of logic.

或者，跨时空旅行者也许根本无法返回：死去的蝴蝶不能拍动其羽翼，以引起天气的微小影响。其通过混沌理论的魔力分开时空，最终导致暴风雨在陆地的一侧而不是另一海岸登陆，杀害了跨时空旅行者的曾祖父，这样导致跨时空旅行者在逻辑的夸张中消失。

Once a prima facie showing of no specific and substantial credible utility has been properly established, the applicant bears the burden of rebutting it. The applicant can do this by amending the claims, by providing reasoning or arguments, or by providing evidence in the form of a declaration under 37 CFR 1.132 or a patent or a printed publication that rebuts the basis or logic of the prima facie showing.

一旦初步认定无具体实在的可信的实用性已经恰当的确立起来，申请人就要承担推翻它的责任，申请人可以通过修改权利要求、通过提供驳斥初步认定的根据或逻辑的证据或论据，或者提供under37CFR1.132 的声明形式的证据或者专利或者印刷出版物来做到这一点。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。