搜索结果: 31-45 共查到“知识库 软件工程”相关记录840条 . 查询时间(3.096 秒)
ARCHER:Using Symbolic,Path-sensitive Analysis to Detect Memory Access Errors
ARCHER Using Symbolic Path-sensitive Analysis Detect Memory Access Errors
2015/8/7
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER usespath-sensitive, interprocedural s...
MECA:an Extensible,Expressive System and Language for Statically Checking Security Properties
MECA Extensible Expressive System Statically Checking Security Properties
2015/8/7
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of practical constructs to ef...
The use of model checking for validation requires that models of the underlying system be created. Creating such models is both difficult and error prone and as a result, verification is rarely used d...
EXE:Automatically Generating Inputs of Death
Bug finding test case generation constraint solving symbolic execution dynamic analysis attack generation
2015/8/7
This paper presents EXE, an effective bug-finding tool that automatically generates inputs that crash real code. Instead of running code on manually or randomly constructed input, EXE runs it on symbo...
Tick Tock: Building Browser Red Pills from Timing Side Channels
Timing Side Channels Building Browser Red
2015/8/5
Red pills allow programs to detect if their execution environment is a CPU emulator or a virtual machine. They are used by digital rights management systems and by malware authors. In this paper we st...
基于两阶段搜索算法的多峰函数优化
排挤差分演化 协方差矩阵自适应演化策略 多峰优化 小生境 邻域变异
2016/12/29
多峰优化问题需要搜索多个最优值(全局最优/局部最优),这给传统的优化算法带来很大程度上的挑战.本文提出了一种两阶段算法求解多峰优化问题.第一阶段采用带有邻域变异策略的排挤差分演化算法进行粗粒度搜索,在适应度景观上尽可能多的找到最优解的大概位置.搜索一定代数之后,调用DMC聚类方法把搜索种群划分成多个聚类,然后在每个聚类上调用协方差矩阵自适应演化策略算法进行精细搜索.另外,本文还提出搜索点补充策略用...
Evolution Analysis of Large-Scale Software Systems Using Design Structure Matrices and Design Rule Theory
Software Systems Design Structure Design Rule Theory
2015/4/21
Designers often seek modular architectures to better accommodate expected changes and to enable parallel development. However, we lack a formal theory and model of modularity and software evolution, w...
对用友ERP-U8的几点改进建议
ERP-U8 用友财务软件 企业所得税 公允价值变动
2015/5/26
经过30多年的发展，中国的财务软件开发已经取得了一定成就，对于常规业务的处理日趋成熟、完善，但是对于特殊业务的处理，目前财务软件开发还相对薄弱。本文仅就用友财务软件在使用过程中存在的一些问题提出改进建议。
面向领域标签辅助的服务聚类方法
Web服务聚类 面向领域 标签辅助 主题模型
2017/1/7
Web服务数量的激增对服务发现提出了更高的要求,服务聚类是促进服务发现的一种重要技术.但是,现有服务聚类方法只对单一类型的服务文档进行聚类,缺乏考虑服务的领域特性和服务标签的应用.针对这些问题,本文首先使用本体辅助的支持向量机和面向领域的服务特征降维技术建立服务的特征内容向量,然后使用一种标签辅助的主题服务聚类方法T-LDA建立融合标签信息之后的隐含主题表示,并利用归一化方法消除通用主题的影响,综...
迭代次数自适应的Grover算法
Grover搜索算法 相位正负性 自动控制
2016/12/24
本文提出了利用相位门自动控制Grover搜索算法迭代次数的算法.Grover搜索算法最终得到目标分量的概率非常依赖于酉算子迭代的次数.迭代次数的计算依赖于目标分量的数量.因此当目标分量数未知时，该方法无法以高概率测量到目标分量.在以往的解决方案中需要较高的Oracle查询复杂度才能以一定概率得到目标分量的数量.本文提出了一种通过判断叠加态相位正负性，可自动控制Grover搜索算法迭代次数的方法.只...
TOWARDS MANY-CORE PROCESSOR SIMULATION ON CLOUD COMPUTING PLATFORMS
Computer Engineering Cloud Computing Simulator Many Core
2015/1/20
Growth of interest and need for many-core systems have steadily increased over the recent years. Industry trends lead many-core systems to become increasingly larger and more complex. Because of these...
基于云模型的智能驾驶车辆变粒度测评研究
云模型 变粒度 智能驾驶车辆 测评研究
2017/1/3
如何通过直观、简单和有效的测评方法,建立一个定性与定量的不确定性测评转换模型,实现智能驾驶车辆的测评研究,已成为智能驾驶车辆研究领域急需面对和解决的一个基本问题,也是一个难题.为了解决这个问题,本文提出一种基于云模型与变粒度的测评方法.首先,提出一套4S变粒度测评体系与三级智商变粒度测评体系;其次,通过云模型将智能驾驶车辆的定性测评转化为直观、形象的定量测评,利用云模型的期望、熵与超熵对智能驾驶车...
面向内容发布订阅系统的向量订阅与共享机制
内容发布订阅系统 属性 约束 向量
2015/12/21
在分析典型索引结构和树型结构匹配算法变更特性、匹配效率的基础上,以匹配效率高的匹配树算法为基础,扩展其订阅结构为向量结构,提出了向量变更算法。基于向量间的关联关系,提出了向量共享算法,从而有效降低订阅变更对匹配树重构的影响,提高了订阅处理效率。理论分析和实验表明,与已有订阅变更方式相比,该方法能够在满足频繁订阅变更的同时提供高效的事件匹配,满足相关应用的要求。
基于TSV绑定的三维芯片测试优化策略
SoC 测试 3D SoC 测试优化 测试成本
2017/1/4
本文提出一种三维片上系统(3D SoC)的测试策略,针对硅通孔(TSV,Through Silicon Vias)互连技术的3D SoC绑定中和绑定后的测试进行优化,由于测试时间和用于测试的TSV数目都会对最终的测试成本产生很大的影响,本文的优化策略在有效降低测试时间的同时,还可以控制测试用的TSV数目,从而降低了测试成本.实验结果表明,本文的测试优化策略与同类仅考虑降低测试时间的策略相比,可以进...