摘要:机器人操作系统（robotoperatingsystem，简称ROS）是一种开源的元操作系统，能够在异种计算簇上提供基于消息机制的结构化通信层.为改善ROS1中存在的数据分发实时性、可靠性问题，ROS2提出了面向数据流的数据分发服务机制.采用概率模型检验的方法，分析、验证ROS2系统数据分发机 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:Ptolemy是一个广泛应用于信息物理融合系统的建模和仿真工具包，主要通过仿真的方式保证所建模型的正确性.形式化方法是保证系统正确性的重要方法之一.提出了一种基于形式模型转换的方法来验证离散事件模型的正确性.离散事件模型根据不同事件的时间戳触发组件，时间自动机模型能够表达这个特征，因此选用Up ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:智能合约是运行在区块链上的计算机协议，被广泛应用在各个领域中，但是其安全问题层出不穷，因此在智能合约部署到区块链上之前，需要对其进行安全审计.然而，传统的测试方法无法保证智能合约所需的高可靠性和正确性.说明了如何使用建模、仿真与验证语言（MSVL）和命题投影时序逻辑（PPTL）对智能合约进行建 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:机器人操作系统（robotoperatingsystem，简称ROS）是一种广泛应用于机器人开发的开源系统，它可以为开发者提供硬件抽象、设备驱动、库函数、可视化、消息传递和软件包管理等诸多功能，应用前景广阔.ROS集成了可以实现不同功能的功能包，例如定位绘图、行动规划、感知、模拟等等，但其中可 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:矩阵是工程领域中常用的一种数据结构，在深度学习领域，矩阵乘法是神经网络训练中的核心技术之一.面对大型矩阵的运算问题，分块矩阵技术可将大矩阵运算转换为小矩阵运算以实现并行运算，并且能够大幅度减少矩阵运算步骤并且提高矩阵运算速度.首先对目前学术界的矩阵形式化工作进行了系统总结，并且分析了矩阵形式化 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:传统的委托计算需要额外开销验证计算结果的正确性，导致委托计算效率较低、开销较大.针对此问题，结合博弈论与理性信任建模（rationaltrustmodeling，简称RTM）的思想，提出了基于理性信任模型的理性委托计算协议.通过设置恰当的效用函数，激励计算方诚实执行协议，以此来保证计算结果的可 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:随着软件互联网化和服务化的高度发展,持续性(continuity)成为现代软件系统的基本特性之一,覆盖从商业策划、软件开发、运维、演化的所有环节,使得软件系统在持续稳定提供功能和服务的同时,软件系统的边界和内部结构始终处于不断变化、持续更新和适应之中,持续软件工程(continuoussoft ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:微服务架构近年来已成为互联网应用所采用的主流架构模式.然而与传统的软件架构相比，微服务架构更加复杂的部署结构使其面临更多能够导致系统发生故障的潜在威胁，且微服务架构系统故障的症状也更加多样化.在可靠性等一些传统的软件度量已不能充分体现微服务架构系统故障应对能力的情况下，微服务的开发者们开始使用 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:目前，一种称为微服务的架构风格正受到越来越多的关注.它给软件项目带来好处的同时，也影响着使用微服务架构的开发组织.研究目的是明确微服务的使用对开发组织产生了哪些影响，这些影响对于组织来说是优势还是挑战.对此进行了一次系统文献综述，并通过元-民族志对定性数据进行合成，最终得出了使用微服务架构对组 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:近年来，微服务架构已经成为软件工程领域比较流行的架构风格，其天然支持DevOps和持续交付以及可伸缩性、可扩展性好等特性，驱动着业界实践者纷纷向微服务架构迁移.然而，采用微服务架构也面临诸多挑战，其中最关键的是缺乏自动化、一体化的解决方案来高效支持面向微服务的拆分设计以及候选微服务架构的评估. ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:随着软件系统越来越复杂化和分布化，为系统提供具有完善功能的监控服务显得越来越重要.APM（applicationperformancemanagement）系统通过采集软件系统运行时的各项指标数据来分析软件的运行状态，例如CPU、内存使用率、垃圾回收的耗时、QPS等指标.此外，APM系统也会在 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:软件企业实践将遗留软件系统解耦成基于微服务架构的系统，以提高软件的可维护性，达到较快市场交付.评估微服务开发阶段的代码可维护性是一个关键问题，其面临数据多源化、可维护性关注点多样化的难点.通过分析源代码、代码运行轨迹、代码修订历史，提出一种多源特征空间模型以统一表示软件多源数据，并基于该模型， ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:微服务设计模式通过将应用程序拆分成多个相互独立的微服务，实现了各个微服务之间的相互解耦，允许各个微服务能够独立地进行迭代开发、部署，从而对用户需求变化以及DevOps流程中部署需求作出快速响应.每个微服务的独立迭代升级导致了系统中可能出现多版本共存现象，不同服务的不同版本之间的依赖关系变得更加 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:信念传播算法是基于因子图模型的消息传递算法，通过图中的边，将消息从一个结点传递给另一个结点，以高概率地确定部分变量的取值，这种方法被实验证明在求解可满足性问题时非常有效.然而，目前还未对其有效性从理论角度给予解释.通过对信念传播算法的收敛性分析，试图从理论上解释算法的有效性.在信息传播算法的信 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:近年来，随着信息技术快速发展，软件重要性与日俱增，极大地推动了国民经济的发展.然而，由于软件业务形态越来越复杂和需求变化越来越快，软件的开发和维护成本急剧增加，迫切需要探索新的软件开发模式和技术.目前，各行业在软件活动中积累了规模巨大的软件代码和数据，这些软件资产为软件智能化开发建立了数据基础 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:过程树能够兼具过程模型的行为和结构，在简化模型结构的复杂度方面具有重要意义.现有过程树转化仅能将基于块结构的简单过程模型转化为过程树，无法将具有复杂结构的过程模型转化过程树.为此，提出了一种基于完全有限前缀展开的行为等价过程树生成算法，用于将与过程树行为等价的过程模型转化为行为等价过程树.该方 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:人工智能在与人类生活息息相关的场景中自主决策时，正逐渐面临法律或伦理的问题或风险.可信机器学习是建立安全人工智能系统的核心技术，是人工智能领域的热门研究方向，而公平性是可信机器学习的重要考量.公平性旨在研究机器学习算法决策对个人或群体不存在因其固有或后天属性所引起的偏见或偏爱.从公平表征、公平 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:数字病理图像分析对于乳腺癌、前列腺癌等良恶性分级诊断具有重要意义，其中，组织基元的形态和目标测量是量化分析的重要依据.然而，由于病理数据多样性和复杂性等新特点，其分割任务面临着特征提取困难、实例分割困难等挑战.人工智能辅助病理量化分析将复杂病理数据转化为可挖掘的图像特征，使得自动提取组织基元的 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:基于地理位置信息的应用和服务的迅速发展，对轨迹数据挖掘提出了新的需求和挑战.原始轨迹数据通常是由坐标-时间戳元组构成的有序序列，而现有的大多数数据分析算法均要求输入数据位于向量空间中.因此，为了将轨迹数据从变长的坐标-时间戳序列转化成定长的向量表示且保持原有的特征，对轨迹数据进行有效的表示是十 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:为了解决布谷鸟搜索算法收敛速度较低、全局收敛效率不高的问题，提出了具有万有引力加速机理的布谷鸟算法.该算法基于万有引力搜索无需学习外部环境因素的变化亦能感知全局最优的特点，将布谷鸟巢穴等价为不同质量的个体，使其在优化过程中不仅遵循Levy飞行规律，而且遵循万有引力定律.不仅利用布谷鸟巢穴间存在 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:区块链作为一种多技术融合的新兴服务架构，因其去中心化、不可篡改等特点，受到了学术界和工业界的广泛关注.然而，由于区块链技术架构的复杂性，针对区块链的攻击方式层出不穷，逐年增加的安全事件导致了巨大的经济损失，严重影响了区块链技术的发展与应用.从层级分类、攻击关联分析两个维度对区块链已有安全问题的 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:人工智能的迅速发展和广泛应用促进了数字技术的整体跃升.然而，基于人工智能技术的智能攻击也逐渐成为一种新型的攻击手段，传统的攻击防护方式已经不能满足安全防护的实际需求.通过预测攻击行为的未来步骤，提前部署针对性的防御措施，可以在智能攻击的对抗中取得先机和优势，有效保护系统安全.首先界定了智能攻击 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:云计算、物联网和移动互联网等新型计算模式的出现，使得域间相互访问以及数据共享的需求不断扩大，而目前"中心化"的传统访问控制技术所显现出的访问控制策略执行不透明、动态数据管理不灵活、资源拥有者自主性差，使其难以满足海量、动态和分布的新型计算模式.提出了一种以ABAC模型为基础、以区块链为交互方式 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:植物叶片图像的识别是计算机视觉和图像处理技术在生物学和现代农业中的一个重要应用.其挑战性在于植物叶片种类数量巨大，且许多叶片图像具有很大的类间相似性，使得描述叶片图像的类间差异变得非常困难.提出一种称为高斯卷积角的叶片形状描述方法.该方法用高斯函数与叶片轮廓点的左右邻域向量的卷积产生高斯卷积角 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:软件是推动新一代信息技术发展的驱动力.随着互联网、云计算、人工智能等技术的快速发展,软件与物联网、区块链、自动驾驶等众多领域的融合进一步加强,正引领并促进这些领域向数字化、智能化发展,为社会、经济的加速演进和创新发展带来了新的契机.因此,面向领域的软件技术不仅是软件领域,也是众多其他领域国内外 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:信息物理系统被广泛应用于众多关键领域，例如工业控制与智能制造.作为部署在这些关键领域中的系统，其系统质量尤为重要.然而，由于信息物理系统自身的复杂性以及系统中存在的不确定性（例如系统通过传感器感知环境时的偏差），信息物理系统的质量保障面临巨大的挑战.验证是保障系统质量的有效途径之一，基于系统模 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:用户需求是物联网智能服务的根本驱动力，如IFTTT等很多物联网框架允许用户使用简单的触发-命令编程（TAP）规则进行编程，但它们描述的是设备调度程序，并不是用户服务需求.一些物联网系统提出采用面向目标的需求方法，支持服务目标的分解，但很难保证物联网不同服务间的一致性和服务部署的完整性.为了支持 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:近年来，随着大量设备不断地加入物联网中，数据共享作为物联网市场的主要驱动因素成为了研究热点.然而，当前的物联网数据共享存在着出于安全顾虑和缺乏激励机制等原因导致用户不愿意参与共享数据的问题.在此背景下，区块链技术为解决用户的信任问题和提供安全的数据存储被引入到物联网数据共享中.然而，在构建基于 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:时空轨迹数据驱动的汽车自动驾驶场景建模，是当前汽车自动驾驶领域中驾驶场景建模、仿真所面临的关键问题，对于提高系统的安全性具有重要的研究意义.近年来，随着时空轨迹数据建模及应用研究的快速发展，时空轨迹数据应用于特定领域建模的研究引起人们的广泛关注.但是，由于时空轨迹数据所反映的现实世界的多元性和 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:随着软件技术的快速发展，面向领域的软件系统在广泛使用的同时带来了研究与应用上的新挑战.由于领域应用对安全性、可靠性有着很高的要求，而符号执行和模糊测试等技术在保障软件系统的安全性、可靠性方面已经发展了数十年，许多研究和被发现的缺陷表明了它们的有效性.但是，由于两者的优劣各有不同，将这两者相结合 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:在开发过程中，开发人员在进行缺陷修复、版本更新时，常常需要修改多处相似的代码.如何进行自动代码修改已成为软件工程领域的热点研究问题.一种行之有效的方式是：给定一组代码修改示例，通过抽取其中的代码修改模式，辅助相似代码进行自动转换.在现有工作中，基于深度学习的方法取得了一定进展，但在捕获代码间的 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:在软件复用过程中，简洁、清楚的软件功能自然语言描述是帮助复用者快速了解待复用软件项目/代码库的前提和基础.但当前开源软件往往缺乏高质量的软件功能说明文档，使得这一过程变得更加复杂和困难.为此，提出了一种融合代码与文档的软件功能特征挖掘方法.该方法以动宾短语的形式描述软件功能特征，通过迭代挖掘软 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:基于代码覆盖的错误定位技术是一种常用的错误定位方法，被用来识别与故障相关的程序元素.然而，有研究工作表明，基于代码覆盖的错误定位技术的有效性受到了偶然正确性现象的影响.偶然正确性现象是指程序中包含的错误被执行，但没有产生错误结果的情况，它在实际场景中是非常普遍的.根据以往的研究工作，提出了一种 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:机器翻译是利用计算机将一种自然语言转换成另一种自然语言的任务，是人工智能领域研究的热点问题之一.近年来，随着深度学习的发展，基于序列到序列结构的神经机器翻译模型在多种语言对的翻译任务上都取得了超过统计机器翻译模型的效果，并被广泛应用于商用翻译系统中.虽然商用翻译系统的实际应用效果直观表明了神经 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:近年来，多模态学习逐步成为机器学习、数据挖掘领域的研究热点之一，并成功地应用于诸多现实场景中，如跨媒介搜索、多语言处理、辅助信息点击率预估等.传统多模态学习方法通常利用模态间的一致性或互补性设计相应的损失函数或正则化项进行联合训练，进而提升单模态及集成的性能.而在开放环境下，受数据缺失及噪声等 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:生成高质量的样本一直是生成式对抗网络（generativeadversarialnetworks，简称GANs）领域的主要挑战之一.鉴于此，利用条件熵构建一种距离，并将此直接惩罚于GANs生成器目标函数，在尽可能保持熵不变的条件下，迫使生成分布逼近目标分布，从而大幅度地提高网络生成样本的质量. ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:索引是数据库系统中用于提升数据存取性能的主要技术之一.在大数据时代，随着数据量的不断增长，传统索引（如B+树）的问题日益突出：（1）空间代价过高.例如，B+树索引需要借助O（n）规模的额外空间来索引原始的数据，这对于大数据环境而言是难以容忍的.（2）每次查询需要多次的间接搜索.例如，B+树中的 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:由于Shor算法可以在多项式时间内解决大整数分解以及离散对数问题，使得基于这些问题设计的经典的密码体制不再安全.目前涌现出许多后量子密码体制的研究，如基于格、基于编码、基于多变量和基于椭圆曲线同源的密码系统.相比于其他后量子密码体制，基于椭圆曲线同源的密码系统具有密钥尺寸短的优势，然而其实现效 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:为了解决量子计算对公钥密码安全的威胁，后量子密码成为密码领域的前沿焦点研究问题.后量子密码通过数学理论保证了算法的安全性，但在具体实现和应用中易受侧信道攻击，这严重威胁到后量子密码的安全性.基于美国NIST第2轮候选算法和中国CACR公钥密码竞赛第2轮的候选算法，针对基于格、基于编码、基于哈希 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:在节点高速移动的AdHoc网络环境中，广播风暴对网络性能的影响尤为重要，且网络拓扑结构的频繁变化极易导致路由中断.传统的AODV路由协议在路由发现阶段直接使用广播转发RREQ（路由请求分组）机制，容易导致广播风暴降低网络性能；同时，协议选择跳数最少的路径作为路由，没有考虑到节点的快速移动导致路 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:目标检测一直以来都是计算机视觉领域的研究热点之一，其任务是返回给定图像中的单个或多个特定目标的类别与矩形包围框坐标.随着神经网络研究的飞速进展，R-CNN检测器的诞生标志着目标检测正式进入深度学习时代，速度和精度相较于传统算法均有了极大的提升.但是，目标检测的尺度问题对于深度学习算法而言也始终 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:近年来,支撑人工智能的数据管理与分析技术正成为大数据和人工智能领域研究的热点问题之一.利用和发展数据管理与分析理论技术,为提升人工智能系统全生命周期的效率和有效性提供基础性支撑,必将进一步促进基于大数据的人工智能技术发展与其在更大范围的推广应用.本专刊聚焦在数据管理与人工智能融合发展的过程中, ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:应用驱动创新，数据库技术就是在支持主流应用的提质降本增效中发展起来的.从OLTP、OLAP到今天的在线机器学习建模无不如此.机器学习是当前人工智能技术落地的主要途径，通过对数据进行建模而提取知识、实现预测分析.从数据管理的视角对机器学习训练过程进行解构和建模，从数据选择、数据存储、数据存取、自 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:在大量变化着的数据中，数据分析师常常只关心预测结果为特定值的少量数据.然而，利用机器学习模型进行推理的工作流程中，由于机器学习算法库默认数据以单表方式组织，用户必须先通过SQL语句查询出全部数据，即使随后在模型推理过程中会将大量数据丢弃.指出了在这个过程中，如果可以预先从模型中提取信息，就有望 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:随着人工智能时代的到来，图嵌入技术被越来越多地用来挖掘图中的信息.然而，现实生活中的图通常很大，因此，分布式图嵌入技术得到了广泛的关注.分布式图嵌入算法面临着两大难点：（1）图嵌入算法多种多样，没有一个通用的框架能够描述大部分的算法；（2）现在的分布式图嵌入算法扩展性不足，当处理大图时性能较低 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:相较于传统的图数据分析方法，图嵌入算法是一种面向图节点的新型图数据分析策略.其旨在通过将图节点向量化表达，进而在节点向量基础上，利用神经网络相关技术，更有效地进行图数据分析或挖掘工作，如在节点分类、链接预测及交通流预测等经典问题上效果显著.虽然研究者们在图嵌入方面已取得了诸多成果，但是面向时序 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:排序学习（learning-to-rank，简称LTR）模型在信息检索领域取得了显著成果，而该模型的传统训练方法需要收集大规模文本数据.然而，随着数据隐私保护日渐受到人们重视，从多个数据拥有者（如企业）手中收集数据训练排序学习模型的方式变得不可行.各企业之间数据被迫独立存储，形成了数据孤岛.由 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:为进一步优化推广大数据及人工智能技术，作为数据管理与分析的基础，数据质量问题日益成为相关领域的研究热点.通常情况下，数据采集及记录仪的物理故障或技术缺陷等会导致收集到的数据存在一定的错误，而异常错误会对后续的数据分析以及人工智能过程产生不可小视的影响，因此在数据应用之前，需要对数据进行相应的数 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:高阶链接预测是当前网络分析研究的热点和难点，一个优秀的高阶链接预测算法不仅可以挖掘出复杂网络中节点间存在的潜在联系，还有助于认识网络结构随时间演化的规律，对于探索未知的网络关系有着重要的作用.大多数传统的链接预测算法仅考虑节点间的结构相似性特征，而忽略高阶结构的特性以及网络变化的信息.提出一种 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:时空图建模是分析图形结构系统中各要素空间关系与时间趋势的一个基础工作.传统的时空图建模方法主要基于图中节点与节点关系固定的显式结构进行空间关系挖掘，这严重限制了模型的灵活性.此外，未考虑节点间的时空依赖关系的传统建模方法不能捕获节点间的长时时空趋势.为了克服这些缺陷，研究并提出了一种新的用于时 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19
平常需要几十块钱一本的电子书，开了VIP会员任您畅读。VIP会员均可免费使用本站在售的万余种考研考证基础类产品（电子书、题库、视频课程、全套资料等）。万种考研考证电子书、题库、视频随便看，每本不到一分钱。产品涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...半年VIP购买 本站小编 Free壹佰分学习网 2022-09-19
