查询词典 semantics

Another approach is to prove connections with alternate formal semantics independently developed, such as the axiomatic semantics that underline tools for deductive verification of programs (see Appel and Blazy2 for an example).

另外一种方式是证明与其他独立开发的、诸如程序证明推导工具所基于的公理语义（如Appel and Blazy[2]）等形式语义的关系。

Algebraic semantics ; Barcan formula ; Kripke's relational semantics ; nested domains ; Kripke's special semantic ; completeness theorem

代数语义； Barcan－公式； Kripke的关系语义；嵌套论域；狭义Kripke语义；完全性定理

In this paper we acquaint the reader first with the algebraic semantics which is corre-sponding to the Kripke's semantic having nested domaius. By an application of the completenesstheorem on relational semantics of the quantified normal modal systems with nested domains proved in Hughes and Cresswell's method to prove a completeness theorem on relational algebraic semantics of those system. Next for normal systems with semantics which admits arbi-trarily variable domains we use Henkin's method to prove a c...

本文首先讨论嵌套论域语义的相应代数语义并由Hughes和Cresswell在［5］中建立的关于具有嵌套论域的正规量词模态系统的关系语义完全性定理推出其相应的代数语义完全性定理：然后对于具有任意可变论域语义的正规系统，我们用Henkin方法给出其关于狭义Kripke语义的关系语义完全性定理，由此通过将关系语义转化为代数语义从而亦推得其代数语义完全性定理。

In this study, a new classification method of tolerances according to semantics and mathematical representation of basic geometric elements based on DOF is given. The representation of tolerance semantics is systematically deduced based on its mathematical definition that can characterize the semantics exactly an...

给出了基于语义的几何公差分类方法及基于自由度变动的基本几何要素数学表示方法；基于公差的数学定义，系统地推导了各种类型公差的三维语义表示方法，准确完整地表示出了其语义；最后给出实例进行应用分析

That results in a new class of answer set semantics for ordered logic program including several kinds of already existed semantics. The diverse answer set semantics are compared in detail and a Hasse diagram with respect to set inclusive relations for the semantics is given.

通过证明和举例详细比较了各种回答集语义之间的强弱关系，给出了它们在集合包含关系意义下的哈斯图，证明了各种回答集语义在包含关系下形成格的结构。

The results show that:(1) When there is a clear semantics preference, the semantics of the sentence is the main affecting factor to ASDs\' Pronoun antecedent identification, which has stronger influence than the syntax position of the pronoun;(2) When there is no clear semantics preference, the location effect- recency effects is shown.

结果显示：(1)当句子中的代词有明显的语义倾向性时，句子的语义是影响自闭症被试确定代词先行词的主要因素，其影响大于代词的语法位置；(2)当句子无明显的语义信息告诉被试代词的先行词应该是哪个时，自闭症组被试先行词确定上主要体现的是位置效应——尾因效应或近因效应。

In the aspect of the Philosophy of Language, Montague Grammar inherited Frege's theory of meaning, Russell's theory of reference, Carnap's theory of verification, Goodman's Modern Realism, Tarski's theory of truth, Kripke's semantics of possible worlds of modal logic, etc, and opens up a new direction in the study of Formal Semantics of natural language; in the aspect of Theoretic Linguistics, Montague was influenced by Chomsky's research idea about the formal treatment of the syntax in natural language and extended it to the semantic study of natural language; Montague Grammar has two theoretic sources: One is the Logical Semantics and Intensional Type Theory in Logic, and the other is Categorial Grammar and Transformative Generative Grammar in Linguistics.

在语言哲学方面它继承了弗雷格的意义论，罗素的指称论，卡尔纳曾的实证主义，古德曼的现代实在论，塔斯基的语义学真理论，克里普克的模态逻辑可能世界语义学的传统，开辟了自然语言形式语义学研究的新方向；在理论语言学方面，他受乔姆斯基形式化语言研究思想的影响，并把这一思想扩展到自然语言的语义研究方面；蒙太格语法的理论来源有两个方面：逻辑方面是逻辑语义学思想和内涵类型论理论，语言学方面是范畴语法和转换生成语法。

In this way, the Nonmonotonic Semantics (NM-Semantics) of DL+log is extended to the Nonmonotonic Circumscriptive Semantics (NMC-Semantics), and therefore, DLclog becomes the hybrid system with the stronger expressiveness and reasoning abilities.

使用这种方法，DL+log的非单调语义(NM-semantics，简称NM语义)被扩展成了DLclog的非单调限制语义(nonmonotonic circumscriptive semantics，简称NMC语义)，从而成为目前表达能力和推理能力最强的杂合系统。

Although any unimodality type partially expresses limited semantics less or more, video semantics are fully manifested only by interaction and integration of any unimodal. Video data comprises plentiful semantics, such as people, scene, object ,event and story, etc. A great deal of research has been focused on utilizing multi-modality features for better understanding of video semantics. Proposed in this paper is a new approach to detect semantic concepts in video using co-occurrence data embedding, SimFusion, and locality preserving projections from temporal associated co-occurring multimodal media data in video.

该方法对所提取视频镜头的多模态底层特征，根据共生数据嵌入(co-occurrence data embedding)和相似度融合进行多模态子空间相关性传递而得到镜头之间的相似度关系，接着通过局部不变投影(locality preserving projections)对原始数据进行降维以获得低维语义空间内的坐标，再利用标注信息训练分类模型，从而可对训练集外的测试数据进行语义概念检测，实现视频语义信息挖掘。

The three-value semantics for the multi-agent autoepistemic logic program corresponds to general stable semantics and the simplified two-value semantics corresponds to the P stable set.

在给出了多自认知逻辑程序的三值语义模型后，证明了该语义是和广义稳定集相互对应的。

Objective: To study the effect of polycythemia on blood oxygen saturation.

裴蕾目的：观察RBC剧增而引起的高粘血症对血氧饱和度的影响。

Based on SIMPLER algorithm in the curvilinear body-fitted coordinates, the calculations were performed for Pr=0.7, Re=10~1000 on non-orthogonal non-staggered grids which are generated by elliptic equation systems.

采用曲线坐标系下压力与速度耦合的SIMPLER算法，数值研究了周期性渐扩渐缩波纹通道内脉动流动与换热情况，流动Re数的范围为10~1000，Pr数为0.7。