论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 软件学报期刊 >
软件学报2017年出版文献
出版文献量（篇）
5820
总下载数（次）
36
出版文献量（篇）
5820
总下载数（次）
36
分享
文章浏览
目录
-
61. 社会网络中的团队形成问题研究综述刊名： 软件学报发表期刊： 2017年4期页码:摘要： 团队形成问题作为一个出自于运筹学中的问题,已经得到了深入的研究.然而,随着各种社交平台的流行以及网络通信的迅速发展,社会化网络中的团队形成再次调动起了众多学者的研究热情.社会化网络中的团队形...
-
62. 网络安全态势感知综述刊名： 软件学报发表期刊： 2017年4期页码:摘要： 随着网络空间安全重要性的不断提高,网络安全态势感知(network security situation awareness,简称NSSA)的研究与应用正在得到更多的关注.NSSA实现对网络...
-
刊名： 软件学报发表期刊： 2017年4期页码:摘要： 现代晶体管技术在单芯片上集成多个处理器已经成为现实.近年来,随着多核处理器集成核数的不断增加,高速缓存的一致性问题凸显出来,已成为多核处理器的性能瓶颈之一,亟待解决.介绍了片上多核处理器一致...
-
刊名： 软件学报发表期刊： 2017年5期页码:摘要： 采用形式化方法证明软件的正确性,是保障软件可靠性的有效方法,而对循环语句的分析与验证,是形式化证明中的关键,对循环语句的处理一直是程序分析与验证中的一个难点问题,提出使用循环语句修改的内存和...
-
65. 正则模型类的时态可定义性刊名： 软件学报发表期刊： 2017年5期页码:摘要： 正则模型是非正规模态逻辑的模型,通过定义正则模型的不相交并、C2t-互模拟、生成子模型、C2t-超滤扩张等模型上的运算,可以证明一个正则模型类在时态语言中可定义当且仅当它在不相交并、满C2t...
-
刊名： 软件学报发表期刊： 2017年5期页码:摘要： 已有的实时系统模型无法动态创建新进程.为此,基于时间自动机模型,提出了异步多进程时间自动机模型,将每个进程抽象为进程时间自动机,其部分状态能够触发新进程,考虑到队列会导致模型图灵完备,进程都...
-
刊名： 软件学报发表期刊： 2017年5期页码:摘要： 从系统诊断的角度来看,可诊断性是离散事件系统的一个重要性质,其要求系统发生故障后经过有限步的观测可以检测并隔离故障,为简单起见,对离散事件系统可诊断性的研究大都假定观测是确定的,即观测到的事...
-
刊名： 软件学报发表期刊： 2017年5期页码:摘要： 轨迹静态简化技术是在确保与原轨迹等价的前提下,通过随机减少程序执行时线程切换的数量,达到提高程序员调试并发程序效率的目的.然而,轨迹中可减少的线程切换分布往往是不均匀的,因此,随机简化策略难...
-
69. 多机器人路径规划的安全性验证刊名： 软件学报发表期刊： 2017年5期页码:摘要： 近年来,伴随着人工智能领域的浪潮,机器人越来越多地出现在我们的日常生活中,例如足球机器人、无人机、无人车等,如何保证这些自治机器人尤其是多个机器人在移动过程中的安全,成为人们一直很关心的问题...
-
刊名： 软件学报发表期刊： 2017年5期页码:摘要： 随着计算机与物理环境的交互日益密切,信息-物理融合系统(cyber-physical system,简称CPS)在健康医疗、航空电子、智能建筑等领域具有广泛的应用前景,CPS的正确性、可靠性...
-
刊名： 软件学报发表期刊： 2017年5期页码:摘要： 信息-物理融合系统是一种新型嵌入式系统计算模式.它集成了控制计算过程和受控对象,二者相互影响并有机结合,随着信息技术在现实世界中更加广泛、深入的应用,智能化程度不断提升,在具有信息-物理紧密...
-
刊名： 软件学报发表期刊： 2017年5期页码:摘要： 面向动作的上下文感知(activity-oriented context-aware,简称AOCA)应用组织环境中的资源,为用户动作的顺利进行提供支持.为应对环境和动作相关需求的开放性,这类...
-
刊名： 软件学报发表期刊： 2017年5期页码:摘要： 基于通信的列车控制系统(communication based train control system,简称CBTC)已经成为世界范围内建造轨道交通信号系统的标准制式.CBTC采用更加灵活...
-
刊名： 软件学报发表期刊： 2017年5期页码:摘要： 内存管理系统位于操作系统内核的最底层,为上层提供内存分配和回收机制.在航天器这类安全攸关的关键系统中,其可靠性和安全性至关重要,必须要考虑到强实时性、有限空间限制、高分配效率以及各种边界条件...
-
刊名： 软件学报发表期刊： 2017年5期页码:摘要： 部分求值技术在程序优化及软件自动生成等方面起着极为重要的作用.将部分求值技术应用到编译器测试中.为此,设计了一种C语言的子集peC语言,给出了该语言的部分求值策略的形式化描述,实现了peC语...
-
刊名： 软件学报发表期刊： 2017年5期页码:摘要： 同步数据流语言(如Lustre)近年来在航空、高铁、核电等安全攸关领域得到广泛应用.这些领域对相关开发工具本身的安全性有着相当高的要求,为尽力解决好“误编译”问题,近期人们借助reliabl...
-
77. 软件非功能需求权衡代价刊名： 软件学报发表期刊： 2017年5期页码:摘要： 软件非功能需求的实现涉及软件质量这一重要问题,非功能需求的满足程度,直接影响软件质量的满足程度.针对一直以来对软件质量的一贯重视以及软件非功能需求权衡的重要性,借鉴微观经济学领域的生产理论、...
-
78. 基于分层抽样的重叠深网数据源选择刊名： 软件学报发表期刊： 2017年5期页码:摘要： 深网查询在Web上众多的应用,需要查询大量的数据源才能获得足够的数据,如多媒体数据搜索、团购网站信息聚合等.应用的成功,取决于查询多数据源的效率和效果.当前研究侧重查询与数据源的相关性而忽略...
-
刊名： 软件学报发表期刊： 2017年5期页码:摘要： 针对大规模IP网络拥塞链路丢包率范围推断算法中存在的不足,提出一种贪婪启发式拥塞链路丢包率范围推断算法.借助多时隙路径探测,避开单时隙探测对时钟同步的强依赖;通过学习各链路拥塞先验概率,借助...
-
刊名： 软件学报发表期刊： 2017年5期页码:摘要： 智能无人车软件系统通常由多个功能模块组成,在模块间高效、可靠地传输传感器数据以及决策和控制信息等,是智能无人车系统运行的重要保障,目前,国内外大多数智能无人车软件系统所使用的消息传输机制均基...
-
刊名： 软件学报发表期刊： 2017年6期页码:摘要： 通过分析GitHub开源软件的开发过程,提出了问题解决速度、问题增加速度等影响因素,并对这些影响因素间的相关性进行了分析.经过实验证明了有些影响因素之间存在一定的相关性.同时,根据实验的结果...
-
刊名： 软件学报发表期刊： 2017年6期页码:摘要： 由于开源软件开发方式与传统的软件工程方法存在显著差异,为了加入开源社区,商业组织必须要对自身原有的软件开发方式、业务模式等做出调整.在这种情况下,一个亟待解决的问题是商业组织应当采取怎样的参...
-
刊名： 软件学报发表期刊： 2017年6期页码:摘要： 随着软件协同开发技术与社交网络的深度融合,社交化开发范式已成为当前软件创作与生产的重要方式.这一软件开发模型的灵活性与开放性,吸引了大规模的外围贡献者加入到开源社区中,形成了巨大的软件生产力...
-
刊名： 软件学报发表期刊： 2017年6期页码:摘要： 移动应用中,广泛使用第三方库来帮助开发和增强应用功能.很多关于移动应用分析以及访问控制的研究工作,需要在分析之前对第三方库进行检测、过滤或者对其进行功能分类.当前,大部分研究工作都以使用白名...
-
刊名： 软件学报发表期刊： 2017年6期页码:摘要： 配置管理工具(configuration management tool,简称CMT)作为运维自动化的组成部分,是实现开发运维一体化(development and operations,简...
-
86. 基于增强描述的代码搜索方法刊名： 软件学报发表期刊： 2017年6期页码:摘要： 如何有效地帮助程序员从目前的各种代码库中搜索与特定编程任务相关的代码,已成为软件工程重要的研究领域之一.提出一种基于增强描述的代码搜索方法DERECS,该方法首先基于开源项目、问答系统等构建...
-
刊名： 软件学报发表期刊： 2017年6期页码:摘要： 软件代码提交是最重要的软件版本演化数据之一,被广泛应用于软件审查和软件理解中.对于程序员,提交的理解难度随着受影响的类数量、修改的代码量的增加而增加.通过对大量数据的分析发现:识别出提交中核...
-
刊名： 软件学报发表期刊： 2017年6期页码:摘要： 微服务正逐步成为互联网应用所采用的设计架构,如何有效检测故障并定位问题原因,是保障微服务性能与可靠性的关键技术之一.当前的方法通常监测系统度量,根据领域知识人工设定报警规则,难以自动检测故障...
-
刊名： 软件学报发表期刊： 2017年6期页码:摘要： 软件缺陷预测方法可以在项目的开发初期,通过预先识别出所有可能含有缺陷的软件模块来优化测试资源的分配.早期的缺陷预测研究大多集中于同项目缺陷预测,但同项目缺陷预测需要充足的历史数据,而在实际应...
-
90. 基于区块链的应用系统开发方法研究刊名： 软件学报发表期刊： 2017年6期页码:摘要： 从区块链的技术层面及应用层面分析其特征,并给出区块链的分类.挖掘区块链的设计需求,针对区块链的一致性和可扩展性的应用需求进行深入分析.对区块链的应用系统开发方法及区块链建模进行研究,提出了账...
软件学报基本信息
| 刊名 | 软件学报 | 主编 | 李明树 |
| 曾用名 | |||
| 主办单位 | 中国科学院软件研究所 中国计算机学会 | 主管单位 | 中国科学院 |
| 出版周期 | 月刊 | 语种 |
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理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
