本文中，我们采用概率事件结构作为语义模型，研究了概率进程代数的度量指称语义。
In this paper, we take probabilistic event structures as our semantic model and provide a metric denotational semantics for probabilistic process algebra.
与一般意义上的名词不同，进入这一结构中的名词需具有由具体指称向情状描述转化的潜在语义特征。
Different from common nouns, those into this structure need to have potential semantic features from concrete references to stating descriptions.
研究将表明，俄语反身代词可以与动词形成成语性搭配，其语义向动词融入，其指称性也因此减弱。
Our study will make known that Russian reflexive pronoun can make up idiomatic collocation with verb, and its semantic content seeps into verb, its reference property reduces accordingly.
文章最后，从指称理论和语言的可计算性，论述了语义网络的实现和计算机、网络对网络语言的理解。
Finally, based on the reference theories and the language "s calculability, we discussed the realization of the semantic net language and how computer and network comprehend the network language."
最后还给出了时间化RSL的一些代数定律。这些定律可以从其指称语义证明，并用于程序的转化和优化。
Some algebraic laws of Timed RSL are presented, which can be proved from the denotational semantics, and be used in program transformation and optimization.
代词是一种较为特殊的词类，其指称特性与其语义特征紧密相联。
As a special word class, pronouns have referential characteristics that are closely associated with their semantic features.
惰性代词的先行名词短语在语义类别、指称特点等方面均不同于代词同指照应关系中的先行名词短语。
Therefore, we may conclude that there is big difference in semantics classification and reference between noun phrase as antecedent of inert pronoun and that of non-conceptual anaphora.
指称是语言哲学的重要内容，也是语义学理论中最核心最基础的理论。
Reference is a important content of language philosophy and is the foundation and core of semantics theory.
连续函数的不动点是指称语义的一个重要内容，它刻画了程序的计算性质。
The fixed point of continuous function is an important content in denotational semantics, which specifies the computing properties of programs.
一些人认为，唐纳兰关于限定摹状词的两种用法，即归属性用法和指称性用法的观点在一定程度上能够避免克里普克的语义的论证和模态论证。
Some people claim that, to some extent, Kripke's semantic arguments and model arguments can be avoided based on Donnellan's viewpoints on the referential and attributive use of definite descriptions.
本文中描述了把代码生成语言的指称语义描述变换为编译程序代码生成器的一个变换系统。
The automatic generation system, which transforms the denotational semantics of code generation languages into efficient compiler code generator, has been developed.
本文试图对“把字句”宾语的语义特征、指称性、句法性质等方面的研究状况作一概述和评说。
In this paper, the author tries to make a statement on the study of the object of this sentence, its semantic feature, deixis and syntactic function.
语义衔接手段包括指称和词汇衔接。
And semantic cohesion embraces reference and lexical cohesion.
历史地讲，语言哲学中的“语言学转向”始于指称理论在传统语义学研究中“战略性”的失败。
Historically, the turning of Pragmatics originated from the "strategic" failure of reference theory in traditional semantic research.
指示语、摹状词和专名都是具体指称手段，但却属于不同的语义类型。
There are three distinct kinds of singular definite referring expressions: proper names, definite descriptions and deictic words.
汉语称谓语丰富繁杂、分类精细、指称具体，而英语称谓语宽泛笼统、分类单一、语义模糊。
Chinese kinship-term-system is well formed and each term is of a specific referential meaning, while English one is relatively general in meaning.
专名的指称与涵义一直是语言哲学和语义学所探讨的问题。
The sense and reference of proper nouns is an issue that has been addressed by linguistic philosophy and semantics.
框架语义学对间接回指中指称确定和认知推理有较强的解释力。
Frame semantics interprets the confirmation of the anaphor and cognitive discursion.
并从说谎者语句本身的分析指出“本语句”的指称为空集，从而提出自己的解决语义悖论的方案。
And pointed out "this sentence" refers is the null set, is insignificant, from the analysis of the liar sentence itself, thus proposes own the approach to paradox solution.
在语义上，主语和宾语的指称可以分为“同指”和“异指”两种类型。
In its semantic meaning, we can divide the referent of its subject and object into two categories, namely, the same referent and the different referent.
在语义上，主语和宾语的指称可以分为“同指”和“异指”两种类型。
In its semantic meaning, we can divide the referent of its subject and object into two categories, namely, the same referent and the different referent.
应用推荐