杂志简介：《计算机科学》杂志经新闻出版总署批准，自1974年创刊，国内刊号为50-1075/TP，是一本综合性较强的计算机期刊。该刊是一份月刊，致力于发表计算机领域的高质量原创研究成果、综述及快报。主要栏目：网络与通信、信息安全、软件与数据库技术、人工智能、图形图像与模式识别
杂志简介：《计算机科学》杂志经新闻出版总署批准，自1974年创刊，国内刊号为50-1075/TP，是一本综合性较强的计算机期刊。该刊是一份月刊，致力于发表计算机领域的高质量原创研究成果、综述及快报。主要栏目：网络与通信、信息安全、软件与数据库技术、人工智能、图形图像与模式识别
作者：苗启广; 李宇楠 刊期：2017年第11期
雾霾天气下拍摄的图像往往会因空气中的气溶胶粒子散射而降质,并因此影响后续的室外计算机视觉系统的应用。为此,研究者提出了大量方法来复原雾霾图像的质量。文中归纳总结了图像去雾霾方法的研究现状,重点研究和分析了基于图像增强和基于物理模型这两大类方法,深入探讨了其中一些已被广泛认可的经典算法的优劣,并分析了几种雾霾天气复原图像客...
作者：林华山; 刘洋; 焦文品 刊期：2017年第11期
随着软件功能的日益强大和运行环境的日益复杂,软件要求能够及时感知环境和需求的变化,并做出相应的反应。自适应系统是一种能够通过感知环境和运用自身知识决策自身行为的软件框架。策略集是自适应系统的核心知识,但是现有自适应研究都缺少对策略的生成、维护、演化等的关注。借鉴决策树算法,提出一种使用策略树来自动生成、演化和维护策略集的...
作者：刘亚珺; 李兵; 李增扬; 梁鹏; 吴闽泉 刊期：2017年第11期
软件技术债务是运用经济学中＂债务＂的概念来描述软件开发中因项目短期利益而实施的技术折中。但从长期来看,技术债务会影响软件的质量、成本和开发效率,因此有必要对其进行有效管理。现有的技术债务管理工具数量少且存在各种局限性,难以实现有效的管理。主流的软件集成开发环境功能强大且应用广泛,可以为技术债务管理服务。以具有代表性的集成...
作者：龚伟刚; 游伟; 李赞; 石文昌; 梁彬 刊期：2017年第11期
目前,静态分析技术已被广泛用于JavaScript程序的安全性分析。但是由于JavaScript支持通过eval等方法在运行时动态生成代码,仅靠静态分析难以取得动态生成代码。一种可行的解决方法是通过动态运行目标程序取得动态生成代码,再对其进行静态分析。然而,动态运行目标程序只能覆盖有限的执行路径,会遗漏其他执行路径中的动态生成代码。针对这一问题,...
作者：佘艺; 唐弘胤; 吴国全; 陈伟; 魏峻; 黄涛 刊期：2017年第11期
Android应用是一种事件驱动的并发程序。后台线程与异步事件执行顺序的不确定,导致数据竞争在Android应用中普遍存在。现有的针对Android应用的竞争检测工具会产生大量误报,且不能确定地重现竞争。针对以上问题,在现有的竞争检测结果的基础上,提出了一种基于测试用例生成的Android应用数据竞争验证方法。该方法首先构建应用的状态转化图,并基于...
作者：王伟; 胡长武; 郭栋; 张静轩; 常进达; 张礼庆 刊期：2017年第11期
云计算和互联网的兴起不仅带来了数据中心的变化,也带来了软件的开发、部署、运维和使用上的变革。随着当前云计算和网络环境的不断完善,传统软件如何更好地利用云计算平台并服务于终端用户是计算机软件领域的研究热点,具有广泛的现实意义。近年来,随着实时互联网、微服务、云端渲染、容器等技术和理念发展的不断深入,软件（Software）形态将进...
作者：张凯; 孙小兵; 彭鑫; 赵文耘 刊期：2017年第11期
相较于其他类型的漏洞,安全性漏洞更容易发生再修复,这使得安全性漏洞需要更多的开发资源,从而增加了这些安全性漏洞修复的成本。因此,减少安全性漏洞再修复的发生的重要性不言而喻。对安全性漏洞再修复的经验研究有助于减少再修复的发生。首先,通过对Mozilla工程中一些发生再修复的安全性漏洞的安全性漏洞类型、发生再修复的原因、再修复的次数...
作者：郝慧珍; 姜枫; 李娜; 顾庆 刊期：2017年第11期
图像分析是研究砂岩薄片的重要手段。研究适用于砂岩薄片的图像分析的方法并进行工具实现,在岩石学研究、油气勘探等方面具有重要意义。文中设计开发了砂岩显微图像分析软件系统。首先,提出基于超像素分割和聚类的图像分割方法来分割砂岩薄片显微图像,形成只具有单一矿物成分的超像素;然后,以矿物显微图像作为训练数据,提取颜色和局部等特征参数...
作者：李响; 李彤; 谢仲文; 何云; 成蕾; 韩煦 刊期：2017年第11期
SaaS（Software as a Service）伴随云计算而出现,它与传统软件的区别较大。根据SaaS软件的特点,提出支持SaaS软件成熟度的SaaS软件分层元模型,使用形式化方法对每一层进行建模描述。受面向对象Petri网（ObjectOriented Petri Nets,OOPN）和有色Petri网（Colored Petri Nets,CPN）思想的启发,提出面向服务网结构SOP（ServiceOriented Petri Nets...
作者：朱丽华; 文艳军; 董威 刊期：2017年第11期
使用语义补丁技术对Linux的网卡驱动程序的后向移植方法进行研究。通过分析多个不同内核版本的驱动程序代码,在兼容库代码的支持下,提出了一种使用语义补丁进行驱动程序后向移植的方法。针对符号和函数分别开发了语义补丁,解决了后向移植过程中代码冗余以及补丁文件过多的问题,提高了后向移植的效率。实验分析表明,所使用的语义补丁的代码行数比...
作者：姜人和; 郑晓梅; 朱晓倩; 潘敏学; 张天 刊期：2017年第11期
关系信息是体现代码结构和语义的最重要的一类信息,如继承、聚合、组合、依赖、调用和创建实例等。为了更好地支持开源代码的理解与复用,提出了一种基于UML2关系的代码库构造方法。它以图数据库为实现平台,采用语言工程中经典的抽象语法树作为基础,并针对Java语言的特性和机制,设计富语义的Java代码属性图数据模型,在此基础上使得Java代码的图结...
作者：郑明; 李彤; 林英; 周小煊; 李响; 明利 刊期：2017年第11期
基于构件的软件开发已成为软件开发的主流方法,但针对构件系统动态演化后的一致性保持问题,目前尚缺乏统一的标准,为此提出一种验证构件系统动态演化一致性的方法。首先,应用进程代数构造构件模型,并在此基础上得到粗粒度的构件系统模型;然后,根据构件系统模型及其状态的变化,提出构件系统外部行为提取算法,并基于弱互模拟理论定义构件系统动态...
作者：沈钦涛; 张丽; 罗磊; 马俊; 余杰; 吴庆波 刊期：2017年第11期
面对控制流劫持攻击的威胁,业界使用控制流完整性保护技术来保障进程的执行安全。传统的控制流完整性验证保护机制依赖于动态二进制改写技术,在分析、实施等过程中难度较大,且有可能带来二进制兼容的问题。通过研究近几年提出的上下文敏感的控制流保护技术PathArmor,分析了其检测进程控制流的时机。然后针对PathArmor只在进程做系统调用时才进行...
作者：曾虹驰; 彭鑫; 赵文耘 刊期：2017年第11期
作为数据处理和并发控制的基本单位,数据库事务被广泛应用于软件系统的业务逻辑中。通过收集运行时数据库事务中的数据,推导这些数据之间满足的不变式,建立相应的数据契约关系,是软件维护过程中对系统的内部状态进行监控的重要方法之一。目前,在不变式推导领域,主要的方法和工具都是基于代码进行分析的,缺少与基于数据分析相关的研究和成果。为...
作者：徐同同; 刘曲涛; 郑晓梅; 潘敏学; 张天 刊期：2017年第11期
多平台开发是移动应用软件开发的一个重要特点,同时还具有版本演化快和开发周期短的要求,这给移动开发带来了巨大的挑战。由于目前主流的移动平台大多采用MVC架构模式,并且在开发上体现出了UI驱动和事件驱动的特点,因此不同平台（如iOS和Android等）之间的UI控件具有较强的对应性,这给移动应用的开发人员在多平台开发时提供了重要的参考。提出了...
影响因子：0.65
期刊级别：北大期刊
发行周期：旬刊
影响因子：0.51
期刊级别：北大期刊
发行周期：月刊
影响因子：0.73
期刊级别：统计源期刊
发行周期：半月刊
影响因子：0.53
期刊级别：省级期刊
发行周期：旬刊
影响因子：0.91
期刊级别：北大期刊
发行周期：半月刊
影响因子：0.15
期刊级别：省级期刊
发行周期：半月刊
影响因子：--
期刊级别：省级期刊
发行周期：周刊
影响因子：2.11
期刊级别：北大期刊
发行周期：半月刊
影响因子：0.04
期刊级别：省级期刊
发行周期：半月刊
影响因子：3.84
期刊级别：CSSCI南大期刊
发行周期：双月刊
影响因子：--
期刊级别：省级期刊
发行周期：月刊
影响因子：0.16
期刊级别：省级期刊
发行周期：双月刊