S—系的预根

给出了Ｓ－系预根的概念,讨论了它的基本性质,并给出了预根与Ｓ的右线性拓扑的关系。     

关于交换代数的几点注记(Ⅲ)

交换代数学的对象是交换环及其上的模,其叙述方式有两种.一种是用经典语言,优点是内容较为具体和丰富,这方面早已有标准的教科书(如Bourbaki的)出版,另一种是用函子语言,优点是更为一般和漂亮。作者尝试用后一方式的框架来研究交换代数,本文是其第Ⅲ部分,给出了与函子相关的几个概念,目的是以后引进和研究概型(交换环的用函子语言的对应概念)     

函子范畴的Incidence代数的两个例子

以箭图Q₁,Q₂,Q₃为例,构造有限偏序k范畴Γ₁,Γ₂,考虑Γ₁,Γ₂及函子范畴Γ₁^Γ2诱导的incidence代数的两个例子。     

非齐次代数特征值问题的计算方法

给出了两个半无限区间内解存在的充要条件,同时,把求解问题限定在确定的有限区间内,然后,设计了求解算法,并用算例进行了验证。     

量子代数D（—）函子的系数扩张

令A=Z[ν]m,其中m是ν-1和某奇素数p生成的理想,ν是未定元.A′=Q（ν）是a的分式域,（aij）nxn是对称Cartan矩阵,令U′是A′上相伴于对称Cartan矩阵（aij）nxn的量子代数.U是U′的由Ei（N）,Fi（N）,Ki,Ki-1（i=1,2,…,N≥0）生成的A子代数,则U是A-Hopf代数.本文讨论了U中函子D（—）的系数扩张的若干性质,即对A代数Γ,如上函子的基环从A扩张到Γ时,函子Dr（—）具有的性质.     

函子的群逆

定义了函子的群逆,给出了函子的群逆存在的充要条件。     

Stone代数滤子与Stone代数的可约性

本文引入Stone代数滤子的概念,给出了Stone代数可约的充要条件,且证明了有限Stone代数的一些结果。     

广义Ｋac—Moody代数的导子

本文给出了广义Ｋａｃ－Ｍｏｏｄｙ代数的广义抛物子代数的定义；确定了这类子代数导子代数的结构；并且给出了这类子代数完备的充要条件。     

余代数与模态逻辑

近年来,余代数成为国际逻辑学界研究的热点之一。余代数的基本理论建立于范畴论基础之上,而范畴论是关于对象和对象之间的箭头的理论,它是比集合论更加抽象、更加具有一般性的理论,因此余代数也就成为非常抽象的数学结构。从广义上说,余代数处理基于状态的动态系统,比如理论计算机科学中的（加标）转换系统、模态逻辑的模型和框架等等,它是基于状态的动态系统的抽象模型。本文首先介绍余代数的基本概念,然后论述它在非良基集合论研究中的起源,接着说明余代数与模态逻辑的联系。最后,余代数提供了一种处理模态逻辑语义的抽象模型,因此具有十分广泛的应用。     

偏序集上正规s代数的性质

偏序集上的正规s代数是取值于偏序集上的三角余模的一种代数抽象.在偏序正规s代数概念的基础上,本文对其性质进行了一定的讨论,给出了它与其他逻辑代数间的关系.     

传统图案的视觉语义探析

传统图案是我们的祖先经过不断的沉淀、延伸、衍变,形成的中国特有的吉祥图案,作为一种特殊的视觉语言符号,承载着各种形式的视觉语义。其中典型的语义形式有具象语义、抽象语义、意象语义。具体研究各种语义表达,对于我们从视觉语言角度解读传统图案符号语义,以至更好的把握中国传统文化精髓具有重要意义。     

时间语义加工中内隐空间图式的激活机制

本研究采用实验方法考察时间语义理解中内隐空间图式的激活,借此探讨感知运动经验在抽象语义加工中的作用.实验发现,时间语义加工会激活左右空间编码,引起注意力向时空隐喻映射一致的方向转移(左/早,右/晚).过去时间引起注意力向左转移,促进左侧目标的识别,未来时间引起注意力向右转移,促进左侧目标的识别.实验表明,时间语义加工会...     

谓词数据流图的功能性语义

SOZL (structured methodology object-oriented methodology Z language) is a language that attempts to integrate structured method, object-oriented method and formal method. The core of this language is predicate data flow diagram (PDFD). In order to eliminate the ambiguity of predicate data flow diagrams and their associated textual specifications, a formalization of the syntax and semantics of predicate data flow diagrams is necessary. In this paper we use Z notation to define an abstract syntax and the related structural constraints for the PDFD notation, and provide it with an axiomatic semantics based on the concept of data availability and functionality of predicate operation. Finally, an example is given to establish functionality consistent decomposition on hierarchical PDFD (HPDFD).     

执行LOTOS形式说明的编译器支持

LOTOS主要是用来描述复杂系统动态性的说明语言(形式描述语言),是可操作的。LOTOS在说明执行方面最突出的问题是把抽象实体映像成实际实体,抽象实体与实际实体都有效地作用于环境,并且允许环境影响说明特性。本篇文章描述了由LOTOS转向C或Ada代码的TOPO编译器。     

存在句（NP_1＋V着＋NP_2）中句尾NP_2语义关系的探析

存在句（NP1＋V着＋NP2）表示＂某处存在某人或某物＂,句尾的存在主体（NP2）在句法结构上常常是一些表示无定性的数量短语、专有名词①、光杆名词、名词性短语或少数抽象名词或短语,但是不能省略或不出现。以谓语动词（VP）为中心,探讨不同的谓语动词和存在主体之间不同的结构形式、语义关系以及语义特征。     

先秦通感修辞探析

先秦通感分为早期形态和完整形态。本文从认知语义角度抽象出通感的认知要素、语义框架,并列出其母体结构式。相对于母体结构式而言,先秦完整形态的通感变式居多。考察认为先秦对通感心理的认知经历了从幼稚到成熟的过程,而这种对感官联通正谬交叉的认知背景,在一定程度上可以解释通感的完整形态为何初现在文人作品中,并且与早期形态相比使用频率不高的原因。     

论习语语义形成过程中的隐喻理据--从"面部"说起

体验主义认为,语言源于人们的生活体验,语言中的词汇通过隐喻的影射作用,获得新的语义。从身体的基本部位之一———"面孔"入手,运用认知语言学理论,结合实证的研究方法,可以证明自然语言中的大部分习语和普通词汇一样,其抽象语义也是通过隐喻的影射作用而获得的;在不同语言的习语中,隐喻在很大程度上具有共性。     

句子定义的三个平面解读

以往给句子下定义,主要路径有逻辑的角度、意义的完整性、结构的独立性、句调。由此认识句子的本质特征,有很大局限。对句子的各种定义进行梳理,从句法、语义、语用三个平面进行分析,重点对句子的语用特征即表述性特征进行探讨,可以见出：表述性是句子的本质特征。表述性分为句子的表述和句子的局部表述,句子的表述依靠句调来表现,它表达的是语气;句子的局部表述依靠语气词、语气副词等来表现,它表达的是口气;具体的句子和抽象的句子都具有表述性,但表述性的特点并不相同。具体的句子的表述性是外显的,实现了和语境的联系。而抽象的句子的表述性是内隐的,尚未实现和语境的联系。     

自然变换函子的同调性质

研究了自然变换函子〈n〉的同调性质,得到函子〈n〉与F,G在忠实性和可加性之间的等价关系.     

论语义的形态缺省与涵义补偿

语义的内部意义特征及其相互关系以结构的静态形式勾勒了思维的抽象活动规律，并且以词法的符号特征和句法的线性模式制约了语言内部诸种意义的构建，从而决定了语义的缺省性质。但语言的个别使用方式和交际价值的实现则有赖于既定情境与意图等语外因素的作用。语义缺省的所指未定现象经话语层面整合得到语用补偿，形成对于意义的表达与理解机制。