摘要:如今，深度学习已被广泛应用于图像分类和图像识别的问题中，取得了令人满意的实际效果，成为许多人工智能应用的关键所在.在对于模型准确率的不断探究中，研究人员在近期提出了“对抗样本”这一概念.通过在原有样本中添加微小扰动的方法，成功地大幅度降低原有分类深度模型的准确率，实现了对于深度学习的对抗目的， ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:随着现代社会计算机化程度的提高，与计算机相关的各种系统故障足以造成巨大的经济损失.机械化定理证明能够建立更为严格的正确性，从而奠定系统的高可信性.针对机械化定理证明的逻辑基础和关键技术，详细剖析了一阶逻辑和基于消解的证明技术、自然演绎和类型化的λ演算、3种编程逻辑、基于高阶逻辑的硬件验证技术、 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:分类是机器学习的重要任务之一.传统的分类学习算法追求最低的分类错误率，假设不同类型的错误分类具有相等的损失.然而，在诸如人脸识别门禁系统、软件缺陷预测、多标记学习等应用领域中，不同类型的错误分类所导致的损失差异较大.这要求学习算法对可能导致高错分损失的样本加以重点关注，使得学习模型的整体错分损 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:HDFS（Hadoopdistributedfilesystem）作为面向数据追加和读取优化的开源分布式文件系统，具备可移植、高容错和可大规模水平扩展的特性.经过10余年的发展，HDFS已经广泛应用于大数据的存储.作为存储海量数据的底层平台，HDFS存储了海量的结构化和非结构化数据，支撑着复杂 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:实时交互式分析针对多目标和多角度的分析任务，通过多轮次的用户-数据库交互过程，逐步明确分析任务与分析目标，全方位地了解相关领域信息，最终得到科学的、全面的分析结果.相比传统数据库“提交查询-返回结果”的单轮次交互查询方式，实时交互式分析更强调交互的实时性与查询结果的时效性.对实时交互式分析的研 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:软件定义网络（softwaredefinednetworking，简称SDN）是一种新型的网络架构.SDN将控制层从数据层分离并开放网络接口，以实现网络集中控制并提高网络的可扩展性和编程性.但是SDN也面临诸多的网络安全威胁.异常流量检测技术可以保护网络安全，防御恶意流量攻击.对SDN异常流量 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:隐蔽信道是指恶意通信双方通过修改共享资源的数值、特性或状态等属性，来编码和传递信息的信道.共享资源的选取，由隐蔽信道的类型与具体通信场景所决定.早期，存储隐蔽信道和时间隐蔽信道主要存在于传统操作系统、网络和数据库等信息系统中.近年来，研究重点逐渐拓展到了3类新型隐蔽信道，分别为混合隐蔽信道、行 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:EPR态作为最基本的量子纠缠态，在量子隐形传态中起着重要作用.研究适应任意类型EPR通道的单量子比特隐形传送通用线路，并推广到任意N比特量子隐形传送通用线路.首先设计出4种EPR态，分别作为量子通道的单比特量子隐形传态，通过分析EPR量子通道与量子操作门之间的关系，设计一种单比特通用线路；然后 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:量词约束满足问题是人工智能和自动推理领域的一个重要问题.寻找多项式时间易解子类，是研究此类问题计算复杂性的关键.通过分析二元量词约束满足问题中的约束关系特征，以及量词前缀中的全称量词排列的顺序，提出了针对全称量词变量子结构的易解性质的分析方法.通过该方法，扩展了已知的基于Broken-Tria ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:交替（树）自动机因其本身关于取补运算的简洁性及其与非确定型（树）自动机的等价性，成为自动机与模型检测领域研究的一个新方向.在格值交替自动机与经典交替树自动机概念的基础上，引入格值交替树自动机的概念，并研究了格值交替树自动机的代数封闭性和表达能力.首先，证明了对格值交替树自动机的转移函数取对偶运 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:提出一种并行计算模型——多步前进同步并行（delta-steppingsynchronousparallel，简称DSP）模型和一种形式化表示方法.针对大同步并行（bulksynchronousparallel，简称BSP）模型同步次数多、收敛速度慢的特点，该模型能够有效地减少同步次数和通信开 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:虽然Takagi-Sugeno-Kang（TSK）模糊分类器在一些重要场合已经取得了广泛应用，但如何提高其分类性能和增强其可解释性，仍然是目前的研究热点.提出一种随机划分与组合特征且规则具有高可解释性的深度TSK模糊分类器（RCC-DTSK-C），但和其他分类器构造不同的是：（1）RCC-DT ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:在多目标进化算法中，如何从后代候选集中选择最优解，显著地影响优化过程.当前，最优解的选择方式主要是基于实际目标值或者代理模型估计目标值.然而，这些选择方式往往是非常耗时或者存在精度差等问题，特别是对于一些实际的复杂优化问题.最近，一些研究人员开始利用有监督分类辅助后代选择，但是这些工作难以准备 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:随着互联网广告的飞速发展，如何预测目标用户对互联网广告的点击率（click-throughrate，简称CTR），成为精确广告推荐投放的关键技术，并成为计算广告领域的研究热点和深度神经网络的应用热点.为了提高广告点击率预估的精确度，提出了基于深度置信网络的广告点击率预估模型，并通过基于Kagg ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:AGM公设是用于信念修正的（被一个单一信念修正），而DP公设是用于迭代修正的（被一个有限的信念序列修正）.李未给出了对于R-构型（configuration）△|Γ的R-演算，其中，△是一个原子公式或原子公式否定的集合，而Γ是一个有限的公式集合.为了在修正过程中能够保留断言中尽可能多的信息，将 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:软件缺陷预测技术通过挖掘和分析软件库训练出软件缺陷预测模型，随后利用该模型来预测出被测软件项目内的缺陷程序模块，因此可以有效地优化测试资源的分配.在基于代价感知的评测指标下，有监督学习方法与无监督学习方法之间的预测性能比较是最近的一个热门研究话题.其中在基于文件粒度的缺陷预测问题中，Yan等人 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:自然语言文本形式的文档是软件项目的重要组成部分.如何帮助开发者在大量文档中进行高效、准确的信息定位，是软件复用领域中的一个重要研究问题.提出了一种基于代码结构知识的软件文档语义搜索方法.该方法从软件项目的源代码中解析出代码结构图，并以此作为领域特定的知识来帮助机器理解自然语言文本的语义.这一语 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:为了解决深化“互联网+先进制造业”进程中网络可信互连问题，引入了可信连接架构（trustedconnectarchitecture，简称TCA）技术.基于TCA技术思想，针对网络间可信认证需求，设计了一种支持网络间互连的可信连接协议（TCA-SNI）.引入了网络间双向认证过程，给出了TCA-S ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:OpenVPN在现实网络中有广泛应用，对其安全性进行评估具有重要的现实意义.基于自动机理论中模型学习的方法，利用协议状态模糊测试的技术对OpenVPN系统进行黑盒测试分析，自动化推演出目标OpenVPN系统的状态机.提出了状态机时间压缩模型并进行冗余状态和迁移化简，可以准确得到协议状态机中的行 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:针对如何提高信息中心网络的网内缓存性能，提出了一种基于概念漂移学习（conceptdriftlearning，简称CDL）的自适应缓存策略.考虑到节点数据和内容数据的相互感知对缓存性能的影响，将节点和内容的状态数据流作为网络资源，对提取的多维状态属性数据和缓存匹配数据进行分析挖掘，利用学习到的 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:针对已有的保护位置隐私路网k近邻查询依赖可信匿名服务器造成的安全隐患，以及服务器端全局路网索引利用效率低的缺陷，提出基于路网局部索引机制的保护位置隐私路网近邻查询方法.查询客户端通过与LBS服务器的一轮通信获取局部路网信息，生成查询位置所在路段满足l-路段多样性的匿名查询序列，并将匿名查询序列 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:随着移动设备和在线社交网络的快速发展，通过用户的个人属性配置文件匹配，能够帮助用户在邻近的社交网络中迅速找到和自己共同特征的朋友.然而，交友匹配很有可能泄漏用户的敏感信息，因此用户隐私得不到保障.提出一种移动社交网络中交友匹配过程中的隐私保护协议，用户利用混淆矩阵变换算法和内积计算实现交友过程 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:社区发现是当前社会网络研究领域的一个热点和难点，现有的研究方法包括：（1）优化以网络拓扑结构为基础的社区质量指标；（2）评估节点间的相似性并进行聚类；（3）根据特定网络设计相应的社区模型等.这些方法存在如下问题：（1）通用性不高，难以同时在无向网络和有向网络上发挥出好的效果；（2）无法充分利用 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:在信息爆炸时代，大数据处理已成为当前国内外热点研究方向之一.谱分析型算法因其特有的性能而获得了广泛的应用，然而受维数灾难影响，主流的谱分析法对高维数据的处理仍是一个极具挑战的问题.提出一种兼顾维数特征优选和图Laplacian约束的聚类模型，即联合拉普拉斯正则项和自适应特征学习（jointLa ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:针对传统基于测地线的泊松融合方法中插值旋转场与尺度场计算量大而影响交互建模的应用，提出了基于复用拉普拉斯算子的高效融合方法.该方法将几何融合、旋转场与尺度场的插值问题均转化为拉普拉斯（泊松）方程进行求解，仅需一次Cholesky分解和多次回代计算，得到融合所需的8个标量场，比起传统基于测地线的 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:几何主动轮廓模型的缺点是对初始轮廓位置特别敏感，基于距离规则水平集（DRLSE）模型的初始轮廓曲线必须设置在目标边界的内部或者外部.基于边缘的自适应水平集（ALSE）模型，提出了一种提高初始轮廓鲁棒性的方法.但两种模型均容易出现陷入虚假边界、从弱边缘处泄露以及抗噪声能力差等问题.设计了一个结合 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:秩函数法是循环程序终止性分析的主流方法.针对一类多分支多项式循环程序，这类程序的秩函数计算问题被证明可归结为单形上正定多项式的探测问题，从而便于利用线性规划工具Simplex去计算这类程序的秩函数.不同于现有基于柱形代数分解的量词消去算法，该方法能够在可接受的时间内计算更为复杂的多项式秩函数. ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:提出了一种基于程序功能标签切片的制导符号执行分析方法OPT-SSE.该方法从程序功能文档提取功能标签，利用程序控制流分析，建立各功能标签和程序基本块的映射关系，并根据功能标签在程序执行中的顺序关系生成功能标签执行流.针对给定的代码目标点，提取与之相关的功能执行流切片，根据预定义好的功能标签流制 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:安卓系统在移动端操作系统始终占据主导地位，在增强用户体验和提高程序性能的同时，其特有的事件驱动模型和多线程模型也造成了并发缺陷.并发程序中，线程调度的不确定性和难以再现性是并发缺陷检测困难的原因.现有技术主要在动态生成执行路径的基础上进行发生序（happens-before）分析，进而检测安卓 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:随着智能家居基础设施的不断发展，智能家居逐渐进入以智能服务为特征的新时期.大量复杂、异构的智能设备相互协同，构成海量、智能、集成的智能家居应用.其中，情境感知服务根据服务对象所处情境的变化为其提供准确的服务，是智能家居应用的典型代表.目前，情境感知服务往往面向场景进行构建，其设备多样性和服务随 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:随着人机对话的不断发展，让计算机能够准确地理解用户查询意图，对整个人机对话领域都有着重要意义.意图分类的主要目标是在人机对话的过程中判断用户的意图，提升人机对话系统的准确度与自然度.首先分析多个分类模型在意图分类任务上的优缺点.在此基础上，提出一种混合神经网络模型，综合利用多个深度网络模型的多 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:建立以受限玻尔兹曼机（restrictedBoltzmannmachine，简称RBM）为基石的深度网络模型，是深度学习研究的热点领域之一.Point-wiseGated受限玻尔兹曼机（point-wisegatedRBM，简称pgRBM）是一种RBM的变种算法.该算法能够在含噪声的数据中自适 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:隐喻计算是自然语言处理领域中的重要问题.尝试以差异性计算为基础，结合语言、心理和认知的角度对英语隐喻识别进行深入分析和探索.对人类而言，隐喻识别是一个动态分类的过程，动态分类是从多个角度来度量事物之间的差异性.研究了如何模仿人类来获取概念的特征、选择分类角度、在特定分类角度下计算差异性，并进行 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:表约束是一种外延的知识表示方法，每个约束在对应的变量集上列举出所有支持或禁止的元组.广义弧相容（generalizedarcconsistency，简称GAC）是求解约束满足问题应用最广泛的相容性.SimpleTabularReduction（STR）是一类高效的维持GAC的算法.在回溯搜索中 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:排序合并连接是数据库系统一种重要的连接实现方式，比哈希连接有更广泛的应用.分布式环境下，数据分片、分布存储，面对昂贵的网络代价，进行高效排序合并连接的挑战巨大.传统策略首先针对连接数据进行排序，然后基于排好序的数据执行合并连接.这两部分操作均基于原始数据进行操作，通常情况下，原始连接数据存在无 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:根据用户的历史评分数据为用户提供推荐的商品列表，是目前推荐系统研究的主流.研究者发现，随着用户参与度的不断提高，将反映用户偏好的评论文本与评分数据结合，可以进一步提高推荐的质量.提出了基于潜在特征同步学习和偏好引导的商品推荐方法，将评论文本的主题与用户的"打分偏好"进行关联，同步学习用户评论文 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:向微博用户推荐对其有价值和感兴趣的内容，是改善用户体验的重要途径.通过分析微博特点以及现有微博推荐算法的缺陷，利用标签信息表征用户兴趣，提出一种结合标签扩充与标签概率相关性的微博推荐方法.首先，考虑到大部分微博用户未给自己添加任何标签或添加标签过少，视用户发布微博为超边，微博中的词视为超点来构 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:残基相互作用网络比对，对于研究蛋白质结构与功能的关系具有重要意义.在基于网络拓扑信息进行网络比对的MAGNA算法基础上，将蛋白质的序列信息（即残基匹配度）引入到其优化函数中，确定拓扑信息和序列信息对比对的影响程度，提出适合于残基相互作用网络比对的SI-MAGNA算法.实验结果表明，SI-MAG ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:高精度室内定位有着广阔的市场前景.针对传统的WKNN室内定位方法所面临的在处理面积较大目标区域时，位置估计结果跳动跨度较大、精度不高等问题，提出了一种基于空间特征分区和前点约束的WKNN室内定位方法.该方法通过将面积较大的目标区域按其空间特征划分为多个分区，解决了指纹数据库无法实现全域覆盖的问 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:由于数据流的动态性和流量负载转移，软件定义网络（softwaredefinednetworking，简称SDN）需要频繁更新数据平面以优化网络性能.大多数已有路由更新策略首先根据网络当前流量状态确定目标路由配置，然后更新数据流的路由.然而，由于交换机基于TCAM（ternarycontenta ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:近年来，基于室内定位的应用服务越来越普及，吸引了大量的研究工作.其中，基于WiFi信号指纹的室内定位技术发展尤为迅速.但无线信号传输易受环境影响，会导致WiFi信号指纹定位存在偏差.为了提高定位精度并减小环境因素带来的不利影响，提出了智能手机内置传感器辅助WiFi信号指纹定位的方法，即利用智能 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:私人交通网络下的最短路径查询主要考虑路径长度、行驶时间等因素，而公共交通网络下的路径查询需要考虑路径上相邻的边的时间顺序约束以及路径的费用.研究了公共交通网络下3种查询：给定起点、终点、时间区间和费用上限，查找在时间区间内不超过费用上限的最早到达路径、最晚出发路径和最短耗时路径.首先给出一种D ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:Zhao等人提出了一个比特币投票协议，使得n个投票人能够通过投票决定两个候选人中的一个接受比特币资助.投票人首先通过秘密分享、承诺和零知识证明生成各自的投票，再通过比特币交易完成投票和比特币资助，保护了投票人的隐私.此文的工作支持n个投票人生成关于m个候选人的一般性投票，并通过智能合约完成了投 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:k近邻（k-nearestneighbor，简称kNN）分类器在生物信息学、股票预测、网页分类以及鸢尾花分类预测等方面都有着广泛的应用.随着用户隐私保护意识的日益提高，kNN分类器也需要对密文数据提供分类支持，进而保证用户数据的隐私性，即设计一种支持隐私保护的k近邻分类器（privacy-pr ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:针对代码复用的攻击与防御已成为网络安全领域研究的热点，但当前的防御方法普遍存在防御类型单一、易被绕过等问题.为此，提出一种基于运行特征监控的代码复用攻击防御方法RCMon.该方法在分析代码复用攻击实现原理的基础上定义了描述程序正常运行过程的运行特征模型RCMod，并提出了验证程序当前运行状态是 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:妆容迁移是指把参考妆容迁移到素颜人脸上，并保持其上妆风格的一种任务.它提供了快速高效的候选妆容可视化的解决方案，得到了学术界和工业界的广泛关注.为了解决真实同人异妆数据的缺失，以及现有妆容迁移方法没有充分考虑人与人的五官差异而导致的迁移脸部结构丢失等问题，提出了一种多通路的分区域快速妆容迁移深 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:在手绘草图检索（sketch-basedimageretrieval，简称SBIR）领域，引入一种手绘草图的新型检索模型.手绘草图与自然图片之间存在巨大的差异性，这是因为，与自然图片相比，手绘草图展现出高度抽象的视觉表达，用现有的方法对手绘草图进行特征提取，其产生的特征描述子对于手绘草图的内容 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:Abstract:PDF全文下载地址:http://jos.org.cn/jos/article/pdf/5787 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:近年来，包含动态任务的交互式系统得到了广泛的应用.基于现有对用户与动态任务交互的研究，提出一个面向动态任务的定量化可计算的交互模型ICOMDT，用于解释用户与动态任务的交互行为，并实现用户意图预测.更具体地，将ICOMDT应用于运动目标选择任务，设计了两个实验以验证模型的有效性.实验1收集用户 ...
中科院软件研究所 本站小编 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
