1974年1月创刊(月刊)
主管/主办:重庆西南信息有限公司
ISSN 1002-137X
CN 50-1075/TP
CODEN JKIEBK
编辑中心
    第十三届全国软件与应用学术会议 栏目所有文章列表
    (按年度、期号倒序)
        一年内发表的文章 |  两年内 |  三年内 |  全部
    Please wait a minute...
    1. 一种基于邮件列表的软件问答信息抽取方法
    罗宇翔,邹艳珍,金庸,谢冰
    计算机科学    2015, 42 (12): 23-25.  
    摘要 (72)   PDF (597KB) (150)  
    开源项目通常会提供邮件列表来帮助用户更好地理解和使用开源项目。但由于邮件的数量巨大、邮件内容组织繁杂、问题不明确、答案定位困难等问题,用户在邮件查询过程中定位一个特定的软件问答信息要花费大量的时间和精力。为此,提出一种基于邮件列表的软件问答信息抽取方法。该方法通过对邮件的简单分类与标注,实现自动的问题句抽取和答案邮件选取,从而提升了用户进行邮件列表查询以及开源软件项目学习的效率。最后,通过实验验证了该方法的有效性。
    参考文献 | 相关文章 | 多维度评价
    2. 功耗感知的自适应粒子群优化虚拟机动态映射
    苏宇,高 阳,秦志光
    计算机科学    2015, 42 (12): 26-31.  
    摘要 (41)   PDF (513KB) (142)  
    功耗管理是云计算数据中心的重要问题之一。由于服务器在不同睡眠状态时的功耗及唤醒延迟不同,将空闲服务器节电状态与输入作业负载建立映射,设计并实现了一种新的元启发式调度器,利用适应粒子群优化(SAPSO)检测和跟踪云计算资源池中不断变化的最优目标服务器,考虑了资源动态、工作服务器不同负载时的功耗、空闲服务器不同休眠状态转换时的功耗,使得VM映射中功耗增量最小。仿真实验表明了所提方法的有效性和较好的性能,经比较分析可知,该方法在保证满足SLA的情况下最大限度地减少了功耗且提高了VM映射效率。
    参考文献 | 相关文章 | 多维度评价
    3. 一种面向浏览式购物行为模式的LBS购书移动应用
    何远舵,陈之昀,王亚沙
    计算机科学    2015, 42 (12): 32-35.  
    摘要 (54)   PDF (830KB) (161)  
    为了提升用户体验,目前涌现了一批辅助购物的移动应用。这些应用为用户补充商品的信息,适用于目标明确的购物行为模式。然而,在现实生活中,还普遍存在没有明确购物目标、将购物作为休闲方式的浏览式购物行为模式。现有应用对此模式支持不足。为此,以书店为应用场景,开发了一种基于室内定位技术的浏览式购物辅助移动应用。此应用后端从书店信息系统和互联网中收集包括书籍摆放位置的各类信息,然后利用关键词提取技术,建立基于位置的关键词库;前端则利用室内定位技术,根据购物者位置向其展示附近书籍概览信息,辅助购物者对附近商品快速认知。案例评估表明,此应用可以提升浏览式购物顾客的购物体验。
    参考文献 | 相关文章 | 多维度评价
    被引次数: Baidu(2)
    4. 基于3D动画的软件演化信息可视化
    于涵,王海,彭鑫,赵文耘
    计算机科学    2015, 42 (12): 36-39.  
    摘要 (87)   PDF (837KB) (137)  
    可视化是软件维护和演化研究的一个重要组成部分。一个交互式的3D可视化方案能够将软件演化过程更形象地展示给用户。将软件的演化历史比拟成一座城市的发展过程,用户可以自由地在城市中移动,在把握系统宏观变化趋势的同时,很好地掌控其细节的发展情况。在已有相关工作的基础上,利用unity3D实现了一个原型工具,基本实现了预期目标,能为软件管理者提供方便的可视化信息。
    参考文献 | 相关文章 | 多维度评价
    被引次数: Baidu(1)
    5. 一种面向Chrome浏览器的课堂云笔记插件
    乔子健,陈德健,孙艳春
    计算机科学    2015, 42 (12): 40-42.  
    摘要 (115)   PDF (842KB) (146)  
    在当今的教学中,课堂教学和互联网教学是两大主流。然而,无论是在课堂教学还是在互联网教学中,当前的学习辅助平台都存在着一个明显的不足:学生无法及时针对讲义细节在云端共享笔记或寻求帮助,没有形成便于学习和交流的知识分享机制。这不利于学生对讲义知识的深刻理解,也不利于形成优质的学习生态系统。针对这一不足,在分析现有教学平台和云笔记产品的基础上,设计了一个面向Chrome浏览器的云笔记插件的系统架构,并采用HTML5、Node.js等关键技术进行实现。该插件能够针对互联网讲义资源中的任意细节记录笔记、提出问题并云端共享,有助于学生在课上、课下对讲义资源中的细节的理解、讨论与最终掌握,加强现有学习辅助平台的功能。最后进行了相应的实例研究,证明了所提出的方案是可行有效的。
    参考文献 | 相关文章 | 多维度评价
    6. 开源软件开发者的演化研究
    李其锋,李 兵
    计算机科学    2015, 42 (12): 43-46.  
    摘要 (71)   PDF (573KB) (141)  
    开源软件的开发主要依靠开发人员的自我管理和志愿贡献。在软件开发过程中,开发人员的组成、分工、能力等会发生经常性的改变,这些改变都会通过交互行为的变化反映出来。已有研究成果表明开源软件存在核心团队,他们主导项目的开发与实施,但对开发团队随时间而发生的结构变化的研究较少。通过观测软件项目生命周期中开发者总体的变化情况,研究了开发者网络与软件的协同演化机理,以GNU/Linux公共数据集为例,讨论了开源软件开发者数量、自愿度、开发者经验与项目的协同演化现象,并给出了演化的合理解释。
    参考文献 | 相关文章 | 多维度评价
    被引次数: Baidu(3)
    7. 基于数据流分析的单链表可达性自动化验证
    冬雨辰,王寒非,赵建华
    计算机科学    2015, 42 (12): 47-51.  
    摘要 (56)   PDF (432KB) (157)  
    程序验证中的常见情景是判断某个用户指定的性质在程序执行之后或执行过程中的某个程序点上是否成立。人工的形式化验证过程繁琐且容易出错,因此形式化验证的自动化是提高代码验证效率的重要方法。数据流分析技术是一种能够自动发现程序中某类性质的技术。研究了将一种数据流分析技术(单链表形状分析)和基于Scope Logic的代码验证过程相结合的方法。通过数据流分析获得所有程序点上的单链表可达性性质,将结果表达为带有递归函数的一阶逻辑公式,并将其插入到相应程序点中。分析程序还根据Scope Logic的证明法则设定了这些公式之间的逻辑依赖关系。实例测试表明所提方法可以分析得到单链表可达性性质,并且分析结果能够被基于Scope Logic的代码形式化验证过程有效利用,提高了代码形式化证明的效率。
    参考文献 | 相关文章 | 多维度评价
    8. 面向普适计算环境的Android平台服务编排框架
    顾敬潇,彭鑫,赵文耘
    计算机科学    2015, 42 (12): 52-55.  
    摘要 (84)   PDF (439KB) (143)  
    普适计算环境下的智能移动设备是面向终端用户的服务资源聚集和编排的主要载体。普适计算环境中的服务资源具有多种不同的形态,包括基于互联网提供的Web服务、终端设备自身服务和资源(例如本地应用、自带传感器)以及所处环境中可访问的服务(例如环境传感器)。此外,不断变化的上下文环境对软件本身的自适应能力提出了新的要求,而移动设备上的服务编排受设备计算能力和资源的限制。为了解决上述问题,提出了一个面向普适计算环境的Android平台服务编排框架ASOF。通过ASOF,移动终端可在运行时获取所需业务流程的服务模板,并对该模板中的抽象服务进行服务绑定,实现轻量级的混合服务编排,使终端能够动态获得调用普适计算环境中各种类型的服务的能力。随后,基于OSGi Felix框架给出了一套ASOF的标准实现,并以一个具体案例验证其有效性。
    参考文献 | 相关文章 | 多维度评价
    9. 一种简历语义搜索系统的实现方法
    柯叶青,马志柔,伍海江,刘 杰
    计算机科学    2015, 42 (12): 56-59.  
    摘要 (99)   PDF (341KB) (204)  
    政府与企事业单位的人事部门通常面临着如何从大量简历中筛选出合适人选的问题。一些业务部门对人才的需求通常只能表达为标签,比如“具有丰富搜索引擎开发经验”、“985高校毕业”等,这些需求不能通过SQL查询或关键词搜索来实现。为了解决这个问题,提出一种基于语义网的简历搜索方法。通过领域知识库辅助信息提取的方法,对简历信息进行语义分析和标签的自动生成。此外,在大规模人员情况下,提出了多层次缓存的方法, 极大提高 了性能。将该方法应用于某 机构 一万人员简历的筛选,实验结果表明了其有效性。
    参考文献 | 相关文章 | 多维度评价
    被引次数: Baidu(2)
    10. 一种面向PaaS的实例级应用动态更新技术
    张婕,曹春,余东亮
    计算机科学    2015, 42 (12): 60-64.  
    摘要 (45)   PDF (401KB) (161)  
    云计算是当前信息技术的重要技术领域,而平台即服务(PaaS)已成为业界研究的热点之一。PaaS平台为用户提供高可用、高可扩展的应用开发、部署和运行环境。然而当部署到云端的应用需要不断更新以修复错误、增加功能时,当前主流PaaS平台却因缺乏对应用在线更新的有效支持而削弱了其自身的高可用特性。为解决该问题,提出一个面向PaaS平台的动态更新技术框架。基于现有软件动态更新技术的研究,通过对PaaS平台中应用的事务管理、动态依赖管理、版本管理等机制的扩展,为PaaS平台提供运行时实例级的应用动态更新支撑,并在Cloud Foundry上进行实现和实验,结果证明了该动态更新技术的有效性。
    参考文献 | 相关文章 | 多维度评价
    被引次数: Baidu(2)
    首页 | 前页| 后页 | 尾页 第1页 共4页 共36条记录