摘要:针对计算机断层成像（computedtomography，简称CT）中投影数据与图像重建关系，综述了CT在投影策略方面对重建质量的影响.对不同采样策略获取的不完全投影数据，应用迭代类算法对投影数据进行重建，研究了均匀采样和非均匀采样情况下不同数据结构对重建图像质量的影响.对仿真数据和实际数据重 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:随着计算机系统与物理世界的结合越来越紧密，实时系统需要承担越来越复杂的运算任务.多核处理器的兴起为同时满足实时性约束和高性能这两方面的需求提供了可能.基于多核处理器的实时嵌入式系统的研究已成为近几年研究的热点.对现有的面向实时多核嵌入式系统的研究工作进行了综述，介绍了实时多核嵌入式系统的关键设 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:Abstract:PDF全文下载地址:http://jos.org.cn/jos/article/pdf/5473 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:互模拟是并发系统分析和验证的一个重要概念.主要扩展了一种由Du和Deng提出的准局部算法，使其更加适用于一般的标记迁移系统.用Java实现扩展后的准局部算法与Fernandez和Mounier提出的局部算法.以VLTS为实验数据基准进行大量的实验，发现在大多数情况下，前者的性能比后者更好.同时 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:提出了一种对递归数据结构的归纳性质进行自动化分析的框架.工作分为3个主要部分.首先，它将递归数据结构的归纳性质分为两个主要类别，并提出对应的处理模式，从而帮助简化对于程序中的递归数据结构上的相关性质的分析.其次，提出了一种称为分割与拼接的技术来发现和描述递归数据结构是如何被程序修改的：递归数据 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:提出了基于抽象解释框架自动合成数组程序不变式的方法，它能够分析按照特定顺序访问一维或者多维数组的程序，然后合成不变式.该方法将性质（包括区间全称量词性质和原子性质）集合作为抽象域，通过前向迭代数据流分析合成数组性质.证明了该方法的正确性和收敛性，并通过一些实例展示了该方法的灵活性.开发了一种原 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:Petri网是形式化验证领域最重要的模型之一，具有重要的理论和应用价值.从验证算法分析的角度，Petri网可以被等价地抽象为向量加法系统.在对向量加法模型的研究中，人们又发展了一些重要的扩展模型.对近些年来国内外****在向量加法系统验证领域取得的成果进行了系统总结.首先给出了向量加法系统及几 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:模型检查作为一种自动化系统验证方法，已被应用于多智能体系统的验证.由此延伸出的规约描述语言——交替时态逻辑（ATL），也被给予了高度关注.根据智能体是否可以看到全局信息，分为不完全信息和完全信息；根据智能体是否可以记录历史信息，分为无记忆能力和无限记忆能力，提出了4种经典的策略类型.这些策略类 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:时钟约束语言CCSL是一种用于描述实时嵌入式系统中事件之间约束的形式化语言，它是UML针对实时嵌入式系统建模的扩展包MARTE（modelingandanalysisofreal-timeandembeddedsystems）中用于对时间建模的一个子语言.给定一组由CCSL定义的时钟约束条件， ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:建模、仿真和验证语言（MSVL）是一种时序逻辑编程语言，它是投影时序逻辑（PTL）的可执行子集.MSVL和PTL可用于并发系统的建模和性质验证.然而，MSVL缺少一种消息传递的通信机制，这种机制对于并发分布式系统的建模和验证至关重要.说明了如何在MSVL中开发和实现合适的机制来对分布式系统进行 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:运行时验证是提升普适计算应用可靠性的重要手段.这类应用的很多性质同时涉及时间关系和空间位置关系，这样的时空性质给运行时的验证带来了特有挑战：一方面，传统的时态逻辑难以描述空间性质；另一方面，适合描述空间性质的AmbientLogic在真值不确定等情况下不能很好地支持有限轨迹中时间性质的描述.为 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:交替投影时序逻辑（alternatingprojectiontemporallogic，简称APTL）公式简单易懂，表达能力强；不仅可以描述经典时序逻辑LTL可以描述的性质，而且可以描述与区间相关的顺序和循环性质以及开放系统和多智能体系统中与博弈相关的性质.在验证系统是否满足所给的APTL公式 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:数据作为软件系统的主要处理对象，其规范性有助于软件系统的设计开发和软件系统之间的数据交换.面向行业数据规范及其验证，提出了一种基于类型理论的领域数据建模语言（DDML）和领域建模方法（DDMM）.DDML语言通过定义类型和项的语法和语义，描述领域数据类型和对象的结构，通过定义类型规则及其类型检 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:在嵌入式系统和各类操作系统中，中断机制是确保实时响应各类异步事件的重要方法.通常在处理一个中断事件的过程中，往往会有更紧迫的中断事件请求响应，因而发生中断嵌套.建模并验证嵌套中断系统是具有挑战性的工作.提出一种建模和验证嵌套中断系统的方法.首先，提出基于投影时序逻辑（projectiontem ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:实时嵌入式系统多采用中断和上下文切换实现多任务间调度，在对此类系统进行可调度性分析时，在任务的最差响应时间计算中必须包含中断和上下文切换开销.现有包含这些开销的方法是将中断作为高优先级任务，同时将上下文切换开销加入到任务最差执行时间中进行分析，然而这些方法过于粗略，缺乏对实际系统细节的考虑，计 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:高速串行现场总线（controllerareanetwork，简称CAN）被广泛部署到机器人通信系统中.而服务机器人任务具有并发性和高实时性的特点，因此，如何根据总线协议规范和应用需求精化设计模型，保证系统设计的正确性和实时性要求，避免设计阶段的漏洞十分必要.针对传统方法的局限性，提出使用形式 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:API（applicationprogramminginterface，应用程序编程接口）在现代软件开发过程中被广泛使用.开发人员通过调用API快速构建项目，节省了大量的时间.但由于API数量众多、文档不够完善、维护更新不及时等原因，开发人员在学习使用API的过程中面临着严峻的挑战.一旦API ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:缺陷定位是软件调试的重要阶段，依赖程序频谱信息实现软件缺陷定位，是当前比较行之有效的方法.基于频谱缺陷定位方法应用的前提是，程序频谱和执行结果之间存在的潜在关联.通过经验性分析两者之间的内在关联，借助于统计学的条件概率思想，构建了用以量化分析两者关系强弱的P模型，并基于此提出了基于条件概率的缺 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:评述了MapReduce与Spark两种大数据计算算法和架构，从背景、原理以及应用场景进行分析和比较，并对两种算法各自优点以及相应的限制做出了总结.当处理非迭代问题时，MapReduce凭借其自身的任务调度策略和shuffle机制，在中间数据传输数量以及文件数目方面的性能要优于Spark；而在 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:子图匹配是图论中最基本的操作.研究子图匹配的一个变种，即：在一个节点拥有若干元素的大图数据库中，找到与给定查询图结构同构并且对应节点元素的加权集合包含度大于给定值的所有子图，称作基于包含度的子图匹配（subgraphmatchingwithinclusiondegree，简称SMID）.该查询 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:首先介绍了缓冲区溢出漏洞危害的严重性和广泛性，然后，从如何利用缓冲区溢出漏洞的角度，依次介绍了缓冲区溢出漏洞的定义、操作系统内存组织方式以及缓冲区溢出攻击方式.将缓冲区溢出分析技术分为3类：自动检测、自动修复以及运行时防护，并对每一类技术进行了介绍、分析和讨论.最后，对相关工作进行了总结，并讨 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:近年来，利用含有已知漏洞的函数作为准则，通过查找相似代码实现来检测未知漏洞的方法已被证明是有效的.但是，一个含有漏洞的函数通常也包含一些与已知漏洞无关的语句，严重影响相似度计算的结果，从而引发误报和漏报.提出了一种利用补丁来提高这种相似性检测准确性的漏洞发现方法.结合漏洞的补丁信息，引入程序切 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:安全漏洞检测，是保障软件安全性的重要手段.随着互联网的发展，黑客的攻击手段日趋多样化，且攻击技术不断翻新，使软件安全受到了新的威胁.描述了当前软件中实际存在的一种新类型的安全漏洞隐患，称为数值稳定性相关的安全漏洞隐患.由于黑客可以利用该类漏洞绕过现有的防护措施，且已有的数值稳定性分析方法很难检 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:资源泄漏是影响软件质量和可靠性的一种重要软件缺陷，存在资源泄漏的程序长时间运行会由于资源耗尽而发生异常甚至崩溃.静态代码分析是进行资源泄漏检测的一种有效的技术手段，能够基于源代码或者二进制代码有效地发现程序中潜在的资源泄漏问题.然而，精确的资源泄漏检测算法的复杂性会随着程序规模的增加呈指数级增 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:模糊测试是一种有效的漏洞挖掘技术.为了改善模糊测试因盲目变异而导致的效率低下的问题，需要围绕输入特征、变异策略、种子样本筛选、异常样本发现与分析等方面不断定制模糊测试器，从而花费了大量的定制成本.针对通用型模糊测试器（即支持多类输入格式及目标软件的模糊测试器）的低成本定制和高可扩展性需求，提出 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:模糊测试被广泛应用于浏览器的漏洞挖掘，其效果好坏的决定因素之一是测试者编写的测试模式.针对特定测试模式实现成本高、生存时间短等问题，提出了一种基于模式生成的浏览器模糊测试器自动构造方法，通过解析已知漏洞触发样本，自动提取测试模式，对模式中每个模块应用传统的变异策略，完成畸形样本的自动生成.实验 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:针对当前Windows下GUI软件模糊测试过程中，由于进入空转状态时刻判断不准确导致的测试效率降低的问题，利用自然语言处理的方法在函数执行迹的基础上来解决空转状态识别问题.首先分析了传统程序分析方法在空转状态判断上遇到的困难，提出了基于Bi-Gram模型以及统计分析的空转状态识别方法.通过Bi ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:云计算在为人们日常生活提供极大便利的同时，也带来了较大的安全威胁.近年来，云平台IaaS层虚拟化机制的漏洞层出不穷，如何有效地挖掘虚拟化实现过程中的拒绝服务及逃逸漏洞，是当前的研究难点.分析已知虚拟化平台的相关漏洞，抽取并推演目标数据集合，设计并实现了一种随机化的模糊测试方法，进一步基于灰度马 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:Return-OrientedProgramming（ROP）是一种流行的利用缓冲区溢出漏洞进行软件攻击的方法.它通过覆写程序栈上的返回地址，使程序在之后执行返回指令时跳转到攻击者指定位置的代码，因而违反了程序原本期望的控制流.控制流完整性（control-flowintegrity，简称CF ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:移动广告作为市场营销的一种重要手段，越来越受到应用开发者的青睐，其市场规模也日趋增大.但是，为了追求广告的精准投放和其他非法利益，移动广告给用户的隐私与财产安全也带来了很大的威胁.目前，众多****关注广告平台、广告主和移动应用的安全风险，还未出现在广告网络中直接发起攻击的案例.提出了一种基于 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:网页木马是一种在网页中插入攻击脚本，利用浏览器及其插件中的漏洞，使受害者的系统静默地下载并安装恶意程序的攻击形式.结合动态程序分析和机器学习方法，提出了基于动态行为分析的网页木马检测方法.首先，针对网页木马攻击中的着陆页上的攻击脚本获取行为，监控动态执行函数执行，包括动态生成函数执行、脚本插入 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:为了描述、理解、评估、预测、控制、管理或者改善与软件相关的内容，研究者常常使用经验研究的方法.经验研究在软件工程领域已经得到广泛的应用并备受关注.为了了解近年来软件工程中经验研究的特点，并希望经验研究方法为更多研究者所了解，通过系统映射的方法，对软件工程中经验研究的典型期刊《Empirical ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:将编排映射为Peer（参与者），是对编排进行可实现性分析的第1个步骤.现有文献提出的映射方法未考虑参与者中τ对行为的影响，无法确保编排与参与者间的行为一致性.以Petri网作为形式化基础，提出了一种能够保持编排与参与者间行为一致的映射方法，允许：（1）通过动作映射，将交互式Petri网定义的编 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:计算机辅助检测/诊断（computer-aideddetection/diagnosis，简称CAD）能够提高诊断的准确性，减少假阳性的产生，为医生提供有效的诊断决策支持.旨在分析计算机辅助诊断工具的最新发展.以CAD研究较多的四大致命性癌症的发病医学部位为主线，按照不同的成像技术和病类，对目 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:Abstract:PDF全文下载地址:http://jos.org.cn/jos/article/pdf/5417 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:单张图像超分辨率重建受到多对一映射的困扰.对于给定的低分辨率图像块，存在若干高分辨率图像块与之对应.基于学习的方法受此影响，学习到的逆映射规则只能预测这些高分辨率图像块的均值，从而产生视觉上模糊的超分辨率重建结果.为了弥补歧义性造成的高频细节损失，提出了一种基于深度网络、利用在线检索的数据进行 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:人脸超分辨率（super-resolution，简称SR）即将输入模糊的低分辨率（low-resolution，简称LR）人脸图像通过一系列算法处理得到较为清晰的高分辨率（high-resolution，简称HR）人脸图像的过程.相比自然图像，不同人脸图像的相同位置通常具有相似的结构.针对人脸 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:图像超分辨率一直是底层视觉领域的研究热点，现有基于卷积神经网络的方法直接利用传统网络模型，未对图像超分辨率属于回归问题这一本质进行优化，其网络学习能力较弱，训练时间较长，重建图像的质量仍有提升空间.针对这些问题，提出了基于深度反卷积神经网络的图像超分辨率算法，该算法利用反卷积层对低分辨率图像进 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:聚类作为无监督学习技术，已在实际中得到了广泛的应用.但是对于带有噪声的数据集，一些主流算法仍然存在着噪声去除不彻底和聚类结果不准确等问题.提出了一种基于密度差分的自动聚类算法（clusteringbasedondensitydifference，简称CDD），实现了对含有噪声数据集的自动分类. ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:随着信息技术的快速发展，现实生活中不断涌现出大量的多视角数据，由此应运而生的多视角学习已成为机器学习领域的研究热点.然而，在数据获取过程中，由于收集的难度、高额成本或设备故障等问题，往往导致收集到的多视角数据出现视角缺失，这使得一些多视角学习方法无法有效进行.为此，提出一种基于视角相容性的多视 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:同态加密技术可用于保护数据隐私并允许对密文数据进行算术操作，在云计算安全上有着很好的应用前景.针对云计算中的隐私保护和数据安全等问题，提出了一种基于同态加密系统的图像鲁棒可逆水印算法，主要思想为：（1）对原始图像进行分块和利用Paillier加密系统进行加密得到密文图像；（2）在加密域中，通过 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:随着多客户端交互多媒体应用的快速发展，屏幕内容图像（screencontentimage，简称SCI）的分发和处理与日俱增.图像质量评价课题的研究是其他许多应用的基础，至今图像质量评价课题研究的重点是传统自然图像，因此，针对屏幕图像质量评价的研究就变得非常迫切和必要.客观图像质量评价算法提出的 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:现今主流的图像隐写分析方法主要聚焦于设计检测特征，用以提高通用盲检测（universalblinddetection，简称UBD）模型的检测准确率，这类检测方法与待测图像无关，难以做到精准检测.在拥有大数据训练资源的前提下，研究了隐写对图像特征的影响，找出了隐写分析与图像特征之间的重要关系，基 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:针对可用于图像篡改的内容感知缩放技术，提出了一种基于概率Map图统计特征的内容感知缩放检测算法.该算法利用概率Map图以反映图像是否经过内容感知缩放操作，并利用新提出的积分投影与局部统计特征来检测篡改图像.而后利用分类器进行分类训练，从而有效识别基于内容感知缩放操作的图像篡改.实验结果显示，所 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:时空上下文跟踪算法充分地利用空间上下文中包含的结构信息能够有效地对目标进行跟踪，实时性优良.但该算法仅利用单一的灰度信息，使得目标的表观表达缺乏判别性，而且该方法在由于遮挡等问题造成的跟踪漂移后无法进行初始化.针对时空上下文算法存在的弱点，提出了一种基于低秩重检测的多特征时空上下文跟踪方法.首 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:在图像分类任务中，为了获得更高的分类精度，需要对图像提取不同层次的特征信息.深度学习被越来越多地应用于大规模图像分类任务中.提出了一种基于深度卷积神经网络的、可应用于大规模图像分类的深度学习框架.该框架在经典的深度卷积神经网络AlexNet基础上，分别从网络框架和网络内部结构两个方面对网络进行 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:计算机计算性能的提升使得深度学习成为了可能.作为计算机视觉领域的重要发展方向之一的目标检测也开始结合深度学习方法并广泛应用于各行各业.受限于网络的复杂度和检测算法的设计，目标检测的速度和精度成为一个trade-off.目前电商领域的飞速发展产生了大量包含商品参数的图片，使用传统方法难以有效地提 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:空气中的尘埃、污染物及气溶胶粒子的存在严重影响了大气预测的有效性，毫米波雷达云图的有效分割成为解决这一问题的关键.提出了一种基于超像素分析的全卷积神经网路FCN和深度卷积神经网络CNN（FCN-CNN）的云图分割方法.首先通过超像素分析对云图每个像素点的近邻域实现相应的聚类，同时将云图输入到不 ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:自动情感识别是一个非常具有挑战性的课题，并且有着广泛的应用价值.探讨了在多文化场景下的多模态情感识别问题.从语音声学和面部表情等模态分别提取了不同的情感特征，包括传统的手工定制特征和基于深度学习的特征，并通过多模态融合方法结合不同的模态，比较不同单模态特征和多模态特征融合的情感识别性能.在CH ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02摘要:在众多传统艺术绘画形式中，笔触是被现代计算机绘画工具（GIMP、Photoshop和Painter）普遍采用的形式之一.创新性地提出了服务于非真实感渲染AI辅助艺术创作系统（A4）.系统能够实现自动生成特定艺术家风格的笔触效果.该系统在强化学习框架下，主要进行以下研究工作：（1）提出基于PGP ...
中科院软件研究所 本站小编 Free考研考试 2022-01-02
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19
平常需要几十块钱一本的电子书，开了VIP会员任您畅读。VIP会员均可免费使用本站在售的万余种考研考证基础类产品（电子书、题库、视频课程、全套资料等）。万种考研考证电子书、题库、视频随便看，每本不到一分钱。产品涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...半年VIP购买 本站小编 Free壹佰分学习网 2022-09-19
