查询词典 semantics

It is so widely used that we ll have to make a careful analysis and a deep study of its truth-value in semantics.

委婉语的运用如此广泛，迫使我们对它的语义真值进行深入中肯的分析和研究。

Putnam thinks,semantics is the key to solve philosophical problems;symbol logic and transformational grammar can not solve the meanings of natural lan-guage.

普特南认为，语意问题是解决哲学基本问题的手段；符号逻辑和转换生成语法都不能解决自然语言的语意问题。

Like many other aspects of NLP, the basic NLP Presuppositions have been synthesized from many different fields: general semantics, transformational grammar, systems theory, cybernetics, pragmatism, phenomenology, and logical positivism.

就像NLP的其它方面一样，NLP的基本前提假设也是对很多领域的综合提取：通用语义学、转换语法、系统理论、控制论、实用主义、现象学以及逻辑实证论。

These are computationally challenging problems that really have nothing to do with understanding semantics.

这些都是具有挑战性的计算问题，真的完全不理解语义。

With a set of denotational semantics you can see some simple examples in part 1

凭借指称语义集（你可以看到在第1部分的一些简单的例子

We adopt denotational semantic approach to describing semantics of inheritance, instantiation, object creation, message passing and method call.

本文采用指称语义的方法描述了类的继承、实例化、对象生成、消息传递、方法调用的语义。

In Chapter Six, the denotational semantics of FOPL is developed on an abstract universal space D, and the correctness of the denotations of types and correctly typing of the denotations of expressions are discussed.

第六章在一个抽象的全称域D上开发了FOPL的指称语义，并讨论了类型指称的正确性和表达式指称的正确附类型。

This denotational semantics saves us from non-terminated loop statements, goto and break statements.

这一指称语义，我们节省了非终止的循环语句，转到和break语句。

A denotational semantics transform technology from continuation to direct is given based on the analysis between the two in the early research, and here continuations in different context are handled differently.

基于Monad思想推导出的接续语义函数和直接语义函数之间的关系，给出了基于规约的从接续指称语义描述形式到直接指称语义描述形式的转换技术，分别考虑了接续函数在不同情形下的处理。

Third, the algebraic specifications are used in order to reveal the essentials of denotational semantics and to get more modularity and less complexity. Chapter 2 introduces the basic concepts and notations used in this dissertation.

三是采用代数规约的框架，这有助于揭示将语法作为多类基调代数的型构定义，将程序作为表达式的指称语义方法之实质思想，也有助于形式定义文本的模块化，降低描述复杂度。

Objective:To compare the response control and attention of Schizophrenic patients with that of the healthy controls by Integrated Visual and Auditorycontinuous performance test. To quantitate the impairment of cognitive function in patients, and to explore the relationship between cognitive function and the severity of the disorder.

目的：探讨精神分裂症病人在IVA持续操作测试中的反应控制能力、注意力等，并与健康人进行比较，从而量化精神分裂症病人的认知功能损害，并进一步探讨其认知功能与疾病严重程度的关系。

Main effective factors including subcooling degree, mechanical vibration, gas hydrate reformation, environment temperature, noncondensing gas and surfactant are analyzed.

指出过冷度、机械振动、重复生成水合物、环境温度、不凝性气体、添加剂是影响气体水合物生成的主要因素，还对R152a水合物的放冷进行了实验研究。