投影图邻接矩阵生成算法

在投影图邻接矩阵生成算法的基础上提出了一种改进算法，该算法的复杂性Ｏ（ｎ＾２）。讨论了程序静态测试中不可出型控制流，不可进型控制流，主控制流中断等错误点的定位问题，类似的结论对数据流也适用，为构造程序静态测试工具提供了新的方法。另外，投影图邻拉矩阵生成算法可用于通讯、交通、运输等领域，用于检测一个子集经另一个子集的可达性问题。     

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

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

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

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

基于小波变换的光栅投影图的压缩

研究了基于小波变换的光栅投影图的压缩．首先介绍了三维形貌测量的光栅投影图及其需要进行压缩的原因;简介可用于图像压缩的小波余弦变换技术,利用haar小波和db7小波对光栅投影图进行小波变换．按照不同的压缩比保留最大的小波系数．实验结果表明此方法能有效地压缩光栅投影图,使用压缩后还原的位棚图解调出来的物体形貌信息能得到有效的保留,而且使用不同的小波进行压缩变换的效果有着很大的区别．     

基于PAT树的程序静态分析方法

软件测试是软件工程的重要组成部分，程序静态分析技术是软件测试中静态测试的基础，该技术通过对程序源代码进行分析以发现其中的错误．文章提出了一种程序静态分析方法，建立了一个树形结构的模型PAT（Program Analysis Tree）形式化描述了Java程序，准确地描述了Java程序的逻辑结构．最后给出了一个基于此模型的程序分析方法．     

一个程序静态分析方法

阐述了程序静态分析方法，指出如何建立程序调用关系结构树、程序控制流和数据流，以及如何找出程序的结构错误、异常控制流和数据流．     

应用粗糙集理论分析识别岩石种类的因素

推导了条件属性子集重要性的等价表示形式，设计出由决策算法正集的补集求解条件属性子集的重要性以及由其正集求取支持度的算法程序，并将其用于对地质中岩石种类识别作因素分析．结果表明设计的算法有效可行．     

基于抽象实现结构图的数据流方程切片方法

提出在PASCAL抽象实现结构图上,采用数据流方程算法实现程序切片的自动化.该方法将过程蓝图的抽象实现结构图引入静态过程内切片领域,实现了程序表示形式与程序切片处理形式的统一,避免了传统方法产生控制流图的需要,简化了切片处理过程,提高了切片处理效率,并直观地反映了切片后的程序变化.     

一种尺度和方向适应性的Mean Shift跟踪算法

针对原始的Mean Shift跟踪算法虽能准确地估计目标位置,但对目标尺度和方向不能实现自适应估计,结合目标模型与候选目标区域的候选模型得到了反向投影图,此反向投影图可表示图像中像素点属于目标的概率,将反向投影图的矩特征应用到原始Mean Shift跟踪算法框架,实现了目标尺度和方向适应性Mean Shift跟踪.实验结果表明:该算法能有效跟踪尺度和方向变化的目标.     

一种基于故障模式状态机的测试方法

基于状态机对故障模式进行了统一的描述，使得故障描述更准确、无二义性。为了避免路径组合爆炸，提出基于控制流的状态集迭代分析算法进行故障检测，可以使算法的计算复杂性由O（P）（P是路径数目）减少为O（N＋E）N）（N是控制流图节点数，E是控制流图边数）。由于状态机的独立性，对控制流图进行一遍迭代可以同时计算多个故障模式，大大提高测试效率。同时，该方法还采用了带条件的状态计算可以较好地减少误报的情况。     

程序理解及汇编源程序辅助理解工具TALU

本文讨论程序分析(理解)的理论和方法,重点阐述用于分析的扫描算法,在此基础上简单介绍我校开发的、能帮助程序分析人员分析理解汇编源程序的工具TALU。开发该工具的目的在于降低软件理解对人的智力依赖程度,提高分析人员理解程序的效率和准确度。TALU可以对IBM/PC汇编语言程序提供较强的综合分析能力。并对分析结果提供各种形式的输出报告。     

数据流语言

本文介绍了一种新型的计算机语言──数据流语言，并讨论数据流语言的特性和它的执行模式、设计规则。     

并发程序切片方法综述

随着实际应用对并发软件需求的不断增加,并发程序的应用越来越广,程序切片的研究不再仅仅局限于顺序程序,并发程序切片的研究也越来越多.但是由于并发程序执行的不确定性,并发程序切片的研究还有许多问题有待解决.文中介绍了当前主要的几种并发程序切片方法及其主要特性,并对这些切片方法进行了比较分析,结果表明并发程序切片的效率和精度都达到理想的目标是不可能的,只能是在两者之间的均衡,最后简要介绍了并发程序切片的应用.     

图Cn×K2的边优美标号的研究

文章研究了图Cn×K2的边优美性,证明了当n=1（mod2）时,图Cn×K2不是边优美图,同时给出当n=0（mod2）时图Cn×K2边优美标号的算法,并利用此算法编写Java程序,得出当n=2,4,6,8,10时图Cn×K2的边优美标号．     

顺序程序并行转换系统中程序中间表示的管理与维护

研究了基于并行分布式环境下的顺序程序转换系统中有关程序中间表示的管理与维护，讨论了顺序程序的转换过程的可视性与可干预性，并讨论了用图定义引导生成对程序相关图（ＰＤＧ）的操作等方面的问题     

软件动态度量及其在逆向工程中的应用

在对软件度量进行分析的基础上,指出常用的软件度量是静态的,只反映了系统可能的属性,而不是实在属性.定义了动态扇入扇出度量,用实例说明它们不但反映了系统实在的的属性,还可以用于确定系统中的关键组件,推断系统的功能.基于这个特性,提出了一种在逆向工程中快速认定系统中某一功能的具体实现过程的方法.在这种方法中使用了标有动态扇入扇出值的程序依赖图和部分植入技术.运用这种方法得到的信息量较少但都是与用户的关注点密切相关的,有助于用户快速理解系统.     

定积分的应用--旋转法

通过4个例题的对比分析,得出定积分在计算一些平面图形面积和液体静压力的一般方法、步骤以及思考路径。     

关于Ck类曲面(k≥2)高斯映射的一个推广形式

文章应用改进了的距离函数讨论高斯映射的一个推广形式的性质，结合曲面的点的类型得到相应的定理和推论。