类型系统λω×≤的范畴论模型

类型系统一直是理论计算机科学的研究热点 ,特别是带高阶子类型的多态类型系统的研究在探讨面向对象技术形式化理论基础中起着重要作用 .不过至今为止人们还没有得到高阶子类型满意的语义模型 .λω× ≤fibration的基范畴是特殊的带序范畴 ,且有插入子 ,其 fibre范畴是带转换结构的笛卡儿封闭范畴 .λω× ≤

关系数据库中关系代数范畴模型的讨论

为了解决关系表的多重选择和投影运算的优化问题,运用范畴理论构建了关系数据库的范畴模型,并对其性质进行了讨论.以该范畴模型为基础,探讨了关系数据库中关系代数等价变换规则中的选择运算和投影运算的串接定律,并对其功能进行了扩充.

奇点模型范畴的Quillen等价

令R是左Gorenstein环.我们构造了奇点反导出模型范畴和奇点余导出模型范畴(见文[Models for singularity categories,Adv Math.,2014,254:187-232])之间的Quillen等价.作为应用,给出了投射,内射模的正合复形的同伦范畴之间的一个具体的等价■.

语言范畴模型视域下川黔方言中的贬损话语分析

Semin和Fiedler从语言和社会认知互动的视角,提出了语言范畴模型,他们在该模型中把人际交往中使用的动词和形容词分为语义抽象程度不同的5种类型,即描述性动作动词(DAV),阐释性动作动词(IAV),状态动作动词(SAV),状态动词(SV)和形容词(ADJ)。本文以此为框架,分析川黔方言中的贬损语的特征,发现川黔方言中的贬损话语除了采用抽象意义较高的形容词来凸显人的负面属性之外,还大量使用表示事物名称的名词来喻指某人在能力、品性或修养方面的缺失或弱点,此外,少量动词也被用来对人进行贬损性评价,虽然其抽象程度的确大大低于名词和形容词。

隐喻理解,概念隐喻理论还是范畴包容模型?

Lakoff和Johnson(1980)提出的概念隐喻理论认为,概念域之间的映射是概念系统的一个固定部分。人们用具体的概念去理解抽象的概念。以此为基础的概念隐喻理解模型认为,长时记忆中的概念隐喻对隐喻理解起重要作用。Glucksberg与Keysar(1990)提出的范畴包容模型认为,XisaY形式的隐喻是直接被理解为范畴包容性断言,本体X被归于一个以喻体Y为典型成员的临时范畴。文章通过分析两个模型的实验证据,提出概念隐喻理论是一个隐喻解释模型,能很好地解释隐喻的系统性,而范畴包容模型是一个隐喻理解模型,反映了隐喻理解的过程。

隐喻理解,概念隐喻理论还是范畴包容模型?

Lakoff和Johnson(1980)提出的概念隐喻理论认为,概念域之间的映射是概念系统的一个固定部分。人们用具体的概念去理解抽象的概念。以此为基础的概念隐喻理解模型认为,长时记忆中的概念隐喻对隐喻理解起重要作用。Glucksberg和Keysar(1990)提出的范畴包容模型认为,X is a Y形式的隐喻是直接被理解为范畴包容性断言,本体X被归于一个以喻体Y为典型成员的临时范畴。本文通过分析两个模型的实验证据提出,概念隐喻理论是一个隐喻解释模型,能很好地解释隐喻的系统性,而范畴包容模型是一个隐喻理解模型,反映了隐喻理解的过程。

基于范畴论的知识单元组织与检索研究

随着数据和信息的日益增长,找到恰当的知识已成为真正的挑战和急待解决的任务。知识检索系统被看成是实现这一目标的下一代检索系统。然而如何构造知识的基本单元则是实现知识检索的关键问题,这一问题一直困扰着人们从数据检索、信息检索向知识检索的跨越。从知识的表示和用户需求来看,知识的基本单元是一个具有上下文的知识范畴。本文利用范畴论研究了知识对象的描述、用户认知的模型、语义映射原理,探讨了知识单元的内容结构和知识单元的物理结构及其映射关系。提出了范畴知识单元的信息模型。试图证明该模型的理论意义和应用前景。

并行计算中的CDT模型

并行模型机的构造是并行计算研究中极为重要的部分,一个理想的并行模型机应该能够反映并行计算中的重要环节同时又能最大限度的减少并行计算中繁杂的具体细节的分析.在对目前较为流行的一些并行模型机进行简单分析的基础上,对以范畴理论为基础的并行机模型、范畴数据类型(CDT)的研究方法、现状及存在的问题进行了较为深入的研究和探讨.

“奖励/惩罚”的词类标注问题及对策——一项基于双层词类范畴化理论的研究

"奖励/惩罚"的词类标注在汉语/汉英权威词典中存在矛盾之处,且释义并未体现对称性原则。鉴于此,本文在"双层词类范畴化理论模型"的指导下,基于国家语委现代汉语语料库,对"奖励/惩罚"的词类标注进行探讨,并对汉英词类对译做出分析。以期判断出"奖励/惩罚"在社群语言系统层面的规约化用法,指明其词类属性,并对汉语/汉英词典的编撰提出合理的建议。

汉英词典中“承诺”的词类标注问题——基于双层词类范畴化理论的研究

目前,各汉英词典和语文词典对"承诺"一词的词类标注存在分歧。文章基于王仁强提出的双层词类范畴化理论模型,通过对语料库的使用模式的调查,对该词重新进行词类标注,发现该词属于动名兼类词。通过探讨"承诺"一词的词类归属,以期对汉英词典的编纂提供合理的建议。

韵律语体与句法语义综合视角下的形式动词范畴

在形式动词的研究中存在两个需要回答的问题:一是形式动词范畴内部成员的数量;二是影响形式动词特殊性的各因素之间有着怎样的关系。通过考察“进行”“作”和“推进”在语料库中的共时构式分布和历时演变,可以发现,形式动词的句法特殊性是韵律语体与句法语义共同作用的结果,多种因素之间的关系是水乳交融,互为因果。

语言的群体间偏差研究

本文概述了语言的群体间偏差现象,这一现象的表现为:个体在描述正向或负向行为时,会由于描述对象是否与自己属于同一群体而在描述语言抽象性上存在差异。通过使用固定和自由反应研究范式,用实验方法进行研究,结果验证了这一现象在汉语背景下的存在。通过讨论这一偏差现象在刻板印象的维持与传播中的作用,及其在测量偏见上的应用,指出语言的群体间偏差现象在社会心理学研究中的重要价值。

ODSS中分布协调建模问题的知识级分析

针对ＯＤＳＳ在模型系统方面的需求，采用模型的知识视图分析模型综合中的知识关联，将其语义空间描述为一个机构。

论知识的本质和知识创造

本文界定了物质和信息的哲学范畴,提出物质是质和能的统一体;信息是非物质的客观存在,信息划分物像、构像和映像等三种类型。在信息的哲学范畴基础上,本文阐述了知识的信息本质(寓意编码信息),划分知识为物性知识、人工知识和理性知识等三大类别,提出了物性知识创造的OT^2EC^2模型和人工知识创造的TC模型;辨析知识创造和知识创新的本质差异,并在OT^2EC^2模型基础上阐述了智慧教育的模式。基于知识的编码信息的本质,本文提出在专业领域激活汉字造字机制,建议引用外来语造字可采用多韵母读音。

隐喻否定形式的理解——兼评《谈Lakoff和Johnson隐喻理论的两个问题》

隐喻的否定形式的理解是隐喻中一个棘手的问题。高原在《谈Lakoff和Johnson隐喻理论的两个问题》一文中以Lakoff和Johnson隐喻理论在解释隐喻否定形式时陷入困境,作为一个重要理由质疑莱氏隐喻理论。分析文章在该部分的论述存在不当之处,指出"两步加工"的观点没有实证基础,由此对这一问题的研究起到抛砖引玉的作用。

语言的群体间偏差研究

个体在用语言来描述他人的行为时,会因为描述对象的群体种类不同而有偏差,具体表现为在描述群体内成员的积极行为和群体外成员的负向行为时,会使用较高抽象水平的词;在描述群体外成员的积极行为和群体内成员的负向行为时,会使用较低抽象水平的词。这种抽象水平的差异由语言范畴模型来具体表明。Maass等人把这种描述上的偏差命名为语言的群体间偏差,并认为在这一现象下有两种机制:动机机制和认知机制,研究表明认知机制能解释大部分语言的群体间偏差现象,而动机机制会在群体内形象受到威胁时发挥作用。

汉英词典中“翻译”一词的自指义项设立研究——一项基于语料库的个案

现有的几部主要汉英词典对"翻译"一词的自指义项的标注情况各不相同,并出现配例与所标注词类相悖的情况。以王仁强提出的"双层词类范畴化模型"为理论基础,并以国家语委语料库为依托,对"翻译"一词自指义项的设立问题进行了研究。研究发现,"翻译"一词的自指用法已经不再局限于言语层面上的活用,而是已经发生规约化,并进入社群语言系统。因此,其自指义项应当单独设立,从而使其释义和词类标注更加全面,也有助于词典编纂中的词类标注。

英汉互译中词汇转喻的通达研究

回顾转喻和转喻认知机制,简要分析常规化词汇转喻和基于偶然性形成的非常规化词汇转喻,提出非常规转喻情形下词汇实现语义通达机制之一是替换翻译。通过分析典型语料,探讨认知转喻理论视角下词汇替换翻译不同表现形式,包括上义词与下义词相互转指、局部与整体相互转指、局部之间相互转指等,认为译者和英语学习者在进行翻译或外语学习时,应在大脑中建构认知转喻模型,运用替换翻译方法,以减少词汇转喻理解障碍。

三种隐喻加工模型的比较——兼论隐喻加工的认知层次

自20世纪80年代以来,对隐喻加工机制的探索产生了三种影响较大的理论模型:范畴涵括论、结构映射论和概念隐喻理论。本文首先简要介绍这三种模型,然后结合汉语文学作品中的隐喻句分析三者的解释力。研究表明,大脑中不仅存在对事物本身属性的认识,还包括事物间相互关系的认识,同时大脑还具备对事物进行深层次抽象概括的能力。范畴涵括论适合于解释有关事物本身属性的比喻,结构映射论则适合于解释事物关系的隐喻,而概念隐喻则是在更深认知层面对隐喻现象的描述。此外,随着隐喻规约化程度的加深,其加工方式也会更多地从结构映射转化为范畴涵括的方式。三者是互补而不是矛盾的关系。

形变理论综述(二):同伦方法

本文从Hinich,Manetti和Pridham在同伦代数上的结果出发,给出形变理论的一个通用方法.特别地,我们证明所有特征为0的形变函子被一个同伦意义下特定的分次李代数控制,同时对任意特征的形变函子给出了非交换的类似结果.