论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 软件学报期刊 >
软件学报2016年出版文献
出版文献量（篇）
5820
总下载数（次）
36
总被引数（次）
226394
出版文献量（篇）
5820
总下载数（次）
36
总被引数（次）
226394
分享
文章浏览
目录
-
1. 静态软件缺陷预测方法研究刊名： 软件学报发表期刊： 2016年1期页码:摘要： 静态软件缺陷预测是软件工程数据挖掘领域中的一个研究热点.通过分析软件代码或开发过程,设计出与软件缺陷相关的度量元;随后,通过挖掘软件历史仓库来创建缺陷预测数据集,旨在构建出缺陷预测模型,以预...
-
刊名： 软件学报发表期刊： 2016年1期页码:摘要： 在针对特定领域的软件复用中,产品导出是主要活动之一.产品导出指的是,开发人员基于领域中可复用的软件制品开发出所需的软件产品.在产品导出过程中,产品导出效率决定了软件复用的收益.在诸多影响产品...
-
刊名： 软件学报发表期刊： 2016年1期页码:摘要： Android是目前最流行的智能手机软件平台,报告称,2014年,Android的销售量占到全球份额81％的绝对优势,首次达到10亿部.其余如苹果、微软、黑莓与火狐等则远远落在后面与此同时,...
-
刊名： 软件学报发表期刊： 2016年1期页码:摘要： 传感器网络作为当代信息获取的重要手段之一,受到各国各界的广泛关注.在传感器网络中,能量问题一直是限制其广泛应用的重要约束和挑战.由于无线充电技术和智能移动节点的发展,使得综合使用这两种技术能...
-
刊名： 软件学报发表期刊： 2016年1期页码:摘要： 随着空中任务的不断增加,尤其是无人机的迅速发展,机载通信需求的快速增长促使机载通信向网络化的方向不断发展.作为连接卫星网络和地面网络的空中通信重要枢纽,机载网络具有诸多区别于无线移动网络的新...
-
6. 网格参数化研究进展刊名： 软件学报发表期刊： 2016年1期页码:摘要： 网格参数化是计算机图形学和数字几何处理的基本工具,有着广泛的应用背景.对网格参数化的研究进展进行了综述,主要从参数域和参数化质量两个方面介绍了网格参数化的研究现状,根据参数域的不同,讨论了平...
-
刊名： 软件学报发表期刊： 2016年1期页码:摘要： 光线跟踪是计算机图形学中一种高真实感绘制方法,传统的绘制算法忽略了光的偏振效应.而研究表明:在光线跟踪中加入光的偏振效应,能对绘制结果产生重要的影响.偏振光线跟踪是预测绘制技术的研究核心,它...
-
8. 三维片上网络研究综述刊名： 软件学报发表期刊： 2016年1期页码:摘要： 三维片上网络以其更短的全局互连、更高的封装密度、更小的体积等诸多优势,已引起国内外学术界和产业界的高度重视.对三维片上网络的研究,将直接影响一个国家未来三维集成电路和三维芯片产业的发展,也关...
-
刊名： 软件学报发表期刊： 2016年1期页码:摘要： 对计算机学科2006年～2015年国家自然科学基金重点项目资助情况进行了统计分析,对重点项目申请与评审过程、项目指南产生过程进行了介绍,旨在为相关研究人员申报重点项目提供借鉴和参考.
-
10. 偶图及其应用研究综述刊名： 软件学报发表期刊： 2016年2期页码:摘要： 偶图是由Robin Milner在2001年提出的一种基于图形的形式化理论模型,试图为普适计算提供一个设计、模拟和分析的平台以及为现有的进程代数提供一个统一的可扩展的框架.介绍了偶图的基本概...
-
刊名： 软件学报发表期刊： 2016年2期页码:摘要： 中介逻辑是朱梧槚先生提出的一个3-值逻辑.给出了一个命题中介逻辑,其中引入中介连接词～、反对连接词(△)以及蕴涵连接词→,并且定义否定连接词.给出了一个Gentzen-型的推导系统,使得该系...
-
12. 一种基于不变量的软错误检测方法刊名： 软件学报发表期刊： 2016年2期页码:摘要： 软错误是高辐照空间环境下影响计算可靠性的主要因素,结果错误(silent data corruption,简称SDC)是软错误造成的一种特殊的故障类型.针对SDC难以检测的问题,提出了一种基...
-
刊名： 软件学报发表期刊： 2016年2期页码:摘要： 随着分布式计算技术的发展,以自治的服务协同与互操作为主要构造手段、结构与行为随需而变的面向服务的软件系统已成为当前主流的软件架构,分析并理解服务交互行为对于这类复杂软件系统的开发、维护和运营...
-
14. 微博信息传播预测研究综述刊名： 软件学报发表期刊： 2016年2期页码:摘要： 微博已经逐渐成为人们获取信息、分享信息的重要社会媒体,深刻影响并改变了信息的传播方式.针对微博信息传播预测问题展开综述.该研究对舆情监控、微博营销、个性化推荐具有重要意义.首先概述微博信息传...
-
15. 分布式约束优化方法研究进展刊名： 软件学报发表期刊： 2016年2期页码:摘要： 多agent系统作为分布式人工智能研究领域的重要分支,已被广泛应用于多个领域中复杂系统的建模.而分布式约束优化作为一种多agent系统求解的关键技术,已成为约束推理研究的热点.首先对其适用性...
-
刊名： 软件学报发表期刊： 2016年2期页码:摘要： 中文事件触发词抽取是一项具有挑战性的任务.针对中文事件触发词抽取中存在的事件论元语义信息难以获取以及部分贫信息事件实例难以抽取的问题,提出了基于语义的中文事件触发词抽取联合学习模型.首先,根...
-
17. 粗糙集的最优近似集刊名： 软件学报发表期刊： 2016年2期页码:摘要： Pawlak教授提出的粗糙集理论是解决集合边界不确定的重要手段,他构建了边界不确定集合的两条精确边界,但没有给出用已有知识基来精确或近似地构建目标概念(集合)X的方法.在前期的研究中提出了寻...
-
刊名： 软件学报发表期刊： 2016年2期页码:摘要： 目前,信息抽取研究主要面向肯定性信息,而自然语言文本中包含了大量否定性和不确定性信息,为了将此类信息与肯定性信息区分开,有必要针对否定性与不确定性信息抽取进行深入研究针对这一任务,首次构建了...
-
19. 空间关键词搜索研究综述刊名： 软件学报发表期刊： 2016年2期页码:摘要： 由于越来越多的数据具有位置和文本双重属性,空间关键词查询(spatial keyword query,简称SKQ)应运而生.一个SKQ以一个地理位置和若干关键词作为参数,返回满足空间与文本约...
-
刊名： 软件学报发表期刊： 2016年2期页码:摘要： 移动对象聚集模式是指由移动对象参与的一组群体事件,通常用来预测交通系统中出现的异常现象.然而由于海量移动轨迹数据的产生,已有的研究方法难以准确、高效地挖掘特定的聚集模式.为此,提出一种基于时...
-
刊名： 软件学报发表期刊： 2016年2期页码:摘要： 语义社会网络是一种由信息节点及社会关系构成的新型复杂网络,传统语义社会网络分析算法在进行社区挖掘时需要预先设定社区个数,且无法发现重叠社区.针对这一问题,提出一种面向语义社区发现的link-...
-
22. 基于差分隐私的流式直方图发布方法刊名： 软件学报发表期刊： 2016年2期页码:摘要： 基于差分隐私保护模型,已经存在多种静态数据集上的直方图发布方法,而目前着重考虑数据流环境下的直方图发布方法却很少.由于数据流本身潜在的复杂性,直接利用现有的满足差分隐私的直方图发布方法处理数...
-
23. 基于软件定义网络的流量工程刊名： 软件学报发表期刊： 2016年2期页码:摘要： 作为一种新型网络架构,软件定义网络(software defined network,简称SDN)将网络的数据层和控制层分离,通过集中化控制和提供开放控制接口,简化网络管理,支持网络服务的动...
-
刊名： 软件学报发表期刊： 2016年2期页码:摘要： 覆盖与连通问题是无线传感器网络的基本问题.研究考虑连通性的概率覆盖增强算法,构建覆盖空洞的修补半径,提出了移动距离和修补半径的关系模型.通过这个关系模型,移动节点在修补圆上选择保持连通的修补...
-
刊名： 软件学报发表期刊： 2016年2期页码:摘要： 车载自组织网络(vehicular ad hoc networks,简称VANETs)具有网络间歇连通、节点高速移动及动态的网络拓扑结构等特性,如何有效地实现车辆间的数据传输,成为VANET...
-
刊名： 软件学报发表期刊： 2016年2期页码:摘要： 分析传统的匿名漫游认证协议,指出其匿名不可控和通信时延较大的不足.针对上述不足,提出异构无线网络可控匿名漫游认证协议,远程网络认证服务器通过1轮消息交互即可完成对移动终端的身份合法性验证,当...
-
刊名： 软件学报发表期刊： 2016年2期页码:摘要： 随着云计算的兴起,虚拟化技术使用也越来越广泛,虚拟机正逐步取代物理机,成为应用服务的部署环境.出于灵活性、可靠性等方面的需求,虚拟机镜像急剧增长,如何高效地、经济地管理这些镜像文件已成为一个...
-
刊名： 软件学报发表期刊： 2016年2期页码:摘要： 传统的基于虚拟化内核监控模型存在两个方面的不足:(1)虚拟机监控器(virtual machine monitor,简称VMM)过于复杂,且存在大量攻击面(attack surface),容...
-
29. 几何代数的高阶逻辑形式化刊名： 软件学报发表期刊： 2016年3期页码:摘要： 几何代数是一种用于描述和计算几何问题的代数语言,由于它统一表达分析和不依赖于坐标的几何计算等优点,现已成为数学分析、理论物理、几何学、工程应用等领域重要的理论基础和计算工具.然而,利用几何代...
-
刊名： 软件学报发表期刊： 2016年3期页码:摘要： 运用计算机代数中的Groebner基理论,对有界闭连通域上的单重非线性循环程序的终止性问题进行研究,建立了可计算的终止性判定算法.该算法将这类循环的终止性判定问题归约为有无不动点的判定问题.
软件学报基本信息
| 刊名 | 软件学报 | 主编 | 李明树 |
| 曾用名 | |||
| 主办单位 | 中国科学院软件研究所 中国计算机学会 | 主管单位 | 中国科学院 |
| 出版周期 | 月刊 | 语种 |
chi
|
| ISSN | 1000-9825 | CN | 11-2560/TP |
| 邮编 | 100190 | 电子邮箱 | jos@iscas.ac.cn |
| 电话 | 010-62562563 | 网址 | www.jos.org.cn |
| 地址 | 北京8718信箱 |
软件学报评价信息
该刊被以下数据库收录
| 1. | 中国科学引文数据库 |
| 2. | 工程索引(美) |
| 3. | 日本科学技术振兴机构数据库(日) |
| 4. | 文摘杂志(俄) |
| 5. | 科学文摘(英) |
| 6. | 中国科技论文统计与引文分析数据库 |
期刊荣誉
| 1. | 百种中国杰出学术刊物 |
软件学报统计分析
被引趋势
(/次)
(/年)
学科分布
研究主题
推荐期刊
- 期刊分类
- 最新期刊
- 期刊推荐
- 相关期刊
一般工业技术
交通运输
军事科技
冶金工业
动力工程
化学工业
原子能技术
大学学报
建筑科学
无线电电子学与电信技术
机械与仪表工业
水利工程
环境科学与安全科学
电工技术
石油与天然气工业
矿业工程
自动化技术与计算机技术
航空航天
轻工业与手工业
金属学与金属工艺
办公自动化(学术版)
兵工自动化
办公自动化
智能制造
传动技术
传感技术学报
传感器与微系统
传感器世界
测控技术
CT理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
