上传资源列表
-
基于空间分布和时间序列分析的粒子滤波算法
大小：1M 更新时间：2019-12-24 下载积分：1分
针对粒子滤波存在的粒子贫化问题,提出了一种改进的重采样粒子滤波算法.在重采样步骤中基于采样粒子集的空间分布引入时间序列分析,选取相关度最高的粒子进行传递,避免了只关注采样粒子权值的传统重采样算法中仅复制大...
-
基于启发式调度的OpenFlow网络规则一致更新方案
大小：1M 更新时间：2019-12-24 下载积分：1分
针对OpenFlow网络在状态转换过程中会暂时性出现转发回路、路由黑洞和违反访问控制策略等问题,提出了一种基于启发式调度的规则一致更新方案.首先,设计基于谓词的更新分解算法,利用并行网络属性验证技术得到子更新依赖...
-
两类阻变机理及性能改善方法的研究
大小：2M 更新时间：2019-12-24 下载积分：1分
在新型非易失性存储领域,结构简单、高速低耗的阻变存储器具有巨大优势和很强的竞争力.简要介绍了阻变存储器的结构及其两个电阻转变行为.总结了两类阻变机理,探讨了阻变存储器性能优化的方法,以及优化方法在阻变性能...
-
基于角色协同的角色扮演逻辑及其代数模型
大小：1M 更新时间：2019-12-24 下载积分：1分
基于角色协同(Role-Based Collaboration,RBC)的软件工程与协同计算方法以角色为基础进行研究,能有效促进信息系统的抽象与分类,有利于单元协作与协同计算.为支撑RBC及其角色引擎,本文从元理论角度出发,运用子结构逻辑...
-
一种符号执行制导的循环内界分析方法
大小：1M 更新时间：2019-12-24 下载积分：1分
循环是计算机中重要的复杂程序结构.很多应用场景要求静态分析循环可能达到的最大迭代次数,即循环边界(Loop Bound).对应技术在文献中被称为循环边界分析(Loop Bound Analysis).现有的循环边界分析均使用保守方式进行...
