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