余珊珊
- 作品数：22 被引量：72H指数：5
- 供职机构：广东药科大学更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术文化科学建筑科学电子电信更多>>
- 共归纳数据类型上的共递归操作及其计算定律被引量：7
- 2011年
- 范畴论框架下的共归纳数据类型可以看成是某个共代数函子下的终结共代数中的载体,针对该特点,结合范畴论给出程序语言中共归纳数据类型的共代数描述,并根据终结共代数的终结性给出相应的共递归操作的定义及其共代数计算定律;同时,利用双函子及类型函子对参数化共归纳数据类型进行抽象描述,并结合自然转换给出类型函子上的单元和融合等计算定律,证明这些计算定律可用于简化共递归数据类型上的计算,从而提高程序语言对数据类型的动态行为描述能力.
- 苏锦钿余珊珊
- 关键词：范畴论
- 广义共迭代及其计算律被引量：3
- 2012年
- 针对函数式编程中的共归纳数据类型上的各种共递归操作缺乏统一描述的问题,利用Monads及其与共代数函子之间的分配律给出了共归纳数据类型上的一种广义共迭代定义——gunfold,证明了gunfold可以为共迭代、原始共递归和Course-of-Value共迭代提供一种统一和抽象的描述.在此基础上进一步从范畴论的角度分析了gunfold上的各种性质和计算律.
- 苏锦钿余珊珊
- 关键词：函数式编程MONADS范畴论
- 强共归纳数据类型上的Comonadic共递归被引量：2
- 2014年
- 针对共归纳数据类型上的unfold无法描述带参数的共递归计算的问题,首先证明了笛卡尔封闭范畴上的终结共代数是强终结的,并给出强共归纳数据类型的范畴论定义及其上一种带固定参数的共递归——punfold,使得共归纳数据类型上的共递归计算可以包含额外的参数作为计算的输入;然后利用基于Comonads的Comonadic共递归给出了unfold和punfold的一种统一的描述,并进一步分析了punfold上的各种计算律,从而将Pardo对基于Comonads的带参数的递归计算研究扩展到共归纳数据类型.
- 苏锦钿余珊珊
- 带固定参数的Monadic递归被引量：1
- 2014年
- 针对归纳数据类型上的递归操作可能包含固定参数且产生计算副作用的问题,结合函数式程序语言中的monads及范畴论中的伴随关系给出monadic强归纳数据类型的定义及monadic强初始性的证明;在此基础上,进一步提出一种带固定参数且产生计算副作用的递归操作的定义,证明了它比一般的递归具有更好的抽象性和封装性,同时分析了相应的范畴论性质和计算律.
- 苏锦钿余珊珊
- 关键词：递归MONAD范畴论程序语言
- 抽象数据类型的双代数结构及其计算被引量：10
- 2012年
- 程序语言中的许多抽象数据类型包含了可递归定义的语法构造和可共递归定义的动态行为特征,因此单纯利用代数或共代数难以给出完整的描述.双代数是同一载体集上的代数和共代数对,提供了一种从范畴论的角度探讨抽象数据类型上的语法构造和动态行为关系及性质的可行途径.给出抽象数据类型的双代数结构,并利用代数函子对共代数函子的分配律描述了语法构造与动态行为之间的自然转换关系;利用分配律对共代数和代数函子进行函子化提升,给出一种构造初始代数(或终结共代数)上的共代数(或代数)结构,并将其提升为初始(或终结)λ-双代数的方法.在此基础上,进一步将函子化提升应用于各种递归(包括迭代和原始递归)及共递归函数(包括共迭代和原始共递归)的定义及计算中,并给出相应的计算定律.
- 苏锦钿余珊珊
- 关键词：抽象数据类型代数共代数双代数递归
- 一种基于算法的文本摘要自动提取方法与系统
- 本发明公开了一种基于算法的文本摘要自动提取方法，涉及文本提取的技术领域，包含有以下步骤：S1、对文本进行预处理；S2、对文本进行特征提取；S3、采用现有的相似度计算方法对句子间的相似度进行计算，计算过程中进行加权处理；S...
- 余珊珊苏锦钿连俊玮
- 论高校计算机专业开展函数式程序语言教学的必要性
- 针对命令式程序语言在计算机科学研究及数学思维能力培养等方面存在的不足,提出将函数式程序语言作为高校计算机专业本科生的程序教学语言,分析函数式程序语言与命令式程序语言间的区别并以Haskell为例介绍函数式程序语言的一些典...
- 余珊珊易法令苏锦钿
- 关键词：计算机专业教学理论
- 文献传递
- 基于LoadRunner的软件性能测试研究被引量：11
- 2007年
- 随着软件测试地位的逐步提高,测试的重要性逐步显现,测试工具的应用已经成为了普遍的趋势。LoadRunner是一种预测系统行为和性能的负载测试工具,它通过模拟成千上万用户实施并发负载及实时性能监测的方式来确认和查找问题。
- 徐彧余珊珊辛小霞
- 关键词：脚本
- 带参数的共递归操作及其计算律被引量：3
- 2013年
- 针对共归纳数据类型上的unfold无法描述带参数的共递归操作的问题,证明了笛卡儿封闭范畴上的有限扩展多项式函子的终结共代数在固定参数和累积参数下都是强终结的,并利用该强终结性给出强共归纳数据类型的定义以及带固定参数和累积参数的共递归操作——punfold和aunfold,从而将Pardo对强归纳数据类型及带参数的递归计算pfold和afold的研究扩展到共归纳数据类型上,使得unfold可直接包含额外的参数用于作为计算的输入或者保存临时的计算结果,避免采用高阶函数的方式.从范畴论的角度给出punfold和aunfold的各种性质、计算律及在函数式程序语言Haskell中的实现,并指出它们在程序推导、转换和优化中的应用.
- 苏锦钿余珊珊
- 关键词：范畴论
- 统一声誉量化方法的研究
- 2008年
- 针对当前声誉模型中各种量化方法的多样性和异构性问题,提出基于主观逻辑的统一声誉量化方法URMetric,用于解决不同量化方法约束下声誉信息的孤立问题。并以目前一些声誉模型为例,说明如何通过映射函数将其中的声誉投影到URMetric上,以屏蔽各种不同量化方法之间的差异,为使用者提供了统一声誉量化方法。
- 余珊珊苏锦钿辛小霞
- 关键词：主观逻辑
