1) forms of irony
反语形式
1.
The researcher intended to explore how different forms of irony impacted the participants\' understanding of the meaning of irony.
实验一要求被试对说者的话语含义、话语态度作出判断和对说者的话语目作出解释,试图考察反语形式对不同年龄被试意义理解的影响:实验二要求被试评定自己在各实验情境下的情绪反应的等级,试图考察反语形式和情绪类别对不同年龄被试情绪反应的影响。
2) pragma-linguistic forms and pragmatic strategies in irony realization
实现反讽的语用语言形式及语用策略
1.
The study is devoted to two aspects of irony: the pragma-linguistic forms and pragmatic strategies in irony realization (or the pragma-linguistic cues for irony), and the pragmatic functions of irony.
研究主要致力于探讨反讽的两个方面:实现反讽的语用语言形式及语用策略(又称反讽的语用语言暗示)和反讽的语用功能。
3) formal language
形式语言
1.
The landscape value of Huizhou folk house was excavated from its formal language and in order to provide references for the modern folk architecture design.
在总结徽州民居形式特点的基础上,指出徽州民居完美体现了自然环境、传统哲学思维、大文化村传统、地域风俗文化的融合,并从徽州民用建筑的形式语言出发,挖掘徽州民居建筑的景观价值,以期对中国现代居住建筑的设计提供参考。
2.
A unified theory of formal languages is the basis for automatic software developing.
用统一的基础理论定义形式语言的基本概念是实现软件自动化的重要基石,试图用递归论的术语定义串、序列函词、串等价等程序语言中的基本概念,证明了任何上下文无关语言的串实例都与一个半格系统相对应,对自动化建立语言的代数语义模型做出了有益的尝试。
3.
This paper based on the analysis of Mario Botta searly work——Family House in Cadenazzo,explores the formal language approach of buildings.
通过对马里奥·博塔早期作品卡登那佐住宅的分析,对建筑的形式语言作了一次初探,希望借助于分析现有的作品来洞悉形式生成的整个过程,从而了解空间形态中空间单元与组织结构的作用及意义。
4) Form language
形式语言
1.
The shape of the external spaces are expressed through the form languages such as points, lines, planes.
建筑外部空间造型的表达是通过点、线、面等一系列形式语言,外部空间的整体造型是这些形式的凝结与汇聚。
2.
The Minimum is less a style and more a form language with highly symbol.
极少主义与其说是一种流派,倒不如说极少主义更是一种高度符号化的形式语言。
3.
And the form language is characterized by its modernism,expressionism and emotion.
综合绘画媒材是艺术家表现情感和行使精神创造的载体,其形式语言具有现代性、情感性、表现性。
6) formal semantics
形式语义
1.
A formal semantics of VHDL based on duration calculus;
一种基于时段演算的VHDL的形式语义
2.
The modeling method and the models given in IEC 61850 are investigated from the point of view of formal semantics.
文中从形式语义的角度出发,对IEC 61850的建模方法和所给出的模型进行了研究。
3.
A topological space structure of component sets is proposed on the basis of component and reference formalization, and a new method based on topological dynamical systems is used to study the formal semantics with parallel recursive reference of components.
在组件和引用形式模型的基础上给出了组件集的拓扑空间结构,从而在组件并行递归引用形式语义的研究中引入一种新的基于拓扑动力系统的观点和方法,将其指称对象的存在性归结于一个动力系统的吸引子和泛函不动点,同时将引用过程描述为系统的轨迹。
补充资料：语用
语用
pragmatics
yUyong语用(pr耀”atics)程序与使用者的关系。语用学是以语用为研究对象的学科。Ada语言中的编用，即其语用。它用于向编译程序传递信息。编用以保留字pragl飞a开头，后跟一标识符，这是该编用的名字。在语言文本的附件中描述语言定义的编用，Ada语言的每个实现都必须支持这些编用。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条