面向多领域的可视化应用开发平台MOVADP

ＭＯＶＡＤＰ是一个面向多领域的可视化应用开发平台，文中主要介绍了该平台的软件结构和实现技术，ＭＯＶＡＤＰ以数据流机制为核心，采用可视编程技术，为用户开发可视化应用提供了一个文凭交互的模块级图形编程环境，与同类平台相比，ＭＯＶＡＤＰ的特点在于，引入了ＩＦＴＨＥＮ－ＥＬＳＥ，ＷＨＩＬＥ－ＬＯＯＰ等控制结构，支持用户构建复杂的可化应用流图；支持“ｌａｚｙｅｖａｌｕａｔｉｏｎ”命令驱动方式下的流图局部运行     

数据流图的形式规范

本文提出了属性图，以描述数据流图的拓扑结构和性质，并提出了边（流）组成关系以给出父子数据流图平衡的形式定义，由此得到的数据流图的形式规范强于文献中现有的规范．本文提出的形式规范方法适用于不同类型的数据流图，包括ＤｅＭａｒｃｏ型数据流图、实时系统数据流图等．     

多约束环境下的二维布局

多约束环境下不规则的多边形的优化布局具有一定的特殊性，本文就多约束条件对二维布局的影响进行分析，提出双向包络线的概念，算法，运用基于ＡＮＤ／ＯＲ图的问题归纳进行求解，算法效率高，易于实现。     

从数据流图到模块结构图的自动转换系统

本文论述了从数据流图（ＤＦＤ）到模块结构图（ＭＳＣ）自动转换系统的设计与实现。提出了用于中间转换的有向控制图（ＤＣＤ）的概念，旨在实现从ＤＦＤ导出ＭＳＣ的自动化。     

软件工程中图形文档的布局处理

本文提出了对软件工程中的图形文档进行布局处理的设计思想和布局规则,并对数据流图和结构图这两类常用图的图形文档的布局给出了处法概述,这些算法已在微机上实现了成为一个实用化的软件工具。     

软件需求定义语言NDRDL的设计

本文概述了软件需求定义语言ＮＤＲＤＬ的设计目标及设计原则，并讨论了一些语言基本成分，如数据流图，控制流图，实体关系图等的设计，文中采用个人帐目管理系统作为示例。     

含数组引用的过程间数据流分析

并行重构是发挥多处理机高计算性能的重要手段，但是许多并行重构系统，往往不作过程间数据流分析，因而限制了含调用语句的ＤＯ循环的并行。本以中国科学院计算技术研究所并行编组研制的ＰＯＲＴ系统为背景，给出含数组引用的精确的过程间数据流分析的设计思想，着急诼其在并行化，优化方面的应用。     

DFDL—辅助结构分析的软件工具

本文讨论了结构分析的软件民具数据流图语言（ＤＰＤＬ）的设计和实现。ＤＦＤＬ具有结构简单、实现方便、易学易懂等特点。同时，它解决了用图形方式编辑、修改ＤＦＤ所遇到的困难。ＤＦＤＬ是软件开发的有利工具。     

有向软件图自动布局的主流向式算法

软件图分为有向的和无向的两大类，对于有向软件图，我们选择数据流图作为代表，给出其可读性准则，并建立了其自动布局的主流向式算法，该算法的优点是其生成的有向软件图主流方向明确，易于阅读。     

基于FoxPRO的PAD图自动生成

本文主要介绍了ＰＡＤ图及基于ＦｏｘＰＲＯ语言的ＰＡＤ图的自动生成方法。     

随程序规模动态调整的通道优化布线算法

针对常规层次型布图算法在大规模程序中布线混乱的缺点,借鉴Sugiyama层次布局算法,提出了一种随着程序规模动态调整的通道优化布线算法。通过将节点的通道数目与程序规模建立函数关系,以解决现有算法在布图时出现的线路重叠和效率低下的问题;在布图中结合广义张量平衡思想,以减少交叉并实现布图的美观性;并根据调用节点之间的相对位置关系,给出了相应的线路分配和申请策略,实现了布线的有序性。实践证明,该算法能够提高布图效率,有效地减少交叉,实现节点的有序布线和实现简单等优点。     

基于PageRank的网络布局算法

基于力导向模型的网络布局算法由于其布局结果直观并且便于分析所以在网络可视化中占有举足轻重的地位。但是当前的网络布局算法在面对大规模网络数据的时候通常不容易在较短时间内获取一个高质量的布局结果。本文提出了一个基于PageRank的力导向模型的算法。该算法引入了PageRank来完善节点的重力和斥力计算以改善布局质量；并且引入节点中心性来预估初始布局中节点的位置；同时,又提出了基于PageRank的自适应步长用来平衡布局的效率和质量。最后为了有效的减少布局算法在面对大规模网络数据时的计算时间,本文设计了一个基于CUDA的灵活的CPU+GPU异构并行计算框架。通过对不同类型和不同规模的网络数据集的实验,该算法能够产出一个符合美学标准的高质量布局,并且在同样的硬件条件下,本文所提出的优化方案相比于原始算法速度最大提高了58倍。     

UML类图层次化自动布图算法

UML类图能够有效地帮助软件工程师理解大规模的软件系统,而优化图元的空间布局可以增强类图的可读性和可理解性.由于类图中继承关系具有明显的层次特性,因此类图自动布局大多采用层次化的布图算法.此外,类图布局需要考虑相关的领域知识以及绘制准则,因而通用嵌套有向图层次化布局算法不能直接用于类图的绘制,它们必须加以扩展.但是,已有的类图层次化方法并没有考虑类图中图元的嵌套关系,这将导致自动布局方法不能处理类图中包与类、接口之间的包含关系.在考虑图绘制美学、UML类图绘制以及软件可视化等相关知识的基础上,选取了一组布     

一种基于继承次序与相关度的布图算法

在层次图边交叉最小化问题上,常规启发算法或者时间复杂度大或者布图效果不佳。基于Sugiyama布图算法模式,提出了一种交叉数减少算法,并从布局与布线两个主要方面介绍了其实现过程。两层图上的实验表明,该算法具有较好的性能,一定程度上克服了时间复杂度与效果的矛盾。     

一种软构件依赖关系的拓扑布局算法

本文提出了一种圆环型的有向图拓扑布局算法,能够清晰地展示软构件之间的相互依赖关系,有助于设计人员更好地理解和分析多构件系统中构件间依赖关系的整体态势,进而优化系统结构,提高系统性能,实现高效的软构件组装。     

HPCVIEW: A Tool for Top-down Analysis of Node Performance

It is increasingly difficult for complex scientific programs to attain a significant fraction of peak performance on systems that are based on microprocessors with substantial instruction-level parallelism and deep memory hierarchies. Despite this trend, performance analysis and tuning tools are still not used regularly by algorithm and application designers. To a large extent, existing performance tools fail to meet many user needs and are cumbersome to use. To address these issues, we developed HPCVIEW—a toolkit for combining multiple sets of program profile data, correlating the data with source code, and generating a database that can be analyzed anywhere with a commodity Web browser. We argue that HPCVIEW addresses many of the issues that have limited the usability and the utility of most existing tools. We originally built HPCVIEW to facilitate our own work on data layout and optimizing compilers. Now, in addition to daily use within our group, HPCVIEW is being used by several code development teams in DoD and DoE laboratories as well as at NCSA.     

Facilities planning and design with microcomputers

This paper describes an interactive layout design program, that is written in LISP and runs on IBM PC, XT, AT, or compatible microcomputers. This program follows a construction algorithm and generates a block diagram     

基于Sugiyama的流程图自动生成算法

为了解决流程图绘制效率低下的问题,更好地保证软件模型、文档与代码的一致性,提出了一种流程图自动生成算法。首先,通过逆向分析C/C++源代码,提取代码的Token列表,生成Scope树,从而生成流程图。同时,提出了一种规范代码函数体注释的方法,提高流程图的可理解性。最后,应用Sugiyama布局算法,并对坐标指定步骤进行补充改进,对流程图进行了自动布局,最终生成可读流程图。实际应用过程中,所提算法有效地提高了软件设计文档的编写效率,保证了软件模型、文档与代码的一致性。     

GridDroid---An Effective and Efficient Approach for Android Repackaging Detection Based on Runtime Graphical User Interface

Repackaging brings serious threats to Android ecosystem.Software birthmark techniques are typically applied to detect repackaged apps.Birthmarks based on apps'runtime graphical user interfaces(GUI)are effective,especially for obfuscated or encrypted apps.However,existing studies are time-consuming and not suitable for handling apps in large scale.In this paper,we propose an effective yet efficient dynamic GUI birthmark for Android apps.Briefly,we run an app with automatically generated GUI events and dump its layout after each event.We divide each dumped layout into a grid,count in each grid cell the vertices of boundary rectangles corresponding to widgets within the layout,and generate a feature vector to encode the layout.Similar layouts are merged at runtime,and finally we obtain a graph as the birthmark of the app.Given a pair of apps to be compared,we build a weighted bipartite graph from their birthmarks and apply a modified version of the maximum-weight-bipartite-matching algorithm to determine whether they form a repackaging pair(RP)or not.We implement the proposed technique in a prototype,GridDroid,and apply it to detect RPs in three datasets involving 527 apks.GridDroid reports only six false negatives and seven false positives,and it takes GridDroid merely 20 microseconds on average to compare a pair of birthmarks.     

基于编辑距离的Web数据挖掘

Div+CSS流行于Web页面的布局,在这种布局下,网页中很多数据记录以重复结构的形式聚集在一个层级。为了更好地从网页中挖掘数据,提出了一种新的Web数据挖掘算法,把树编辑距离转化为字符串编辑距离的计算,改进字符串编辑距离算法,利用字符串编辑距离评价树的相似度,进而找到网页中的重复模式,提取数据。通过针对不同重复模式特征的网页的实验说明,基于编辑距离的Web数据挖掘算法不仅能提取具有根节点及上面几层相同的网页的数据,对具有底层节点相同的网页也是有效的。