基于GCC的C/C＋＋源程序静态信息提取技术

给出了一种基于GCC的AST中间文件来提取C/C＋＋语言源程序静态信息的方法。主要思想是利用GCC编译源程序时产生的AST文件,借助XOgastan工具将其转换成GXL格式文件,然后从GXL格式文件转换成标准的XML文档,最后树形化地显示源程序的结构关系。     

基于TinyOS的CC2420驱动组件的研究

首先介绍了nesC语言及专门面向传感器网络的TinyOS操作系统软件平台,然后阐述了网络节点的硬件模块功能特点及其接口电路,最后根据硬件抽象体系结构的原则,在TinyOS操作系统平台下,对CC2420无线收发模块驱动组件设计作了深入的研究,以组件的形式将其硬件功能封装成接口供上层软件调用,实现了对上层软件的硬件特征屏蔽...     

基于可执行代码中间表示的控制流分析

为准确刻画程序的控制流和正确地提取程序控制结构,给出可执行代码控制流分析的整体架构和算法,阐述可执行代码反汇编结果的抽象表示、程序控制流构造等技术。反汇编结果抽象表示采用简化汇编语言中间表示(SAIR)以保证分析的简洁性和严密性。基于SAIR给出程序控制流构造函数,设计程序控制流构造算法并给出分析实例。     

基于数据集约束的并行数据流建模与描述研究

为了简化带有数据集约束的抽象网格工作流语言(AGWL)的工作流建立过程,提出了一种基于扩展面向对象Petri网(DOPN)建模并行数据流的方法.研究了AGWL并行数据流的特点,在此基础上对面向对象Petri网进行扩展,设计了基于扩展面向对象Petri网描述的并行数据流模型,之后定义一套从DOPN到AGWL的映射规则.最后通过一个应用实例对一个带有数据集约束的数据流建立DOPN描述,并生成AGWL数据流代码.该方法简化了AGWL工作流建立过程,并保留了流程验证和仿真的扩展性.     

有限时间域的H∞预演控制

主要研究有限时间域的H∞预演控制问题. 我们从传统的解决最优控制问题的思路入手, 发现了经典方法解决该问题的症结所在后, 寻找并通过一个适当的线性变换来排除之, 获得了问题可解的充要条件和一个简单的预演控制器. 最后使用一个数值例子演示了H∞预演控制器改进系统闭环性能的有效性.     

一种自动监测系统异构性解决方案

文章对空气质量自动监测系统的异构性问题进行了分析与研究,提出了＂抽象设备、映射数据、虚拟协议＂的解决方案,将物理设备屏蔽在驱动一级,将抽象设备屏蔽在转换程序一级,将数据按空气质量因子分类型打包传送到组态王对应的寄存器组,实现了不同数据接口、不同数据类型以及不同传送协议下的企业信息自动化。     

基于交叉认证的PKI信任模型研究

公钥基础设施(PKI)利用公钥理论,为加密和数字签名等密码服务提供必需的密钥和证书管理.信任模型是PKI整体架构的抽象,其选取对PKI的构建至关重要.基于交叉认证的实现过程,介绍了五种典型的PKI信任模型的信任控制方法及模型特点,对模型进行了综合比较.     

基于完备抽象解释的模型检验CTL公式研究

在模型检验中,抽象是解决状态空间爆炸问题的重要方法之一.给定具体Kripke结构和时序描述语言CTL,基于抽象解释框架以及完备抽象解释和性质强保留之间的关系,抽象模型最小精化使得CTL性质强保留,可转换为抽象解释中抽象域的最小完备精化,并且总是存在抽象域的最小完备精化.根据状态标签函数确定初始抽象域,然后通过不动点求解,获得对CTL标准算子完备的最小抽象域,并依据此抽象域求得CTL性质强保留的最优抽象状态划分,最后构造出CTL性质强保留且最优的抽象状态转换系统.并指出了抽象域对CTL标准算子是完备的当且仅当抽象域对补集和标准前向转换是完备的.     

基于抽象特征检测变形恶意代码

传统的恶意代码检测方法通常以固定的指令或字节序列这些具体特征作为检测依据,因此难以检测变形恶意代码.使用抽象特征是解决该问题的一个思路.本文针对恶意代码常用的变形技术,即等价指令替换、垃圾代码插入以及指令乱序进行研究.定义了一种抽象特征,同时提出了依据该抽象特征检测变形恶意代码的方法.最后,以典型变形病毒Win32.Evol为对象进行了实验,将该方法与其它方法进行了对比.实验结果验证了该方法的有效性.     

数据并行计算机体系结构建模

分析并研究国内外典型的数据并行计算机体系结构建模,结合LS-MPP计算机的体系结构,提出一种基于二维阵列结构的SIMD计算机抽象模型。通过对逻辑部件的时序分析,实现关于该模型的解释型SIMD仿真器,在进行细粒度时钟精确级建模时兼顾仿真效率。仿真器测试结果表明,该抽象模型具有一定应用价值。