计算机科学杂志社
分享到:
《计算机科学》杂志在全国影响力巨大,创刊于1974年,公开发行的月刊杂志。创刊以来,办刊质量和水平不断提高,主要栏目设置有:网络与通信、信息安全、软件与数据库技术、人工智能、图形图像与模式识别等。
  • 主管单位:国家科学技术部
  • 主办单位:国家科技部西南信息中心
  • 国际刊号:1002-137X
  • 国内刊号:50-1075/TP
  • 出版地方:重庆
  • 邮发代号:78-68
  • 创刊时间:1974
  • 发行周期:月刊
  • 期刊开本:A4
  • 复合影响因子:0.94
  • 综合影响因子:0.687
相关期刊
服务介绍

计算机科学 2014年第11期杂志 文档列表

计算机科学杂志2013’全国软件与应用学术会议

基于日志挖掘的移动应用用户访问模型建模技术研究

摘要:提出了一种基于监控日志挖掘的移动应用用户访问模型自动构造方法,该方法包括监控代码注入和界面访问模型构造两部分。首先,提出了一种监控代码自动注入方法,即通过对移动应用代码的静态分析,自动地在相应位置插入监控代码以支持在运行时动态地监控用户的访问行为。其次,提出了一种基于状态机的移动应用用户访问模型构造方法。访问模型中状态机的节点和节点间跳转上的附加属性描述了UI界面之间的跳转行为和界面内控件的使用情况。对移动应用进行的实验表明,这种基于监控日志挖掘的移动应用用户访问模型自动构造方法能够成功地自动注入移动应用的监控代码,并能够有效获得移动应用用户界面访问行为。
25-30

Smart SEP:基于Web图形操作记录与回放的在线同步教学平台

摘要:在Web2.0和云计算的影响下,基于浏览器的在线教学平台发展迅速,在远程教学、课堂教学和协作学习等领域都产生了重大影响。然而,当前的教学平台很少关注基于Web图形的同步教学,它对于教学内容形成过程的展示、师生互动等十分有意义。在分析当前在线教学的3类主要应用背景的基础上,提出了一种基于Web图形操作记录与回放的在线同步教学方法。该方法一方面通过对演示者的操作进行高保真的记录、实时同步到各个观看者的终端并对操作进行自适应的回放,来实现基本的同步教学;另一方面通过交互式的同步控制来保证正常参与者和迟到者都能可靠地、有序地参与到在线教学中。在此基础上,实现了在线同步教学平台Smart SEP(Smart Synchronized Education Platform)并进行了详尽的实例研究,证明了所提方法具有可行性,实现了同步的、动态的、交互的教学过程。
31-35

一种基于调用链分析的特征定位方法

摘要:为了完成各种软件维护任务,如纠正错误、改进原有功能、添加新功能,开发人员经常需要确定需求特征与代码的对应关系。这种确定源代码中与给定需求特征相关的程序元素的过程称为特征定位。现有的特征定位方法主要根据用户提出的需求,在源代码中搜索相关的代码元素推荐给用户。然而这些零散的元素之间不具备任何关联,用户仍然需要人工地挖掘元素间的关系,来了解代码元素是如何相互配合、实现特定功能的。而通过与数据传递相关的方法调用链可以改进特征定位的实践方法。该方法能分析源代码,获取到所有的与数据传递相关的方法调用链,然后将根据用户提供的相关需求的关键字找到相关的调用链,推荐给用户。这种调用链不再是零散的代码元素,它能够反映出特定功能实现的流程,也能够更好地帮助用户理解程序。基于该方法实现的Eclipse插件工具已经在JEdit项目上进行了测试。结果显示该工具给出的推荐结果平均查准率可达55%。
36-39

基于搜索的上下文一致性错误处理

摘要:近年来,随着智能设备的普及和传感技术的发展,上下文感知程序的应用越来越广泛。但是由于环境噪声难以预测和控制,程序所获得的上下文经常存在一致性错误。处理这类错误的方法很多,但大都忽视了两方面的问题:1)不同一致性约束之间存在相互干扰;2)处理这类错误的操作本身可能对程序的正常运行造成负面影响。以处理这两方面的问题为目标,提出了一种新的基于搜索的上下文一致性错误处理方法,亦即既设计出一个搜索空间来查找避免约束间相互干扰和对程序产生负面影响的解,又采用了一种增量式评估方案来加速搜索的效率。经实验评估,新方法能够在很短的时间内达到非常接近最优解的效果。
40-45

基于用户会话的Web应用性能测试方法的研究

摘要:近年来,Web应用成为互联网时代基础设施中最重要的组成部分。随着互联网技术的不断进步以及使用用户数量的不断增长,Web应用也越发变得复杂。为了保证Web应用性能测试的有效性和真实性,提出一种利用服务器日志中的用户会话信息、结合经过序列匹配算法改进的层次凝聚算法来自动产生Web应用性能测试脚本的方法。提出的方法通过从服务器日志中提取出用户会话信息,分析用户真实的访问模式,通过聚类算法将同类型的用户访问模式进行聚集,自动产生相应的测试请求序列,生成测试集。相比于传统的基于录制/回访的测试方法,基于用户会话的性能测试方法通过对用户会话进行聚类分析,还原实际的用户访问模式,减少了设计测试用例时的人工参与,保证了测试结果的有效性和真实性。
46-49

一种基于结构查询的UML设计模式识别方法

摘要:随着模型驱动技术的逐渐成熟和广泛应用,大量反映程序结构、行为以及性质的模型产生于软件的开发过程中,并成为软件文档的重要部分保存下来。其中,尤以UML模型的应用最为广泛,也因此形成了通过理解UML模型来理解大规模、高复杂性软件系统的研究思路。对UML模型理解的一个难点是如何有效地从大量复杂的模型中,快速查找并定位具有一定结构特征的模型片段。幸运的是,设计模式的普遍应用为我们快速、高效地理解和定位模型提供了一条重要的线索。然而,随着技术的发展,设计模式数量在不断增长,其自身在应用中的结构也在微妙变化,这些都给相应查询和识别工具的开发带来一定的困难。文中从查询和匹配UML模型中特定结构的角度入手,利用UML自身特点设计相应查询算法,通过分析和理解设计模式的结构特征,从UML模型中查询相应的设计模式,以达到灵活和高效地理解软件系统的目的。
50-55

基于EPMM的软件过程行为偏离诊断研究

摘要:近年来,随着对PSEE认识的深入,人们逐渐发现实际观察到的过程执行往往和实施的过程模型之间存在一定的偏离(deviation),从而导致PSEE对于实际软件开发活动失去了指导意义。针对软件过程偏离问题,以软件演化过程元模型(EPMM)为基础,在软件过程偏离发现方面,借鉴进程代数的弱互模拟思想,提出过程行为空间表达式,用以构造软件过程的行为空间来检测过程偏离;在软件过程偏离处理方面,提出过程偏离类型的划分及偏离处理策略。这种方法能够发现软件过程实施中普遍存在的过程偏离问题并加以处理来改进软件过程,最终提高软件产品质量。
56-62

一个移动应用个性化集成框架的研究及其在Android平台的实现

摘要:随着互联网和智能手机的日益普及,移动应用数量呈现爆炸式增长,海量的移动应用既是机遇也是挑战。从开发者角度看,基于大量的已有移动应用快捷构造新的移动应用成为了可能,但当前大部分的开发工具对移动应用集成的支持仅停留在应用编程接口和底层运行机制上,尚未出现更高层次的面向执行流程的集成支持;从用户角度看,从众多移动应用中选择符合自己个性化需求的应用成为了可能,但目前大量的移动应用推荐系统集中在单个应用的个性化推荐问题上,未见面向用户个性化需求的移动应用执行序列推荐方法。为此,提出一个移动应用个性化集成框架,主要包括:1)定义了一套意图流程描述执行语言,以便开发者从更为自然的执行流程角度完成新移动应用的构造;2)给出了一个移动应用序列偏好度预测算法,用于解决移动应用执行序列的个性化推荐问题。在当前典型的移动应用平台Android上,实现了相应的移动应用个性化集成开发工具和运行支撑机制,并通过实例初步验证了上述方法的合理性。
63-68

一种基于社交网络服务的mashup连接子的设计与实现

摘要:在Web 2.0时代,富客户端应用越来越流行。混搭(mashup)可以将两种或两种以上的互联网资源整合成具有良好用户体验的新型应用。利用mashup现有技术,可以实现同一个富客户端上不同富客户端应用之间的信息传递。不过,mashup对于不同富客户端间的富客户端应用的信息传递仍然无能为力,因此一般情况下,用户无法获得他人经验或集体智慧的帮助而更好地使用富客户端应用。而另一方面,社交网络服务SNS(Social Network Service)拥有及时性、交互性、广泛性和富含集体智慧的特点。文中基于SNS的这一系列特性,提出了一种基于社交网络服务的mashup连接子(connector)的设计方案,使得用户可以利用社交网络好友的经验和集体智慧,更为充分地使用富客户端应用,同时也解决了不同富客户端上的应用之间的信息传递问题。然后,实现了基于社交网络服务的mashup连接子,并进行了实例研究,验证了该连接子设计的可行性和有效性。
69-73

MobiTran:一种面向智能手机的PC版Web应用转化技术

摘要:随着移动互联网的快速发展,人们可以通过包括智能手机和平板电脑在内的移动计算设备来访问和使用Web应用。然而,目前已有的Web应用大多是针对PC设计的,因此通过移动计算设备直接访问时,可能出现信息显示不全、界面布局混乱、用户体验变差、需要耗费较多流量等问题。重新开发符合移动设备特性的Web应用是一种最直接的解决方案,但是开发成本和代价较大,并且同时维护PC版和移动版两个不同的应用版本也会带来更高的成本。提出一种面向开发者的Web应用移动版本半自动转化技术并实现了支持工具MobiTran:首先,对PC版本Web应用的界面进行自动转化,使之适应移动设备的屏幕尺寸;然后,通过支持开发者手工对界面的样式和布局进行修改,定制拆分子页面以控制数据流量,同时加入适应移动设备操控特点的元素;最终,生成一个供移动设备访问的移动版本Web应用。对主流网站的测试结果表明:MobiTran可以将原网页自动地转化为适合移动设备宽度的新网页,转化后的网页清晰无溢出并可以较大限度地维持新页面与原页面风格一致;在自动转化过程中,可以较少地丢失页面信息并较大限度地保证原页面的功能;转化后的新页面相比原页面消耗数据流量较小。
74-78

基于实时UML顺序图的物联网交互模型

摘要:物联网是一个集计算、通信和控制于一体的智能系统,它通过监控和收集物理进程信息并将这些信息进行计算和分析,最终生成正确的控制指令用以执行,从而使物理环境变得更加安全和可靠。在物联网中,各物体通过网络连接或者本地连接的方式进行交互,这些交互具有时间性和地域性。物联网的建模和验证是物联网研究中一个重要的领域。文中提出一种基于实时UML顺序图的物联网交互模型,该模型将物联网中所有参与交互的物体建模为交互对象,并且通过实时UML顺序图对交互对象间的交互进行建模。使用时间自动机对交互对象的内部状态变化进行建模,以形成对交互模型的补充。最后根据转换规则将交互模型转换为时间自动机的形式以便于验证。通过一个实例,显示了如何具体应用物联网交互模型。进一步提出了物联网系统应该满足的一些性质,并使用UPPAAL模型检测工具对物联网交互模型进行分析和验证。
79-87

基于领域内KAOS分析的企业目标规划研究

摘要:现有企业信息化规划方法的研究都集中于抽象的企业目标与具体的信息系统目标的匹配及转换过程,缺乏对抽象企业目标的形式化描述和深层次的分析。基于KAOS分析方法,提出一种基于领域内KAOS分析的企业目标规划方法,即通过对企业领域内的抽象企业目标、目标之间关系以及目标不一致性分析,获取更加完善、清晰一致的企业目标,建立起符合现代企业领域特征和信息化业务需求的企业目标模型,并且定义目标支撑度来对企业目标进行定量的分析与验证,以确保规划出的企业目标的正确性与可靠性。
88-93

基于场景自动机的网构软件演化

摘要:网构软件是网络开放、动态和多变环境下软件系统基本形态的一种抽象,其演化性要求软件能根据应用需求和运行环境变化而动态演化。引入了软件需求工程中场景的概念,但不同的是不把场景作为一种静态的记录来使用,而是把场景作为一种动态记录来描述软件的动态演化特征。给出了场景的形式化定义及其互补、等价、子集等关系描述,提出了基于场景自动机的网构软件演化方法。软件的性质和行为可以由一系列应用场景来展现,系统的演化通过场景自动机来体现,这为系统自适应演化提供了一种新的解决方法,并支持系统更大粒度的复用。
94-98

弱共变-逆变模拟的公理刻画

摘要:进程代数是并发理论研究的主流方向,是分析和描述并发与分布式系统的重要工具之一。模拟是进程代数中刻画精化关系的核心概念。共变-逆变模拟派生于通常的模拟关系,它区分动作的类型,直观上,表达了状态的行为数目越多但并不一定越好的事实。然而,该模拟关系忽略了可观测动作与内动作的区别。因此,给出一种弱共变-逆变模拟关系及其相应的公理刻画,并且建立了该公理系统的可靠性与基完备性,进而证明了该公理系统亦是ω-完备的。
99-102

一种Web服务的QoS抽象模型和评估方法

摘要:目前Web服务研究中关注的QoS属性较多,且属性值的评估方法随应用领域和组织机构的不同差异较大,这不利于以一致的方式来评估Web服务的QoS。从抽象的角度在众多QoS属性中提炼出时间、概率、代价3种抽象QoS属性,并在此基础上给出了QoS多属性归一化处理方法和多属性综合评估方法,以支持在模型层面以一致的方式评估Web服务的QoS,以及QoS优化的Web服务选取。
103-106

一种基于Hadoop的BIM云服务框架和空间位置检索算法

摘要:云平台存储和管理应用复杂的海量数据已成为必然。建筑信息模型(Building Information Modeling,BIM)是从全工程建设生命周期的视角组织相关数据并协同工作,所以BIM迫切需要云计算的支持。但是面对复杂的BIM应用,如何构建云平台的超级计算模式将是一个巨大的挑战。提出一个面向BIM应用的云服务框架,在Hadoop分布式软件框架上设计了云存储、云平台服务、应用服务和客户端应用四层结构。提出了该框架下的城市空间位置检索算法,该算法采用改进的KD树作为索引表。针对大用户群的并发访问,提出了面向空间位置检索的负载均衡算法,通过统计节点访问频度设计了数据块均衡分布策略。实验表明,该框架组织的建筑信息具有并发处理能力强、响应速度快等特点。
107-111

Scratch:一个基于Chrome浏览器的用户操作捕捉与回放工具

摘要:目前,浏览器已经成为人们接入互联网最主要的入口。HTML5、JavaScript和CSS等Web技术的发展,也极大地增强了Web应用的功能并丰富了用户的交互体验。但是,随着Web应用逻辑日益复杂,人们既要经常完成过程繁琐且需重复执行的任务,也要完成操作复杂且难以记忆的任务。因此,基于目前流行的Chrome浏览器,设计实现了一个动作捕捉与回放工具Scratch(Smart Capture-and-Replay at Chrome),以实现对Web应用操作正确、一致的捕捉与回放,并允许其他用户对已有操作记录进行定制。
112-117

面向自主Web服务的注册中心模型及其实现技术

摘要:为了应对互联网环境的开放性和动态性,加强对Web服务态势的管控,并为自主Web服务应用的开发提供支持,对传统的SOA架构进行了扩展,提出了一个面向自主化Web服务的注册中心模型。该注册中心不仅支持Web服务的基本注册功能,还提供了对Web服务态势信息的管理能力。介绍了自主服务的生命周期模型以及描述模型,给出了自主服务注册中心的关键技术,并开展案例分析来验证模型和实现技术的可行性。
118-123