程序的分层静态分析模型HSAM

论文阐述了程序的一种分层静态分析的模型(HSAM)。在一定的分析精度的要求下,该模型采用一种分层分析的思想:先从整体的角度对程序进行模块结构分析;然后在模块内部进行控制流的分析;最后进行数据流分析。论文提出的逆序path更新算法对于控制流的分析非常有效。     

基于工作流的ASP服务组合模型研究

提出了一种基于工作流和数据泵的ASP服务集成的方法，该方法运用工作流技术来实现ASP服务的过程集成，运用数据泵实现数据的集成，ASP服务集成的关键是控制流和数据流，控制流运用工作流技术，而数据流运用数据泵。在基于工作流的ASP组合模型的实现技术中讨论了ASPWF模型的思想、建立步骤，设计了引擎算法。在案例分析中通过电信企业运营中的SLA工单处理的业务过程为例，说明如何将工作流与小粒度ASP组合服务模型的优势相结合，提高系统处理的效率。     

基于异常控制流识别的漏洞利用攻击检测方法

为应对APT等漏洞利用攻击的问题,提出了一种基于异常控制流识别的漏洞利用攻击检测方法.该方法通过对目标程序的静态分析和动态执行监测,构建完整的安全执行轮廓,并限定控制流转移的合法目标,在函数调用、函数返回和跳转进行控制流转移时,检查目标地址的合法性,将异常控制流转移判定为漏洞攻击,并捕获完整的攻击步骤.实验结果表明,该方法能够准确检测到漏洞利用攻击,并具备良好的运行效率,可以作为漏洞利用攻击的实时检测方案.     

一种面向快速条件断点的代码优化与生成策略

提出了一种面向快速条件断点的代码优化与生成策略.将断点条件映射为布尔函数,并用有序二叉决策图进行描述,通过合并图中的冗余节点以及删除无关节点实现代码优化.在代码生成方面,通过对简化有序二叉决策图模型进行拓扑排序获取了子条件间的控制流信息,并通过查找已定义的指令模板实现了最终的代码输出.该方法已应用于自主研发的SuperV DSP处理器配套调试器上.     

基于Petri网和Web服务的工作流建模方案

面向Web服务的工作流系统能很好地满足现代企业应用集成和协作的需求，Web服务流程模型的建立是实现Web服务集成的重要环节。Petri网具有形式化的描述的基础和正确性分析的优点。文章将这两方面结合起来．对工作流网中控制流结构进行了分析，给出了由Petri网向WSFL转化的方法，并给出Petri模型中控制流结构的WSFL描述。     

基于模型检验技术的源程序分析研究

提出并实现了一种基于模型检验的源程序分析方法,该方法的主要步骤是将C/C++源代码转换为与控制流图等价的Kripke结构,用CTL公式描述源程序待验证的性质,通过使用NuSMV模型检验工具实施对源程序分析,实验验证表明,该方法能够给实现对源程序分析的目标.     

工作流中检测异常数据流的系统遍历图算法研究

工作流技术已经成为管理日益复杂业务流程的标准方案。成功的业务流程管理依赖于有效的工作流模型,而工作流模型主要限制控制流和数据流方面。但是大量分析和算法的存在是用来验证控制流的正确性,只有相对较少的方案可用于验证数据流的正确性。文章针对工作流中的异常数据流,对异常数据流进行定义和分类,并提出一种异常数据流验证算法—系统遍历图算法,其可以在工作流建模时避免异常数据流,有效减少企业经济活动的风险,帮助企业高效地作出决策。     

基于控制流混淆的软件保护方法研究

软件盗版、篡改和逆向工程是软件安全的主要威胁。逆向工程师利用逆向分析技术可以理解软件的行为,并从中提取核心算法和重要数据结构。针对目前大部分的混淆方法难以抵御动态攻击的缺点,文中提出一种基于控制流图多样化的代码混淆方法。实验结果表明,该方法不仅能够有效降低静态反汇编分析准度,同时能够在一个合理的性能开销之内增加动态逆向分析的难度,从而使混淆后的程序具有更高的安全性。     

深亚微米pMOS器件HCI退化建模与仿真方法

研究了深亚微米pMOS器件HCI(hot carrier injeotion)退化模型.采用流函数分析方法提出一种时变栅电流物理描述,基于这一栅电流模型改进了pMOS器件的HCI退化模型,并在该模型基础上提出一种HCI退化可靠性仿真方法,用于对静态应力条件下器件的HCI退化程度进行预测.最后给出了仿真结果对比.该方法已被用于XDRT可靠性工具中进行器件HCI退化分析.     

深亚微米pMOS器件HCI退化建模与仿真方法

研究了深亚微米pMOS器件HCI(hot carrier injeotion)退化模型.采用流函数分析方法提出一种时变栅电流物理描述,基于这一栅电流模型改进了pMOS器件的HCI退化模型,并在该模型基础上提出一种HCI退化可靠性仿真方法,用于对静态应力条件下器件的HCI退化程度进行预测.最后给出了仿真结果对比.该方法已被用于XDRT可靠性工具中进行器件HCI退化分析.     

Internet网络流量的测量与分析

讨论了IP网络流量分析的目的,提出了几种有效的IP网测量与分析方法,并从方向性、端点特性、超时特性等方面分析阐释了“流”的基本概念,最后以一个网络流量监测实例详细说明流量监测技术与流量分析方法。     

超声流量计管道流场的模拟与分析

针对非理想流场对超声流量计测量的影响,研究单、双弯管流场的流速分布特征。通过对理想层流、湍流的模拟计算,得出单、双弯管流场的流速分布关系。通过流速分布曲线和流速等值线分布情况可以看出,单弯管流场的二次流分量是两个对称的涡,纵向截面的线平均速度是对称的。双弯管流场的二次流是单一的涡,在截面侧后方会出现回流,使速度等值线及截面线的平均速度分布很不规则。     

电磁MEMS在流体控制中的应用

根据MEMS的驱动方式对MEMS进行了分类,对电磁MEMS的构造及其特点进行了较为详细的介绍。针对电磁MEMS的流体控制工作原理与结构特点,总结了电磁MEMS在流体驱动、流体混合以及流体消涡与减阻方面的应用,阐述了电磁MEMS的优缺点以及目前在以上各领域的国内外研究现状,探讨了电磁MEMS在各不同应用领域存在的一些主要问题,提出了相关研究重点,可为电磁MEMS的相关应用研究提供参考。另外,从学科交叉的角度探讨了对电磁MEMS研究所需的相关学科知识,为电磁MEMS基础研究提供重要指导。     

从手机微博看移动互联网业务的信息流、数据流、承载流

分析了移动互联网新兴的微博业务,研究微博业务特性、业务流程,并通过微博业务的测试分析,了解微博业务的各个交互流程,每个业务流程的流量、流向,并根据测试结果,评估分析微博业务对网络的影响。通过对微博这一典型业务的分析,观察移动互联网时代业务的信息流、数据流、承载流之间的关系,探讨未来移动互联网业务的发展对移动网络可能带来的压力。     

一种高效的业务流分类算法

通过分析单链路监测的流量特征和业务流监测分析需求,提出了一种高效业务流分类算法.算法把业务流分类过程分为三个阶段:第一阶段采用Hash方法,尽量分散流记录的分布;第二阶段可采用两种方式,一种是线性链表,另一种是查找树;最后一个阶段是线性查找.分别在两种不同型号的流量监测系统上实现了该算法,实验结果显示,当链表长度为300时,查找不成功并创建新的流记录和查找成功并更新流记录的时间分别为1.8 μ s和1.3 μ s,相应的业务流分类能力为55万和77万pps.     

自适应流量评估方法在IDC网络的应用

为了确保IDC网络的服务质量,往往需要了解IDC网络中各出口、各链路的网络拥塞、大规模网络攻击等流量信息并进行及时全量的数据监测和分析.本文提出了一种自适应流量评估方法,通过测量精度和存储资源两方面的调控,来优化现有的流量测量技术.     

Fluid flows induced in tall narrow containers by A.C.R.T.

An investigation into the flows produced by the Accelerated Crucible Rotation Technique (A.C.R.T.) in tall narrow containers has been carried out. Spiral shearing, Ekman and transient Couette flows have been demonstrated and interactions between them observed. Various crucible base configurations have been employed to simulate actual crystal growth. Ekman flow is the most important stirring mechanism in the region close to the growing crystal while unstable Couette flow is an efficient mixing process at the crucible walls. Experimentally—determined rotation rates for the onset of transient Couette flow are compared to those predicted from Rayleigh’s criterion. Present address: Philips Research Laboratories, Redhill, Surrey, RH1 5HA, U.K.     

二维流场的激光测速方法

本文论述了利用激光技术测量流体质点运动速度的基本原理,并设计了一种多光轴系统,用以检测质点的二维运动状态,以便研究二维流场的速度分布。     

基于激光诱导荧光的环状流液膜流速测量与分析

在对传统方法测量和分析液膜特性的基础上,采用激光诱导荧光方法和互相关测量技术,对竖直管道中的液膜流速进行光学测量和分析。基于高速摄影获取气液环状流中液膜图像,采用数字图像处理技术对液膜流动图像进行处理,得到液膜厚度在空间上的分布函数变化曲线,对间隔固定帧频的液膜图像进行互相关处理,进而采用抛物线拟合,有效提高了互相关极值的测量精度。实验结果表明,本文方法非接触、适用面广,可以有效检测环状流中液膜"破断"现象,并准确测量液膜流速参数。     

基于自相似的异常流量检测模型

现行网络中存在诸多影响网络安全和服务性能的异常流量,异常流量的存在不仅影响用户的正常使用,而且会造成网络拥塞和网络瘫痪,甚至会篡改和破坏用户及服务器的数据,造成不可估量的损失。为及时发现这些流量,设计了一个基于自相似特性的异常流量检测模型。根据现行网络流量大速度快等特点,该模型设计分为简单流分类模块、自适应抽样模块、实时估计Hurst参数模块以及异常流量判断模块四部分。设计的此检测模型能够在很大程度上保证网络流量检测的准确性和高效性。