查询词典 semantical

Kripke gives a semantical analysis to necessity, and establishes semantics of possible world.

另外，这种研究本质的方法——追求精确化，将导致一个不可避免的结果——简单化。

Software engineering ; object-oriented methodology ; semantical aspects

软件工程；面向对象方法；语义特性

They are modal arguments, epistemological arguments, and semantical arguments. It is wrong to doubt the three types of the arguments.

克里普克为了证明传统的名称摹状词理论的错误给出了三大论证，即模态论证、认识论的论证和语义学的论证。

The important undefined semantical notion in the theory is that of satisfaction which relates sentences, open or closed, to infinite sequences of objects, which may be taken to belong to the range of variables of the object language.

在这个理论里重要但未定义的语义notion是'关联语句和无限对象无限序列（——这可以被作为属于对象语言的变量范围）的satisfaction'。

Later, in order to provide a semantical model for the program withprobability choice, many researchers research the probabilistic predicate transformers.

后来，研究学者为了给带有概率选择的程序提供语义模型，提出概率谓词转换器。

Both the case and semantical verification show that all kinds of component interface and interaction can be protected by XACML testing strategies.

通过测试具体实例与验证其语义模型，该测试策略为组件接口及组件交互提供了访问安全保障。

By analysing the syntactical and semantical characteristics of Chinese organization and dividing it into the forward word and the special word, an approach based on statistical method is put forward about Chinese organization automatic recognition.

通过对中文机构名的语法语义特性进行分析，将中文机构名分成前部词和特征词，提出了一种基于统计的识别方法。

In the second method,according to the semantical characteristics of search module and infection module,virus pattern library was constructed.

基于逻辑语义流图的检测方法根据PE病毒传染机制的语义特征，构造其逻辑流图，形成病毒模式库。

In accordance with the denotational semantical framework, it employs the system trace to describe the dynamic properties of a program instead of the input/output function.

它以指称语义框架为基础，用系统轨迹代替输入/输出函数来刻划程序的动态特性。

Based on the cognition analysis of the quantitative features of nouns and verbs, and the study of the semantical features of the measure for verbs.

语法学界在"V+数词+动量词+N"结构(如："进了一趟城"、"念一遍生字")定性问题上的分歧由来已久。

I want to be a big fish in a small pond.

我要做一条在小池塘里的大鱼。

While the software functioned well, we did not feel the same about their customer support!

虽然该软件运行良好，我们没有同样的感觉他们的客户支持！