查询词典 formal

This paper first explores the relationship between the argument- as-product and argument-as-process; then it classifies the non-formal logic as formal-dialectical school and pragma-dialectical school; thirdly, it focuses on theoretical sources, basic characteristics and objects of non-formal logic, and finally it proposes the future directions of non-formal logic.

该文在把论证分为作为静态成品的论证和作为动态过程的论证两大类的基础上，把非形式逻辑区分为形式论辩学派和语用论辩学派两大学派，分析了非形式逻辑的理论来源、基本特征和研究对象，探讨了非形式逻辑的发展趋势。

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 following results are obtained:(1)a derivative formal context of an information system can be induced by the notion of nominal scale and the technique of plain scaling in formal concept analysis;(2)some core notions in rough set theory such as partition,upper and lower approximations,independence,dependence and reduct can be reinterpreted in derivative formal contexts.

利用形式概念分析中名义梯级背景的概念，对信息系统进行平面梯级得到了衍生的形式背景。证明了粗糙集理论中的划分、上下近似、独立、依赖、约简等核心概念都可以在相应的衍生背景中进行表示。

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.

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

First,this paper researched its theoretical basis, definition,construction method of concept latices and the relationship between formal concept analysis and ontology.Second,the real estate\'s formal background was constructed based on the concepts from correlative real estate domain text.In the formal background,the objects are the documents and the properties are the ontology concepts.Finally,the concepts and classification relationships between concepts were structured in the form of concept latices and translated into real estate ontology.

本文首先探讨了形式概念分析的理论基础、定义及其概念格的构建方法及其形式概念分析与本体间的联系；然后在此基础上，通过从房地产领域文本中获得反映该领域的概念中构造出房地产的形式背景；最后通过概念格结构化概念以及概念之间的分类关系，并将其转化为房地产本体。

Increased wage income reduces the probability of rural households' demand for formal credit, and non-farm income does not impact formal credit demand but formal credit access. Besides household character, credit products and loan procedure also affect credit demand.

工资性收入负向显著影响农户的正规信贷需求，而非农经营收入占总收入的比例正向显著影响农户正规信贷的可得性，但对农户的正规信贷需求影响不显著。

The changes of the HAF after liver injury may be related to the volume of blood loss, the intraabdominal pressure and the pneumoperitoneum duration.

肝撞击伤伴失血后肝动脉血流量的变化与失血量、气腹压力以及气腹持续时间等有密切联系。

Reneging on our commitments to the world's poor cannot be an austerity measure, she said.

放弃我们给世界上的穷国的承诺不能成为一种紧缩措施。