摘要:AMOLED显示器作为嵌入式设备的高功耗组件，其功耗由显示内容中所有像素点的像素值决定；同时，人类视觉系统通过视觉关注机制对显示内容的重要区域优先解读，对非重要区域关注较低.基于上述特性，提出基于视觉显著性的AMOLED显示器多区域功耗优化方法.方法的核心是：通过视觉显著性算法对显示内容的重要 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:使用深度神经网络处理物联网设备的急剧增加产生的海量图像数据是大势所趋，但由于深度神经网络对于对抗样本的脆弱性，它容易受到攻击而危及物联网的安全.所以，如何提高模型的鲁棒性，就成了一个非常重要的课题.通常情况下，组合模型的防御表现要优于单模型防御方法，但物联网设备有限的计算能力使得组合模型难以应 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:智能仓储的优化一般分为货架优化和路径优化两部分：货架优化针对货物与货架两者的关系，对货物摆放位置进行优化；而路径优化主要寻找自动引导小车（automatedguidedvehicle，简称AGV）的最优路径.目前，大多的智能仓储优化仅对这两部分进行独立研究.在实际仓储应用中，只能以线性叠加的方 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:随着深度学习在计算机视觉领域的广泛应用，人脸认证、车牌识别、路牌识别等也随之呈现商业化应用趋势.因此，针对深度学习模型的安全性研究至关重要.已有的研究发现：深度学习模型易受精心制作的包含微小扰动的对抗样本攻击，输出完全错误的识别结果.针对深度模型的对抗攻击是致命的，但同时也能帮助研究人员发现模 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:故障检测率FDR（faultdetectionrate）是可靠性研究的关键要素，对于测试环境构建、故障检测效率提升、可靠性建模和可靠性增长具有重要作用，对于提高系统可靠性与确定发布时间具有重要现实意义.首先，对基于NHPP（non-homogeneouspoissonprocess，非齐次泊松 ...
中科院软件研究所 本站小编 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摘要:近年来，在移动计算环境中，异构多核处理器已经逐渐成为主流.与传统同构的处理器设计相比，此类异构多核处理器以更低的功耗成本满足设备的计算需求.但是异构环境下CPU核之间的微架构差异，也为操作系统中的一些基本方法提出了新的挑战.面向性能非对称异构多核环境下调度的负载均衡问题，从系统层面提出了一种负 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:Abstract:PDF全文下载地址:http://jos.org.cn/jos/article/pdf/5965 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:设计了一种用于实现可重构网络数据包解析器的专用硬件配置描述语言P3.由于要有利于高安全等级网络的实现，侧重于从高可信性角度进行语言设计，包括形式化定义该语言的类型系统和操作语义，以及设计其可信编译结构.基于对可重构硬件基本需求的充分理解，从软硬件协同角度出发，最终明确了P3语言的核心特性及其编 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:随着应用软件体系结构风格变化和规模变大，其运行环境变得日趋复杂，对应用系统体系结构的设计及其正确性验证提出了新的挑战.现有的应用系统体系结构设计关于需求满足性验证在建模与验证中需要多种工具的支持.应用系统体系结构在设计阶段的需求满足验证，有助于客观评价应用系统部署方案和系统如期上线以及主动运维 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:Paxos是一个在不可靠的分布式处理器网络中解决共识问题的算法族.共识问题是指分布式系统中一组参与者就一个结果达成一致的过程.随着Paxos在大型分布式系统中的广泛运用，比如区块链系统以及谷歌文件系统等，其安全性证明越来越重要.在定理证明工具Coq中，形式化描述和定义了Lamport的Basi ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:为确保星上操作系统中任务管理设计的可靠性，利用定理证明工具Coq对操作系统任务管理模块进行需求层建模及形式化验证.从用户角度，基于星上操作系统任务管理的基本机制，提出一种基于任务状态列表集合的验证框架.在需求层将基本机制进行形式化建模，并在Coq中实现.针对建立的需求层模型，提出6条与实际星上 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:基本并行进程是一个用于描述和分析并发程序的模型，是Petri网的一个重要子类.EG逻辑是一种在Hennessy-MilnerLogic的基础上增加EG算子的分支时间逻辑，其中的AF算子表示从当前的状态出发性质最终会被满足，因此EG逻辑是能够表达活性的逻辑.然而，基于基本并行进程的EG逻辑的模型 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:软件系统自适应提供了应对动态变化的环境和不确定的需求的技术方案.在已有的软件系统自适应性的相关研究中，有一类工作将软件系统自适应性转换为回归、分类、聚类、决策等问题，并利用强化学习、神经网络/深度学习、贝叶斯决策理论和概率图模型、规则学习等机器学习算法进行问题建模与求解，并以此构造软件系统自适 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:缺陷定位是软件工程研究最活跃的领域之一.大部分软件缺陷都会被提交到类似于Bugzilla和Jira的缺陷追踪系统中.由于提交的缺陷报告数量过多，开发人员不能及时处理，因而迫切需要一个自动化工具来帮助开发人员识别缺陷相关源代码文件.研究人员已提出了大量缺陷定位技术.基于信息检索的软件缺陷定位技术 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:代数次数作为布尔函数重要的密码学指标，在密码算法的设计与分析中有着重要的应用.主要研究布尔函数代数次数的求解及其在分组密码SIMON-like算法中的应用.首先，在利用真值表求解代数正规型算法的基础上建立了基于CUDA的并行求解架构，协同利用CPU和GPU的计算资源，极大地缩短了求解代数次数的 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:情感识别是多学科交叉的研究方向，涉及认知科学、心理学、信号处理、模式识别、人工智能等领域的研究热点，目的是使机器理解人类情感状态，进而实现自然人机交互.首先，从心理学及认知学角度介绍了语音情感认知的研究进展，详细介绍了情感的认知理论、维度理论、脑机制以及基于情感理论的计算模型，旨在为语音情感识 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:情感分析旨在判断文本的情感倾向，而评论质量检测旨在判断评论的质量.情感分析和评论质量检测是情感分析中两个关键的任务，这两个任务受多种因素的影响而密切相关，同一个产品的情感倾向具有相似的情感极性；同时，同一个用户发表的评论质量也具有一定的相似性.因此，为了更好地研究情感分类和评论质量检测任务的相 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:随着Android设备的流行和普及，Android生态系统的碎片化问题越发严重.为了确保应用质量，Android应用需要在多种设备上进行测试.为了应对大量重复机械的测试工作，学术界和工业界提出了众多跨设备的测试方法，但目前的方法还有较多的局限性：（1）手工编写设备无关的测试脚本耗时且容易出错； ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:使用对称正定（symmetricpositivedefinite，简称SPD）矩阵将视觉数据建模到黎曼流形（SPD流形），对于模式识别和机器学习中许多任务有较好的效果.其中，将基于稀疏表示的分类算法扩展到SPD流形上样本的分类任务得到了广泛的关注.本文综合考虑了稀疏表示分类算法的特点以及SPD ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:游客倾向于采用个性化的旅游路线，规划这样的路线需要综合考量路径长度、路径开销和路径覆盖的兴趣点.关键词覆盖最优路径查询（KOR）就是用于规划这样的路线的一类查询，其处理过程通常包括预处理和路径拓展.由于路网图规模的不断扩大，现有算法预处理所需内存开销急剧上升，由于内存不足，导致较大规模的路网不 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:为了解决联盟区块链平台中的隐私保护问题，提出了一种基于双层协同的隐私数据保护方法，包括：（1）链间隐私保护：通过将不同业务的数据进行分流处理、分区存储，实现了不同业务之间的隐私机密性保护；（2）链内隐私保护：通过在交易体中嵌入字段来指定链内隐私数据的参与方，并由接收交易的区块链节点作为中转节点 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:随着互联网规模的不断增大，网络管理和运维变得极其复杂，网络自治成为未来网络发展的趋势，基于意图的网络（intent-basednetworking，简称IBN）应运而生.首先从IBN的定义入手，介绍学术界及产业界对IBN范畴及体系结构的描述，并概述IBN实现的闭环，包括意图获取、意图转译、策略 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:医学图像分割是计算机辅助诊断的关键技术.青光眼作为全球第二大致盲眼病，其早期筛查和临床诊断依赖于眼底图的视盘和视杯的准确分割.但传统的视盘和视杯分割方法采用人工构建特征，模型泛化能力差.近年来，基于卷积神经网络的端对端学习模型可通过自动发现特征来分割视盘和视杯，但由于标注样本有限，模型难以训练 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:随着异构计算技术的不断进步，CPU和GPU等设备相集成的异构融合处理器在近些年得到了充分的发展，并引起了学术界和工业界的关注.将多种设备进行集成带来了许多好处，例如，多种设备可以访问同样的内存，可以进行细粒度的交互.然而，这也带来了系统编程和优化方面的巨大挑战.充分发挥异构融合处理器的性能，需 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:Abstract:PDF全文下载地址:http://jos.org.cn/jos/article/pdf/5936 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:将草图作为检索示例用于图像检索称为基于草图的图像检索，简称草图检索.其中，细粒度检索问题或类内检索问题是2014年被研究者提出并快速成为广受关注的研究方向.目前研究者通常用三元组网络来解决类内检索问题，且取得了不错的效果.但是三元组网络的训练非常困难，很多情况下很难收敛甚至不收敛，且存在着容易 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:行人重识别是指在多个非重叠摄像头拍摄的场景下，给定一幅查询行人图像，从大规模行人图像库中检索出具有相同身份的行人图像，是一类特殊的图像检索任务.随着深度学习的不断发展，行人重识别方法的性能得到了显著提升.但是行人重识别在实际应用中经常遭遇遮挡问题（例如，背景遮挡、行人互相遮挡等）.由于遮挡图像 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:人体解析旨在将人体图像分割成多个具有细粒度语义的部件区域，进行形成对人体图像的语义理解.然而，由于人体姿态的复杂性，现有的人体解析算法容易对人体四肢部件形成误判，且对于小目标区域的分割不够精确.针对上述问题，联合人体姿态估计信息，提出了一种人体精确解析的双分支网络模型.该模型首先使用基干网络表 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:视频的记忆度是一种度量指标，用来表示一段视频能够普遍被人记住的程度.令人记忆深刻而难忘的视频具有很大的潜在价值，因此对能够进行大规模视频记忆度自动预测的模型将会有广大的应用前景和市场，例如视频检索、数字内容推荐、广告设计、教育系统等等.现有的大部分工作都是直接利用深度神经网络学习到的一个全局表 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:随着移动互联网的飞速发展，用户越来越多地通过移动设备访问Web应用.浏览器为Web应用提供基本的计算、渲染等运行时支撑，其缓存机制可以支持Web应用直接从本地而不是通过网络来获取可复用资源，不仅能够减少整体的执行时间从而提升应用加载速度，还能够减少网络流量使用和电池电量消耗，从而保证移动Web ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:基于日志数据的故障诊断是指通过智能化手段分析系统运行时产生的日志数据以自动化地发现系统异常、诊断系统故障.随着智能运维（artificialintelligenceforIToperations，简称AIOps）的快速发展，该技术正成为学术界和工业界的研究热点.首先总结了基于日志数据的分布式软 ...
中科院软件研究所 本站小编 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摘要:事件序列中蕴藏的频繁情节刻画了用户或系统的行为规律.现有的频繁情节挖掘算法在各自支持度定义下具有较好的挖掘效果，但在支持度定义发生变化时却很难甚至无法直接挖掘频繁情节.针对用户多变的支持度定义需求，提出了一种频繁情节挖掘算法FEM-DFS（frequentepisodemining-depth ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:数据转发与控制分离的软件定义网络（softwaredefinednetworking，简称SDN）是对传统网络架构的彻底颠覆，为网络各方面的研究引入了新的机遇和挑战.随着传统网络研究方法在SDN中遭遇瓶颈，基于深度学习的方法被引入到SDN的研究中，在实现实时智能的网络管控上成果颇丰，推动了SD ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:数据中心网络是现代网络和云计算的重要基础设施，实现数据中心网络负载均衡是保证网络吞吐并提高服务体验的关键环节.首先分析了数据中心网络与传统互联网之间的区别，总结其特点及特殊性在负载均衡方案设计方面的优势.然后从数据中心的复杂性和多样性角度分析其负载均衡方案设计所面临的挑战.将现有数据中心网络负 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:超声诊断是甲状腺、乳腺癌首选影像学检查和术前评估方法.但良/恶性结节的超声表现存在重叠，仍欠缺定量、稳定的分析手段，严重依赖操作者的经验.近年来，基于计算机技术的医疗影像分析水平快速发展，超声影像分析取得了一系列里程碑式的突破，为医疗提供有效的诊断决策支持.以甲状腺、乳腺两类超声影像为对象，梳 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:为了更精确地认识与改造世界，新一代的嵌入式系统必须将计算世界与物理世界作为紧密交互的整体进行认知，实现集计算、通信与控制于一体的深度融合的理论体系与技术框架，即信息物理系统（cyber-physicalsystems，简称CPS）.与传统嵌入式系统不同，CPS充分考虑了计算部件与物理环境的深度 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:信息物理融合系统（cyber-physicalsystems，简称CPS）是深度融合了计算进程和物理进程的统一体，是集计算、通信与控制于一体的下一代智能系统，具有广阔的应用前景.CPS的行为具有混成性、随机性等特征，建模及仿真CPS的动态行为对于开发高质量的CPS系统至关重要.但是目前缺乏面向 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:随着技术的发展，信息物理融合系统（cyber-physicalsystem，简称CPS）在生活中扮演着越来越重要的角色，例如电力系统、铁路系统.如果CPS遭到攻击，将对现实世界的正常运转造成巨大影响，甚至威胁生命安全.垂悬指针是指向的区域被释放后未被置为空的指针，它是一种会导致攻击的软件缺陷. ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19
平常需要几十块钱一本的电子书，开了VIP会员任您畅读。VIP会员均可免费使用本站在售的万余种考研考证基础类产品（电子书、题库、视频课程、全套资料等）。万种考研考证电子书、题库、视频随便看，每本不到一分钱。产品涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...半年VIP购买 本站小编 Free壹佰分学习网 2022-09-19
