控制流相关论文
快速持续增长的恶意软件数量和种类的给传统恶意软件检测工作带来了巨大的挑战。为实现高效、快速地检测恶意软件,许多研究都运用......
区域医疗协同管理概述 区域医疗协同管理可以帮助医院实现控制流、信息流、资金流和物流的“多流统一”，帮助医院建立起拥有会计......
近年来,在全球悄然兴起了一种全新的娱乐项目——彩弹枪娱乐运动。这项运动一般是将参加者分为敌对双方两队,每队人数从几人到几......
全文共分五章:第一章集中介绍了有关数字信号处理器结构设计的基本概念和基础知识。这一章中有关存储结构的组织、流水线结构、指......
计算机是人类最伟大的科学技术发明之一，其应用已非常普遍，也使得计算机软件的应用也越来也广泛。软件作为信息的载体，包含了许多应用......
计算机系统安全问题日益突出,异常检测技术由于具备检测未知攻击的能力越来越受到普遍关注。异常检测可以分为基于网络和基于主机......
家住南菜园的伦志清今年64岁。在他的家里，废弃的油桶撑起了他的三项节水小发明。很多人为自己家有高档家电自豪，伦志清说，他家里的三......
随着代码规模的增大和系统复杂性的增加,软件开发者意识到依靠人工的方式去维护软件系统、排除系统错误已经变得非常困难。形式化......
[摘要]首先讨论传统的数据流分析技术;然后在引入分支依赖分析方法的基础上,对广泛应用于工程中的迭代数据流方程求解方法进行分析......
我公司3号2500t/d生产线于2009年6月投产,窑规格为Ф4m×60m,窑尾采用五级单系列悬浮预热器和在线管道式分解炉,冷却机为第三代控......
<正>海拉尔蒙西水泥公司2 000t/d生产线2005年投产,配套HC2000P控制流篦冷机,篦床有效面积为52.2m2,两段篦床均为水平篦床,篦板呈......
由于发光二极管、光敏晶体管、环境温度、光路径等的不同,光传感器的传输增益范围变化很大,最大与最小传输增益之比为16:1.这样大......
论文阐述了程序的一种分层静态分析的模型(HSAM)。在一定的分析精度的要求下,该模型采用一种分层分析的思想:先从整体的角度对程序......
期刊
有效地检测、定位和屏蔽软件错误可以提高程序的容错能力,从而提升程序的可靠性.为缩短程序中错误传播路径,尽早发现程序错误,提出......
单粒子翻转会使系统发生瞬时故障，基于控制流的错误检测技术，在运行时以基本块为单位由硬件或软件进行签名检验，判断运行是否出错．该技......
空间服务组合执行过程中需要处理复杂多样的空间数据类型和大量的空间数据,采用集中式组合模型完成空间服务组合的通信开销代价将......
CISCO路由器的报文过滤可以让用户根据报文的源地址、目的地址以及应用类型控制流入网络的数据流。访问列表是基于将规则和报文进......
一般中学的初中生源普遍较差,数学学困生比例较大,这也是引起流生的一个方面.在重视大面积提高教育质量、控制流生的今天,如何转化......
一年一度的寒假又将开始了,但对校长们来说,安全话题依然是个凝重的话题。本期我们收到众多来稿,有的是校长们写的,有的是学校负责......
该文在分析各种类型的指令对程序静态流程影响的基础上,提出了一种基于程序流程遍历图的静态反汇编算法,并给出了一种基于统计学的......
软件盗版、篡改和逆向工程是软件安全的主要威胁。逆向工程师利用逆向分析技术可以理解软件的行为,并从中提取核心算法和重要数据......
针对环锭纺纱工艺流程长、纤维形态变化大、生产连续性与离散性混合,生产过程中数据流和控制流的关系多样复杂等问题,深入研究了环......
通过静态分析复杂程序可获取系统的函数调用路径，便于系统框架的理解、分析及后期测试，但提高其分析效率和提取准确度的关键在于不可......
对于软件安全及其知识产权问题,软件保护技术的应用是非常必要的。利用软件保护中的迷惑技术,提出了基于随机数的复杂控制流程序迷......
面向对象程序中的类是测试的基本单元,采用数据流测试技术,改进了原有生成类的调用控制流图算法,生成扩展的类控制流图（ECCFG）,实现......
主要通过可视化编程语言的研究 ,在开发面向虚拟仪器系统的图形化编程平台 (GPP)中提出了基于改进数据流语言的程序运行算法。该算......
数据类型的重新定义、控制流恢复和自定义函数或结构体的识别是结构化语言逆编译过程中的难点,以往研究多采用改进汇编语言的数据......
运行于处理器上的进程如果在运行期间发生暂态故障,有可能导致严重的系统故障或安全漏洞。因此,必须在对系统造成损害前检测并尽量......
针对生产系统的入侵攻击行为朝着规模化、分布化、复杂化等方向演变,传统的基于漏洞库、病毒库、规则匹配等被动式防护手段难以应......
摘 要：基于Petri网行为轮廓理论，通过研究模型之间的行为依赖关系，分析模型的控制依赖关系和数据依赖关系，研究在数据流约束下模型的一......
通过对智能终端与Web Service的研究,阐述了Web服务数据同步系统的数据接口设计和功能设计,分析了同步系统的控制流程。以手机与电......
现代编译器越来越依赖SIMD指令来提高向量化性能,但控制流的复杂性严重阻碍了SIMD向量化的发掘.现有的控制流向量化方法对于单层控......
本文介绍了基于控制流分析的软件源代码静态测试技术,并实现跨语言支持的静态测试引擎。通过推断源代码中变量间的关系,分析其实际......
以数据流分析为基础的程序理解是软件工程重要研究领域之一.现在大多数的程序设计语言提供了异常处理机制,但程序中的异常结构会影......
单粒子效应是影响航天器可靠性和在轨寿命的重要因素。单粒子效应引发的可恢复性错误称为软错误，会导致软件运行出错。本文针对单粒......
产生于工作流系统的执行阶段、未在系统建模阶段进行描述和定义的突发事件, 称为工作流意外事件.对应意外事件的处理过程,称为意外......
工作流模式指在工作流过程模型中反复出现的过程基本构造，是衡量工作流建模语言在控制流方面的表达能力和适用性的重要标准，目前市场......
在控制流模型中加入影响程序运行的环境因素，结合静态分析方法的优点，建立了程序异常行为分析模型，用以标记函数调用指令，并在动态运行......
通过分析传统软件工程设计方法在城市规划管理类的图文办公信息系统设计应用方面存在的问题及不足 ,在分析借鉴控制流与数据流集成......
本文阐述动态修改所遵循的策略,并定义动态修改的操作集.在具体实现方法上,着重分析了在控制流和数据流两个方面实施动态修改的方......
航空产品项目计划编制的传统方法是人工绘制单层甘特网络计划，这种方法因信息不完整、修改困难、无法插入文档流等问题，不能满足现代......
针对程序漏洞的攻击是目前一个非常严重的安全问题．该文提出了一个程序运行时候控制流监控的简化方法．与基于系统调用的入侵检测方法......
为适应业务流程多功能及动态变化的需求,用模块替换的方法对业务流程建模是解决问题的快速有效途径之一.以开放Petri网与微分Petri......
为了解决分层有限状态机(HFSM)中数据和约束的问题,对扩展分层有限状态机(EHFSM)给出了定义对其特征进行了分析,对基于其上的模型......
鸡病毒性疾病是当前养鸡生产中最大的威胁之一，病难防，更难治，已经成为禽病临床的共同难题。就目前条件看，防控鸡病毒性疾病的唯一途径......
控制流混淆用于混淆程序的运行流程，从而防止对软件的逆向工程，但通常混淆后的程序在代码量以及执行时间方面都有较大增长．针对不透明......
