基于数据流表达式的程序数据流分析算法

以形式化的方法论述了程序数据流分析的基本原理，给出了数据流表达式的概念。并在此概念的基础上，给出了一个找出程序数据流异常的数据流分析算法。本算法通用性强，运用本算法不难开发出相应的程序测试辅助工具，具有一定的实用价值。     

基于数据流分析的程序变量识别方法(Ⅱ)

要把BASIC程序变为C程序，就需找出BASIC程序中那些可在C函数中用局部变量表示的变量。作者提出了一种基于数据流分析的局部变量确定方法，通过对源程序进行数据流分析和相关性分析，找出了局部变量变化的特点；采用程序抽取技术，将与输入变量无关的语句和函数剔除，简化了源程序，提高了分析效率。实践证明，该方法是行之有效的。     

一种基于数据流驱动的数据流连续查询模型

建立了基于数据流驱动的数据流连续查询模型,介绍了系统结构和解决方案,设计了一些通用的查询算子,并通过查询算子在查询链中的有序组合来构造出各种复杂的连续查询语句。实验表明,该模型可扩充性强,操作简单,适合小规模的数据流查询需要。     

基于对象数据流图的可复用方案

继承结构化方法的对象数据流图支持软件的系统分析、设计和程序设计诸阶段的平滑迁移。基于此软件复用方案按软件生命周期分层,包括:说明需求规格的应用层,定义用户介面的介面层,用对象数据流图进行分析、设计并导向程序设计的子系统层,实现程序设计的元件系统层。     

基于数据流图的专用指令生成方法

提出了一种基于数据流图(DFG)的专用指令生成方法.以目标应用的高级语言参考代码为起点,通过编译器前端转化为三地址中间格式,得到有向数据流图.使用提出的基于处理器体系架构约束的静态搜索算法对得到的数据流图进行搜索,得到满足约束的操作组合.结合典型测试序列的动态运行数据对搜索结果进行进一步的筛选,确定对于目标应用性能起关键作用的操作组合,以此作为专用加速指令.该方法实现了数据流图提取的自动化,并结合了静态数据流图搜索与动态结果筛选.通过在视频压缩专用处理器设计中的应用,证明此方法可以快速高效地进行专用指令的自动生成.     

采用数据流图的故障模型生成算法及其应用

为有效地解决系统级故障注入试验建模困难问题,提出语言级生成数据流图,并以此构造动态故障树的故障模型建立方法.通过对故障过程数据流分析,找出数据依赖关系并构造了故障模型生成算法.与其他方法比较,本算法具有动态性,提高了故障覆盖率,减少了系统开销,使故障注入试验更易实现.     

信息流和数据流分析在程序检测中的应用

采用类似ＰＡＳＣＡＬ的语言,提出了一种以源程序为目标的信息流和数据流静态分析方法。该方法能检查出许多编译程序无法发现的错误,如数据流错误,程序中含有无限循环等,并论述了该方法在检查程序错误中的应用。     

基于数据流频繁模式挖掘的入侵检测模型

计算机网络入侵通常具有高频度特性,因此,识别是否正常访问,对数据流中重复元素的挖掘,给出频度指标,是一种重要的依据。提出一种基于数据流频繁模式的改进型AFP算法,该算法采用滑动窗口树技术,单遍扫描数据流及时捕获网络上的最新模式信息,并将该算法应用在入侵检测模型中正常数据和异常数据的在线挖掘。解决了有限存储和无限数据流的矛盾。实验结果表明,该模型有较高的报警率和较低的误报率。     

基于Pro图的程序形式推导技术

介绍一种形式化程序推导方法，该法使用Ｈｏａｒｅ公式（Ｐ／Ｐ／Ｑ），通过Ｐｒｏ图图解前谓词Ｐ和后谓词Ｑ，并按Ｐｒｏ图激活过程逐步写出过程式语言的源程序。     

基于滑动窗口数据流频繁项集挖掘模型综述

给出了频繁项集和滑动窗口的相关定义,根据数据流中不同的时序范围对数据流模型进行了分类,从数据处理模型的角度对滑动窗口进行了分类。分析了典型的频繁项集挖掘算法中滑动窗口的使用方法,总结了各模型中典型频繁项集挖掘算法的挖掘技术和效率。     

实验项目卡片管理系统数据流图的设计

该文叙述了利用规范设计法，对高校实验室实验项目卡片管理系统数据流图进行设计。     

CCT图的计算机辅助推定模型及程序系统

提出了计算机推定焊接ＣＣＴ图的原理及模型，深入分析了１３０多种钢材的焊接ＣＣＴ图形特征与化学成分的相关性，在建立钢材化学成分、ＣＣＴ图及临界点等数据库的基础上，利用我元统计回归技术求出了推定公式中的有关参数，进而开发了程序系统ＷＣＣＴ－ＣＡＤ，应用这一程序系统，实现了给定钢材化学成分并通过一定的人机对话，由计算机自动制定出焊接ＣＣＴ图组织转变曲线的设想。     

数据流可视化语言的运行模型

提出了基于事件的异步运行模型(EADF),并给出了该模型的文法描述、调度算法以及在自主研制的面向虚拟仪器领域的DFVPL:LabScene2.0中的实现方法。以地面核磁共振找水仪的仿真系统为实例进行了分析说明。基于EADF的DFVPL减少了程序员在并行计算上的设计,对于可静态规划的循环、计算量大的运算、网络和本地I/O资源的获取上性能有显著的提高。     

基于混合图模型的统计学课程关系分析

分析某高校统计学专业学生31门课程的成绩,其中23门成绩为百分制,8门成绩为5级制。对5级制成绩忽略进行建模,利用混合图模型刻画课程之间的关系。     

基于块的流图模型及其控制流图

针对传统的流图模型存在的定位困难以及无法给出覆盖率信息等问题，提出了基于块的流图模型及其基本图式。该模型巧妙地借鉴了集成电路布丝的思想，极易从控制流图定位到程序代码，而且在流图上附有覆盖率等信息，尤其适合应用到具体的工程测试中进行排错和覆盖分析。最后，给出基于块的流图模型的两种不同的表现形式：BlockFlow图和BlockDiagram图。这两种形式表明基于块的控制流图模型是非常有效的。     

基于图的委托授权模型

结合分布式环境下的安全需求,讨论了信任管理问题,提出了1种基于图的委托授权模型,并给出了形式化的描述,分析并解决了权限传播控制以及环状授权和冲突授权问题. 最后给出了分布式环境下判定主体访问请求的方法并指出了需要进一步研究的问题     

基于事件触发的遥感产品生产的数据流模型研究

提出了基于事件触发的遥感产品生产的数据流模型,该模型将数据驱动和命令驱动结合起来,能直观地反映遥感产品的实际处理过程,并方便用于开发新的遥感产品生产流程.     

基于格的数据流分析研究与应用

论述了编译系统中数据流分析的理论基础,在此基础上系统阐述了基于格理论的通用分析框架,为常见数据流问题提供了统一的解决方案。针对"到达定值"数据流问题,给出其基于格的分析框架,并以探测变量未定值先使用为例,给出了解决该数据流问题的算法。这种方法在试图解决不同的数据流问题时,利用一个分析框架只需给出相应的数据流问题定义所具有的特性即可,也有助于在软件设计中确定求解算法的可复用组件。     

程序理解中基于类图的特征挖掘

针对从大型系统源代码逆向恢复出的类图十分复杂,不利于系统理解和特征挖掘的问题,从类图中抽象出类型依赖图（TDG）,并分为无权值及带权值类型依赖图,利用图上的集合划分算法对TDG进行分层抽象的特征挖掘,挖掘算法将图中的节点划分到不同的集合中,每个集合展现系统关键设计的一个侧面．采用TDG上的分层算法能够有效地降低类图的复杂度并挖掘出系统设计特征．