查询词典 inconsistent formal system

The first step was to investigate the academic background of translators who had published the popular science translations in psychiatry. The second was to discovered translation errors which may contribute to the inconsistent terminology translation, attempting to find the relation between each type of translation error and academic background of translators. The third step was to retranslate the inconsistent terminology related to suicide under the framework integrating the psychiatry expertise and the reader-centered translation theory.

本研究具体进行的程序分三个步骤，第一是了解近年来从事精神医学科普书译著的译者学术背景，第二是归纳精神医学科普书译著各种形式的医学专有名词中出现的翻译失误导致译名不一致的因素及各类译者在翻译时出现的翻译失误类型，第三是以整合精神医学专业知识与以读者为中心的翻译理以求译词易解的汉译名词。

We think that inconsistent requirements are inevitable, which can only be reasoned under inconsistent and evolutive environment.

认为不一致需求是不可消除的，只能在不一致的、演化的环境下推理。

In addition to a theory being logically self-referentially inconsistent, a theory can be inconsistent by virtue of itself denying or implying the contrary of one of its justificatory, semantic, or pragmatic presuppositions. Performative inconsistency derives from the self-referential denial of semantic or pragmatic presuppositions--in other words, a performatively self-falsifying proposition denies a necessary condition if its being meaningfully affirmed.27 The affirmation of a self-stultifying proposition, by contrast, denies one of its justificatory presuppositions.

除了'一个理论能在逻辑上自指不一致'外，一个理论能依据'自己被拒绝'或'内含其辩护性/语义性/语用性预设的反对'而得到不一致；换句话说，如果其被有意义地肯定，则是一个performatively self-falsifying的命题拒绝了一个必要条件。27 （作为对比，对self-stultifying命题的肯定，拒绝了部分其辩护性预设。

PS : Ad Hominem Tu Quoque - This fallacy is committed when it is concluded that a person's claim is false because 1 it is inconsistent with something else a person has said or 2 what a person says is inconsistent with her actions.

一个人做出前后不一致的论断并不代表这个论断是错误的（也许两个论断中有一个是真的，当然也有可能两个都是错的）。一个人的言行不一致，并不代表他的论断是错的，有可能他是一个伪君子。

This hairstyle is gorgeous and can be worn for any Holiday or Party Hair event ranging from a formal or semi-formal dinner or a special formal dance or Prom.

这个发型是美丽的，可用于任何假期或党头发的事件从一个正式或半正式晚餐或特别正式的舞蹈或舞会等磨损。

The formal description technology based on LOTOS, the formal transformation, the formal validation and implemenation are generalized. Constructions of communication service and communication protocol, transformation from service specification into protocol specification based on bisimulation equivalence are also stated in detail. Application of LOTOS specification styles and architecture concept in service and protocol design is studied as an emphasis.

归纳总结了基于LOTOS的形式化描述方法、形式化的转换、验证和实现等方法理论，以及通信服务和协议的构造方法及服务规范到协议规范的等效性转换方法，重点研究了规范风格和结构概念在服务和协议设计中的应用。

This paper introduces protocol engineering,formal method and core technique formal description technique, and some of the most popular formal methods which have been widely used today, such as SDL, ESTELLE,Petri nets and LOTOS .

软件规模急剧增大，结构也越来越复杂，这就给通信网络协议的开发带来许多困难。

No formal public hearing is required, and no formal record need be established, as would be true in formal rule making.

不要求正式的公开听证，也不要求建立正式的记录，而这些都是正式立法所必须的。

Its basic idea is to adopt formal or semi-formal method to develop the component. The developer provide the component with a formal specification with a given structure firstly, then build the component from this specification, and produces the description of component by this specification and other information.

其基本思想是：采用形式化或半形式化的方法来开发组件，首先为组件提供一个特定结构的形式规格说明，开发者根据该规格说明构造组件，并根据该规格说明及相关信息获得组件描述。

In the judicial sphere,the principle of rule of law decides the priority of formal rationality,that is,in the judicial process,when the substantive rationality of the case decision and the formal rationality of the law itself can both be achieved,the judicator should equally fulfill them;but when the substantive rationality and oral rationality contradicts and excludes each other,the judicator should principally take the formal rationality as priority and exceptionally sacrifice it.

法治原则在司法领域必然意味着形式合理性的优先，即，在司法过程中，当个案处理结果的实质合理性与法律本身的形式合理性可以两全时，司法者应当而且必须兼顾这两种价值，在司法裁判中同时实现个案中的实质合理性与法律的形式合理性；然而，当实质合理性与形式合理性发生不可两全的矛盾而不得不有所牺牲时，司法裁判则应当以优先实现形式合理性为原则，以牺牲形式合理性为例外。

Anna: No, I've got a hangover.

不是，我昨晚宿醉了。

We head into the mountains in Su's new Land Cruiser, stop for lunch at a scenic restaurant and then hang around drinking beer and eating fruit as two of his employees attempt to lure the birds with a tape recording of the fowl's mating call.

我们坐上苏的巡逻车向山顶出发，在一家风景优美的餐馆吃了中饭。然后我们喝着啤酒吃着水果四处逛。