论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 计算机科学期刊 >
计算机科学2017年出版文献
出版文献量（篇）
18527
总下载数（次）
68
计算机科学
分享
投稿
《计算机科学》主编陈国良，系中国科学院院士、全国首届高等学校国家教学名师。读者对象是大专院校师生，从事计算机科学与技术领域的科研、生产人员。我刊坚持 “前沿学科”与“基础研究”相结合、“核心核术”与“支撑技术”相结合、“倡导”与“争鸣”相结合，活跃计算机科学与技术领域的学术气氛，为我国的计算机科学与技术立于世界之林、达到国际先进水平奋斗而矢志不渝。
主办单位：
重庆西南信息有限公司(原科技部西南信息中心)
期刊荣誉：
2001年重庆市优秀期刊；2004年第三届重庆市优秀科技期刊；2005年重庆市优秀期刊编辑部；2010年第六届重庆市期刊综合质量考核“十佳科技期刊”
2012年重庆市出版专项资金报刊资助项目（重庆市新闻出版局）；2013年重庆市出版专项资金重点学术期刊资助项目（重庆市文化委员会）
2014年重庆市出版专项资金期刊资助项目（重庆市文化委员会）；2015年“中国国际影响力优秀学术期刊”
ISSN：
1002-137X
CN：
50-1075/TP
出版周期：
月刊
邮编：
401121
地址：
出版文献量（篇）
18527
总下载数（次）
68
分享
文章浏览
目录
-
刊名： 计算机科学发表期刊： 2017年4期页码:摘要： 随着程序规模和复杂性的增加,代码重构在改善软件质量、性能以及提高软件的扩展性和维护性等方面至关重要.目前的Eclipse中,C源代码重构工具的函数提取只能处理一些简单的代码,且处理过程需要人...
-
182. Mozilla项目缺陷修复追踪关系研究刊名： 计算机科学发表期刊： 2017年4期页码:摘要： 软件可追踪性为软件工程的很多活动提供了非常重要的支持,如变更影响分析、回归测试、版本控制以及一致性检验等.在开源软件项目中,缺陷数据和版本数据之间的缺陷修复关联是一种重要的软件追踪关系.研究...
-
183. 一种服务消息交互行为的元建模方法刊名： 计算机科学发表期刊： 2017年4期页码:摘要： 为了提高服务消息接口的规范性和交互行为的正确性,提出了一种服务消息交互的元建模方法.基于工作流模型对服务进行建模,通过对消息操作模式予以分析,给出了接口形式化表示和接口相容性检查方法.采用推...
-
184. 面向软件安全性需求分析过程的追踪模型刊名： 计算机科学发表期刊： 2017年4期页码:摘要： 追踪性即关联一些制品及其中各种相关要素的机制或能力.安全关键系统开发不仅包括一般系统的开发过程,更重要的是必需要有独立的安全性分析,建立并验证系统的安全性需求.目前针对安全性分析过程的追踪性...
-
185. 基于LDA的软件代码主题摘要自动生成方法刊名： 计算机科学发表期刊： 2017年4期页码:摘要： 理解软件代码的功能是软件复用的一个重要环节.基于主题建模技术的代码理解方法能够挖掘软件代码中潜在的主题,这些主题在一定程度上代表了软件代码所实现的功能.但是使用主题建模技术所挖掘出的代码主题...
-
186. Linux设备驱动重用研究刊名： 计算机科学发表期刊： 2017年4期页码:摘要： 设备驱动是影响操作系统适用性的重要因素.考虑到完全重新开发设备驱动代价过大,重用已有操作系统中的设备驱动便成为了提高操作系统适用性的首选方法.设备驱动的重用过程本质上是在目标环境中建立设备驱...
-
187. 基于时间序列分析的杀手级任务在线识别方法刊名： 计算机科学发表期刊： 2017年4期页码:摘要： 通过分析Google集群中任务的失效次数和失效模式,找到具有高失效频次和连续失效特征的杀手级任务.杀手级任务不仅影响云计算系统上应用运行的可靠性与可用性,而且会浪费大量资源并显著增加调度负载...
-
188. 基于模型的云应用动态配置框架刊名： 计算机科学发表期刊： 2017年4期页码:摘要： 云应用是云计算技术在应用层的一种重要体现形式,通常由分布式异构组件构成,且组件相互依赖,配置参数众多.组件依赖导致配置参数间存在关联,使应用运行时弹性扩展难以确定组件实例的配置顺序并保证关联...
-
189. 一种基于子图搜索的特征定位方法刊名： 计算机科学发表期刊： 2017年4期页码:摘要： 确定源代码中与给定需求特征相关的程序元素的过程称为特征定位.但现在大部分的特征定位方法仍是以特征相关的描述和代码结构信息为输入,以特征相关的代码元素为输出.这样的结果缺乏代码元素间的关系信息...
-
刊名： 计算机科学发表期刊： 2017年4期页码:摘要： 随着互联网的发展以及edx,Coursea和Udacity等开放式网络教学平台的推广,互联网教学逐渐兴起并广泛普及.互联网教学中学生获取知识的一个主要媒介是互联网课程中的教学视频资源.然而,...
-
刊名： 计算机科学发表期刊： 2017年4期页码:摘要： 地下建筑工程中的设备系统经常处于静止状态,为保证其在需要时能安全可靠地运行,需对设备进行定期的自动巡检.在自动巡检的过程中,设备自动巡检控制逻辑起到了举足轻重的作用.为了解决复杂的设备自动巡...
-
192. 无人驾驶汽车决策系统的规则正确性验证刊名： 计算机科学发表期刊： 2017年4期页码:摘要： 无人驾驶车辆技术是当前科学研究的重点领域之一,目前无人车决策系统的开发过程中面临着安全性不足的问题.针对该问题,提出了验证驱动的基于代码自动生成的无人车决策系统开发框架.该框架利用模型检验技...
-
193. 一种基于层次聚类的软件架构恢复方法刊名： 计算机科学发表期刊： 2017年4期页码:摘要： 针对软件聚类侧重相似度测度而欠缺考虑实体和特征的特性的问题,提出一种基于层次聚类的软件架构恢复方法(HCSAR).该方法有针对性地选取实体和特征,提出特征的多重加权策略,采用信息丢失度作为相...
-
194. 基于OVAL的安卓漏洞检测评估系统刊名： 计算机科学发表期刊： 2017年4期页码:摘要： 传统漏洞检测工具检测时间长,占用大量系统资源,需要对系统进行模拟攻击,难以应对越来越复杂的安卓漏洞威胁.提出了一种“C/S"架构的、基于开放漏洞评估语言(OVAL)的安卓漏洞检测评估系统.这...
-
195. 混源软件质量模型与度量方法研究刊名： 计算机科学发表期刊： 2017年4期页码:摘要： 由于混源软件包含自主代码、开源代码等不同来源代码,从而具有更高的多样性和复杂性,对其质量的度量评估与传统软件存在极大区别.为了度量混源软件质量,建立混源软件质量度量模型和方法是非常必要的.通...
-
196. 存储中的副本分级存储调度策略刊名： 计算机科学发表期刊： 2017年4期页码:摘要： 当集群中的部分节点是廉价主机时,采用HDFS的随机存储策略可能使访问频率高的数据存储在廉价节点上,受到廉价节点的性能影响,访问时间过长,降低了集群效率.为改善以上问题,提出一种改进的副本分级...
-
197. 面向单个文件的个性化缺陷预测方法刊名： 计算机科学发表期刊： 2017年4期页码:摘要： 现有的缺陷预测方法大多数是面向项目或个人的,这些方法或没有区分文件之间和开发人员之间的差异性,或只区分了开发人员的差异性.然而,在软件开发中,开发人员之间和代码文件之间的差异性是同时存在的,...
-
刊名： 计算机科学发表期刊： 2017年4期页码:摘要： 车流量预测是城市智能交通系统研究中的热难点问题之一,精确的车流量预测能有效地支持智能交通系统的发展,减少拥堵.同时车流量预测的精确度密切关系着居民的出行质量.然而车流量受诸多因素的不同程度的...
-
199. 基于目标的信息物理融合系统事件模型的分析刊名： 计算机科学发表期刊： 2017年4期页码:摘要： 软件系统的事件模型能够有效地刻画软件系统的行为.但是,由于信息物理融合系统的异构性与分布式特征,建立信息物理融合系统的事件模型不仅需要了解系统的具体组成结构,还需要考虑事件的时空信息,这为信...
-
200. 面向用户使用习惯的安卓应用自适应方法刊名： 计算机科学发表期刊： 2017年4期页码:摘要： 使安卓应用具有适应用户个性化使用习惯的能力可提升其用户体验.针对该目标,提出了一种面向用户使用习惯的安卓应用自适应方法.该方法结合软件自适应技术,以用户使用习惯为自适应的上下文因素,同时将自...
-
201. 基于模式匹配的安全漏洞检测方法刊名： 计算机科学发表期刊： 2017年4期页码:摘要： 针对现存的大部分软件漏洞静态检测工具无法灵活检测用户关心的漏洞的情况,提出了一种基于模式匹配的漏洞检测方法.首先,对待测程序源码进行解析,将其转化为中间表示并存放在自定义的数据结构中;然后,...
-
202. 基于模型代数的基本路径集的自动生成刊名： 计算机科学发表期刊： 2017年4期页码:摘要： 路径测试是一种根据路径设计测试用例的白盒测试技术,而基本路径测试是其中运用最广泛的一种路径测试方法.基本路径测试是在被测程序的控制流图的基础上导出基本的可执行的路径集合,因此程序控制流图是基...
-
203. 基于规则的用例规约验证方法刊名： 计算机科学发表期刊： 2017年4期页码:摘要： 用例模型描述了参与者对系统功能的需求,在整个系统的开发过程中有着重要作用;用例描述若存在问题,会对系统开发造成很大影响.提出了一种用例规约的规则验证方法,通过分析用例规约中的错误类别,在特定...
-
204. 基于故障关联的多故障概率诊断方法刊名： 计算机科学发表期刊： 2017年4期页码:摘要： 故障软件诊断的必要性在于真实世界中的软件几乎都会包含一个以上的故障.与单故障不同,多个故障的传播及其关联导致软件诊断更复杂,不确定性更高,概率推理因而被用于适应多故障程序的特殊性.提出了一种...
-
205. 一种TTCN-3编解码器的演化方法刊名： 计算机科学发表期刊： 2017年4期页码:摘要： 软件需求常常发生变化,导致软件经常被演化.由于使用TTCN-3对演化后的软件进行测试时需要为大部分测试脚本重新开发编解码器,因此有必要对原来的编解码器进行演化,以提高测试效率.分析了TTCN...
-
刊名： 计算机科学发表期刊： 2017年4期页码:摘要： 随着Android操作系统的广泛应用,基于Android平台的应用程序的数量日益增长.如何有效地识别恶意软件,对保护手机的安全性至关重要.提出了基于权限和API特征结合的Android恶意软...
-
207. CEStream:一种复杂事件流处理语言刊名： 计算机科学发表期刊： 2017年4期页码:摘要： 复杂事件处理是支持大数据处理的流式计算平台的核心技术之一.CEStream语言作为一种新型的事件流处理语言,支持分布式环境下的复杂事件处理.该语言以XML等层次化数据为数据模型,为复杂事件检...
-
208. 基于形式概念分析的依赖簇检测方法研究刊名： 计算机科学发表期刊： 2017年4期页码:摘要： 依赖簇是相互依赖的程序组件的最大集合,大尺寸依赖簇已被证实在程序中普遍存在.依赖簇中任意一点产生变动都会引起其他组件的连锁反应,进而对整个系统造成潜在的影响,这将会阻碍软件理解、测试、维护等...
-
209. 基于体系结构的模型转换语义描述框架刊名： 计算机科学发表期刊： 2017年4期页码:摘要： 为解决模型驱动的软件开发过程中语义特性的描述和验证等方面的问题,在对类型范畴理论进行扩充的基础上,为构件式软件模型的描述、转换以及转换过程中语义特性的保持和验证建立了一种统一的语义描述框架....
-
210. 一种面向分布式嵌入式计算机的性能评估模型刊名： 计算机科学发表期刊： 2017年4期页码:摘要： 不同领域的嵌入式计算机的性能评估有很大的差异性,对分布式嵌入式计算机的性能评估需要考虑其自身特点.分析了分布式嵌入式计算机的一般特征,提出了一种结合软硬件的、面向分布式嵌入式计算机的性能评估...
计算机科学基本信息
| 刊名 | 计算机科学 | 主编 | 陈国良 |
| 曾用名 | 计算机应用与应用数学 | ||
| 主办单位 | 重庆西南信息有限公司(原科技部西南信息中心) | 主管单位 | 重庆西南信息有限公司（原科技部西南信息中心） |
| 出版周期 | 月刊 | 语种 |
chi
|
| ISSN | 1002-137X | CN | 50-1075/TP |
| 邮编 | 401121 | 电子邮箱 | jsjkx12@163.com |
| 电话 | 023-63500828 | 网址 | www.jsjkx.com |
| 地址 | 重庆市渝北区洪湖西路18号 |
计算机科学评价信息
该刊被以下数据库收录
| 1. | 中国科学引文数据库 |
| 2. | 日本科学技术振兴机构数据库(日) |
| 3. | 中国科技论文统计与引文分析数据库 |
期刊荣誉
| 1. | 2001年重庆市优秀期刊；2004年第三届重庆市优秀科技期刊；2005年重庆市优秀期刊编辑部；2010年第六届重庆市期刊综合质量考核“十佳科技期刊” |
| 2. | 2012年重庆市出版专项资金报刊资助项目（重庆市新闻出版局）；2013年重庆市出版专项资金重点学术期刊资助项目（重庆市文化委员会） |
| 3. | 2014年重庆市出版专项资金期刊资助项目（重庆市文化委员会）；2015年“中国国际影响力优秀学术期刊” |
计算机科学统计分析
被引趋势
(/次)
(/年)
学科分布
研究主题
推荐期刊
- 期刊分类
- 最新期刊
- 期刊推荐
- 相关期刊
一般工业技术
交通运输
军事科技
冶金工业
动力工程
化学工业
原子能技术
大学学报
建筑科学
无线电电子学与电信技术
机械与仪表工业
水利工程
环境科学与安全科学
电工技术
石油与天然气工业
矿业工程
自动化技术与计算机技术
航空航天
轻工业与手工业
金属学与金属工艺
办公自动化(学术版)
兵工自动化
办公自动化
智能制造
传动技术
传感技术学报
传感器与微系统
传感器世界
测控技术
CT理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
