一个实用的图同构判定算法

本文就理论上尚未发现多项式时间的图（无向图）的同构判定算法,提出并分析了一个实用的改进算法,还为此算法提出了一个更有效的随机版本。     

程序控制流图自动生成的算法

运用程序控制流图,可以方便地度量程序的逻辑复杂度,确定软件测试中控制结构独立路径的基本集合。文章提出了根据程序设计的伪码,自动生成程序控制流图的数据结构和详细的算法,为进行控制优化、软件基本路径测试以及程序控制相关性分析提供了良好的基础。     

求图中顶点之间所有最短路径的一种实用算法

提出了求一个顶点到另一个顶点的所有最短路径的一个算法，此算法中设计了一些独特的数据结构。在算法运行的整个过程中，求一个有效顶点（后面定义）到终点的所有最短路径的过程（入栈、出栈等操作）实际只进行一遍，用C语言编制的相应程序验证了这个算法的可靠性和实用性。     

一个求解k短路径实用算法

求解k短路径问题在决策支持系统和咨询系统中具有广泛的用途,文章基于Dijkstra算法,给出了一个求解k短路径实用算法,并且分析了算法的时间复杂度和空间复杂度。     

程序结构流图分析及应用

本文提出了程序结构流图的概念,分析了一般程序结构流图的表示及应用方法。程序结构流图概念将在程序结构设计与分析、程序结构转换以及程序正确性验证等领域获得应用。     

哈密尔顿图的判定算法

提出了哈密尔顿图判定的一个充要条件 ,并给出了具体的实现算法。用C语言设计了相应的程序验证了此算法。     

自动机在程序控制流图分析中的应用

本文谈论了自动机和程序流图的相似之处,提出了用自动机来描述程序控制流程的方法。     

可读性增强的流图生成

为了增强流图可读性,帮助用户更高效地识别染色层,提出一种基于流图已有布局,优化流图中染色层的颜色分配与标签布局的方法.首先根据流图的布局数据建立其颜色分配评价函数,通过遗传算法进行颜色分配方案优化,最大化染色层之间的颜色差异和染色层与背景的亮度差异;然后在每个染色层上运行滑动窗口,通过最小二乘法拟合自动调整标签倾斜角度...     

二叉判定图最优化算法研究综述

对近年来二叉判定图(BDD)最优化算法的成果和发展趋势进行了综述和讨论，重点介绍精确排序算法和动态启发式排序算法．给出了BDD优化算法的改进建议：用不完全枚举法的优势和随机过程动态规划策略改进BDD优化算法．     

最小谣传图的一个有效算法

谣传是信息网络中结点之间的一种常见的、重要的信息交换方式，在谣传过程中，每一个结点都得到ｋ个结点的信息，这个概念在计算机网络及其它信息、通信网络的设计中有着重要的意义，本文把“权”的概念引入到谣传问题中来，从而定义了最小谣传图，并给出了最小谣传图的一个好算法。     

包络对齐快速实用算法

在传统方法的基础上,提出一种包络对齐快速实用算法.算法选取具有最大相关值的峰值包络作为参考信号进行包络对齐偏移量的求解.在最大相关峰值包络的选取过程中,将非相参积累后的信号通过低通滤波器,以滤除其高频分量的"毛刺",在不改变原信号基本形状的前提下,减少峰值个数,从而降低了最大相关峰值包络寻找过程的计算量.最后用实测数据对算法进行了测试和评估,本文的算法不仅降低了计算量,满足了工程上的应用,而且比传统算法具有更好的对齐效果.     

图中含有k—因子的判定算法

本文依据图论中已有的一个理论成果（定理１），给出了判定一个图是否含有k-因子的一个算法，同时对算法的复杂性作了分析，又示出了一些简单情况的结果。     

一种基于流图变换的代码迷惑算法

为了提高软件的安全性,常使攻击者难以理解专利软件系统内部的工作机制,代码迷惑技术因其代价低廉而越来越受到人们的重视。代码迷惑技术的提出对于软件保护具有非常重要的意义,代码迷惑技术的使用可以对程序代码及核心算法进行保护。简要概述了代码迷惑技术基本内容,阐述了基本块和流图的相关知识,给出了可归约流图变换为不可归约流图的迷惑变换具体的算法及实验结果,并对算法的有效性进行了分析。     

基于并行图计算框架大规模图最大流加速算法

最大流是一个重要的图计算问题,很多实际场景中如城市车流量和排水管道的排水量等问题若转化为最大流问题可以得到有效的解决.已有工作从多个角度对最大流问题进行了探讨,但仍存在一些问题.针对一些分布式图计算系统进行图分割计算复杂度较高,多次计算存在大量冗余工作等问题,提出基于GraphChi框架的大规模图最大流加速算法.根据原...     

图中含有k—因子的判定算法

本文根据文（３）已有的一个理论成果（定理１）,给出了判定一个图是否含有ｋ－因子的一个算法,同时对算法的复杂性作了分析,并示出了一些简单情况的结果。     

面向设计流图的代码支撑工具

在通信网络软件中,代码的可靠性格外重要,编码与测试在很大程度上决定着代码的可靠性。如果让机器自动生成代码,将会减少人工编码出错的概率,而且,也为代码的跟踪、测试提供了方便。为此,本文结合UML的相关理论,提出了设计流图的概念并描述基于设计流图的代码生成的原理及其应用。本文首先描述设计流图在软件开发过程中的作用,然后,给出设计流图的形式化定义,第3部分给出代码自动生成算法,第4部分给出基于设计流图的跟踪、测试方法,最后一部分对工具作了简要的介绍。本文详细描述了如何根据设计流图生成代码,并简要介绍实现基于设计流图的跟踪与测试。本文还实现了一个集成开发环境AutoCodeGen,在该环境中可以编辑设计流图、对设计流图进行简单的检查、编译设计流图（生成代码）、编译代码、执行设计流图（执行编译后的代码）、基于设计流图的跟踪与洲试（动态显示执行路径、当前执行点、路径覆盖情况、异常点位置等）。在实践中,利用该工具实现了TCAP（Transaction Capabilities Application Part）协议中部分编码与解码。     

AD转换非线性补偿实用算法

介绍了一种非线性补偿的实用算法，并列出用C语言及汇编语言编程时应注意的技巧。     

一个大规模股市图交互式可视化分析系统

随着物联网、移动互联网、云计算以及各种数据自动采集技术的迅猛发展,许多领域迅速积累了大量具有图结构的可用数据。其中一个重要的图应用是股市图。如何分析股市图达到合理充分的投资决策支持一直是一个重要的课题。其中极大团(Maximal Clique)分析是分析股市图的一个重要方法。股市图的规模庞大,传统的极大团枚举算法仅仅罗列图中所有的极大团。但一个图中可以有指数级数量的极大团,而一支股票对应的点可以参与到任意多的极大团中。因此,传统的极大团枚举算法不能直接有效支持股市图分析。本文提出一个支持快速选择、自动分组及导航浏览三种股市图交互式可视化操作的大规模股市图分析系统。根据用户感兴趣的股市图节点,这三种股市图交互式可视化操作从股市图中快速枚举出与这些特定股票相关的极大团、查看这些特定股票之间的组合关系以及显示与这些特定股票相关的其他股票,是有效支持股市图分析的必要手段。同时基于对某些特定顶点或边相关的极大团枚举的需求,本文提出了从图中枚举出与特定顶点或边相关的极大团算法。我们使用真实数据验证了本文提出的算法的优越性。