国家自然科学基金(61103039)
- 作品数：13 被引量：40H指数：5
- 相关作者：苏锦钿余珊珊张蓉奚建清余文喆更多>>
- 相关机构：华南理工大学中山大学华东师范大学更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术更多>>
- 抽象数据类型的双代数结构及其计算被引量：10
- 2012年
- 程序语言中的许多抽象数据类型包含了可递归定义的语法构造和可共递归定义的动态行为特征,因此单纯利用代数或共代数难以给出完整的描述.双代数是同一载体集上的代数和共代数对,提供了一种从范畴论的角度探讨抽象数据类型上的语法构造和动态行为关系及性质的可行途径.给出抽象数据类型的双代数结构,并利用代数函子对共代数函子的分配律描述了语法构造与动态行为之间的自然转换关系;利用分配律对共代数和代数函子进行函子化提升,给出一种构造初始代数(或终结共代数)上的共代数(或代数)结构,并将其提升为初始(或终结)λ-双代数的方法.在此基础上,进一步将函子化提升应用于各种递归(包括迭代和原始递归)及共递归函数(包括共迭代和原始共递归)的定义及计算中,并给出相应的计算定律.
- 苏锦钿余珊珊
- 关键词：抽象数据类型代数共代数双代数递归
- 一种基于曝光量和点击率的用户组优化策略
- 2013年
- 行为定向技术在网络广告投放过程中起着非常重要的作用,其中最关键的就是对用户进行分组.好的用户分组策略能够产生高质量的用户组,对用户组内的用户投放广告能够有效提高点击量(曝光量×点击率).传统的用户分组策略评估方法重点考虑点击率(click-through rate,CTR)提高程度,忽略了曝光量(impression)的重要性.曝光量受到用户数量的影响,当用户组中的用户数量达不到一定值时,看到广告的用户数量很少,导致曝光量非常少,即使广告的CTR很高,点击量和广告转换量也会非常少,针对这样的用户组投放广告不会为广告主带来特别大的收益.针对曝光量小的用户组,提出一种用户组优化算法,可保证最终分组结果同时具备高的CTR提高程度和曝光量.在真实数据集上进行实验,结果表明经过优化之后的用户组在保证CTR的同时大幅度提高了曝光量和点击量.
- 郭心语何晓丰宫学庆张蓉周傲英
- 关键词：优化算法曝光量点击率点击量
- 下一代移动推荐系统被引量：6
- 2013年
- 推荐系统的目的是通过利用用户的评价信息,实现从过载的信息中识别出用户感兴趣的内容.移动环境下的空间数据复杂性较高,并且用户的上下文信息更加模糊,从而使得移动个性化推荐相比于传统领域面临更大的挑战.本文通过介绍传统推荐算法和移动环境下个性化推荐的特性,给出了移动推荐的挑战;在基于GPS信息的出租车线路推荐和旅游包推荐两个移动案例基础上,提出了移动序列推荐问题及基于约束的旅游推荐问题,并给出了相应的解决方案.
- 宋乐怡熊辉张蓉
- 关键词：推荐系统
- 电子商务中的商品推荐系统被引量：8
- 2013年
- 对于迅速崛起的各种电子商务网站来说,为了促进网站发展和增加经济效益,吸引新客户并留住老客户是一种有效的手段.设计和实现高效的商品推荐算法是各大网站最为关注的技术之一.在电子商务网站中常见的一种推荐方式是以广告的形式在边栏推荐商品.目前,商品推荐系统根据推荐算法分为基于内容、协同过滤和混合的推荐系统.然而,现有推荐算法在电子商务网站的实际应用中正面临挑战,包括推荐结果的多样化、个性化和智能化以及时效化.现有算法需要不断改进来解决这些问题,从而完善电子商务推荐系统.
- 余文喆张蓉王立
- 关键词：电子商务推荐系统个性化智能化
- 基于Fibrations理论的共享系统数据模型被引量：1
- 2017年
- 传统共享系统数据模型的建模方法在语义性质分析和语义行为描述方面存在不足,针对以上问题提出了一种基于Fibrations理论的共享系统数据模型。主要工作体现在两个方面:首先,应用真值函子、保持真值的提升与内涵函子并结合代数方法精确分析了语义性质,应用等式函子、保持等式的提升及商函子并结合共代数方法形式化描述了语义行为;其次,在Fibrations理论框架内构造复杂归纳与共归纳数据结构上参数化的递归与共递归操作,抽象描述具有普适意义的归纳与共归纳规则,结合实例简要介绍了Fibrations理论的应用。相对于范畴论等传统方法,简洁描述与灵活扩展的Fibrations理论对共享系统数据模型的语义性质和语义行为进行了精确分析与形式化描述,抽象描述了复杂数据结构具有普适性的归纳与共归纳规则。
- 苗德成奚建清戴经国
- 关键词：数据模型语义性质共享系统
- 支持通信数据查询分析的分布式计算系统被引量：1
- 2014年
- 本文详细介绍一种基于分布式内存的通信数据管理平台,可以有效支持针对通信数据的实时处理以及在线查询分析任务.首先,通过对分布式技术、内存技术进行分析,依据通信业务的特点进行技术选型;然后,基于高性能的分布式内存计算环境,设计、实现针对通信数据的实时处理与在线查询分析平台;最后,利用内存技术对平台实现方案进行技术优化.实验结果表明,基于内存的分布式计算系统在查询响应速度、实时数据处理效率、系统资源利用率以及数据吞吐量上较基于硬盘的系统较大的性能提升.
- 晁平复郑芷凌房俊华张蓉
- 关键词：分布式系统实时数据处理
- 一种带参数的Hylomorphisms及其计算律被引量：4
- 2013年
- 针对函数式程序语言中的一般hylomorphisms无法描述带参数的递归计算的问题,利用完全偏序范畴上的多项式函子分别给出带固定参数和累积参数的hylomorphisms——phylo射和ahylo射,证明了它们在固定参数和累积参数下都是唯一的,从而将Pardo对带参数的递归计算pfold和afold的研究扩展到hylomorphisms中,使得在hylomorphisms中可以直接包含额外的参数用于作为计算的输入或者保存临时的累积计算结果;从范畴论的角度分析了phylo射和ahylo射与其他各种递归及共递归之间的关系及其计算律,并利用函数程序语言Haskell给出相应的实现.
- 余珊珊李师贤苏锦钿
- 关键词：递归代数共代数
- 广义共迭代及其计算律被引量：3
- 2012年
- 针对函数式编程中的共归纳数据类型上的各种共递归操作缺乏统一描述的问题,利用Monads及其与共代数函子之间的分配律给出了共归纳数据类型上的一种广义共迭代定义——gunfold,证明了gunfold可以为共迭代、原始共递归和Course-of-Value共迭代提供一种统一和抽象的描述.在此基础上进一步从范畴论的角度分析了gunfold上的各种性质和计算律.
- 苏锦钿余珊珊
- 关键词：函数式编程MONADS范畴论
- 抽象数据类型的双代数结构被引量：5
- 2011年
- 对抽象数据类型的语法构造和动态行为的性质及两者的关系而言,单纯利用代数或共代数方法进行研究存在一定的不足.文中结合范畴论及分配律给出抽象数据类型的双代数结构,并通过λ-双代数自然地描述了语法构造与动态行为之间的转换关系;分别利用分配律对共代数函子及代数函子进行函子化提升,证明这种函子化提升可以将初始代数(或终结共代数)提升为初始(或终结)λ-双代数,并将其应用于递归及共递归函数的定义及计算中.实例表明,这种函子化提升可以扩展代数中的归纳原理和共代数中的共归纳原理,从而提高程序语言对抽象数据类型的描述与性质证明能力.
- 苏锦钿余珊珊
- 具有隐私保护的车联网边缘计算任务卸载资源分配策略被引量：7
- 2023年
- 针对车联网任务卸载的资源最优化问题,以无线供能移动边缘计算(WP-MEC)系统为基础,提出一种关于计算时间分配、能耗、本地计算能力和任务卸载的联合优化方案。在该系统中,将“收集然后传输”协议应用于车辆的能量采集和消耗阶段,确保车辆可以持续工作。为求解该最优化问题,提出一种基于模拟退火算法的系统能量效率最大化算法。实验结果表明,所提策略的平均电池电量比全卸载模式、仅本地计算模式提高了40%以上,有效降低了系统时延,验证了所提策略的有效性和高效性。
- 王艳阁奚建清
- 关键词：车联网资源分配模拟退火算法隐私保护
