摘要:一般而言，读写分离技术可以解决当前大数据环境下的读写速度失配的部分问题，但是现有的读写分离技术主要是针对同构数据库的解决方案.由于存储结构的不一致，由行式存储数据库和列式存储数据库构成的异构分布式数据库系统相较于同构分布式数据库系统在数据同步的过程中就会面临格式转换、同步速度不匹配等诸多难题. ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:步态数据分析是模式识别、数据挖掘与智能数据分析领域中的一个重要研究方向.对步态数据进行分析并求解步态周期段，是该领域的一个核心课题，其中，以波峰波谷识别、步态模板匹配、利用信号处理基本方法为主.这些方法尽管已取得了一定条件下的应用，但大多需要预知步态数目、步态模板数据等基本信息，其可用性受限. ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:近年来，无人机技术的快速发展使得无人机地面目标检测技术成为计算机视觉领域的重要研究方向，无人机在军事侦察、交通管制等场景中具有普遍的应用价值.针对无人机场景下目标分辨率低、尺度变化大、相机快速运动、目标遮挡和光照变化等问题，提出一种基于残差网络的航拍目标检测算法.在SSD（singleshot ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:流量预测一直是交通领域研究者和实践者关注的热点问题.流量数据具有高度的非线性和复杂性，对其进行精准预测具有很大的挑战，现有的预测方法大多不能很好地捕获数据的时空相关性.提出一种新颖的基于深度学习的多组件时空图卷积网络（MCSTGCN），以解决交通流量预测问题.MCSTGCN通过3个组件分别建模 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:城市道路的旅行时间预测，对于路径规划以及交通管理至关重要.尽管旅行时间预测会受路段依赖、时空相关性以及其他因素的影响，但现有的方法并未考虑如何结合外部因素进行建模，因而可能会有引入错误信息、路段建模时忽略上下游路段间的依赖关系等问题，导致预测精度较差.鉴于此，提出了两阶段的旅行时间预测框架：首 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:梯度提升树算法由于其高准确率和可解释性，被广泛地应用于分类、回归、排序等各类问题.随着数据规模的爆炸式增长，分布式梯度提升树算法成为研究热点.虽然目前已有一系列分布式梯度提升树算法的实现，但是它们在高维特征和多分类任务上性能较差，原因是它们采用的数据并行策略需要传输梯度直方图，而高维特征和多分 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:传统矩阵分解方法因其算法的高可扩展性和较好的性能等特点，在预测、推荐等领域有着广泛的应用.然而大数据环境下，更多上下文因素的获取变得可能，传统矩阵分解方法缺乏对上下文信息的有效利用.在此背景下，因子分解机模型提出并流行.为了更好地把握因子分解机模型的发展脉络，促进因子分解机模型与应用相结合，针 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:因子分解机（factorizationmachine，简称FM）模型因为能够有效解决高维数据特征组合的稀疏问题且具有较高的预测精度和计算效率，在广告点击率预测和推荐系统领域被广泛研究和应用.对FM及其相关模型的研究进展进行综述，有利于促进该模型的进一步改进和应用.通过比较FM模型与多项式回归模 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:近年来，强化学习在电子游戏、棋类、决策控制等领域取得了巨大进展，也带动着金融交易系统的迅速发展.金融交易问题已经成为强化学习领域的研究热点，特别是股票、外汇和期货等方面具有广泛的应用需求和学术研究意义.以金融领域常用的强化学习模型的发展为脉络，对交易系统、自适应算法、交易策略等方面的诸多研究成 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:当软件缺陷报告在跟踪系统中被指派给开发人员进行缺陷修复之后，缺陷修复人员就需要根据提交的缺陷报告来进行软件缺陷定位，并做出相应的代码变更，以修复该软件缺陷.在缺陷修复的整个过程中，软件缺陷定位占用了开发人员大量的时间.提出了一种方法级别的细粒度软件缺陷定位方法MethodLocator，以提高 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:当前，静态污点分析检测Android应用隐私泄露存在误报率较高的问题，这给检测人员和用户带来很大的不便.针对这一问题，提出了一种多源绑定发生的污点分析技术.该技术可以精确地判断污点分析结果中多组源是否可以在一次执行中绑定发生，用户可以从单一分析1条结果转为分析有关联的多组结果，这既缩小了分析范 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:由于经典的线性时序逻辑表达能力有限，设计并开发了基于交替投影时序逻辑（alternatingprojectiontemporallogic，简称APTL）的模型检测工具.根据王海洋等人提出的APTL符号模型检测方法，设计并实现了APTL模型检测器MCMAS_APTL.该工具可用于多智能体系统（ ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:程序自动修复技术能够有效地降低软件维护成本，是近年来学术研究的热点问题.待修复程序规约的刻画，对自动修复过程具有至关重要的作用.从规约的角度对程序自动修复问题和技术进行了分析梳理.从待修复程序是否具有完整的程序规约，将现有修复问题分为不完全规约、完全规约和半完全规约这3大类待修复问题.以3类抽 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:错误定位就是寻找程序错误的位置.现有的错误定位方法大多利用测试用例的覆盖信息，以标识一组导致程序失效的可疑语句，却忽视了这些语句相互作用导致失效的上下文.因此，提出一种增强上下文的错误定位方法Context-FL，以构建上下文的方式来优化错误定位性能.Context-FL利用动态切片技术构建数 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:多视角数据的涌现对传统单视角聚类算法提出了挑战.利用单视角聚类算法独立地对每个视角进行划分，再通过集成机制获取全局划分的方法，人为地割裂了视角之间的内在联系，难以获得理想的聚类效果.针对此问题，提出了一个多视角聚类模型.该模型不仅考虑了视角内的划分质量，还兼顾了视角间的协同学习机制.对于视角内 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:近年来，随着虚拟现实、物联网、云计算等新兴技术的发展，用户对网络带宽的需求迅猛增加，使用单一接入技术已经难以满足用户对网络带宽的需求.为了解决用户日益增长的带宽需求和有限的频率资源之间的矛盾，互联网端到端多路径传输技术应运而生.互联网端到端多路径传输协议，如MPTCP（multipathTCP ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:基于覆盖协议和存储-携带-转发范式的延迟/中断容忍网络（delay/disruptiontolerantnetwork，简称DTN）被认为是应对空间环境挑战（如长延迟、间歇性连接等）的有效解决方案.接触图路由（contactgraphrouting，简称CGR）是一种利用空间DTN网络拓扑的先 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:由于车辆节点与路边设施的强大存储与计算能力、良好的无线通信能力以及不间断的能量供应，车载自组网（vehicularad-hocnetwork，简称VANET）可检测车辆行驶环境的变化，评测危险路况并预警，如前方事故现场预警、交叉路口防碰撞预警等，预估司机的反应时间，为安全驾驶及驾驶体验提供技术 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:数据拥有性证明技术是当前云存储安全领域中的一大重要研究内容，目的是不必下载所有文件，就能安全而高效地远程校验存储在云服务器中的数据是否完整.目前已陆续提出了许多批处理数据拥有性证明方案，但大多数方案都没有考虑用户数据出错后的错误定位问题，仅有的几个批处理校验方案也只能单独定位错误数据所在服务器 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:为了从根本上解决现有互联网存在的可扩展性、移动性和安全性等方面的问题，全新的未来互联网体系结构得到了广泛研究.其中，命名数据网络（nameddatanetworking，简称NDN）利用网内缓存和多路转发实现了基于层次化名字的高效数据传输，从根本上解决了现有互联网所面临的问题.内容的层次化名字 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:Yao的混淆电路可用于客户端将函数计算外包给服务器，并可验证其正确性.然而，混淆电路仅能使用1次.Gennaro等人组合使用全同态加密和混淆电路，可实现客户端和服务器在多次输入上重用混淆电路.但是，所有已知的全同态加密在效率的提高上似乎仍有很大的空间，并且需要较强的困难性假设.另一方面，Gen ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:人类能够迅速地选取视野中的关键部分，选择性地将视觉处理资源分配给这些视觉显著的区域.在计算机视觉领域，理解和模拟人类视觉系统的这种注意力机制，得到了学界的大力关注，并显示出了广阔的应用前景.近年来，随着计算能力的增强以及大规模显著性检测数据集的建立，深度学习技术逐渐成为视觉注意力机制计算和建模 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:近年来，深度学习技术已经广泛应用到图像语义分割领域.主要对基于深度学习的图像语义分割的经典方法与研究现状进行分类、梳理和总结.根据分割特点和处理粒度的不同，将基于深度学习的图像语义分割方法分为基于区域分类的图像语义分割方法和基于像素分类的图像语义分割方法.把基于像素分类的图像语义分割方法进一步 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:近年来，基于深度卷积神经网络的人脸活体检测技术取得了较好的性能.然而，深度神经网络被证明容易受到对抗样本的攻击，影响了人脸系统的安全性.为了建立更好的防范机制，需充分研究活体检测任务对抗样本的生成机理.相对于普通分类问题，活体检测任务具有类间距离小，且扰动操作难度大等特性.在此基础上，提出了基 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:安全攸关反应式系统的核心要求是：必须在指定时间期限内完成对外部事件的检测和目标事件的响应，否则会产生灾难性的后果.随着安全攸关反应式系统对智能化需求的日益增加，将规则推理应用于这类系统成为必然趋势.规则调度是保证规则推理硬实时约束的关键.为此，提出了一种基于图模型的实时规则调度方法（graph ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:Abstract:PDF全文下载地址:http://jos.org.cn/jos/article/pdf/5653 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:软件是信息化社会的基础设施，而构造并运用软件的能力成为一种核心竞争力.软件开发方法凝结了系统化的软件构造过程和技术.简要回顾了50年来软件开发方法发展历程中具有重要影响的里程碑，包括基于结构化程序设计和模块化开发的基本方法、面向对象方法、软件复用与构件化方法、面向方面的方法、模型驱动的方法，以 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:系统软件是计算学科的基本概念之一，从系统软件的本质特征、时代特点和发展趋势这3个方面给出了关于系统软件的新洞察.洞察1认为，通用图灵机和存储程序思想是系统软件的理论源头和技术源头，其本质特征是"操纵计算系统执行"，编码加载和执行管控是两种主要的操纵方式.洞察2认为，系统软件在互联网时代的时代特 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:形式化方法是基于严格数学基础，对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈多地应用在计算系统生命周期的各个阶段.介绍了形式化方法的发展历程和基本方法体系；以形式规约和形式验证为主线 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:工程化软件开发需要对软件开发整个过程进行有效的组织和管理，由此产生了一系列软件开发组织和管理方法，其主要目的是形成一种载体，用以积累和传递关于软件开发的经验教训.然而，由于软件开发的一些天然特性（比如复杂性和不可见性）的存在，使得描述软件开发过程的软件开发与组织方法也天然地带着一定的抽象性.由 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:在信息化时代，人们对软件的质量要求越来越高.程序分析是保障软件质量的重要手段之一，日益受到学术界和产业界的重视.介绍了若干基本程序分析技术（抽象解释、数据流分析、基于摘要的分析、符号执行、动态分析、基于机器学习的程序分析等），特别是最近10余年的研究进展.进而介绍了针对不同类型软件（移动应用、 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:程序理解是软件工程中的关键活动，在软件开发、维护、重用等任务中发挥着重要的作用.程序理解自软件工程出现以来，就一直是该领域的研究热点.随着软件应用的日益复杂和不断普及，程序理解研究的需求发生了新的变化，程序的自理解或自认知逐渐成为新的关注点，有必要对程序理解进行重新审视.从工程、学习和认知以及 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:大数据管理技术正在经历以软件为中心到以数据为中心的计算平台的变迁，传统的关系型数据库管理系统无法满足现在以数据为中心的大数据管理的需求，设计新型大数据管理系统迫在眉睫.首先回顾了数据管理技术的发展历史；之后，从大数据管理的存储、数据模型、计算模式、查询引擎等方面分析了大数据管理系统的现状，指出 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:数据库是数据管理的技术，是计算机学科的重要分支.经过近半个世纪的发展，数据库技术形成了坚实的理论基础、成熟的商业产品和广泛的应用领域.数据模型描述了数据库中数据的存储方式和操作方式.从数据组织形式，可以将数据模型分为结构化模型、半结构化模型、OLAP分析模型和大数据模型.20世纪60年代中后期 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:随着各类新型计算技术和新兴应用领域的浮现，传统数据库技术面临新的挑战，正在从适用常规应用的单一处理方法逐步转为面向各类特殊应用的多种数据处理方式.分析并展望了新型数据管理系统的研究进展和趋势，涵盖分布式数据库、图数据库、流数据库、时空数据库和众包数据库等多个领域.具体而言：分布式数据管理技术是 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:布尔可满足性问题（SAT）是指对于给定的布尔公式，是否存在一个可满足的真值指派.这是第1个被证明的NP完全问题，一般认为不存在多项式时间算法，除非P=NP.****们大都研究了子句长度不超过k的SAT问题（k-SAT），从全局搜索到局部搜索，给出了大量的相对有效算法，包括随机算法和确定算法.目 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:基于数论转换的Schnhage-Strassen算法（简称SSA）是目前实际应用中使用较多、速度较快的大整数乘法算法之一.首先对SSA算法原理进行了详细分析，然后从细粒度的角度对SSA算法在多核平台进行比较细致的并行优化.基于大整数运算开源库GMP实现了SSA算法并行化方案，并在IntelX8 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:针对组合服务容错逻辑与执行逻辑不分离，以及容错过程易出现SLA（servicelevelagreement）违反的现状，提出一种SLA感知的事务型组合服务容错方法.该方法首先采用有限状态机建模组合服务执行过程，对其状态进行监控；其次，采用监控自动机监控执行过程中的SLA属性，确保不出现SLA违 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:众测是一种新兴的软件测试方法，它依靠网络上的工作者帮助完成测试任务.对于某个测试任务来说，谁来执行对于发现缺陷以及覆盖测试需求关键点是至关重要的.然而众测平台上一般有大量的候选工作者，他们拥有不同的测试经验，也常常提交重复的测试报告.由于众测工作者随机地参与测试任务，同时满足较高缺陷检测率和较 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:组合测试可以有效检测待测系统中由参数间交互作用而引发的故障.在其30多年的发展过程中，覆盖表生成一直是关键问题之一，相关研究文献已达200多篇.作为一种有效的覆盖表生成算法，已有的禁忌搜索算法在所生成的覆盖表规模上具备一定的优势，但其解的质量和运算速度仍有提升空间；同时，这些算法实际应用能力较 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:为了适应普适计算环境中用户、设备、使用环境和开发平台的多样性，基于模型的方法被应用于用户界面开发过程中，试图在抽象层次上描述界面，通过模型转换，使其适用于不同的平台.然而，由于目前基于模型的用户界面开发方法（model-baseduserinterfacedevelopment，简称MBUID ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:服务质量（qualityofservice，简称QoS）是衡量Web服务好坏的重要标准，也是用户选择Web服务的重要依据.能够实时而准确有效地对Web服务进行监控，是Web服务质量保障的重要基础.为此，提出了一种时效感知的动态Web服务QoS监控方法.该方法在传统加权监控方法中融入了滑动窗口机 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:极小碰集问题是人工智能中的重要问题，应用广泛.碰集极小性判定，作为极小碰集求解过程中的关键步骤，效率的高低会对极小碰集求解算法的耗时产生直接影响.现有的极小碰集求解算法主要使用子集检测方法进行碰集极小性判定.针对子集检测方法在极小碰集簇规模较大时效率较低的问题，提出了基于元素独立覆盖度检测的碰 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:互联网的蓬勃发展，在为用户提供便利的同时，其海量信息也为用户选择造成了困难，基于用户理解的信息推荐服务正成为应时之需.相较于面向单个用户信息的传统推荐技术，基于社交信息的推荐技术通过引入影响力建模，可以更真实地还原用户属性及行为.然而，已有的社交推荐技术往往停留于对用户影响的笼统归纳，并没有对 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:建立邻接图上的批量边删除聚类算法通用框架，提出基于高斯平滑模型的批量边删除判定准则，定义了适于聚类的邻接图的一般性质，提出并证明在kNN图基础上引入随机因子构造的随机kNN图，可以增强顶点之间的局部连通性，使聚类结果不再强烈依赖于某条边或某些边的保留或删除.RkNNClus算法简洁高效，依赖参 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:在基于图像集的流形降维问题中，许多算法的核心思想都是把一个高维的流形直接降到一个维数相对较低、同时具有的判别信息更加充分的流形上.投影度量学习（projectionmetriclearning，简称PML）是一种Grassmann流形降维算法.该算法是基于投影度量，并且使用RCG（Rieman ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:带通配符的模式匹配是一个经典的研究问题，带有可变间隙约束的模式匹配是近年来比较热门的研究方向.为适应某些查询精度要求较高的应用领域，提出一种在稀疏间隙约束条件下求解模式匹配完备解的算法SGPM-SAI（patternmatchingwithsparsegapsconstraintbasedon ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:近年来，为保护用户的隐私安全性，大量适用于全球移动网络环境的匿名漫游认证协议相继被提出.其中，部分协议采用临时身份代替真实身份的方法实现漫游过程中用户身份的匿名性需求，然而临时身份的重复使用，在一定程度上增加了用户的存储负担；部分协议采用身份更新的方法实现临时身份的一次一变性，但是相关信息的存 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:加密域水印技术适用于云环境下的隐私保护（加密）和数据安全认证（加水印）.通过结合保序加密、离散余弦变换、密码哈希和数字水印技术，提出了加密域数据库认证水印算法.首先对数据进行保序加密，以达到对敏感数据内容的隐私保护；对加密后的数据进行分组和离散余弦变换处理，然后将交流系数的哈希（Hashing ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:域间路由系统是互联网的关键基础设施.针对域间路由系统的低速率拒绝服务攻击（low-rateDoSagainstBGPsessions，简称BGP-LDoS）能够引起大范围级联失效，造成域间路由系统全局瘫痪.已有的防护机制和检测方法难以有效应对这种源自数据平面的大规模低速率流量拥塞攻击.分析域间 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19
平常需要几十块钱一本的电子书，开了VIP会员任您畅读。VIP会员均可免费使用本站在售的万余种考研考证基础类产品（电子书、题库、视频课程、全套资料等）。万种考研考证电子书、题库、视频随便看，每本不到一分钱。产品涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...半年VIP购买 本站小编 Free壹佰分学习网 2022-09-19
