软件学报期刊
出版文献量(篇)
5820
总下载数(次)
36

软件学报

Journal of Software

CSCDEIJSTAJSACSTPCD

影响因子 2.4459
《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的"中文国际软件学术期刊",为全球华人同行提供学术交流平台.
主办单位:
中国科学院软件研究所 中国计算机学会
期刊荣誉:
百种中国杰出学术刊物  
ISSN:
1000-9825
CN:
11-2560/TP
出版周期:
月刊
邮编:
100190
地址:
北京8718信箱
出版文献量(篇)
5820
总下载数(次)
36
文章浏览
目录
  • 作者: 俞一峻 刘春
    刊名: 软件学报
    发表期刊: 2017年6期
    页码:  1488-1497
    摘要: 问题框架方法分析软件需求时需要通过借助领域知识及其之间的结构关系来论述用户的需求是可以被软件系统满足的.这类定性的可满足性论述支持早期需求决策,选择合理的软件体系结构和设计方案.但是,当前的...
  • 作者: 刘晨 朱美玲 王雄斌 韩燕波
    刊名: 软件学报
    发表期刊: 2017年6期
    页码:  1498-1515
    摘要: 针对伴随车辆检测这一新兴的智能交通应用,在一种特殊的流式时空大数据——车牌识别流式大数据(ANPR)下,重新定义了Platoon伴随模式,提出PlatoonFinder算法,即时地在车牌识别...
  • 作者: 王建民
    刊名: 软件学报
    发表期刊: 2017年6期
    页码:  1516-1528
    摘要: 随着大数据技术在不同领域的快速应用,构建大数据应用系统的开发与运行一体化平台,降低大数据技术在各行各业应用普及的门槛,为面向领域的大数据应用系统的快捷开发和高效运行提供方法、工具和平台支撑,...
  • 作者: 李仁发 李智勇 陈少淼 黄滔
    刊名: 软件学报
    发表期刊: 2017年6期
    页码:  1529-1546
    摘要: 约束优化进化算法主要研究如何利用进化计算方法求解约束优化问题,是进化计算领城的一个重要研究课题.约束优化问题求解存在约束区域离散、等式约束、非线性约束等挑战,其问题的本质是,如何处理可行解与...
  • 作者: 陈松灿 陈蕾
    刊名: 软件学报
    发表期刊: 2017年6期
    页码:  1547-1564
    摘要: 近年来,随着压缩感知技术在信号处理领域的巨大成功,由其衍生而来的矩阵补全技术也日益成为机器学习领域的研究热点,诸多研究者针对矩阵补全问题展开了大量卓有成效的研究.为了更好地把握矩阵补全技术的...
  • 作者: 周小平 李志宇 梁循 赵吉超 马跃峰
    刊名: 软件学报
    发表期刊: 2017年6期
    页码:  1565-1583
    摘要: 现阶段大多数社会网络的研究都集中于单一的社会网络内部.社会网络融合为社会计算等各项研究提供更充分的用户行为数据和更完整的网络结构,从而更有利于人们通过社会网络理解和挖掘人类社会,具有重要的理...
  • 作者: 张香玲 杜小勇 陈峻 陈跃国 马登豪
    刊名: 软件学报
    发表期刊: 2017年6期
    页码:  1584-1605
    摘要: 与传统的以网页页面集合的方式呈现搜索结果不同,实体搜索的结果是实体或实体集合,其优点是无需用户在纷杂的网页里面进行二次查找,更能提升用户的搜索体验.实体搜索的任务可以分为相关实体搜索和相似实...
  • 作者: 冯钧 张立霞 王冲 陆佳民
    刊名: 软件学报
    发表期刊: 2017年6期
    页码:  1606-1628
    摘要: 随着基于定位服务(loaction-based service,简称LBS)在移动设备上的广泛应用,移动对象在路网中的查询成为时空数据检索领域的一个研究热点.从索引结构、查询方法和隐私保护这...
  • 作者: 惠小静 朱乃调 高晓莉
    刊名: 软件学报
    发表期刊: 2017年7期
    页码:  1629-1639
    摘要: 首先对n值Goguen命题逻辑进行公理化扩张Goguen~,△,记为∏~,△.利用公式的诱导函数给出公式在k(k任取~或△)连接词下相对于局部有限理论Γ的Γ-k真度的定义;讨论了∏~.△中Γ...
  • 作者: 刘强 王磊 陈新
    刊名: 软件学报
    发表期刊: 2017年7期
    页码:  1640-1654
    摘要: 针对单规格一刀切二维矩形排样问题,提出了一种启发式搜索算法,称为大小工件分治择优匹配(bigitem smallitem divide-and-conquer best-fit,简称BSDB...
  • 作者: 冯晓兵 刘雷 卢兴敬 武成岗 贾海鹏
    刊名: 软件学报
    发表期刊: 2017年7期
    页码:  1655-1675
    摘要: GPGPU加速器是当前提高图像处理算法性能的主流加速平台,但在GPGPU平台上,同一个程序充分利用硬件体系结构特征和软件特征的优化版本与简单实现版本在性能上会有数量级的差异.GPGPU加速器...
  • 作者: 杨卓群 金芝
    刊名: 软件学报
    发表期刊: 2017年7期
    页码:  1676-1697
    摘要: 自适应系统需要根据运行时上下文和自身的变化进行其行为的调节.为实现自主调节,自适应系统必须被赋予运行时监测上下文和自身变化、分析需求满足程度的变化以及推理得到自适应决策的能力.这种在线决策的...
  • 作者: Jean-Pierre TALPIN 尚利宏 张腾 杨志斌 胡凯
    刊名: 软件学报
    发表期刊: 2017年7期
    页码:  1698-1712
    摘要: 随着对安全攸关实时系统功能与非功能要求的日益增加,使用多核技术将成为发展趋势.如何在多核平台条件下保证系统运行的可信任性及可靠性是学术上和应用上的关键问题.目前基于形式化方法的系统设计、验证...
  • 作者: 王德鑫 王青 贺劼
    刊名: 软件学报
    发表期刊: 2017年7期
    页码:  1713-1731
    摘要: 软件可信已经是一个迫在眉睫的重要问题,但对软件可信性的评估却一直没有一个系统且客观的标准.一些研究工作从可信证据的采集渠道入手,譬如认为有第3方测试的证据,其可信级别就高一些,而若有用户的使...
  • 作者: 张平 李清宝 王烨 陈志锋
    刊名: 软件学报
    发表期刊: 2017年7期
    页码:  1732-1745
    摘要: 近年来,代码复用攻击与防御成为安全领域研究的热点.内核级代码复用攻击使用内核自身代码绕过传统的防御机制.现有的代码复用攻击检测与防御方法多面向应用层代码复用攻击,忽略了内核级代码复用攻击.为...
  • 作者: 姚淑珍 许家俊
    刊名: 软件学报
    发表期刊: 2017年7期
    页码:  1746-1758
    摘要: 数量激增的软件系统被开发出来为用户提供了极大的便利,但也给系统开发带来了极大的不确定性.故障调试过程中的故障检测率(fault detection rate,简称FDR)是不规律变化的,且通...
  • 作者: 曹存根 眭跃飞 陈博
    刊名: 软件学报
    发表期刊: 2017年7期
    页码:  1759-1772
    摘要: 提出了一种贪婪缺省逻辑,旨在构造扩展的过程中尽可能地保留缺省规则当中的信息.给出了贪婪缺省逻辑的推演系统一—GD系统和贪婪缺省的GD-扩展的定义.并且证明了对于缺省理论(T,△)的一个扩展,...
  • 作者: 佘堃 司伟钰 牛新征
    刊名: 软件学报
    发表期刊: 2017年7期
    页码:  1773-1789
    摘要: 社团的数目和时间平滑性的平衡因子一直是基于进化聚类的动态网络社团发现算法的最大的问题.提出一种基于标签的多目标优化的动态网络社团发现算法(LDMGA).借鉴多目标遗传算法思想,将进化聚类思想...
  • 作者: 曾振柄 李春芝 蒋云良 陈晓华 陈良育
    刊名: 软件学报
    发表期刊: 2017年7期
    页码:  1790-1814
    摘要: 网络虚拟化使得智能能耗感知网络部署成为可能.由于虚拟网络请求到来以及退出等动态性,引起底层网络资源分配以及回收,会对底层网络激活资源数量与集合范围产生影响;虚拟网络映射不仅决定了当前激活的底...
  • 作者: 李宇翀 段哲民 温欣玲 陈宇
    刊名: 软件学报
    发表期刊: 2017年7期
    页码:  1815-1834
    摘要: 基于最小集覆盖理论的拥塞链路推理算法,仅对共享瓶颈链路进行推理,当拥塞路径存在多条链路拥塞时,算法的推理性能急剧下降.针对该问题,提出一种基于贝叶斯最大后验(Bayesian maximum...
  • 作者: 万晓霞 叶松涛 谢伟 金国念
    刊名: 软件学报
    发表期刊: 2017年7期
    页码:  1835-1846
    摘要: 印前图像特指图像数字排版经编辑确认后的数字印刷样张,其以栅格处理器分色后的加网二进制形式存储.数字样张一经确认,其来源的合法性便不受怀疑.但是,从印刷的整体流程来看,数字样张的存储、传输过程...
  • 作者: 丁凯 张清杨 杨娟 汪荣贵 薛丽霞
    刊名: 软件学报
    发表期刊: 2017年7期
    页码:  1847-1861
    摘要: 视觉词袋模型广泛地应用于图像分类与图像检索等领域.在传统词袋模型中,视觉单词统计方法忽略了视觉词之间的空间信息以及分类对象形状信息,导致图像特征表示区分能力不足.提出了一种改进的视觉词袋方法...
  • 作者: 周铭柯 杜明智 柯逍
    刊名: 软件学报
    发表期刊: 2017年7期
    页码:  1862-1880
    摘要: 自动图像标注是一个包含众多标签、多样特征的富有挑战性的研究问题,是新一代图像检索与图像理解的关键步骤.针对传统的基于浅层机器学习标注算法标注效率低下、难以处理复杂分类任务的问题,提出了基于栈...
  • 作者: 兰兴土 李隘鹏 郭文忠 陈星 黄罡
    刊名: 软件学报
    发表期刊: 2017年7期
    页码:  1881-1897
    摘要: 随着云计算技术的普及,涌现出众多不同用途、不同类型的云计算平台.为了满足遗产系统整合和动态资源扩展等需求,常常需要构造混合云来统一管理不同云平台中的计算和存储资源.然而,不同云平台的管理接口...
  • 作者: 于思淼 张绳昱 张锐文 武丹凤
    刊名: 软件学报
    发表期刊: 2017年7期
    页码:  1898-1925
    摘要: 在多智体社会网络中,传统的任务分配模型一般采用直接面向任务执行者的分配机制.它们不考虑社会网络组织结构对任务分配性能的巨大影响,也很少透彻地研究不可靠社会中的任务分配.针对这些问题,开创性地...
  • 作者: 伍卫国 张兴军 徐志伟 聂世强 蔡毅
    刊名: 软件学报
    发表期刊: 2017年8期
    页码:  1927-1939
    摘要: 如何有效地将海量数据分布到存储节点,是存储系统首要解决的问题.提出的MJHAR(matrix-based jump hash algorithm for replication data)对...
  • 作者: 丁尚 叶保留 童鑫 陈艳
    刊名: 软件学报
    发表期刊: 2017年8期
    页码:  1940-1951
    摘要: 分布式存储系统为了保证可靠性,会采用一定的存储冗余策略,如多副本策略、纠删码策略.纠删码相对于副本具有存储开销小的优点,但节点修复网络开销大针对修复网络开销优化,业界提出再生码和以简单再生码...
  • 作者: 佘楚玉 刘育擘 温武少 肖扬 贾殷
    刊名: 软件学报
    发表期刊: 2017年8期
    页码:  1952-1967
    摘要: 随着大数据时代的到来,全球信息存储量呈现爆发式的增长,传统的存储系统在存储性能、存储容量、数据可靠性和成本等方面存在诸多不足.近年来,以云计算平台为依托的存储技术得到了飞速发展,成为处理海量...
  • 作者: 刘星 江松 王洋 范小朋 须成忠
    刊名: 软件学报
    发表期刊: 2017年8期
    页码:  1968-1981
    摘要: 小数据同步写普遍存在于各种计算机环境中,并且可以由计算机系统的不同层次软件产生,从底层操作系统一直到上层应用软件都可以生成小数据同步写请求.然而,操作系统的文件系统是以块作为最小逻辑可寻址单...
  • 作者: 吴恒 唐震 王伟 魏峻 黄涛
    刊名: 软件学报
    发表期刊: 2017年8期
    页码:  1982-1998
    摘要: 以SSD(solid state drive)为代表的新型存储介质在虚拟化环境下得到了广泛的应用,通常作为虚拟机读写缓存,起到优化磁盘I/O性能的作用.已有研究往往关注SSD缓存的容量规划,...

软件学报基本信息

刊名 软件学报 主编 李明树
曾用名
主办单位 中国科学院软件研究所 中国计算机学会  主管单位 中国科学院
出版周期 月刊 语种
chi
ISSN 1000-9825 CN 11-2560/TP
邮编 100190 电子邮箱 jos@iscas.ac.cn
电话 010-62562563 网址 www.jos.org.cn
地址 北京8718信箱

软件学报评价信息

期刊荣誉
1. 百种中国杰出学术刊物

软件学报统计分析

被引趋势
(/次)
(/年)
学科分布
研究主题
推荐期刊