1) computational model of metaphor
隐喻计算模型
1.
In order to find a solution for Chinese metaphor formulization,this paper surveys the recent developments in the design of the computational model of metaphor and the construction of metaphor knowledge-base.
相比较而言,中文隐喻计算研究却显得有些薄弱,因此本文在传统隐喻研究的基础上综述了隐喻计算模型和隐喻知识库建设方面的进展,重点介绍了基于优选限制思想的M et5系统,基于实例方法的M IDAS系统,以及以统计为手段,基于大规模语料库提取的隐喻分析模型CorM et系统。
2) metaphor computation
隐喻计算
1.
The research of Chinese metaphor computation is one of the leading issues in the NLP field; however inadequate Chinese metaphor corpus limited development of it.
汉语隐喻计算化研究是中文自然语言处理领域的一个前沿课题,然而研究所需要的隐喻语料资源却极其有限,对隐喻计算研究的发展形成了一定的对影响。
2.
In fact,as the input language of the metaphor computation system,the metaphor literal meaning representation language would influence the final semantic calcualtion results.
在隐喻理解中,隐喻字面语义表示是隐喻深层语义表示的前提;确切地说,隐喻字面语义表示语言作为隐喻计算的输入语言直接影响到隐喻的最终释义,因此隐喻字面语义表示对隐喻的机器理解有着重要的影响作用。
3) metaphoric model
隐喻模型
1.
There are four cognitive models of categorization: propositional model,image-schematic model,metaphoric model and metonymic model respectively.
范畴化的认知模型可归结为:命题模型、意象图式模型、隐喻模型以及转喻模型。
4) computer metaphor
计算机隐喻
1.
It also brings a transition from “computer metaphor” to “brain metaphor” and makes psychological theories more complicated.
它使得意识能够受到真正科学地研究,促使心理学研究从“计算机隐喻”向“脑隐喻”的转变,并将使心理学理论形态更加复杂。
5) computational metaphor
计算隐喻学
1.
Bordering on the realms of computational linguistics,artificial intelligence,and the modern study of metaphor,the study of computational metaphor has increasingly become an important branch of metaphor study in general.
计算隐喻学是现代隐喻学的一个重要分支,也是计算语言学、人工智能和隐喻学各领域交叉渗透的产物,其学科性质属于技术性的隐喻建模和应用,根本目标是用计算机模拟隐喻的工作机制。
6) Cognitive metaphor models
认知隐喻模型
补充资料：混合计算模型
混合计算模型
hybrid computational models
hunhe Jisuan moxing混合计算模型(hybrtd computationa一m闭·els)计算机与其所控制的物理部件构成的，具有既随时间连续变化的变量又受事件驱动的离散变量的系统的数学模型。 混合系统的设计涉及控制理论和计算机科学，20世纪90年代以来引起了计算机科学界很大关注。很多混合系统要求绝对安全，如自动导航系统，核电站监测系统等。绝对安全系统的设计是计算机软件科学的重大课题。当前的软件产品耗资巨大，但多数无法避免差错。这样的软件不能用于绝对安全系统。计算机软件科学界提出使用严格的形式化方法来设计该类软件。 迄今，形式化方法所处理的对象都是离散变量(或已离散化的变量)，所用的语言及演算亦都是基于离散数学的公理化系统。而混合系统设计的形式化方法不可回避连续数学;控制理论使用的是微分方程刻画连续变量的变化规律。混合系统设计的形式化方法也不能回避离散的事件，这些事件驱动系统的变化。混合系统设计的形式化方法需要一种计算模型，它同时支持连续变量和离散事件藕合系统的计算。 近几年在已有计算理论的基础上，已陆续发展了多种混合计算模型。大体上可分为逻辑型、程序设计型和自动机型三类。 逻辑型混合计算模型的主要思想基于时态逻辑，引人时段和切变的概念。时段可用来刻画系统在一个时间区间上的连续变化，而切变则表示事件的发生(离散变量的变化)。在单个时段上，借用连续数学(微分方程理论)推导系统的行为;而在相邻时段间，则用时态逻辑中切变算子的规则，推导系统行为的转化。逻辑型计算模型中的时段演算，已引起该领域同行的广泛重视。该演算是由周巢尘，C.A.R.H(班re和A.P.Ravll所建立。 程序设计型混合计算模型是将传统的程序设计语言加以推广以容纳连续变量。推广后的程序语言可用来描述混合系统的行为。而其中的控制部分可逐步求精，变换成传统的可在计算机上执行的软件，从而生成数值控制系统。通信顺序进程〔SP，已推广为混合通信顺序进程。在这个程序语言中，有一种特殊的语句称为连续构件，它可表示一个具体给定初值的微分方程;而原有的通信语句可用来表达事件的起源和发生;程序语言中的顺序算子，条件算子等用来刻画连续构件和通信间的藕合关系。 自动机早已用于各种模拟计算系统，计算机本身亦可看作一个庞大的有限状态自动机:一个状态表示计算机中各存储器和寄存器一种取值，而计算机的操作导致计算机由一个状态转移至另一个状态。如果将自动机的状态看作是在一组微分方程控制下，一组连续变量的连续变化过程，则将状态的转移视作事件的驱动。这种推广后的自动机称作混合自动机，可用来描述和计算混合系统的行为。 总之，混合计算模型还在发展完善之中。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条