英汉第三人称代词句内后照应的探索

目前学界对英汉第三人称代词句内后照应问题各执一端,见仁见智.本文认为由于英汉第三人称代词的后照应受制于句法、句意、句用目的,该问题的考察需采用综合法.本文运用综合法具体分析英汉实例,得出英汉第三人称后照应的存在是肯定的并且发现综合法分析具有同中见异的优势.     

A-proper 算子的反演算子及其广义拓扑度计算

本文研究了A-proper算子的反演算子的A-proper性,并将孙经先(1989)给出的全连续反演算子的拓扑度计算公式推广到A-proper 反演算子,同时还给出了某些应用.     

带有次线性扰动的算子的不动点定理及应用

利用半序的方法研究方程A(x,x) Bx=x,其中A是具有某种凹凸性的混合单调算子,B为次线性算子,在非紧非连续的假设下得到的解存在唯一性,并且应用到非线性积分方程中.     

带有仿射扰动混合单调算子的不动点定理及应用

利用半序的方法研究了一类具有某种凹凸性的混合单调算子,在非紧非连续的假设下证明了不动点的唯一性,并且应用到非线性积分方程中.     

构造演算以及它在受囿算子系统中的公理化

首先简略介绍Coquand和Huet的构造演算以及Plotkin和孙踊的受囿算子系统。然后,将构造演算在受囿算子系统中进行公理化。此公理化无需无限级(数据)类型结构。原则上,可以在原构造演算的type空间之上引入kind空间。但是,不允许在kind上使用量词,也不允许引入y: kind。从技术上说,将忠实地把构造演算翻译进受囿算子系统中去。为了能对构造演算中的Π类型受予受囿算子系统中的类型,不得不引入新的=>算子。举例来说,构造演算中的Πx:M.N可用受囿算子系统中的Πy.u:t=>v来表达。其中,x对应于y, M对应于t,以及N对应于u。其结果是受囿算子系统具有足够的能力为构造演算提供一个等值逻辑演算环境。     

带有情感算子的Agent形式化系统研究

随着人工智能的发展,有关Agent理论和技术的研究应用引起了人们的高度关注和重视.纵观以往的Agent研究,主要集中在Agent的构造上.随着生物学和心理学的发展,把情感加入Agent中,越来越受到计算机研究者的关注.提出了带有情感算子的Agent形式化模型Em-BDI-VSK,它融合BDI逻辑和VSK逻辑并加入情感,并构建了该模型的语义框架和公理体系.     

带有转移条件的高阶微分算子的自共轭性

研究了具有转移条件的高阶微分算子的自共轭性问题,证明了具有耦合边界条件的高阶微分算子是自共轭的.     

语义蕴含上的兼容性及其在翻译中的语境照应

从逻辑推理、相关语境、语气关联、内涵感应等四个方面阐述了英语语义蕴含上的兼容性；同时举例说明提高译文质量的关键所在；进而指出把握译文质量的重要环节是正确处理语义蕴含上的兼容性     

带有p-Laplacian算子的奇异分数阶边值问题解的存在唯一性

本文依据混合单调算子理论以及相关算子方程的不动点结果,研究带有p-Laplacian算子的Caputo型奇异分数阶边值问题解的存在唯一性.     

"那"的指称和替代作用在情景中的形式化解释

针对情景对话内容中含有指示代词“那”的语句及与其直接相关的情景 ,首先分析“那”的语义及语用 ,给出逻辑形式 ,并运用情景理论 ,包括情景形成原则及相关公理和推论等 ,在其逻辑形式中加入上下文关系 ,然后根据焦点移动及情景锚定原则 ,分别对情景对话中的“那”的指称和替代作用进行了有效的解释     

试析一分为三的原"复指成分"

<中学教学语法系统提要>早已取消复指成分,并对原复指成分进行了更新处理一是列出复指短语,学界已有共识;二是提出不相连的复指,但如何进行结构分析,<提要>未加说明,新时期各种文本的现代汉语也几乎没有涉及,有的仍然坚持"特殊成分"说.对此,该文运用语言事实简要地进行了句法结构方面的归类分析,得出母语语法教学与研究中仍有重视分析"不相连的复指"这种句法结构之必要.     

“NP1的NP2＋V＋他（的）VP/AP/NP3”中“他”的句内回指

制约代词回指的因素有句法、语义、语用（篇）三个层次的内容。从语义-语句角度来研究回指问题,可以采用次范畴化的研究方法,将代词的中心语按[±独存]性标准分为领域与非领域两类,把主句动词按[±指向自身的领域][±指向他身的领域][±指向自身的非领域][±指向他身的非领域]四个标准分为内向动词、双向动词、外向动词三大类若干小类,这些次范畴在＂NP1的NP2＋V＋他（的）VP/AP/NP3＂格式中对＂他＂的句内回指具有制约作用。     

并发Lambek演算在时态查询中的语义转换

 为寻找时态逻辑的替代者,以公理化的方式对时态查询语言做句法和语义的分析,构建了并发的Lambek演算（L_CTQ）及其范畴语法用以作时态查询的句法分析。根据L_CTQ演算构造相应的L_CTQ标号自然演绎系统,从而提供句法演算到语义计算的转换方式,为时态查询语句的语义分析提供相关接口。     

指示与回指的语用区别

本文从语用的角度就指示和回指进行了对比，对这两个概念的区分提出了建设性的标准。指示的基本特征包括文外照应、自我中心以及带有话语者意图；而回指的基本特征是文内照应、没有语境中心和话语者意图。本文从语用的角度将是否舍有隐含意义作为区分指示和回指的一个标准。     

微红梢斑螟幼虫在两种松林中的空间分布格局研究

应用扩散型指数和回归分析方法对微红梢斑螟幼虫在湿地松和马尾松林中的空间分布进行了研究．聚集度指标说明微红梢空间分布型均属于聚集分布；回归分析说明其分布是负二项分布．个体间相互吸引，分布的基本成份为个体群，群体内分布是随机的．     

一种具有对称性的变精度粗集模型

为了能够从不完备决策表（IDT）中进行知识发现和数据挖掘，提出一种新的具有对称性的双重可变精度限制容差关系粗集模型（VPLTRsT）．在该模型中，设定一对可调的参数使其作用于由IDT衍生出的限制容差关系，从而形成上下近似集．文中还提出新的在该模型下的知识依赖以及依赖度的定义，并以此作为依据进行知识约简．结合实例，清晰详实地展示了双重精度下如何获得所有知识约简并最终获得决策规则的全过程，具有很好的效果．     

一种具有对称性的变精度粗集模型

为了能够从不完备决策表(IDT)中进行知识发现和数据挖掘,提出一种新的具有对称性的双重可变精度限制容差关系粗集模型(VPLTRST).在该模型中,设定一对可调的参数使其作用于由IDT衍生出的限制容差关系,从而形成上下近似集.文中还提出新的在该模型下的知识依赖以及依赖度的定义,并以此作为依据进行知识约简.结合实例,清晰详实地展示了双重精度下如何获得所有知识约简并最终获得决策规则的全过程,具有很好的效果.     

杭州方言复数人称代词表示单数含义现象

在杭州方言中有“我们老公、我们老婆”的特殊说法。将视野扩大，进一步发现杭州方言中存在大量复数人称代词表示单数含义的现象。此现象同样存在于吴语区其他方言中，在韩国语中也有类似的用法。     

带有有限资源的SIR模型的最优接种问题

当一种疾病侵袭带有免疫策略人群时,用带有感染年龄的SIR模型去描述这类疾病的传播更为准确.利用庞特里亚金极大值原理(PMP),研究了带有有限资源的SIR模型的最优接种控制问题,得到了最优策略的存在性条件.     

三角范畴中八面体公理的几个等价命题

三角范畴是一个带有自同构(称为平移)的加法范畴,并且满足4条公理,其中的一条重要公理是八面体公理.作者结合一个自同构T定义了quasi-pushout与pushout,证明了在三角范畴中其它三条公理满足之下,quasi-pushout或pushout与八面体公理等价.