源代码分析技术的理论与实践发展

源代码分析技术对于软件安全缺陷分析是一项非常重要的手段.分析了软件源代码分析工具的技术手段和发展过程,最后对源代码分析的理论和实践进行了分析总结.     

语法分析方法研究评述及其应用

语法分析作为编译过程中一个不可缺少的步骤,对其进行研究有着非常重要的意义.阐述了语法分析方法研究的现状,并对之进行了具体的分析和探讨,介绍了语法分析方法的各种应用,对语法分析方法进行了总结和展望.     

计算机辅助模态分析系统的设计

相关分析方法是进行大型复杂结构动力分析的方法之一。本文通过分析ＳＡＰ８４与ＭＯＤＡＬ３．０，建立起相应的计算机辅助相关分析系统的框架，实现了计算机辅助动态分析。经过实际结构模态分析的检验，证明该系统是可靠的。     

灵活性与实践性相融合——ANSYS 10．0重要新功能

ANSYS10.0秉承Workbench主旋律，提供给用户可供选择的全自动或个人控制的强大分析软件。ANSYSWorkbench提供独一无二的环境，可以直接建立应力分析、电磁分析、计算流体动力学分析或多场耦合分析的模型。通过CAD系统的连通性，可以将模型扩展到上、下游部件，最终完成整个模型的分析。     

从傅里叶分析到小波分析：回顾与发展

1 傅里叶分析大约在1822年,法国著名数学家傅里叶从热力学的角度提出一种新的理论即“热的解析理论”,这种理论以一种全新的观点对当时的分析领域产生了极为重要的影响,使数学、物理等学科发生了很大的变化,并引起众多科学家的广泛关注,后被誉为傅里叶分析方法,但傅里叶提出的这种方法仅仅是一种理论,尚不能具体进行应用。1965年,美国贝尔实验室的Cooley,     

C语言的别名分析方法研究

别名分析对于数据流分析、程序优化和分析工具的实现非常重要.文章提出了一种需求驱动,流非敏感的分析算法来解决指针别名问题.通过构造程序表达式图(PEG)把指针别名问题转化成判断两个指针节点是否是联通的问题,它不同于传统的别名分析方法,它不需要构造别名集合和对其求交集,所以提高了分析指针别名的效率.     

可编程红外光点运动检测分析系统

本系统为一种高性能的运动检测分析系统,本文在简述了其工作原理后,重点阐述了其可编程性及参数设置的方法,通过人机对话,可方便地进行采样率、标志点个数及工作方式的选择,系统实用性强、可靠性高.     

基于静态分析技术的源代码安全检测模型*

介绍了当前主流的静态代码分析技术,在分析讨论其优缺点的基础上提出了一种新的静态代码检测模型。该模型结合了当前成熟的静态分析技术,并借鉴了编译器中数据流和控制流分析的思想,获取上下文关联的数据信息,从而更加准确地分析代码中存在的安全问题。     

现代谱分析的发展及应用（二）

另一类参数模型是指数模型,包括普朗尼(Prony)法,修正普朗尼法和皮萨年科(Pisarenko)谐波分解法等。     

病毒攻击分析与预警模型研究

文章通过对病毒的背景、特征、分类的理解,分析了网络病毒工作机理的传播等机制,提出了网络病毒的预警模型。     

压缩矢量图形的两个算法的比较和分析

文章在介绍矢量图形压缩的意义后,分别介绍了矢量图形压缩的分治算法和线性算法,并对这两个算法进行了分析和比较。在选取适当的控制数据压缩的阈值后,分治算法和线性算法的压缩效果接近,但线性算法所需存储空间比分治算法的少,而且线性算法的时间复杂度从分治算法的O(nlogn)降低到O(n)。     

Parallel clustering algorithms

Clustering techniques play an important role in exploratory pattern analysis, unsupervised learning and image segmentation applications. Many clustering algorithms, both partitional clustering and hierarchical clustering, require intensive computation, even for a modest number of patterns. This paper presents two parallel clustering algorithms. For a clustering problem with N = 2ⁿ patterns and M = 2^m features, the time complexity of the traditional partitional clustering algorithm on a single processor computer is O(MNK), where K is the number of clusters. The proposed algorithm on anSIMD computer with MN processors has a time complexity O(K(n + m)). The time complexity of the proposed single-link hierarchical clustering algorithm is reduced from O(MN²) of the uniprocessor algorithm to O(nN) with MN processors.     

Transformational Derivation of an Improved Alias Analysis Algorithm

In this paper we use a program transformational approach to obtain an asymptotically improved may-alias analysis algorithm. We derive an O(N³) time algorithm for computing an intra-procedural flow sensitive may-alias analysis, where N denotes the number of edges in the program control flow graph (CFG). Our algorithm improves the previous O(N⁵) time algorithm by Hind et al. [19]. Our time complexity improvement comes without any deterioration in space complexity. We also show that for a large subclass of programs in which the in-degree and out-degree of all CFG nodes is bounded by a constant, our algorithm is linear in the sum of the number of edges in the CFG of the program and the size of the output, i.e., the size of the computed alias information, and is therefore asymptotically optimal. Our transformational algorithm derivation technique also leads to a simplified yet precise analysis of time complexity.The work in this paper was done when the author was a graduate student at New York University. This paper was originally submitted when the author was a Research Staff Member at the IBM T.J. Watson Research Center.     

基于MATLAB的模糊聚类分析的传递方法

聚类分析中的传递方法是直接通过模糊相似矩阵获得动态聚类图，该方法比通过传递闭包法求模糊等价矩阵而获得动态聚类图的方法在时间复杂度和空间复杂度要小，本文对重点介绍传递方法，并给出了由MATLAB语言实现的算法程序，并介绍了一个应用实例。     

完全欧几里德距离变换的最优算法

欧几里德距离变换（ＥＤＴ）对由黑白素构成的二值图象中所有象素找出其到最近黑素的距离，应用于图象分析，计算机视觉，在本文之前，该问题的最好复杂度为Ｏ（ｎ＾２ｌｏｇｎ）。本文提出了一个复杂度为Ｏ（ｎ＾２）的算法，使复杂度达到最优，该算法可以并行化，在有ｒ个处理单元的ＥＲＥＷＰＲＡＭ计算模型上，若ｒｌｏｇｒ≤２２／６ｎ，则时间复杂度为Ｏ（ｎ／ｒ）否则为Ｏ（ｎｌｏｇｒ）。     

时间Petri网分析工具的实现

时间Petri网是非常适合描述实时系统的模型工具,由于时间的复杂性因素使得它的可达性分析变得非常困难。该文在分析了基于全局时间变量的时间Petri网的可达性算法的基础上,采用OOP技术,实现了一个时间petri网的分析工具。     

call图与基于call图的相关分析

ｃａｌｌ图用来反映程序中过程之间的调用关系，在程序分析和程序转换中起着重要的作用。本文首先讨论了简单情形下ｃａｌｌ图的构造算法，然后提出了过程向量及其映射函数的概念，从而设计出一种针对允许过程作为参数时ｃａｌｌ图的构造算法，并对该算法进行了详细的分析，其时间复杂度为Ｏ。本文最后讨论并分析了基于ｃａｌｌ图的程序相关分析方法。     

一种改进的排序算法

本文通过对冒泡排序的讨论,指出其效率不高的缺陷,提出了局部冒泡排序算法,并编程予以实现,其效率较传统的冒泡排序算法有一定程度的提高。同时对冒泡排序和局部冒泡排序算法进行了分析和性能对比测试,对局部冒泡排序算法的时间性能作出了评价。     

复杂因果图并行推理算法研究

因果图的精确推理算法是NP难的,因此寻找高效的推理方法是值得研究的问题。介绍了因果关系研究进展,对经典因果图推理过程作了进一步分析,在此基础上提出了复杂因果图的并行推理算法,并对算法的时间复杂度进行了分析,最后用一个实例验证了算法的推理效果。研究表明,该复杂因果图并行推理算法有效地降低了时间复杂度,特别是在有环且处理机数量足够的情况下和无环且处理机有限的情况下,算法的复杂度是一个多项式时间复杂度,这为因果图提供了一种可行的新的推理方法。     

星形网络的容错并行路由研究及概率分析

对具有错误结点的星形网络中的点与点之间的容错并行路由问题进行了研究,提出了一种新的具有容错能力的点对点的并行路由算法。严格证明了新算法的正确性,讨论了新算法的时间复杂度,并对新算法所找到的路径的长度进行了分析。用概率分析的方法对新算法的容错性概率进行了严格地推导,计算出概率的上下界。