查询词典 semantics

Artificial intelligence; natural language processing; natural language watermarking; quadratic residue; ontological semantics

关键字］人工智能；自然语言处理；文本水印；二次余数；本体语义

The verb reduplication in Chinese is rather complex, for the verb is the core of a sentence, is closely related to subject, object, temporal aspect and quantifier, and has to do with semantics and pragmatics.

汉语中的动词重叠是个复杂的问题，因为动词是句子的核心，它与主语、宾语、时体、量范畴、语义和语用有紧密的关系。

In semantics, conceptual meaning, also called referential meaning, is the core of meaning.

在语义学中，词的概念意义是词义的核心，也就是所指意义。

The method includes the following steps: firstly, a spherical neighborhood of present sample points is established by using the geometric spherical-modelling theory and all the sample points contained in the spherical neighborhood are adopted as candidate neighbor points, thus not only preserving the effectivity of the dimension reduction capability when data sets are sparse but also getting the advantages of low-sensitivity to isolated points and good stability of the preserved topological structure; then a data relevance matrix more matching semantics can be obtained by relevance measurement based on route clusters to update the candidate neighbor points in the spherical neighborhood and optimize the regular neighborhood space of the present sample points, thus improving the phenomenon that the dimension reduction of sample sets provided with folded curved faces is apt to suffer the integrated-structure distortion in case of heterogeneous data distribution.

首先利用几何开球原理建立当前样本点的球状邻域，将包含在球状邻域内的所有样本点作为候选近邻点，不但能够保持在数据集稀疏情况下的降维性能的有效性，而且具有对孤立点敏感性不高、保留拓扑结构稳定性好的优点。然后利用基于路径聚类的相关性度量得到更符合语义的数据相关性矩阵，用来对球状邻域内的候选近邻点进行更新，优化当前样本点的规则邻域空间，改善了当数据不均匀分布时在带有折叠弯曲面的样本集上降维容易出现整体结构扭曲的现象。

Workflow process model consists of logic layer and semantics layer, and workflow pattern is the summarization and generalization of all the repetitiously used conjunctive symbols and its conjunctive relationship in the logic layer of a workflow process model.

本文在考察和比较了国内外各种关于工作流建模理论研究的基础上，针对实现工作流管理系统这一目标所涉及的工作流元模型、工作流过程模型等几个核心问题，在前人研究成果的基础上，对工作流元模型的可扩展性、工作流过程模型建模中存在的问题以及工作流管理系统的实现等方面开展了深入的研究工作。

Architecture description languages and their accompanying toolsets have been proposed as the answer. The XYZ/E is an executable linear temporal logic language. It can represent both dynamic and static semantics of systems. Basing on XYZ/E, the executable linar temporal logic language, we provide an architecture description language XYZ/ADL, which can represent both high-level abstract specification and the concrete implementation, thereby provides premise for the smooth transition from specification to implementation. And it can represent both the specification and the inner structure of a component under the unified logic framework, owing to the representability of the XYZ/E.

本项目研究旨在根据XYZ系统的特性，在时序逻辑语言XYZ/E的基础上，提出一种支持在XYZ系统中设计软件体系结构的描述语言XYZ/ADL，使之不仅能够对软件体系结构进行精确的形式化描述，而且为对其进行求精、验证、演化和分析提供基础，从而能在统一的时序逻辑框架下描述组件的规范和它的内部结构，并逐步过渡到最后的算法实现，从而能够支持软件开发设计的逐步求精全过程，把原有的两种支持软件开发的方法即支持模块化程序设计的方法和支持从规范到算法实现的逐步求精的方法有机地结合起来。

And gives an explicit explanation of truth from syntax, pragmatics, semantics respectively, makes it clear that truth, has a general, historic, revisal and contractile character in a new horizons and 0.this will play a foundational role in understanding his theory of meaning"s construction."

认为达米特在新的视野与框架中强调了真理的泛化性、历史性、修正性和收敛性特征。

This aspect of RI's administrative design is much more than a matter of semantics.

国际扶轮行政管理的设计在此方面的考虑不只是语意问题而已。

After the abstract syntax and the structural operational semantics of the ALT have been presented, The Church－Rosser property, strong normalization property and decidebility of the ALT's type system are proved.

在给出ALT语言的抽象语法和语义规则后，我们首先证明了ALT类型系统具有Church－Rosser性质，并在二阶λ-演算的环境中证明了强范式化特性。

Second, I look at the self-reference of meaning to clarify the relationship between social semantics and the changing social structure.

其次，阐释语意学的基本建构方式，以及其如何在系统结构变迁的情况下产生意义形式及其内涵的变化。

When this condition occurs, inbound replication with the source partner is stopped on the destination domain controller and event ID 2042 is logged in the Directory Services event log.

计算机密码学是研究计算机信息加密、解密及其变换的科学，是数学和计算机的交义学科，也是一门新兴的学科。

Instructions: click on the thumbnails to see a larger image, then use the left-right arrow keys to scroll through the slideshow.

使用说明：滑鼠点在小图上即可放大观赏。开启后键盘左右键可用来换照片。