摘要:随着移动设备数量的爆炸性增长以及许多新兴应用的出现，移动网络的流量呈指数级增长.传统的集中式网络架构由于回程链路负载过重、时延较长，无法满足移动用户的需求.因此，提出了将网络能力从核心网开放至边缘网的新体系结构，即移动边缘计算（MEC）.移动边缘计算能够在移动蜂窝网络的边缘提供轻量级的云计算和 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:针对已有的密文共享方案存在客户端计算量过大、用户管理密钥过多、不支持个人共享等问题，将公有云引入到密文共享方案的设计之中，提出一种面向公有云的安全文件共享框架.基于该框架设计了一种面向公有云的密文共享方案.该方案将绝大多数计算和存储都外包给公有云，用户只需保存两个空间占用很小的私钥子项且客户端 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:部署于野外的感知网络在应用时广泛存在节点能量不足的问题，而新型的使用能量收集技术的节点可以通过周期性地从环境中获取能量来延长网络的生存周期.因此，针对使用能量收集型节点的无源感知网络，能耗不再像有源节点网络那样成为制约网络性能最关键的因素.综合考虑能耗和延迟，可以在使节点获得较长生存周期的同时 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:基于谱分析的形状描述符在非刚性三维形状匹配中取得了较好的匹配效果，引起了研究者的广泛关注.谱分析是基于流形上拉普拉斯贝尔特拉米算子谱分解的一种内蕴形状分析方法.谱形状描述符和谱距离分布函数是最主要的两类谱分析形状描述符，它们具有不同的数学性质和物理意义.基于两类不同的形状描述符，给出了详细的方 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:Abstract:PDF全文下载地址:http://jos.org.cn/jos/article/pdf/5758 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:程序终止性问题是自动程序验证领域中的一个研究热点.秩函数探测是进行终止性分析的主要方法.针对单重无条件分支的多项式循环程序，将其秩函数计算问题归结为二分类问题，从而可利用支持向量机（SVM）算法来计算程序的秩函数.与基于量词消去技术的秩函数计算方法不同，该方法能在可接受的时间范围内探测到更为复 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:根据权威统计数据，软件测试中发现的70%以上的错误由需求获取或体系结构设计引起.因此，应用软件体系结构在设计阶段的正确性验证非常重要.现有的软件体系结构设计方法不支持需求满足验证，需求满足验证需要其他验证工具的支持.面向主流Web应用软件的体系结构设计及其需求满足验证，提出了一种高阶类型化软件 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:近年来，基于Petri网可覆盖性的验证技术已经成功地应用于并发程序的验证与分析中.然而，由于Petri网的可覆盖性问题复杂度太高，这类技术在应用时有较大的局限性，对于输入规模较大的问题常常会出现超时的情况.而Petri网的一个子系统——非交互式Petri网，其可覆盖性和可达性复杂性均是NP完备 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:时段演算是描述和推导嵌入式实时系统和混成系统性质的一种区间时态逻辑.扩展线性时段不变式是时段演算的重要子集.针对实时自动机，提出一种连续时间语义下扩展线性时段不变式的有界模型检验方法.该方法将扩展线性时段不变式的有界模型检验问题转化为量词线性算术公式的正确性问题，从而可以采用量词消去技术进行求 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:信息物理系统（cyber-physicalsystem，简称CPS）是一个在环境感知的基础上整合了物理和计算元素的系统，它可以智能地响应真实世界的动态变化，具有重要而广阔的应用前景.然而，CPS工作在复杂的物理环境中，周围的物理变化会对CPS的行为产生影响.因此，确保CPS在复杂环境中的安全性 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:随着安全关键系统对计算性能要求的日趋提高，能够提供更强计算能力而又减少电子设备的体积、重量和功耗的多核处理器将在安全关键领域得到广泛应用.同步语言能够表达确定性并发行为且具有精确时间语义等特性，适用于安全关键软件的建模和验证.目前，同步语言SIGNAL编译器主要支持串行代码生成，较少关注多线程 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:同步数据流语言（如Lustre、Signal）在航空、高铁、核电等安全关键领域得到广泛应用.例如，适合这些领域实时控制系统建模和开发的Scade工具就是基于一种类Lustre语言.这类语言相关开发工具，特别是编译器的安全性问题也自然受到高度关注.近年来，基于形式化验证实现可信编译器构造成为程序 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:信息物理系统（cyber-physicalsystems，简称CPS）是基于环境感知实现计算、通信与物理元素紧密结合的下一代智能系统，广泛应用于安全攸关的系统和工业控制等领域.信息技术与物理世界的相互作用使得CPS容易受到各种恶意攻击，从而破坏其安全性.主要研究存在瞬态故障的CPS中传感器的攻 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:自动机的重置序列也称为同步序列，具有以下特性：有限自动机通过运行重置序列w，可从任意一个未知的或无法观测到的状态q0到达某个特定状态qw.这仅依赖于w，而与开始运行w时的状态q0无关.这一特性可用于部分可观察的复杂系统的自动恢复，而无需重启，甚至有时不能重启.基于此，重置问题自出现以来便得到关 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:人们理解自然语言通常是在篇章级进行的，随着词汇级及句子级研究的日益成熟，自然语言处理研究的焦点已转向篇章级.篇章分析的主要任务就是从整体上分析出篇章结构及其构成单元之间的语义关系，并利用上下文理解篇章.根据不同的篇章分析目的，篇章单元及其关系可以表示为不同的篇章基本结构，不同篇章基本结构及其关 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:概率图模型是目前机器学习研究的热点，基于概率图模型构造的生成模型已广泛应用于图像和语音处理等领域.受限玻尔兹曼机（restrictedBoltzmannmachines，简称RBMs）是一种概率无向图，在建模数据分布方面有重要的研究价值，RBMs既可以结合卷积算子构造深度判别模型，为深度网络提 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:情绪分析是细粒度的情感分析任务，其目的是通过训练机器学习模型来判别文本中蕴含了何种情绪，是当前自然语言处理领域中的研究热点.情绪分析可细分为情绪分类与情绪回归两个任务.针对情绪回归任务，提出一种基于对抗式神经网络的多维度情绪回归方法.所提出的对抗式神经网络由3部分组成：特征抽取器、回归器、判别 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:随着开源软件的兴起及软件开发支撑工具的普及，Internet上积累了大量开放的软件开发活动数据，越来越多的实践者与研究者尝试从中获取提高软件开发效率和产品质量的洞察.为了提高数据分析的效率、方便分析结果的重现与对比，许多工作提出了构建与使用共享数据集.然而，现有软件开发活动数据集的构建过程可追 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:随着互联网的迅猛发展，网络广告成为互联网最重要的商业模式之一.网络广告在促进互联网发展的同时，也带来了用户信息泄露、影响用户网页浏览体验等负面问题.为了对网络广告进行系统的研究，需要获取广告生成过程中完整的调用路径.由于加载到页面中的JavaScript文件量大、函数调用路径链路长、路径中的J ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:知识图谱是人工智能的重要基石.各领域大规模知识图谱的构建和发布对知识图谱数据管理提出了新的挑战.以数据模型的结构和操作要素为主线，对目前的知识图谱数据管理理论、方法、技术与系统进行研究综述.首先，介绍知识图谱数据模型，包括RDF图模型和属性图模型，介绍5种知识图谱查询语言，包括SPARQL、C ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:随着Internet的普及，各类社交网络走进人们的视野，用户为满足不同的服务需求，往往不会局限于单一社交网络中，因此，跨社交网络环境下的用户识别问题成为研究者的热门话题.主要利用网络结构信息，针对社交网络对齐问题进行研究，主要包含以下研究点：首先，将网络对齐问题抽象为最大公共子图问题（α-MC ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:近年来，人脸属性估计因其广泛的应用而得到了大量的关注和研究，并且很多估计方法被提了出来.主要对现有相关工作进行归纳总结，为研究者提供相关参考.首先，根据是否考虑人脸性别、年龄、人种等不同属性间的内在关联，将现有的人脸面部属性研究方法划分成朴素的研究方法和自然的研究方法这两大类进行总结介绍.然后 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:Abstract:PDF全文下载地址:http://jos.org.cn/jos/article/pdf/5747 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:以上海证券交易所“去中心化的主板核心交易系统”作为业务场景，旨在研究高性能联盟区块链的优化算法.在联盟链关键技术研究的基础上，结合现有主板证券竞价交易系统的业务，提出了系统架构以及关键技术的实现.对业务逻辑与共识分离、存储优化和数字签名验证优化（包括合并验签和GPU加速）等可提高联盟链性能的优 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:跨境金融通信对于现代金融业务的开展极为重要.环球银行金融电信协会（SWIFT）是跨境金融通信服务的主要提供者.现阶段，报文传输是SWIFT系统的主要业务，确保报文传输安全、准确、高效，是SWIFT系统的重要目标.但现阶段基于中心架构思想的SWIFT系统安全风险突出，传输效率低，成本较高.基于许 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:物联网动态数据安全保护的重点是拒绝非授权用户的篡改，实现对物联网动态数据操作的过程留痕和追踪溯源.为解决大量物联网设备产生的动态数据安全存储与共享问题，建立了物联网动态数据存储安全问题的数学模型，提出了用于实现操作实体多维授权与动态数据存储的双联盟链结构，设计了基于验证节点列表的共识算法，给出 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:随着物联网的不断发展，物联网的隐私保护问题引起了人们的重视，而访问控制技术是保护隐私的重要方法之一.物联网访问控制模型多基于中央可信实体的概念构建.去中心化的区块链技术解决了中心化模型带来的安全隐患.从物联网自身环境特点出发，提出物联网终端节点设备轻量级、物联网海量终端节点和物联网动态性这3个 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:随着区块链技术的发展，各种具有不同特点、适用于不同应用场景的区块链如比特币、以太坊等公有链以及私有链、联盟链大量共存.由于区块链的相互独立性，现存各区块链之间的数据通信、价值转移仍面临挑战，价值孤岛现象逐渐显现.区块链的跨链技术是区块链实现互联互通、提升可扩展性的重要技术手段.对跨链技术领域的 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:数据已成为企业的重要资产.如何在企业内部对数据的访问权限进行有效控制、在企业之间安全共享数据一直是一个挑战.区块链中的分布式账本可以从某些方面解决上述问题，但是区块链所应用的非对称加密机制仅可进行一对一的安全传输，并不满足企业内部复杂的访问控制要求.提出一种应用区块链的数据访问控制与共享模型， ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:区块链系统的核心价值是建立多方信任，在面对企业级应用场景时需要增强安全性、实时性、友好性设计；面对国内自主可控和技术发展需求，应积极倡导开源共赢.为此，提出了开源的响应式许可链基础组件RepChain（reactivepermissionedchain），它通过全新设计系统架构，突出了响应式、 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:随着互联网中隐私保护技术的发展，身份认证已成为保护计算机系统和数据安全的一道重要屏障.然而，信息技术的快速发展使传统身份认证手段暴露出一些弊端，例如，区块链技术的兴起对身份认证提出了更高的要求，在认证身份的同时需要保护用户的身份隐私等.采用匿名认证技术可解决用户身份隐私泄露的问题，但目前大多数 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:缓冲区溢出漏洞是危害最为广泛和严重的安全漏洞之一，彻底消除缓冲区溢出漏洞相当困难.学术界、工业界提出了众多缓冲区溢出漏洞检测技术与工具.面对众多的工具，使用者如何结合自身需求有效地选择工具，进而应用到漏洞的检测与修复、预防与保护、度量与评估等方面，是具体而实际的问题.解决这一问题，需要在各异的 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:为准确并多步预测Web服务的服务质量（qualityofservice，简称QoS），方便用户选择更好的Web服务，提出了一种基于多元时间序列的QoS预测方法MulA-LMRBF（multiplestepforecastingwithadvertisement-levenbergmarquar ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:软件调试是复杂过程，可能会受到很多种因素的影响，例如调试资源分配、调试工具的使用情况、调试技巧等.在软件调试过程中，当检测到的故障被去除时，新的故障可能会被引进.因此，研究故障引进的现象对建立高质量的软件可靠性增长模型具有重要意义.但是到目前为止，模拟故障引进过程仍是一个复杂和困难的问题.虽然 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:软件程序是按一定顺序排列的指令序列，指令的排列组合构成了千变万化的程序语义.指令顺序重排通常会相应地导致程序语义的变化，通过分析相邻指令序列的相对独立性，可以在不影响程序语义的前提下交换相邻指令序列，增大指令距离，改变程序特征，在一定程度上增加逆向分析代价.通过改进程序的形式化定义论证相邻指令 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:实体关系抽取作为信息抽取、自然语言理解、信息检索等领域的核心任务和重要环节，能够从文本中抽取实体对间的语义关系.近年来，深度学习在联合学习、远程监督等方面上的应用，使关系抽取任务取得了较为丰富的研究成果.目前，基于深度学习的实体关系抽取技术，在特征提取的深度和模型的精确度上已经逐渐超过了传统基 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:签到日志记录了用户对于某类设施的使用情况，从中发现用户行为模式，在很多领域如精确广告投放、犯罪团伙发现等方面都具有非常广泛的应用价值.但是，发现过程却较为困难，主要因为：（1）日志数据体现为长时间序列且含有噪声，导致数据在高维空间分布较为稀疏，影响模式提取的准确性；（2）行为模式往往与不同的时 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:为解决粒子群优化算法易陷入局部最优值的问题，提出一种引入多级扰动的混合型粒子群优化算法.该算法结合两种经典改进粒子群优化算法的优点，即带惯性参数的标准粒子群优化算法和带收缩因子的粒子群优化算法，在此基础上，引入多级扰动机制：在更新粒子位置时，引入一级扰动，使粒子对解空间的遍历能力得到加强；若优 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:测量技术是状态监测、性能管理、安全防御等网络研究的基础，在网络研究领域具有重要地位.相较于传统网络，软件定义网络在标准性、开放性、透明性等方面的优势给网络测量研究带来了新的机遇.测量数据平面和测量控制平面的分离，启发了通用和灵活的测量架构的设计与实现；标准化的编程接口，使得测量任务可以快速地开 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:针对无标度网络的节点重要度评估问题，通过分析节点的邻居数量与其邻居间的拓扑结构，得到节点的结构洞重要性指标，再融合相邻节点的K核重要性指标值来确定相邻节点间的重要度贡献，以此表征相邻节点的局部信息；在此基础上，再结合表征节点位置信息的节点自身的K核重要性，从而提出一种基于节点间重要度贡献关系来 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:指纹图像增强，是自动指纹识别系统中的重要环节.为弥补传统指纹图像增强算法的缺陷，提出一种指纹图像增强算法.在指纹块质量分级机制和复合窗口策略下，指纹图像首先在频域被具有方向选择性的方向高斯带通滤波器滤波增强；随后，二值增强指纹中的误增强区域在空域被具有方向选择性的深度玻尔兹曼机（DBM）重构. ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:Abstract:PDF全文下载地址:http://jos.org.cn/jos/article/pdf/5736 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:自动化软件开发一直是软件工程领域的研究热点.目前，互联网技术促进了开源软件和开源社区的发展，这些大规模的代码和数据成为自动化软件开发的机遇.与此同时，深度学习也在软件工程领域开始得到应用.如何将深度学习技术用于大规模代码的学习，并实现机器自动编写程序，是人工智能与软件工程领域的共同期望.机器自 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:自动化编程是智能软件的核心挑战之一，使用程序执行轨迹或输入输出样例学习程序，是自动化编程的典型研究方法.这些方法无法弥合常规程序元素与神经网络组件间的隔阂，不能吸收经验信息输入、缺乏编程控制能力.给出了一种可无缝结合高级编程语言与神经网络组件的混合编程模型：使用高级编程语言元素和神经网络组件元 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:在计算机软件中，程序缺陷不可避免且极有可能造成重大损失.因此，尽早发现并排除程序中潜在的缺陷，是学术界和工业界的普遍共识.目前的程序缺陷自动修复方法大都遵循缺陷定位、修复候选项生成、选择及验证的流程，但在修复实际程序时存在修复率低、无法保证修复结果的正确性等问题.提出了一种基于程序合成的C/C ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:已有的程序自动化调试研究大多面向工业软件，而学生程序调试具有缺陷数多、类型复杂等特有难点问题，因此，针对学生程序设计应用背景，研究程序自动修复方法，利用模板示例程序指导补丁的演化.改进了遗传编程算法，包括适应度的计算、变异体的生成方式和变异位置及操作的选择方式，使其更加适合修复学生程序.提出了 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:演化算法通过搜寻GCC编译器最优编译选项集，对可执行代码的能耗进行改进，以达到编译时优化嵌入式软件能耗的目的.但这类算法未考虑多个编译选项之间可能存在相互影响，导致了其解质量不高且收敛速度慢的问题.针对这一不足，设计了一种基于频繁模式挖掘的遗传算法GA-FP.该算法在演化过程中利用频繁模式挖掘 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:软件缺陷预测一直是软件工程研究中最活跃的领域之一，研究人员己经提出了大量的缺陷预测技术，根据预测粒度不同，主要包括模块级、文件级和变更级（change-level）缺陷预测.其中，变更级缺陷预测旨在于开发者提交代码时，对其引入的代码是否存在缺陷进行预测，因此又被称作即时（just-in-tim ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:在实际软件开发中，需要进行缺陷预测的项目可能是一个新启动项目，或者这个项目的历史训练数据较为稀缺.一种解决方案是利用其他项目（即源项目）已搜集的训练数据来构建模型，并完成对当前项目（即目标项目）的预测.但不同项目的数据集间会存在较大的分布差异性.针对该问题，从特征迁移和实例迁移角度出发，提出了 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:内存泄漏在采用显式内存管理机制的C语言中是一种常见的代码缺陷，内存泄漏的检测方法目前主要是静态分析与动态检测.动态检测开销大，且高度依赖测试用例；静态分析目前被学术界和工业界广泛应用，但是存在大量误报，需要人工对检测结果进行确认.内存泄漏静态分析的误报通常是由于对指针、分支语句和全局变量分析的 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19
平常需要几十块钱一本的电子书，开了VIP会员任您畅读。VIP会员均可免费使用本站在售的万余种考研考证基础类产品（电子书、题库、视频课程、全套资料等）。万种考研考证电子书、题库、视频随便看，每本不到一分钱。产品涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...半年VIP购买 本站小编 Free壹佰分学习网 2022-09-19
