离散数学教学中的计算思维培养

作为一项重要的教育理念,计算思维得到了国内外科学界和教育界的广泛关注,相应地对计算机专业的人才培养提出了新的要求。本文分析了计算思维培养与离散数学教学之间的内在关系,在此基础上分别从课程引入和课程教学两个阶段探讨如何将离散数学教学与计算思维培养有机地结合起来。通过案例,着重论述了如何将抽象和自动化这两个核心思想贯穿于整个教学过程,以及如何根据所讲授的知识点适时地引入计算思维中其他基本概念和思维方法。     

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

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

基于抽象和搜索空间划分的安全性判定方法

为满足访问控制策略安全性快速判定的要求,提出一种基于谓词抽象和验证空间划分的访问控制策略状态空间约减方法,将在访问控制策略原始状态机模型上的安全性分析工作转移到包含较少状态的抽象模型上,并进一步划分抽象模型的验证空间,以提高效率.理论分析和实验数据均表明,其安全性分析所需的时间和空间都得到有效约减.与传统方法相比,它具有速度更快、自动化程度更高等优点.     

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

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

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

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

求解大规模矩阵特征问题的并行算法研究

基于数据并行的重启动Arnoldi并行算法,基于使用数据并行模型的重启动Arnoldi并行算法,提出一个精化重启动Arnoldi并行算法。为了降低弱扩展性对并行性能的负面影响,该算法使用任务图模型并行计算精化向量,减少处理器进程之间的通信次数,有效地实现并行计算。在KD-50-I万亿次机上的测试结果表明,该算法具有较好的可扩展性和并行 效率。     

可执行代码简化中间表示的设计与实现

为了保证可执行代码分析的简洁性和严密性,设计并实现了一种简化汇编语言中间表示(SAIR).根据汇编指令的特点,给出SAIR的语法并详细描述了SAIR的结构化操作语义.对汇编指令进行分类,设计了中间语言翻译字典以建立汇编指令与SAIR的映射关系.通过中间语言翻译字典实现反汇编代码向SAIR的转化,得到SAIR.最后,给出汇编代码转化SAIR的实例.实验结果表明,设计并实现的SAIR可读性强,易于理解,可有效地提高可执行代码的分析效率.     

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

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

基于SNMP4J的MAS网络管理设计与实现

为解决利用SNMP4J开发网络管理软件经验较少、技术资料不够全面的问题,研究了网络管理的框架和工作模式,给出了一种利用SNMP4J进行移动代理服务(MAS)网络管理本地化开发的方法.通过手动完成数据包的编码和解码过程,有效地处理了基于SNMP4J的MAS网络管理开发中遇到的编码问题.实验结果表明,该方法为SNMP4J开发包本地化开发网络管理软件提供了很好的指导作用,而且具有较好的可移植性、灵活性和可调试性.     

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

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