非干涉测试中的数据流处理算法

来源 :计算机应用研究 | 被引量 : 5次 | 上传用户:yulinfeng93
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
嵌入式软件非干涉测试(NIT)方法[1]是一种不在被测软件中插桩的白盒测试方法,NIT以采集被测软件运行时处理器总线数据得到的数据流为依据进行分析,实现对被测软件的测试与评估[1]。NIT的关键问题在于如何实时分析处理器总线数据流,获得其实际执行的指令序列。为此提出了一种通用的实时数据流分析算法———滑动窗口分析算法,并对该算法的正确性、复杂度和工程实现进行讨论。
其他文献
在数据缺失的情况下讨论一种贝叶斯网络的结构学习算法。该算法结合了小生境遗传算法和EM算法,最后通过试验说明了该算法的有效性。
基于生物启发的多维网络安全模型(Bio-inspired Multidimensional Network Security Model,BMNSM),概述了三网并行(Three-Net Paralleling,TNP)模式,并证明了其状态属性。由于TNP的实现结构决定着BMNSM各项性能的发挥,重点分析了三类实现结构——初级结构(传统网络安全实现结构)、进化结构和高级结构的平稳性能和可靠性,经过
提出了一种快速投影系数计算方法。该方法只需通过简单的增量运算,即可确定射线穿过的网格编号并计算相交长度。实验结果表明该方法非常有效,与Siddon算法相比,重建速度提高了六倍多。
在基于Web服务的应用支撑环境(WebSASE)中,为了监控和管理环境中多个分布式工作流引擎及Web服务运行容器的运行状态、监控部署在引擎中组合服务/服务的运行状态,给出了一个基于Web服务的应用支持环境监控管理系统的设计与实现。
讨论了基于草图的复杂聚集查询的近似处理算法。利用随机技术,在数据流过时实时计算数据的草图概要;同时采用了新颖的草图分割技术,有效地提高近似应答的精度。合成数据的查询实验表明草图技术能有效地降低估算误差。
采用可视化仿真技术研究集装箱港口物流系统。首先,对集装箱港口多式运输作业系统的排队网络进行了分析。其次,抽象仿真对象并对仿真模型的总体结构进行设计。然后,采用仿真软件Arena进行仿真建模,分别对泊位子模型、水平运输子模型、堆场子模型、铁路场站子模型和大门子模型进行实体流程的分析和建模。最后,实现系统的二维和三维可视化仿真。
在分析Linux操作系统现有的可信路径机制的基础上,采用阻止不可信进程对虚拟终端访问并且根据不同情况挂起、杀掉小部分进程的方法,提出了一种利用安全注意键实现的可信路径改进方案,提高了Linux可信路径机制的友好性、可扩充性,并且对用户登录的整个过程进行了保护。
视频数据中游动字幕的检测是现代智能监播系统中的一个重要问题,同时也是后续诸多视频数据处理的一个基本前提和出发点。将基于内容的数据检索技术应用于视频游动字幕的检测算法,设计了游动字幕矢量化方法,给出了相似度的准则,提出了游动字幕的检测算法,并给出了相应的数值实验及算法的复杂度分析。实验证明结果是正确和有效的。
目前大型抽水蓄能电站多采用静止变频起动装置SFC起动作为机组的抽水调相工况主要的起动方式,是保证抽水蓄能电站正常运行的重要设备,要求具备极高的安全性、可靠性、可用率
本文介绍了智能配电网自动化应用中的馈线自动化模式及方案的配置,对其应用过程中的配电自动化实用性升级以及配电自动化的高级应用等进行了实践探索,为同行提供借鉴.