论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 工业技术期刊 \
- 自动化技术与计算机技术期刊 \
- 软件学报期刊 >
软件学报2021年出版文献
出版文献量（篇）
5820
总下载数（次）
36
出版文献量（篇）
5820
总下载数（次）
36
分享
文章浏览
目录
-
刊名： 软件学报发表期刊： 2021年5期页码:摘要： 微服务架构近年来已成为互联网应用所采用的主流架构模式.然而与传统的软件架构相比,微服务架构更加复杂的部署结构使其面临更多能够导致系统发生故障的潜在威胁,且微服务架构系统故障的症状也更加多样化...
-
刊名： 软件学报发表期刊： 2021年5期页码:摘要： 目前,一种称为微服务的架构风格正受到越来越多的关注.它给软件项目带来好处的同时,也影响着使用微服务架构的开发组织.研究目的是明确微服务的使用对开发组织产生了哪些影响,这些影响对于组织来说是优...
-
刊名： 软件学报发表期刊： 2021年5期页码:摘要： 近年来,微服务架构已经成为软件工程领域比较流行的架构风格,其天然支持DevOps和持续交付以及可伸缩性、可扩展性好等特性,驱动着业界实践者纷纷向微服务架构迁移.然而,采用微服务架构也面临诸多...
-
刊名： 软件学报发表期刊： 2021年5期页码:摘要： 随着软件系统越来越复杂化和分布化,为系统提供具有完善功能的监控服务显得越来越重要.APM(application performance management)系统通过采集软件系统运行时的各...
-
刊名： 软件学报发表期刊： 2021年5期页码:摘要： 软件企业实践将遗留软件系统解耦成基于微服务架构的系统,以提高软件的可维护性,达到较快市场交付.评估微服务开发阶段的代码可维护性是一个关键问题,其面临数据多源化、可维护性关注点多样化的难点.通...
-
刊名： 软件学报发表期刊： 2021年5期页码:摘要： 微服务设计模式通过将应用程序拆分成多个相互独立的微服务,实现了各个微服务之间的相互解耦,允许各个微服务能够独立地进行迭代开发、部署,从而对用户需求变化以及DevOps流程中部署需求作出快速响...
-
刊名： 软件学报发表期刊： 2021年5期页码:摘要： 信念传播算法是基于因子图模型的消息传递算法,通过图中的边,将消息从一个结点传递给另一个结点,以高概率地确定部分变量的取值,这种方法被实验证明在求解可满足性问题时非常有效.然而,目前还未对其有...
-
68. 程序智能合成技术研究进展刊名： 软件学报发表期刊： 2021年5期页码:摘要： 近年来,随着信息技术快速发展,软件重要性与日俱增,极大地推动了国民经济的发展.然而,由于软件业务形态越来越复杂和需求变化越来越快,软件的开发和维护成本急剧增加,迫切需要探索新的软件开发模式和...
-
刊名： 软件学报发表期刊： 2021年5期页码:摘要： 过程树能够兼具过程模型的行为和结构,在简化模型结构的复杂度方面具有重要意义.现有过程树转化仅能将基于块结构的简单过程模型转化为过程树,无法将具有复杂结构的过程模型转化过程树.为此,提出了 一...
-
70. 可信机器学习的公平性综述刊名： 软件学报发表期刊： 2021年5期页码:摘要： 人工智能在与人类生活息息相关的场景中自主决策时,正逐渐面临法律或伦理的问题或风险.可信机器学习是建立安全人工智能系统的核心技术,是人工智能领域的热门研究方向,而公平性是可信机器学习的重要考量...
-
刊名： 软件学报发表期刊： 2021年5期页码:摘要： 数字病理图像分析对于乳腺癌、前列腺癌等良恶性分级诊断具有重要意义,其中,组织基元的形态和目标测量是量化分析的重要依据.然而,由于病理数据多样性和复杂性等新特点,其分割任务面临着特征提取困难、...
-
72. 轨迹表示学习技术研究进展刊名： 软件学报发表期刊： 2021年5期页码:摘要： 基于地理位置信息的应用和服务的迅速发展,对轨迹数据挖掘提出了新的需求和挑战.原始轨迹数据通常是由坐标-时间戳元组构成的有序序列,而现有的大多数数据分析算法均要求输入数据位于向量空间中.因此,...
-
刊名： 软件学报发表期刊： 2021年5期页码:摘要： 为了解决布谷鸟搜索算法收敛速度较低、全局收敛效率不高的问题,提出了具有万有引力加速机理的布谷鸟算法.该算法基于万有引力搜索无需学习外部环境因素的变化亦能感知全局最优的特点,将布谷鸟巢穴等价为...
-
74. 区块链系统攻击与防御技术研究进展刊名： 软件学报发表期刊： 2021年5期页码:摘要： 区块链作为一种多技术融合的新兴服务架构,因其去中心化、不可篡改等特点,受到了学术界和工业界的广泛关注.然而,由于区块链技术架构的复杂性,针对区块链的攻击方式层出不穷,逐年增加的安全事件导致了...
-
75. 面向智能攻击的行为预测研究刊名： 软件学报发表期刊： 2021年5期页码:摘要： 人工智能的迅速发展和广泛应用促进了数字技术的整体跃升.然而,基于人工智能技术的智能攻击也逐渐成为一种新型的攻击手段,传统的攻击防护方式已经不能满足安全防护的实际需求.通过预测攻击行为的未来步...
-
76. 一种基于区块链的域间访问控制模型刊名： 软件学报发表期刊： 2021年5期页码:摘要： 云计算、物联网和移动互联网等新型计算模式的出现,使得域间相互访问以及数据共享的需求不断扩大,而目前"中心化"的传统访问控制技术所显现出的访问控制策略执行不透明、动态数据管理不灵活、资源拥有者...
-
刊名： 软件学报发表期刊： 2021年5期页码:摘要： 植物叶片图像的识别是计算机视觉和图像处理技术在生物学和现代农业中的一个重要应用.其挑战性在于植物叶片种类数量巨大,且许多叶片图像具有很大的类间相似性,使得描述叶片图像的类间差异变得非常困难....
-
78. 形式化方法与应用专题前言刊名： 软件学报发表期刊： 2021年6期页码:摘要： 计算机科学的发展主要涉及硬件和软件的发展,而软、硬件发展的核心问题之一是如何保证它们是安全可靠的.如今,硬件性能变得越来越高,运算速度也越来越快,体系结构、软件的功能也更加复杂,如何开发可靠...
-
刊名： 软件学报发表期刊： 2021年6期页码:摘要： 形式化方法为安全协议分析提供了理论工具,但经过形式化验证过的协议标准在转换为具体程序实现时,可能无法满足相应的安全属性.为此,提出了一种检测安全协议代码语义逻辑错误的形式化验证方法.通过将协...
-
刊名： 软件学报发表期刊： 2021年6期页码:摘要： 在GitHub平台中,许多项目贡献者在提交Pull Request(PR)时往往会忽略提交PR描述,这使得提交的PR容易被评审者忽略或者拒绝.因此,自动生成PR描述以帮助项目贡献者提高PR通...
-
刊名： 软件学报发表期刊： 2021年6期页码:摘要： 展开技术借助分支进程可在一定程度上缓解Petri网性质分析中的状态爆炸问题.但展开网中仍然包含了系统的所有状态信息.某些应用问题仅需对系统特定状态的可覆盖性进行判定,以此为目标,有望缩减网系...
-
刊名： 软件学报发表期刊： 2021年6期页码:摘要： 航天器等安全关键系统是典型的嵌入式系统,具有多任务并发、中断频发等特点.操作系统是其最基础的软件,构建一个正确的操作系统是保障航天器系统高可信运行的关键.异常管理作为操作系统最底层的功能,负...
-
刊名： 软件学报发表期刊： 2021年6期页码:摘要： 模型驱动开发以其低错误率、易仿真、易验证的特点,在嵌入式软件开发中被广泛应用.近年来,基于模型的嵌入式软件开发方法及相应工具也在逐渐发展和完善.数据流模型是各种建模工具中使用最为频繁的语义模...
-
刊名： 软件学报发表期刊： 2021年6期页码:摘要： 嵌入式实时系统在安全关键领域变得越来越重要,其广泛应用于航空航天.汽车电子等具有严格时间约束的实时系统中.随着嵌入式系统的复杂度越来越高,在系统开发的早期设计阶段就需要对其可调度性进行分析评...
-
刊名： 软件学报发表期刊： 2021年6期页码:摘要： 死锁是并行程序常见的缺陷之一,动态死锁分析方法根据程序运行轨迹构建锁图、分段图等模型来检测死锁.然而,锁图及其现有的各种变型无法区分同一循环中锁授权语句的多次执行,扩展锁图中记录的锁集无法捕...
-
刊名： 软件学报发表期刊： 2021年6期页码:摘要： 污点分析技术是检测Android智能手机隐私数据泄露的有效方法,目前主流的Android应用污点分析工具主要关注分析的精度,常常忽略运行效率的提升.在分析一些复杂应用时,过大的开销可能造成超...
-
87. 以太坊中间语言的可执行语义刊名： 软件学报发表期刊： 2021年6期页码:摘要： 智能合约是实现各类区块链应用的核心软件程序.近期,以太坊区块链平台(Ethereum)上的智能合约暴露出大量错误和安全隐患,在国际上引发了智能合约形式化验证的研究热潮.为提供高可信度的验证结...
-
88. 个体交互行为的平滑干预模型刊名： 软件学报发表期刊： 2021年6期页码:摘要： 基于交互行为的用户特征提取和身份认证方法是一种重要的身份识别方式,但高频用户的交互行为模式和操作习惯相对稳定,易被欺诈者模仿,使得现有模型对此类欺诈行为的误判较高.如何使得用户行为主动平滑变...
-
89. 支持乱序执行的Raft协议刊名： 软件学报发表期刊： 2021年6期页码:摘要： PolarFS是阿里巴巴开发的分布式文件系统,它实现了分布式共识协议Raft的一种变体,称为ParallelRaft.ParallelRaft突破了Raft中顺序提交、顺序执行的限制,允许状...
-
刊名： 软件学报发表期刊： 2021年6期页码:摘要： 随着信息物理融合系统CPS(cyber physical system)研究的深入,CPS的安全性问题越来越受到人们的广泛关注,如何验证CPS时空不一致的安全性问题已经成为研究热点.针对该问...
软件学报基本信息
| 刊名 | 软件学报 | 主编 | 李明树 |
| 曾用名 | |||
| 主办单位 | 中国科学院软件研究所 中国计算机学会 | 主管单位 | 中国科学院 |
| 出版周期 | 月刊 | 语种 |
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理论与应用研究
成组技术与生产现代化
测绘与空间地理信息
电光与控制
电子商务
电机与控制学报
地理信息世界
音响改装技术
电脑编程技巧与维护
电脑高手
电脑技术
电脑开发与应用
电脑迷
电脑时空
智能计算机与应用
电脑与电子
