一种从数据流图转换成软件结构图的方法

本文从对数据流图特点的分析和对模块结构图的特点分析并结合数据流图和结构图的关系,提出了一种新的数据流图转换成结构图的方法——添加边界节点法,并将添加的节点作为结构图的第二层,作为数据流传递的间接接口。根据这一原则,在计算机上实现了数据流图到结构图的转换。     

基于过程蓝图的参数化重复代码检测技术研究

通过引入过程蓝图改进参数化重复代码的检测方法,降低原检测方法的空间复杂度,并避免将程序源码变换为后缀树这一复杂过程,为自动重构定位提供更有效的技术.     

面向对象模型语言MOOL静态切片系统的实现

以一种自定义的模型面向对象语言MOOL为例, 采用分层切片和逐步求精的混合算法, 使用Perl语言设计并实现了一个完整的MOOL静态切片工具MST.实验结果表明, 切片后的程序更加简化, 对调试程序有一定的辅助作用.     

基于UML的静态类图和ALSD实现建模与编码的统一的方法

统一建模语言UML(Unify Modeling Language)是面向对象软件建模的国际标准，但是UML中缺乏对过程的可视化静态建模部分。抽象逻辑结构图ALSD(Abstract Logical Structure Diagrams)是过程建模的有效表示工具。本文以程序代码的生成为目标，以UML的静态类图和ALSD为基础，结合UML的静态类图与ALSD，探讨了有关的代码生成机制，设计和实现了一个软件开发环境。它填补了类图中方法的可视化描述，实现建模和编码的有机统一，使整个程序的设计完全可视化。     

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

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

改进的基于逆向流分析的C程序切片算法

为解决切片算法时空开销太大的问题, 提出一种改进的基于逆向流的静态切片算法。只需通过分析控制依赖, 获得程序整体框架, 再从切片点开始基于逆向控制流从里向外扩张式扫描,在扫描中不断获得只与切片相关的数据依赖, 以此得到程序切片。该算法减少了计算控制流的工作量, 避免计算谓词依赖集的过程, 减少了存储资源开销, 提高了切片的效率。     

基于语义抽象的内存访问错误检测

为了检测内存访问错误,提出了一种基于语义抽象的内存访问错误检测方法,通过对程序具体语义的完备近似抽象,对相关约束变量操作的精确检验,以及控制流图遍历中的函数信息收集,能够在过程间完备地静态检测C程序源代码中的内存访问边界错误.通过将程序分析和程序验证相结合,提高内存检查的自动化和准确性.原型实现表明了方法的有效性.     

具抽象边界条件迁移方程的谱问题

本文在Lp(1≤p<∞)空间上,研究了板几何中一类具抽象边界条件下各向异性、连续能量、非均匀介质的迁移方程,证明了这类方程相应的迁移算子的谱分析等结果。     

具抽象边界条件的迁移方程的研究进展

本文介绍了近年来国际上具抽象边界条件的迁移方程的研究进展,主要阐述了这类迁移方程解的构造性理论及应用等研究成果。     

基于控制流的多线程程序的静态切片算法

介绍一种基于控制流的多线程程序的静态切片算法, 该算法的主要思想是在构造多线程程序依赖图的同时保留程序的控制流信息, 利用这些信息能 够判断出程序中的多线程可实现路径, 从而提高多线程程序静态切片的精度和效率. 最后给出一个多线程切片的实例.     

一种基于数据流图的软硬件划分背包算法

在软硬件协同设计中,将数据流图作为软硬件划分问题的输入,建立了以数据流图为基础的软硬件划分数学模型.对于规模较大的划分问题,为了满足系统性能,达到功耗和成本最小化,提出了0-1背包分解算法,采用并行求解的方式,排除了绝大多数无最优解的子问题,从而改善了大规模划分问题的求解效率.实验结果表明在大规模问题和硬件约束条件下,该算法能获得行之有效的划分方案.     

程序结构分析器生成系统的设计与实现

介绍了一个程序结构分析器生成系统的设计与实现．描述了系统设计的主要思想，探讨分析器的统一输入、输出、语法分析界面和标志符作用域机制的设计，并在软件复用等方面作了一些有益尝试     

龙格—库塔法结构程序设计方法

本文在比较了常微分方程(组)数值解的各种方法基础上,选定了四阶龙格——库塔(Runge-kutta法),法解决常微分方程(组)的初值问题,给出了固定步长的Runge-kutta结构程序和变步长的Runge-kutta结构程序,并通过具体例子对用这两种方法求解常微分方程数值解的精度作了比较。     

课件驱动的CAI数据结构与流程

提出一种基于课件驱动的ＣＡＩ数据结构与学习流程控制结构新方法，它以超卡为基础，在超卡中引入对象的概念，描述了流程控制的模型．与传统的ＣＡＩ工具相比，具有反馈学习、控制方便、采用动态连接实现各种操作统一等优点．     

NCRE客户端设置程序的设计与实现

上机考试是全国计算机等级考试重要的组成部分,考前需要做大量的设置工作。为了减轻工作量,可以通过程序实现设置工作的自动化。文章对考试机设置程序的设计及实现进行了阐述。     

Action演算中动作内部数据流分析方法及其实现

针对Action演算的分子形式, 提出分子语法结构树等概念, 并且给出基于分子语法结构树的一个动作内部数据流分析方法及其实现. 为深入研究Action演算的性质和应用提供了分析手段.     

基于结构纹理分解和多重网格的光流估计算法

分别针对光流计算对光照变化敏感以及运算复杂度高、迭代收敛缓慢的问题,使用一种基于ROF(Rudin-Osher-Fatemi)模型的结构纹理分解(STD)技术得到对光照变化不敏感的纹理图估计光流场,消除了光照变化产生的负面影响,并提出一种基于多重网格方法的分层处理策略.将光流计算的迭代过程分散在一系列粗细不同的网格上,在细网格上消除高频误差,在粗网格上消除低频误差,以达到加速收敛、提高光流计算速度的目的.实验结果表明,STD过程抑制了光照变化导致的负面影响,提高了光流估计精度.多重网格算法在保持优化精度的前提下,显著提高了光流计算的实时性.     

面向数据流的服务组合演化影响性分析方法

BPEL已经成为事实上的Web服务组合标准语言,利用BPEL控制流图(BPEL flow graph,BFG)对BPEL进行建模,通过模型对服务组合的数据流进行分析,提出一个面向成员服务的数据依赖度量集;通过此度量集可以量化成员服务的数据依赖复杂度,从而分析成员服务对BPEL中数据流的影响程度与范围,为服务组合演化策略的制定及实施提供依据.