灰色-周期外延模型的动态关联规则元规则挖掘

提出了一种把灰色-周期外延模型应用到动态关联规则元规则挖掘中并提高元规则预测精度的方法。该方法首先对动态关联规则元规则支持度计数建立GM(1,1)模型;然后对建模时产生的残差序列建立周期外延模型并且提取最优周期;其次将周期外延模型作为GM(1,1)模型的残差补偿,把GM(1,1)模型以及周期外延模型得到的结果进行叠加得到最终的预测模型。最后通过实验证明了该方法有较高的预测精度。

《蒙太格语法的一些转换扩展》译介

蒙太格语法中有17条基本规则用来描述语言的基本构成,Partee对这些基本规则进行的扩充,极大地增加了蒙太格语法系统所包罗的语言现象,对蒙太格系统的充实和完善具有十分重要的意义。本文通过对Partee的《蒙太格语法的一些转换扩展》一文的译介和对蒙太格语法的新进发展的介绍,对蒙太格语法的基本内容、Partee的6条扩展规则和自然语言实例进行了阐述。

组合逻辑中的抽象运算Ⅱ

本文不以组合逻辑中具体的抽象运算为依据来研究λ－演算（λβ）与弱外延组合逻辑之间的定理等价，而是就一般的抽象运算讨论。还分别使用另外两个弱外延规则以代替（ξ＿ｃ）的角色，再研究相应的问题。

组合逻辑形式系统CLξ_w的外延性

考虑组合逻辑形式系统CLξw的外延性问题.由于在标准转换的意义下形式系统CLξw弱于形式系统λβ和λβη,因此采用三种方式对形式系统CLξw进行外延,前两种使之与形式系统λβ等价,后一种与形式系统λβη等价.作为推论,笔者亦证明了前两种外延系统是定理等价的.

明末《葡汉词典》译释体例考

据信编写于16世纪末叶的《葡汉词典》(Dicionrio Português-Chinês),是现存最早的欧汉双语词典稿本。本文从编撰背景、著者问题谈起,分析该词典的构架和体例,重点讨论葡语词目的扩展释义,揭示一批暗藏的译释体例。这类扩展释义和译释体例显示了西洋编者和中国译者怎样通过对比来辨析词义、判别词性,进而在葡汉词汇之间建立语义对应,体认各自语言的语法特征。