语用含糊现象是个体的认知推理与语言规约化共同作用的产物。
Therefore, pragmatic vagueness is a combination of the individual's cognitive inference and pragmatic conventionalization.
在规约化程度处于中等即委婉语刚从言语事实变为语言事实的时候，委婉语的典型性表现得最充分。
When the acceptance degree of euphemism is medium, in other words, not so high and not so low, the prototypicality of such euphemisms is most obvious.
与1998年国际刑事法院签订罗马规约时的理想化预期相比，法院至今为止的作为都多少有些令人失望。
Set against the Utopian predictions made in 1998, when the Rome statute providing for the court was signed, the record so far has been rather disappointing.
本文对国际标准规约IEC60870-5 - 101规约在配电自动化应用中的问题进行了探讨。
Some special problems of applying the standard protocol IEC60870-5-101 to distribution automation system are discussed in this paper.
在配网自动化的建设中，通信规约和通信方式的选择与实现是一个非常重要的环节，是实现数据和命令快速、可靠传递的基础。
For distribution automation, the selection and realization of communications protocol and mode is an important tache, and is the foundation of data and order transferred speedily and reliably.
规约模式就是用某种形式化语言表示的设计模式。
Specification patterns are design patterns that are expressed in a formal specification language.
基于队列网络模型，由化学抽象机中形式化描述的软件体系结构规约，导出了一种性能评价模型。
Then the paper derives a performance evaluation model, based on a Queueing Network Model, from a software architecture specification formally described in Chemical Abstract Machine.
第五章对比了常用软件测试方法，讨论了形式化方法的基本概念、数学预备知识和形式化规约语言。
Chapter five compares the method with the common software testing and discusses the concept, basic knowledge and language of FormalMethods.
本文提出了一种新的简单的迹语义，用于刻画协议部分安全性质，即只针对协议规约的单个主体，此技术支持协议设计者对安全性质进行形式化规约。
This paper proposes a new simple trace semantics that can be used to specify security properties, this technique supports a protocol designer to provide formal analysis of the security properties.
浮士德形象自文本化以来，按照新历史主义的理论规约，就已进入了不断修撰和反复描述的动态建构之中。
Since the image of Faust was first textualized, it has entered a process of constant and repeated description and dynamic construction from the perspective of Neo-historicist theory.
FSP是一类描述并发程序形式化规约的进程代数记法。
FSP is a kind of process algebra notation that can be used to describe formal specifications of concurrent programs.
同时介绍了应用支持点对点通信的CAN2 .0B规约实现几种网络化的保护和控制方案的实例。
This paper also discusses some protection & monitor schemes based on CANbus network, which use CAN2 . 0 B protocol to su…
在数字化电力监测系统中，电力数据信息的传递必须遵循一定的通信规约。
In electric power system, the transfer of the electric power communication must comply with the communication protocol.
本文中还探讨了配网自动化中通信网络的构建及101通信规约的应用问题。
The construction of communication network and the application of 101 communication rules are discussed in details in this paper.
“赵树理方向”中被规约的“大众化”与赵树理创作中所呈现的“大众化”价值取向有着重大差异。
The "Popularization" confirmed in the "Zhaoshuli Direction" had a very important divergence from the values reflected from his works.
公式化语言是语言研究中的重要言语材料，它在话语交际中具有规约性和复现性的明显特征，在交际中具有压缩信息处理时间、维持社会交际和增进人际交往的功能。
Formulaic sequence holds an important part in natural language use, but the research of it has long been ignored because formulaic sequence seems to be the equivalent of behaviorism.
电力系统VP规约前言本规约适用于CSC 2000变电站综合自动化系统前置单元与主站之间的通信。
Power Systems VP Statute preamble to the Statute applicable to the CSC 2000 Substation Automation System front alone Yuan and the main communications between the station.
在介绍企业项目化管理、SOA相关技术的基础上，从业务分析、服务规约等方面对项目管理信息系统中的服务进行建模。
In introducing the enterprise project management, SOA related technologies, set up the services model of project management information system from business analysis, service of the Statute.
在介绍企业项目化管理、SOA相关技术的基础上，从业务分析、服务规约等方面对项目管理信息系统中的服务进行建模。
In introducing the enterprise project management, SOA related technologies, set up the services model of project management information system from business analysis, service of the Statute.
应用推荐