共归纳数据类型上的共递归操作及其计算定律

范畴论框架下的共归纳数据类型可以看成是某个共代数函子下的终结共代数中的载体,针对该特点,结合范畴论给出程序语言中共归纳数据类型的共代数描述,并根据终结共代数的终结性给出相应的共递归操作的定义及其共代数计算定律;同时,利用双函子及类型函子对参数化共归纳数据类型进行抽象描述,并结合自然转换给出类型函子上的单元和融合等计算定...     

强共归纳数据类型上的Comonadic共递归

针对共归纳数据类型上的unfold无法描述带参数的共递归计算的问题,首先证明了笛卡尔封闭范畴上的终结共代数是强终结的,并给出强共归纳数据类型的范畴论定义及其上一种带固定参数的共递归——punfold,使得共归纳数据类型上的共递归计算可以包含额外的参数作为计算的输入;然后利用基于Comonads的Comonadic共递归给出了unfold和punfold的一种统一的描述,并进一步分析了punfold上的各种计算律,从而将Pardo对基于Comonads的带参数的递归计算研究扩展到共归纳数据类型.     

抽象数据类型的双代数结构

对抽象数据类型的语法构造和动态行为的性质及两者的关系而言,单纯利用代数或共代数方法进行研究存在一定的不足.文中结合范畴论及分配律给出抽象数据类型的双代数结构,并通过λ-双代数自然地描述了语法构造与动态行为之间的转换关系；分别利用分配律对共代数函子及代数函子进行函子化提升,证明这种函子化提升可以将初始代数(或终结共代数)...     

文物胶料鱼鳔胶的红外光谱、拉曼光谱及氨基酸分析

目的 分析鉴定彩绘文物常用胶料--鱼鳔胶.方法 使用红外光谱法、拉曼光谱法及氨基酸分析法采集鱼鳔胶的红外吸收光谱、拉曼光谱及氨基酸组成比.结果 鱼鳔胶的氨基酸组成中蛋氨酸、异亮氨酸、亮氨酸及丝氨酸含量较陆生哺乳动物胶高,而羟脯氨酸含量较低;鱼鳔胶的特征红外光谱吸收峰分别位于3 294 cm-1,1 630 cm-1,1 547 cm-1及1 078 cm-1处,其中1 078 cm-1处是区别鱼鳔胶与陆生哺乳动物胶的特征峰;拉曼光谱特征峰分别位于856 cm-1,920 cm-1,976cm-1,1 003 cm-1,1 033 cm-1,1 245 cm-1,1 452 cm-1和1 668 cm-1处,具备一般胶原蛋白的所有特征.结论 通过红外光谱、拉曼光谱及氨基酸分析可以实现对鱼鳔胶的有效鉴别,为彩绘文物中胶料的分析鉴定奠定了基础.     

基于多模型集成的语义文本相似性判断

作为目前自然语言处理及人工智能领域的主流方法,各种预训练语言模型由于在语言建模、特征表示、模型结构、训练目标及训练语料等方面存在差异,导致它们在下游任务中的表现各有优劣。为了更好地融合不同预训练语言模型中的知识及在下游任务中的学习能力,结合语义文本相似性判断任务的特点,提出一种多模型集成方法MME-STS,给出相应的模型总体架构及相应的特征表示,并针对多模型的集成问题分别提出基于平均值、基于全连接层训练和基于Adaboost算法的3种不同集成策略,同时在两个常用的经典基准数据集上验证该方法的有效性。实验结果表明,MME-STS在国际语义评测SemEval 2014任务4的SICK和SemEval 2017 STS-B数据集上的Pearson共关系值和Spearman相关系数值均超过单个预训练语言模型方法。     

我国高校图书馆网站导航调查——以10所高校图书馆网站为调查对象

简要介绍了网站导航的分类及作用,对国内10所著名大学图书馆网站的导航设计情况进行了在线调查,并对调查结果进行了比较,在此基础上对高校图书馆网站导航建设提出了一些建议。     

带固定参数的Monadic递归

针对归纳数据类型上的递归操作可能包含固定参数且产生计算副作用的问题,结合函数式程序语言中的monads及范畴论中的伴随关系给出monadic强归纳数据类型的定义及monadic强初始性的证明;在此基础上,进一步提出一种带固定参数且产生计算副作用的递归操作的定义,证明了它比一般的递归具有更好的抽象性和封装性,同时分析了相应的范畴论性质和计算律.     

略论我国民办高校办学权力的管制与矫正

我国民办高校办学受到政府的严格管制 ,其招生权、学历授予权、定价权和课程专业设置权均被不同程度地分割控制 ,从而限制了民办高校的竞争优势和发展速度。因此 ,政府应适当扩大民办高校的办学自主权 ,减少对办学活动的直接干预 ,以提升民办高校的办学效率     

略论我国民办高校办学权力的管制与矫正

我国民办高校办学受到政府的严格管制，其招生权、学历授予权、定价权和课程专业设置权均被不同程度地分割控制，从而限制了民办高校的竞争优势和发展速度。因此，政府应适当扩大民办高校的办学自主权，减少对办学活动的直接干预，以提升民办高校的办学效率。