论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 软件学报期刊 >
软件学报2015年出版文献
出版文献量（篇）
5820
总下载数（次）
36
总被引数（次）
226394
出版文献量（篇）
5820
总下载数（次）
36
总被引数（次）
226394
分享
文章浏览
目录
-
刊名： 软件学报发表期刊： 2015年1期页码:摘要： 相关路径生成,是程序动态分析中的一种重要方法.通过对目标执行路径的获取和分析来生成与其相关的近邻执行路径,在程序行为特征分析、编译优化和调试等研究方向有重要的作用.现有的方法主要通过改变路径...
-
刊名： 软件学报发表期刊： 2015年1期页码:摘要： 软件测试过程通常期望以最小的成本检测尽可能多的缺陷.为了降低建模复杂度,多数文献通常假设缺陷之间相互独立.但在实际测试中,缺陷之间往往存在关联,并且每个缺陷引发软件失效的严重程度也不相同.充...
-
3. 迁移学习研究进展刊名： 软件学报发表期刊： 2015年1期页码:摘要： 近年来,迁移学习已经引起了广泛的关注和研究.迁移学习是运用已存有的知识对不同但相关领域问题进行求解的一种新的机器学习方法.它放宽了传统机器学习中的两个基本假设:(1)用于学习的训练样本与新的...
-
4. 隐喻计算研究进展刊名： 软件学报发表期刊： 2015年1期页码:摘要： 作为自然语言处理中的普遍现象,隐喻若不得到解决,将成为制约自然语言处理和机器翻译的瓶颈问题.结合相关的隐喻理论基础,从隐喻识别和隐喻解释这两个隐喻计算的子任务出发,介绍了现有的隐喻计算模型以...
-
刊名： 软件学报发表期刊： 2015年1期页码:摘要： 复杂背景条件下低对比度目标的跟踪和测量方法,是视觉领域的一个重要课题.低对比度,低信噪比,目标旋转、缩放、被遮挡等非理想状态给跟踪算法的研究带来很大困难,算法既要适应目标和背景的复杂变化,又...
-
刊名： 软件学报发表期刊： 2015年1期页码:摘要： 网络抽象促使软件定义网络(software-defined networking,简称SDN)的产生.SDN将数据平面与控制平面解耦合,简化了网络管理.首先从SDN诞生发展的背景入手,梳理了...
-
7. 无线网络编码感知路由综述刊名： 软件学报发表期刊： 2015年1期页码:摘要： 流间网络编码具有改善无线网络性能的潜力,然而,由于实际网络中编码机会数量通常十分有限,仅仅被动地利用编码机会无法获得高的性能增益.编码感知路由的核心思想是使用有利于网络编码的路由,它通过在路...
-
刊名： 软件学报发表期刊： 2015年1期页码:摘要： 针对IEEE 802.11n无线网络中的速率、MIMO模式与信道宽度的联合自适应问题,提出了一种基于非静态Multi-Armed Bandit学习方法的联合自适应算法,并设计了一种新颖的报酬...
-
9. 可搜索加密技术研究综述刊名： 软件学报发表期刊： 2015年1期页码:摘要： 从可搜索加密的两类基本问题出发,回顾了相关研究历史.介绍了可搜索加密的分类,包括其应用场景和应用模型,并探讨了相应的解决策略,从构造角度,将其分为对称可搜索加密和非对称可搜索加密.基于这种分...
-
10. 一种用于流交换的代理重签名方案刊名： 软件学报发表期刊： 2015年1期页码:摘要： 为了解决大规模复杂网络环境下流交换的安全问题,首次将代理重签名技术应用到安全流交换中,提出一种用于流交换的基于陷门Hash函数的代理重签名方案.首先,针对陷门Hash函数在流交换应用中存在的...
-
11. 云数据管理索引技术研究刊名： 软件学报发表期刊： 2015年1期页码:摘要： 数据的爆炸式增长给传统的关系型数据库带来了巨大的挑战,使其在扩展性、容错性等方面遇到了瓶颈.而云计算技术依靠其高扩展性、高可用性、容错性等特点,成为大规模数据管理的有效方案.然而现有的云数据...
-
12. 图聚集技术的现状与挑战刊名： 软件学报发表期刊： 2015年1期页码:摘要： 图聚集技术旨在获取能够涵盖原图大部分信息的简洁超图,用于提炼概要信息、解决存储消耗和社交隐私保护等问题.对当前的图聚集技术进行研究,综述了现有图聚集技术中的分组方法并对其进行分类,将分组标准...
-
刊名： 软件学报发表期刊： 2015年2期页码:摘要：
-
刊名： 软件学报发表期刊： 2015年2期页码:摘要： 随着航空型号的快速发展，航空电子系统的数字化程度越来越高，软件在其中所占的比例越来越大。对航空电子系统中的软件进行测试和检测是保证航空电子系统质量及可信运行的基础。通过分析航空电子系统软件体...
-
刊名： 软件学报发表期刊： 2015年2期页码:摘要： 提出了一种基于时间抽象状态机(timed abstract state machine,简称TASM)的AADL(architecture analysis and design langu...
-
刊名： 软件学报发表期刊： 2015年2期页码:摘要： 状态迁移矩阵(state transition matrix,简称STM)是一种基于表结构的状态机建模方法,前端为表格形式,后端则具有严格的形式化定义,用于建模软件系统行为。但目前 STM ...
-
刊名： 软件学报发表期刊： 2015年2期页码:摘要： 随着计算机技术的不断发展，计算机系统在安全攸关领域得到了广泛应用，其中的软件系统正逐渐成为重要的使能部件。在计算机系统中，设备驱动程序扮演了软件与硬件设备之间桥梁的角色。由于与计算机平台、操...
-
18. 基于数据链的软件故障定位方法?刊名： 软件学报发表期刊： 2015年2期页码:摘要： 软件中存在的故障很多与数据流紧密相关，对数据流故障定位是一个具有相当难度的研究问题。通过分析变量的定义-使用关系和变量间的依赖关系，并跟踪程序运行时各种操作对变量值的影响，即，变量操作状态的...
-
刊名： 软件学报发表期刊： 2015年2期页码:摘要： 列车控制系统是一种安全攸关系统，为保证其安全性，要求测试过程对安全攸关场景中所有可能的运行进行完全的覆盖。现有的场景建模与测试用例自动生成方法不能完全满足这一技术需求。围绕列车控制系统的安全...
-
刊名： 软件学报发表期刊： 2015年2期页码:摘要： 随着多处理器实时系统在安全性攸关系统中的广泛应用，保证这类系统的正确性成为一项重要的工作。可调度性是实时系统正确性的一项关键性质。它表示系统必须满足的一些时间要求。传统的可调度性分析方法结论...
-
刊名： 软件学报发表期刊： 2015年2期页码:摘要： 对多分支单变量循环程序的终止性问题进行了研究。证明了在适定的条件下，该类循环程序不可终止性的充分必要条件是迭代映射在循环条件形成的区域中有不动点。特别地，当这类循环程序是多项式循环程序时，在...
-
刊名： 软件学报发表期刊： 2015年2期页码:摘要： 在开放运行环境中，安全攸关系统的不确定性行为有可能导致小概率事件的发生，而此类事件的可靠性指标往往很高，小概率事件一旦发生就会产生灾难性的后果，严重威胁到人们的生命、财产安全。因此，评估、预...
-
刊名： 软件学报发表期刊： 2015年2期页码:摘要： 航天嵌入式软件是航天型号任务成败的关键之一。航天嵌入式软件是一种周期性、多模式的软件。软件的每个模式表示系统处于一定的状态，并进行相应的复杂计算。因此，提出了一种名为 SPARDL 的形式化...
-
刊名： 软件学报发表期刊： 2015年2期页码:摘要： Lustre是一种广泛应用于工业界核心安全级控制系统的同步数据流语言，采用形式化验证的方法实现Lustre到C的编译器可以有效地提高编译器的可信度。基于这种方法，开展了从Lustre*(一种...
-
刊名： 软件学报发表期刊： 2015年2期页码:摘要： 提出了一种基于特征矩阵的软件代码克隆检测方法。在此基础上，实现了针对多类脆弱性的检测模型。基于对脆弱代码的语法和语义特征分析，从语法分析树抽取特定的关键节点类型描述不同的脆弱性类型，将4种基...
-
刊名： 软件学报发表期刊： 2015年2期页码:摘要： 给出了一个寄存器架构的虚拟机模型 Micro-Dalvik,包括虚拟机指令集和虚拟机运行时状态的形式化,并以大步操作语义(big-step operational semantics)的方式...
-
刊名： 软件学报发表期刊： 2015年2期页码:摘要： 信息物理融合系统常采用嵌入式实时多任务系统作为其控制软件，这类软件的并发和非确定性给验证带来了困难。提出了一种利用统计模型检验技术分析多任务系统的功能正确性的方法。该方法构造的时间自动机模型...
-
刊名： 软件学报发表期刊： 2015年2期页码:摘要： 基于程序频谱的动态缺陷定位是软件自动化调试研究中的一个热点问题，通过搜集测试用例的程序频谱和执行结果，基于特定模型以定位缺陷语句在被测程序内的可能位置。对近些年来国内外学者在该研究领域取得的...
-
刊名： 软件学报发表期刊： 2015年2期页码:摘要： C/C++语言中整型的有限表示范围、不同符号或长度间的类型转换导致了整数漏洞的发生，包括整数上溢、整数下溢、符号错误和截断错误。攻击者常常间接利用整数漏洞实施诸如恶意代码执行、拒绝服务等攻击...
-
刊名： 软件学报发表期刊： 2015年2期页码:摘要： 状态事件故障树是一种适合于描述构件化嵌入式系统失效因果链的建模技术，其顶层事件描述失效发生的结果。对顶层事件发生的平均时间进行分析，是获得系统平均失效时间参数的一种有效方法，可为系统的安全性...
软件学报基本信息
| 刊名 | 软件学报 | 主编 | 李明树 |
| 曾用名 | |||
| 主办单位 | 中国科学院软件研究所 中国计算机学会 | 主管单位 | 中国科学院 |
| 出版周期 | 月刊 | 语种 |
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理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
