论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 软件学报期刊 >
软件学报2015年第12期出版文献
出版文献量（篇）
5820
总下载数（次）
36
总被引数（次）
226394
出版文献量（篇）
5820
总下载数（次）
36
总被引数（次）
226394
分享
文章浏览
目录
-
刊名： 软件学报发表期刊： 2015年12期页码:摘要： 基于构件的软件构建方法目前被广泛使用在软件开发中,用于减少软件开发的工程成本和加快软件开发进度.在软件维护过程中,由于构件更新或者新版本的发布,基于构件的系统会受到影响,需要进行回归测试.对...
-
刊名： 软件学报发表期刊： 2015年12期页码:摘要： 函数名称质量的高低,对于理解和维护程序非常重要.然而对于软件开发人员,尤其是母语非英语的软件开发人员,为函数选取高质量的名称比较困难.为此,提出一种函数名称推荐方法.首先,基于开源软件创建函...
-
刊名： 软件学报发表期刊： 2015年12期页码:摘要： 现有的计算软件可靠性的方法采用测试的输入/输出结果,但这些数据并不能真实地反映软件内部的真实行为,如测试中会出现假性正确的情况以及测试不能显示一个输入有多个错误的输出情况.试图通过程序不变量...
-
4. 浮点数学函数异常处理方法刊名： 软件学报发表期刊： 2015年12期页码:摘要： 异常会造成程序错误,实现完全没有异常的浮点计算软件也很艰难,因此,实现有效的异常处理方法很重要.但现有的异常处理并不针对浮点运算,并且研究重点都集中在整数溢出错误上,而浮点类型运算降低了整数...
-
刊名： 软件学报发表期刊： 2015年12期页码:摘要： 异构集群多层次异构存储的特点,决定了在其上进行计算时,数据需要进行更多维度的划分.现有集群程序设计语言缺乏对多维数组传输和转置的统一表示机制.介绍多维数组维度转置的表示方法和课题组实现的Pa...
-
刊名： 软件学报发表期刊： 2015年12期页码:摘要： #SAT问题是人工智能中的重要问题,在人工智能领域被广泛应用.在对基于扩展规则的模型计数求解方法CER深入研究的基础上,重构CER中使用的计算公式,并对其正确性进行了证明;提出极大项相交集和...
-
刊名： 软件学报发表期刊： 2015年12期页码:摘要： 多样化检索结果的评测通常假设一个查询词包含多个权重各不相同的用户子意图,并在此假设的基础上对检索结果进行评测.虽然大多数已经存在的多样化检索评测方法利用了这些特性对检索结果进行评测,但在评测...
-
8. 概率最大受限路径相容算法刊名： 软件学报发表期刊： 2015年12期页码:摘要： 研究了可用于求解约束满足问题的最大受限路径相容算法(maxRPC).maxRPC算法执行过程中有大量无效的寻找路径相容证明(PC-witness)的操作,有效地识别和避免这些无效的寻找PC-...
-
刊名： 软件学报发表期刊： 2015年12期页码:摘要： 提出时态树的概念和构造方法,从而将汉英时态转换问题转换为时态树标注的问题.而后,使用树形条件随机场为未标注时态树的结点标注英语时态.提出的特征函数的模板较好地满足了模型推断的需要.实验结果表...
-
10. 概念格多属性渐减式构造刊名： 软件学报发表期刊： 2015年12期页码:摘要： 渐进式算法是概念格构造的重要方法之一,但以前的渐进式算法均为渐增式算法,即对象或属性都是增加的.实践表明,彳艮多场合需要属性减少后的概念格.2013年,减少单个属性的渐减式算法已有研究,然而...
-
11. 使用ECC的身份混合签密方案刊名： 软件学报发表期刊： 2015年12期页码:摘要： 身份混合签密能够高效封装对称密钥和安全传输数据.针对现有身份混合签密方案计算复杂度高的问题,集成身份混合签密和椭圆曲线密码学(ECC)中的双线性映射,构造了一种使用ECC的身份混合签密方案....
-
刊名： 软件学报发表期刊： 2015年12期页码:摘要： 基于属性的认证密钥协商(attribute-based authenticated key agreement,简称ABAKE)协议可在保护身份隐私的通信环境中为用户建立共享的会话密钥,AB...
-
13. 抗签名密钥泄露的可撤销无证书签名刊名： 软件学报发表期刊： 2015年12期页码:摘要： 当用户的私钥泄露或使用权限到期时,系统如何撤销该用户是亟待解决的问题.这一问题在传统公钥系统TPKC和基于身份的公钥系统IBC下已有解决方案,然而在无证书公钥系统中,这一问题至今没有得到很好...
-
14. 高效可证安全的无证书聚合签名方案刊名： 软件学报发表期刊： 2015年12期页码:摘要： 由于现有聚合签名方案多数是基于双线性映射构造,存在计算效率低的不足.针对不同的网络环境,提出了2种不使用双线性映射的无证书聚合签名方案CLAS-Ⅰ和CLAS-Ⅱ,并在随机预言机模型下,基于离...
-
15. RFID快速隐私保护认证协议刊名： 软件学报发表期刊： 2015年12期页码:摘要： 基于对称密码体系的RFID隐私保护认证协议的构造是学术界和工业界研究的热点问题.具有完整性隐私保护协议的效率不够高效,需要对系统中所有的标签进行穷尽搜索,难以应用于物联网海量终端的环境.给出...
-
刊名： 软件学报发表期刊： 2015年12期页码:摘要： 改善单调速率(rate monotonic,称RM)可调度性判定算法的效率,是过去40年计算机实时系统设计的重要问题.最近,研究人员把可调度性判定问题扩展到了更一般的优化设计问题,即,如何调...
-
17. 《软件学报》投稿指南刊名： 软件学报发表期刊： 2015年12期页码:摘要：
软件学报基本信息
| 刊名 | 软件学报 | 主编 | 李明树 |
| 曾用名 | |||
| 主办单位 | 中国科学院软件研究所 中国计算机学会 | 主管单位 | 中国科学院 |
| 出版周期 | 月刊 | 语种 |
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理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
