摘要:当今世界的主流超级计算机越来越多地使用带有加速器的异构系统.随着加速器的浮点性能不断提高，超级计算机内计算节点的CPU、内存、总线、网络以及系统架构都要与之相适应.HPL（highperformanceLinpack）是高性能计算机评测的传统基准测试程序，复杂异构系统给HPL评测带来很多机遇与 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:随着异构系统成为建造超级计算机的重要选择，如何让CPU与加速器协调工作以充分发挥异构系统的计算性能具有重要意义.HPL是高性能计算领域最重要的基准测试程序，传统面向纯CPU系统的HPL算法通过加速器加速矩阵乘法的做法已经无法取得很好的性能.针对这一问题，提出了基于国产处理器-国产加速器异构系统 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:HPL（highperformanceLinpack）是一套被广泛用于测评计算机性能的测试程序，几十年来学术界及产业界十分关注对HPL测试程序的定制化优化工作，以充分反应同时代新兴计算机平台的性能.面向当今主流多设备异构计算平台，尝试为HPL的优化工作提供一种解决方案：Hetero-HPL.在 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:HPCG基准测试程序是一种新的超级计算机排名度量标准.该测试基准主要用于衡量超级计算机解决大规模稀疏线性系统的能力，更贴近实际应用，近年来广受关注.基于国产超级计算机研究异构众核并行HPCG软件具有非常重要的意义，其不仅可以提升国产超级计算机HPCG的排名，还对很多应用提供了并行算法、优化技术 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:任务并行是并行程序设计的基础设计模式.但由于算法本身的复杂性及目标平台的特殊性，设计实现高效率的任务并行程序对程序员来说往往充满挑战.基于新兴的SW26010众核CPU，提出了支持任务嵌套并行模式的通用运行时框架SWAN.SWAN对任务并行程序的实现提供了高层次的抽象，使程序员能够专注于算法逻 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:研发适应国产异构计算环境的高性能计算算法与软件是非常重要的课题，对我国高性能计算软件研发匹配高性能计算硬件高水平发展的速度具有重要意义.首先，简要介绍高性能计算应用软件的现状、趋势和面临挑战，并对几类典型高性能计算应用软件开展并行计算算法特征分析，涵盖了宇宙N体模拟、地球系统模式、计算材料相场 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:目前,世界范围的科技革命和产业变革正在孕育兴起,一些重要科学问题和关键核心技术正在呈现革命性的突破先兆.同时,“万物智联”时代正在加速到来,IOT/CPS、AIOT等蓬勃发展,以泛在感知、泛在互联、泛在智能为特征的各类智慧系统,以嵌入式系统为基础,与大数据、区块链、云计算呈现融合发展趋势.随着 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:针对特定机械设备构建数据驱动的故障诊断模型缺乏泛化能力，而轴承作为各型机械的共有核心部件，对其健康状态的判定对不同机械的衍生故障分析具有普适性意义.提出了一种基于1D-CNN（one-dimensionalconvolutionneuralnetwork）联合特征提取的轴承健康监测与故障诊断算 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:深度神经网络（deepneuralnetwork，简称DNN）量化是一种高效的模型压缩方法，使用少量位宽表示模型计算过程中的参数和中间结果数据.数据位宽会直接影响内存占用、计算效率和能耗.以往的模型量化研究缺乏有效的定量分析，这导致量化损失难以预测.提出了一种超低损失的DNN量化方法（ultr ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:随着计算机中内核数量的增多，温度感知的多核任务调度算法成为计算机系统中的一个研究热点.近年来，机器学习在各个领域展现出巨大的潜力，很多基于机器学习的系统温度管理研究工作应运而生.其中，强化学习因其较强的自适应性，被广泛地运用于温度感知的任务调度算法中.然而，目前基于强化学习的温度感知任务调度算 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:智慧交通灯控制能够有效地改善道路交通的秩序和效率.在城市交通网络中，具有紧急任务的特殊车辆对于通行效率的要求更高.目前已有的智慧交通灯控制算法通常对路网中的所有车辆一视同仁，没有考虑到特殊车辆的优先性；而传统的控制特殊车辆优先通行的方法基本上都是采用信号抢占的方式，对普通车辆的通行干扰过大.为 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:WiFiDirect（WFD）是安卓系统广泛支持的Device-to-Device（D2D）通信技术.相比于蓝牙，WFD在传输速率和连接距离上更具优势；同时，WFD能够比WiFi热点更快速地创建连接.因此被广泛应用于构建D2D通信网络，用以支持边缘计算、流量卸载、移动众包等研究.但是WFD同时 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:CodeSmell是软件程序中存在不良设计和不良实现的征兆.正确地检测和识别CodeSmell可以指导软件重构，提高软件的可用性和可靠性.通过CodeSmell的度量指标，可以量化软件的设计问题.JavaScript已成为最常用的编程语言之一，类是JavaScript的设计模式，优秀类的设计体 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:视觉问答是计算机视觉领域和自然语言处理领域的交叉方向，近年来受到了广泛关注.在视觉问答任务中，算法需要回答基于特定图片（或视频）的问题.自2014年第一个视觉问答数据集发布以来，若干大规模数据集在近5年内被陆续发布，并有大量算法在此基础上被提出.已有的综述性研究重点针对视觉问答任务的发展进行了 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:细粒度命名实体识别是对文本中的实体进行定位，并将其分类至预定义的细粒度类别中.目前，中文细粒度命名实体识别仅使用预训练语言模型对句子中的字符进行上下文编码，并没有考虑到类别的标签信息具有区分实体类别的能力.由于预测句子不带有实体标签，使用关联记忆网络来捕获训练集句子的实体标签信息，并将标签信息 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:作为流式大数据计算的主要平台之一，Storm在设计过程中由于缺乏节能的考虑，导致其存在高能耗与低效率的问题.传统的节能策略并未考虑Storm的性能约束，可能会对集群的实时性造成影响.针对这一问题，设计了资源约束模型、最优线程重分配模型以及数据迁移模型.进一步提出了Storm平台下的线程重分配与 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:无源传感器网络是近年来兴起的一种新型的网络结构，可用于解决传统无线传感器网络能量有限、寿命受限的问题.在无源传感器网络中，每个无源传感器节点配备有能量收集模块，可以从周围环境中获取能量.由于周围环境中的能量是无限的，这样，从能量的角度来讲，无源传感器网络的网络寿命是无限的.这样就解决了传统无线 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:针对物联网场景下跨信任域的信息交换需求，结合区块链与边缘计算思想，构建了一种适应于物联网认证的架构.首先，基于联盟链技术设计了适应于物联网跨域认证的架构及流程，构建了安全的跨域信息交互环境；随后引入边缘网关，以屏蔽物联网的底层异构性，并设计了基于网关的跨域认证流程，增强了物联网认证中的隐私保护 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:随着互联网、物联网、云计算等新计算平台、新应用模式、及智能化等新软件模式的广泛运用,软件系统内外各种来源的非确定性不断增强.从软件系统内部的不确定性看,并发程序是一类典型的非确定性软件系统.并发程序由于其随机性高的特点,容易导致并发缺陷且难以调试.从软件系统外部的不确定性看,软件所处的网络环境 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:复杂软件系统（如信息物理系统CPS、物联网IoT以及自适应软件系统等）在其开发和运行过程中会遇到各种类型的不确定性问题.针对这些不确定性问题，研究人员开展了大量的研究工作，提出了一系列的方法，取得了诸多成果.然而，由于此类系统本身固有的复杂性和其内在与外在不确定性的共同作用，截止目前研究人员针 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:自适应系统由于其能够自主地适应具有非确定性的部署环境，并持续地保持用户的满意度，受到了广泛的关注.然而，目前仍然存在未解决的挑战，例如如何在新的部署环境下，或者在开放且复杂的环境下，使得系统仍然能满足自适应性.因此，为自适应系统的设计引入了一个新的概念模型，受归因理论启发，该模型被设计成内归因 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:目前自适应软件正在为众多领域系统提供着对运行环境的适应能力.如何建立一种能够保障识别质量的自适应分析方法，使之可从运行环境中快速且准确地识别出异常事件，是确保自适应软件长期稳定运行所必须考虑的研究问题之一.当前运行环境的不确定性给该问题的攻关带来两方面的挑战：其一，现有分析方法一般通过预先建立 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:随着科技的进步，新型复杂系统，例如人机物融合系统（humancyber-physicalsystems，简称hCPS），已与人类社会生活越来越密不可分.软件系统所处的信息空间与人们日常生活所处的物理空间日渐融合.物理空间内环境的复杂多变、时空数据的爆发增长以及难以预料的人类行为等不确定因素威胁 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:并发错误是程序设计语言和软件工程领域的研究热点之一.近年来，针对应用程序并发错误检测的研究已取得了很大进展.但是由于操作系统内核的并发和同步机制复杂、代码规模庞大，与应用程序级并发错误检测相比，操作系统内核的并发错误检测研究仍面临巨大的挑战.对此，国内外****提出了各种用于操作系统内核并发错 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:随着技术的不断发展，软件系统的非确定性（uncertainty）不断增强，数据竞争是并发系统这一类典型的非确定性软件系统中常见的缺陷.尽管数据竞争静态检测近年来取得了巨大进展，但其面临的重要问题仍然存在.先前的静态技术要么以分析精度为代价达到高扩展性，要么由于高精度分析而导致可扩展性问题.提出 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:随着人工智能技术的深入发展，自动驾驶已成为人工智能技术的典型应用，近十年来得到了长足的发展，作为一类非确定性系统，自动驾驶车辆的质量和安全性得到越来越多的关注.对自动驾驶系统，特别是自动驾驶智能系统（如感知模块、决策模块、综合功能及整车）的测试技术得到了业界和学界的深入研究.调研了56篇相关领 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:随着图数据规模的日益庞大和图计算作业的日益复杂，图计算的分布化成为必然趋势.然而图计算作业在运行过程中面临着分布式图计算系统内外各种来源的非确定性所带来的严峻的可靠性问题.首先分析了分布式图计算框架中不确定性因素和不同类型图计算作业的鲁棒性，并提出了基于成本、效率和质量3个维度的面向分布式图计 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:数据驱动的智能系统的核心是处理数据的算法，对算法正确性的要求高，导致其测试开销大，需要有效地缩减测试的规模，其中回归测试选择是控制测试规模的有效手段.数据驱动的智能系统由于其动态信息流强度弱的原因，发生偶然正确性现象的概率较高，并且该现象会导致常用的回归测试选择技术所选择出的测试集包含大量检测 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:在软件的开发和维护过程中，与代码对应的注释经常存在缺失、不足或者与代码实际内容不匹配等问题，但手工编写代码注释对开发人员来说费时费力，且注释质量难以保证，因此亟需研究人员提出有效的代码注释自动生成方法.代码注释自动生成问题是当前程序理解研究领域的一个研究热点，对该问题进行了系统综述.主要将已有 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:代码注释在软件质量保障中发挥着重要的作用，它可以提升代码的可读性，使代码更易理解、重用和维护.但是出于各种各样的原因，有时开发者并没有添加必要的注释，使得在软件维护的过程中，往往需要花费大量的时间来理解代码，大大降低了软件维护的效率.近年来，多项工作利用机器学习技术自动生成代码注释，这些方法从 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:软件错误定位是一项耗时又费力的工作，因此如何提高软件错误定位的自动化程度一直以来都是软件工程领域研究的热点.现有的基于频谱的错误定位方法很少利用程序的上下文信息，而程序的上下文信息对错误定位至关重要.针对这一问题，提出了一种基于路径分析和信息熵的错误定位方法FLPI.该方法在基于频谱信息技术的 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:随着开发者社区和代码托管平台成为程序员获取代码的主要途径，针对代码的用户评论数量急剧增加.用户在使用代码后给出的评论中包含多种静态和动态的代码质量属性信息，但是由于用户评论多为复杂句，使得评论中包含的代码质量属性难以判断.针对复杂用户评论的代码质量属性判断将有助于分析用户评论中的代码质量信息， ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:跨项目软件缺陷预测技术可以利用现有的已标注缺陷数据集对新的无标记项目进行预测，但需要两者之间具有相同的度量集合，难以用于实际开发.异构缺陷预测技术可以在具有异构度量集合的项目间进行缺陷预测，该技术引起了大量研究人员的关注.现有的异构缺陷预测技术利用朴素的或者传统机器学习方法为源项目和目标项目学 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:软件缺陷预测是软件质量保障领域的一个活跃话题，它可以帮助开发人员发现潜在的缺陷并更好地利用资源.如何为预测系统设计更具判别力的度量元，并兼顾性能与可解释性，一直是人们致力于研究的方向.针对这一挑战，提出了一种基于代码自然性特征的缺陷预测方法——CNDePor.该方法通过正逆双向度量代码并利用质 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:代码相似性检测（codesimilaritydetection）是软件工程领域的基本任务之一，其在剽窃检测、许可证违反检测、软件复用分析以及漏洞发现等方向均起着重要作用.随着软件开源化的普及以及开源代码量的高速增长，开源代码在各个领域的应用日益频繁，给传统的代码相似性检测方法带来了新的挑战.现 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:区块链技术是一种通过块链式结构、共识算法和智能合约来生成、存储、操作和验证数据的新型分布式基础架构和计算范式，其所构建的新型信任机制有助于推动互联网技术由信息互联网向价值互联网的转化.由于区块链中的账本数据采用公开交易记录、多节点共识确认的方式进行存储和验证，因此对系统中的身份管理及隐私保护提 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:计算机科学的发展主要涉及硬件和软件的发展，而软、硬件发展的核心问题之一是如何保证它们是安全可靠的。如今，硬件性能变得越来越高，运算速度变得越来越快，体系结构变得越来越复杂，软件的功能也变得越来越复杂，如何开发可靠的软、硬件系统，己经成为计算机科学发展的巨大挑战。特别是现在计算机系统广泛应用于许 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:形式化方法为安全协议分析提供了理论工具，但经过形式化验证过的协议标准在转换为具体程序实现时，可能无法满足相应的安全属性.为此，提出了一种检测安全协议代码语义逻辑错误的形式化验证方法.通过将协议C源码自动化抽象为Pi演算模型，基于Pi演算模型对协议安全属性形式化验证.最后给出了方案转换的正确性证 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:在GitHub平台中，许多项目贡献者在提交PullRequest（PR）时往往会忽略提交PR描述，这使得提交的PR容易被评审者忽略或者拒绝.因此，自动生成PR描述以帮助项目贡献者提高PR通过率是很有必要的.然而，现有PR描述生成方法的表现会受到PR粒度影响，无法有效为大粒度的PR生成描述.因此 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:展开技术借助分支进程可在一定程度上缓解Petri网性质分析中的状态爆炸问题.但展开网中仍然包含了系统的所有状态信息.某些应用问题仅需对系统特定状态的可覆盖性进行判定，以此为目标，有望缩减网系统展开的规模.为此，针对安全Petri网的可覆盖性判定问题提出了一种目标导向的反向展开算法，结合启发式技 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:航天器等安全关键系统是典型的嵌入式系统，具有多任务并发、中断频发等特点.操作系统是其最基础的软件，构建一个正确的操作系统是保障航天器系统高可信运行的关键.异常管理作为操作系统最底层的功能，负责引导系统控制流的突变来响应处理器状态中的某些变化，异常管理的正确性是整个操作系统正确性的基础.提出一种 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:模型驱动开发以其低错误率、易仿真、易验证的特点，在嵌入式软件开发中被广泛应用.近年来，基于模型的嵌入式软件开发方法及相应工具也在逐渐发展和完善.数据流模型是各种建模工具中使用最为频繁的语义模型，然而，各种工具对于数据流模型的代码生成能力却参差不齐，特别是对于数据分支组件的支持，当前主流的建模工 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:嵌入式实时系统在安全关键领域变得越来越重要，其广泛应用于航空航天、汽车电子等具有严格时间约束的实时系统中.随着嵌入式系统的复杂度越来越高，在系统开发的早期设计阶段就需要对其可调度性进行分析评估.系统中的存储资源会对可调度性产生一定影响，在抢占式实时嵌入式系统引入缓存后，任务的最坏执行时间可能发 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:死锁是并行程序常见的缺陷之一，动态死锁分析方法根据程序运行轨迹构建锁图、分段图等模型来检测死锁.然而，锁图及其现有的各种变型无法区分同一循环中锁授权语句的多次执行，扩展锁图中记录的锁集无法捕捉线程曾经持有而又随后释放的锁信息，分段图无法刻画锁的获取和释放操作与线程启动操作耦合而导致的段间依赖关 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:污点分析技术是检测Android智能手机隐私数据泄露的有效方法，目前主流的Android应用污点分析工具主要关注分析的精度，常常忽略运行效率的提升.在分析一些复杂应用时，过大的开销可能造成超时或程序崩溃等问题，影响工具的广泛使用.为了减少分析时间、提高效率，提出一种基于污染变量关系图的污点分析 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:智能合约是实现各类区块链应用的核心软件程序.近期，以太坊区块链平台（Ethereum）上的智能合约暴露出大量错误和安全隐患，在国际上引发了智能合约形式化验证的研究热潮.为提供高可信度的验证结果，智能合约程序语言的形式化必不可少.对以太坊中间语言Yul进行形式化，首次给出了其类型系统和小步操作语 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:基于交互行为的用户特征提取和身份认证方法是一种重要的身份识别方式，但高频用户的交互行为模式和操作习惯相对稳定，易被欺诈者模仿，使得现有模型对此类欺诈行为的误判较高.如何使得用户行为主动平滑变化且可区分，成为解决上述问题的关键.针对此问题，提出一种基于个体交互行为系统平滑干预模型：首先，根据用户 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:PolarFS是阿里巴巴开发的分布式文件系统，它实现了分布式共识协议Raft的一种变体，称为ParallelRaft.ParallelRaft突破了Raft中顺序提交、顺序执行的限制，允许状态机乱序执行用户命令.然而文献表明：ParallelRaft并未开源，仅有简短的文字描述，更缺乏严格的形 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:随着信息物理融合系统CPS（cyberphysicalsystem）研究的深入，CPS的安全性问题越来越受到人们的广泛关注，如何验证CPS时空不一致的安全性问题已经成为研究热点.针对该问题，提出了面向CPS时空性质验证的混成AADL（architectureanalysis&designlan ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:在芯片设计领域，采用模型驱动的FPGA设计方法是目前较为安全可靠的一种方法.但是，基于模型驱动的FPGA设计需要证明FPGA设计模型和生成Verilog/VHDL代码的一致性；同时，芯片设计的正确性、可靠性和安全性也至关重要.目前，多采用仿真方法对模型和代码的一致性进行验证，很难保证设计的可靠 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19
平常需要几十块钱一本的电子书，开了VIP会员任您畅读。VIP会员均可免费使用本站在售的万余种考研考证基础类产品（电子书、题库、视频课程、全套资料等）。万种考研考证电子书、题库、视频随便看，每本不到一分钱。产品涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...半年VIP购买 本站小编 Free壹佰分学习网 2022-09-19
